PHIL 470 A: Intermediate Logic

Meeting Time: 
MWF 9:00am - 10:20am
Location: 
SAV 130
SLN: 
19080
Instructor:
Benjamin H. Feintzeig
Benjamin H. Feintzeig

Additional Details:

This course covers the metatheory of formal languages and inferences---in particular, the relationship between truth and proof. We review induction, recursion, and basic definitions for formal languages. Then we investigate the syntax (formalized proofs) and semantics (satisfiability and truth) of sentential and predicate logic. The culmination of the course comes in two results: the soundness and completeness theorems for first order logic. The soundness theorem states that every sentence that can be proven must be true, while the completeness theorem states that every true sentence can be proven within the formal system. Additional topics include the compactness theorem, the Lowenheim-Skolem theorems, and non-standard models of arithmetic.

TEXT: A Mathematical Introduction to Logic, Herbert Enderton.

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: 
November 14, 2017 - 9:13pm