CU Locations

USA | Turks & Caicos Islands

Search
Close this search box.

M.Phil 615

Symbolic Logic
Name: Symbolic Logic
Course Number: M.Phil 615
Credit(s): 3

Course Description

This course delves into formal logic, encompassing both propositional and first-order logic. It explores more intricate logical languages and advanced topics such as necessity, possibility, fuzzy logics, and multi-valued logics.

Learning Outcomes:

  • Grasp the semantics, syntax, and proof structures of various modal logics, developing a comprehensive understanding of their foundations.
  • Identify the appropriate semantics, syntax, and proof structures of different non-classical logics, gaining insight into the diverse structures that underlie logical systems.
  • Acquire the skill to construct proofs for theorems, tautologies, and valid arguments, demonstrating proficiency in applying logical principles to analyze and validate logical propositions.

Where would you like to go?

Click any of the options below to navigate to that specific website.