PHIL 1520 - LOGICAL METATHEORY

Minimum Credits: 3
Maximum Credits: 3
A study of some of the fundamental concepts, results, and proofs in symbolic logic. Topics to be covered include propositional and predicate calculi, first-order theories and their models, Loewenheim-Skolem theorem, Peano arithmetic, and Goedel's incompleteness theorem.
Academic Career: Undergraduate
Course Component: Lecture
Grade Component: LG/SNC Elective Basis
Course Requirements: PREQ: PHIL 1500

Click here for class schedule information.

Add to Portfolio.

Close Window