PY204 Formal Logic 0.5 |
An introduction to first order logic, including the propositional calculus and quantification theory. The basic notions studied are consistency, validity, proof, truth and counter-example. The relationship between natural language and formal logic will be discussed.† |
DRAFT electronic version updated at 1:45 p.m. January 30, 2003