PHIL 155.001 – Truth and Proof: Introduction to Mathematical Logic

Instructor: Kyle Cessna. This course meets MTWRF 11:30 a.m. – 1:00 p.m. via remote synchronous (RS) instruction.

This course is a general introduction to propositional and first-order logic. We will focus on the syntax and semantics of first-order logic, on constructing valid proofs in a natural deduction system, and on constructing counterexamples to arguments. If time permits, we will also cover some further issues in logic dealing with rendering certain English sentences in logic. No previous background in logic is assumed, and there are no prerequisite mathematics courses required.