Session 01.2.1, Monday 10 July, 14:00-15:30.

Introduction to propositional logic: Part 1 (Henry Prakken, Nino Rotolo, Giovanni Sartor)

Themes covered in this session:

  1. Syntax of propositional logic
  2. Semantics: truth tables
  3. (Inference for propositional logic)


  • Introduction to propositional logic (link)


  • Brewer, S. and Sartor, G. Law and logic: Ch.1, Ch.2 Classical Logic and the Law (link)

Optional readings:

  • Sainsbury, M. (2001). Logical Forms: An Introduction to Philosophical Logic. Blackwell, Oxford. Ch. 2, Ch. 3
  • Pollock, J.L. Logic: An Introduction to the Formal Study of Reasoning, Ch 2,
    Ch 3.
  • van Benthem, J., van Ditmarsch, H., van Eijck, J., and Jaspars, J. (2012). Logic in Action. (link), Ch2.

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 )

Facebook photo

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

Connecting to %s