PHIL 470 A: Intermediate Logic

Meeting Time: 
MWF 9:30am - 10:50am
SAV 408
Conor Mayo-Wilson
Conor Mayo-Wilson

Additional Details:

In this course, we prove the soundness and completeness theorems for classical sentential and predicate logic.  We will prove and discuss a few related meta-theoretic results (e.g., the Löwenheim-Skolem theorem, compactness, and non-standard models of arithmetic) with an eye towards understanding questions about the philosophy of mathematics.  An optional, additional reading group for graduate students and advanced undergraduates will investigate more thoroughly philosophical issues raised by first-order logic, which might include the meaning of logical connectives, what makes a concept logical, various definitions of logical consequence, the acceptability of proof by contradiction, and more.

TEXT: Logic and Structure, Dirk Van Dalen.

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)
Other Requirements Met: 
Last updated: 
April 29, 2016 - 11:00pm