PHI 312 Intermediate Logic

office hours:
Halvorson: Th 3-4pm
Meehan: W 6-7pm, F 2-3pm
Sandoval: Th 11am-12pm, and 6-7pm

This page: https://www.princeton.edu/~hhalvors/teaching/phi312_f2016/

Assignments

• pset1 solutions
• pset2 solutions
• pset3 solutions
• pset4 solutions
• pset5 solutions
• pset6 solutions
• pset7 solutions
• pset8 solutions
• pset9 solutions
• final take-home exercise

Additional exercises

• precept5 solutions

Textbook

The textbook for the course will be delivered in installments here.

• Introduction to metalogic
• The category of sets
• The category of theories

Precepts

Precepts are an integral part of this course, and will be devoted to the following two things: 1. Reviewing technical material from lectures and problem sets, 2. Discussing philosophical issues related to the technical material. There will occasionally be assigned reading for the precept discussions.

Schedule

• Week 1: Review; examples of theories
• Week 2: Metatheory of propositional logic
• Week 3: Set Theory
• Week 4: Set Theory
• Week 5: Topology
• Week 6: Topology
• Week 7: Boolean Algebra
• Week 8: Boolean Algebra (Stone Duality)
• Week 9: Model Theory
• Week 10: Model Theory
• Week 11: Model Theory
• Week 12: Relations between theories