Current Status
Not Enrolled
Price
Closed
Get Started
This course is currently closed
Course Description
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.
Topics
- Introduction
- Validity
- Basic Propositional Logic
- Propositional Proofs
- Basic Quantificational Logic
- Relations and Identity
- Basic Modal Logic
- Belief Logic
Required Materials
- Gensler, Harry. Introduction to logic. New York: Routledge, 2010.
- LogiCola Software. Download at: http://www.harryhiker.com/lc/