Symbolic Logic (PHIL 455.001)
Instructor: Thomas Hofweber. This class meets on Mondays and Wednesdays from 10:00 – 11:15 a.m. in Caldwell 213.
This course covers the basic meta-theory of first order logic. We will prove some of the highlights, including completeness, compactness, and the Löwenheim-Skolem theorems. Then we will use these results to investigate which notions are inexpressible in first order logic, we will construct non-standard models of arithmetic and extensions of the real numbers that contain infinitesimals. We will also discuss the philosophical significance of these results.
Thomas Hofweber’s webpage