PHIL 470 A: Intermediate Logic

Meeting Time: 
WF 2:30pm - 4:20pm
Location: 
SAV 156
SLN: 
18403
Instructor:
Michael Townsend

Additional Details:

Introduction to the meta-theory of propositional and first-order logic, including discussion of the Completeness, Compactness, and Lowenheim-Skolem Theorems and their relation to the Hilbert Program.

TEXT: No Textbook Required.

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: 
January 23, 2020 - 4:35pm