PHIL170     Introduction to Logic
Semester:Fall 2015
Instructor: Eric Pacuit
Room:LEF 2205
Meeting Times:MW 11:00am - 11:50am

This course will introduce students to two logical systems: Propositional Logic and First Order Logic. For each we discuss the syntax (what it means to construct a well formed sentence in the logic), the semantics (how one decides whether or not a sentence in the logic is true), a proof theory (how, if you know some true things, you can figure out what else is true), and how to translate between the logics and natural language.