Philosophy 12A

Summer 2016 Session D

Number Title Instructor Days/time Room
12A Introduction to Logic Jerzak TuWTh 1-3:30 223 Dwinelle

An introduction to the basic tools of deductive logic. You’ll learn how to represent the basic structure of arguments in a formal language, and then assess these arguments for correctness. We’ll cover the basic syntax and semantics of propositional logic and first-order logic, and develop a proof system for both. Metalogical results will be discussed but not proved. The emphasis is on using logical tools to hone everyday and philosophical reasoning.