PHIL 155.002 – Intro: Math Logic
Instructor: Luke Elson. This course meets TR 2:00 – 3:15 p.m. in PE 216.
A first undergraduate course in mathematical logic. Topics include how to translate English arguments into logical symbolism, the notion of logical consistency, and proofs in various logical systems.