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

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: Bartosz Brozek(link)
• Reasoning with First-Order Predicate Logic: Bartosz Brozek (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).