This course is an introduction to logic. It requires no prior knowledge of philosophy or mathematics. The primary aim of the course is to impart a skill, namely: the ability to recognize arguments, to translate arguments from English into a formal language, and to construct proofs and correct derivations.
- Basic Propositional Logic
- Propositional Proofs
- Basic Quantificational Logic
- Relations and Identity
- Basic Modal Logic
- Belief Logic
- Gensler, Harry. Introduction to logic. New York: Routledge, 2010.
- LogiCola Software. Download at: http://www.harryhiker.com/lc/