Logic & Proofs

This is a basic, rigorous two-part introduction to modern symbolic logic. Part one starts out with a careful presentation of the syntax and semantics of classical sentential logic. The introduction and elimination rules for the sentential logical connectives are discussed and used strategically in proof construction. This is followed in part two by a parallel treatment of predicate logic with an excursion into Aristotelian logic.

Logic & Proofs course is fully web-based and is delivered through Carnegie Mellon’s Open Learning Initiative (OLI). The text is crucially enriched by many cognitively informed Interactive Learning Environments, from basic Did I get this? to sophisticated and tutorially guided Learn by doing! exercises. And, of course, proof construction problems are done in the Proof Lab.

The course has been taken (from September 2003 to September 2008) by more htan 2,000 students at various institutions: Cargenie Mellon, Carnegie Mellon Qatar, IUPUI, Havenford College, University of British Columbia, University of Nevada in Las Vegas, Kent State University, College of Lake County. The course is is now also being offered through Stanford's EPGY to high-school students.