M.Phil 615 Symbolic Logic


This course studies formal logic covering both propositional and first-order logic. This course will discuss more complex logical languages and topics such as be necessity, possibility, fuzzy logics and multi-valued logics.

Learning Outcomes:

  • Understand the semantics, syntax, and proof structures of a variety of modal logics.
  • Identify the appropriate semantics, syntax, and proof structures of different non-classical logics.
  • Learn how to construct proofs of theorems, tautologies, and valid arguments.