Session 03.1.1

From propositional to predicate logic: grammar and basic structure (Nino Rotolo,  and Giovanni Sartor)

Themes covered in this session:

  1. Syntax and semantics,
  2. Universe of discourse,
  3. Individuals and sets
  4. Relations and basic properties of identity, symmetry, transitivity

Projections

  • First-Order Predicate Logic: The Basics. Antonino Rotolo, slides (link)
  • First-Order Predicate Logic: Semantics and Beyond. Antonino Rotolo, slides (link)

Exercises

  • First-Order Predicate Logic: Exercises (link)

Readings

  • van Benthem, J., van Ditmarsch, H., van Eijck, J., and Jaspars, J. (2012). Logic in Action, Ch 4, up to section 4.4.(link)

Optional Reading:

  • Pollock, J.L. Logic: An Introduction to the Formal Study of Reasoning,Ch. 5, 6, 7 (link).

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s