PHIL170     Introduction to Logic
Semester:Winter 2017
Instructor: Aleks Knoks
Meeting Times:Online, Various

This course will introduce students to two logical systems: Propositional Logic and First-Order Logic. For each we will 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 a natural language (English). We will use an online textbook/tutorial called Logic & Proofs, a part of the Open Learning Initiative at Carnegie Mellon University.

If you have any questions about the course, feel free to email the instructor at