PHIL 470 A: Intermediate Logic

Meeting Time: 
MWF 9:00am - 10:20am
Location: 
SAV 130
SLN: 
18966
Instructor:
Ian Schnee

Additional Details:

This course is an examination of foundational topics in metalogic, including completeness, incompleteness, and decidability. Metalogic concerns theorems about logical systems, and in this course students will prove several celebrated metalogical theorems: soundness and completeness of propositional logic; the decidability of propositional logic; soundness and completeness of first-order logic, as well as compactness and the Löwenheim-Skolem theorem.

TEXT: No textbook required. Course readings on Canvas.

Catalog Description: 
An introduction to the concepts and methods of metatheory and their application to the sentential calculus.
GE Requirements: 
Individuals and Societies (I&S)
Natural World (NW)
Quantitative and Symbolic Reasoning (QSR)
Credits: 
5.0
Status: 
Active
Last updated: 
August 7, 2017 - 9:05pm