An introduction to formal logic covering truth-functions and quantification with identity. Attention is given to the nature of proof in formal theories and to the evaluation of arguments in natural language. There is a brief treatment of the decidability, soundness, and completeness of systems of logic.
Hours credit: 4. Prerequisite: sophomore standing or Philosophy 1175. Offered first semester.
- Teacher: Kaija Mortensen