PHIL-212 Formal Logic

The course covers first-order logical reasoning. First-order logic is the language of the sciences and of critical thought. It includes first-order quantification theory and the laws of identity. The course discusses axiomatic reasoning and formal systems. The course studies two special cases,arithmetic and computability. 1 term - 4 credits. Normally offered every year.