Session 2.1.2

  • From propositional to predicate logic: grammar and basic structure (Scott Brewer and Giovanni Sartor)

Monday, 17 July, second morning session: 11h-12h30

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


  • Giovanni Sartor, Law and Logic, ch. 3 (link)
  • Antonino Rotolo, slides (link)
  • Antonino Rotolo, exercises (link)

Optional Reading:

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

Leave a Reply

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

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

Google+ photo

You are commenting using your Google+ 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 )


Connecting to %s