Offering aspiring students and professionals an opportunity to shape their careers and futures


Sub Navigation

M.Phil 615 Symbolic Logic (3 Credits)

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.