PHIL 470 A: Intermediate Logic

Meeting Time: 
MWF 9:00am - 9:50am
Location: 
* *
SLN: 
18933
Instructor:
Benjamin 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 is 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 model of arithmetic.

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 19, 2020 - 9:15pm