Intermediate Formal Logic

Intermediate Formal Logic
History and use of first-order logic and second-order logic; natural-deduction and axiomatic proofs; modal logic; set theory and foundations of mathematics.
PHIL
305
 Hours3.0 Credit, 3.0 Lecture, 0.0 Lab
 PrerequisitesPHIL 205; or MATH 290
 NoteFulfills GE Languages of Learning requirement.
 TaughtFall, Winter
Course Outcomes

Logic

Learn first order logic including the correct use of symbols and the construction of proofs.

Logic

Learn to construct proofs within axiom systems in such areas as identity, set theory, arithmetic, and modal logic.

History

Understand key historical developments such as Cantor's theory of transfinite numbers, Frege's attempt to reduce arithmetic to logic, the logical paradoxes, and Gödel's theorems.