Topic for Spring 2025: Metalogic, Non-Classical Logics, and Modal Logics
PREREQUISITES: PHIL 150 or consent of instructor This course is an introduction to the metalogic of sentential and quantified logic, including their axiomatizations as well as soundness and completeness proofs for them, and to the proof techniques required for those proofs, like mathematical induction. We will also become acquainted with some extensions of and alternatives to sentential and quantified logic, including certain non-classical logics, modal logics, and logics for counterfactual conditionals. Course may be repeated when topic is different.