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/

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

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

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.

- 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