Logic: Metatheory and Computability

3 credits

Continuation of PHIL_O 220. A formal theory of classical first-order logic is developed. Meta-theoretic concepts of a logical system: truth, provability, logical truth, and logical consequence. Soundness and completeness are shown for a system of natural deduction. Turing machines, Church-Turing thesis, and decidability of first-order logic. [3-0- 0] Prerequisites: One of PHIL_O 220, MATH_O 220, COSC_O 221, COSC_O 223.