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.
- 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.