Philosophy 4310:
Advanced Logic: Logic For Philosophy
Spring, 2026
Professor Joel Velasco
Office: 251C Humanities
Office
Hours: M, W, TH 12:30-1:30 or by appointment
Class meets M/W, 11:00-12:20 (in Phil 259)
All of the boilerplate information such as course policies and the grading scheme can be found on the syllabus. The readings for the course are below.
Syllabus
Required Books:
Logic for Philosophy by Ted Sider. Draft of 2nd edition (2025). (available in Canvas)
All class assignments and any other readings will be found on this website. You should check this website regularly for updates and bring copies of the assigned readings to class.
This is a tentative schedule/reading list:
Week 2 -
- Mon, 1/19
- Wed, 1/21
- Extras:
Week 3 - Introduction to Propositional Logic (LFP ch 2)
- Mon, 1/26
- NO CLASS - Weather cancellation
- Wed,1/28
- Extras:
Week 4 -
- Mon, 2/2
- Propositional Logic semantics (2.1, 2.2)
- Wed, 2/4
- Extras:
Week 5 -
- Mon, 2/9
- Wed, 2/11
- More proofs - and truth-functional completeness
- Extras:
Week 6 -
- Mon, 2/16
- Wed, 2/18
- Extras:
Week 7 -
- Mon, 2/23
- Wed, 2/25
- Extras:
Week 8 -
- Mon, 3/2
- Starting chapter 3 - non classical logic
- Wed, 3/4
- Extras:
- True, False, Other (Non Classical Logic YouTube series by Mark Jago)
- Three Valued Logic (Non Classical Logic YouTube series by Mark Jago)
-
Week 9 -
- Mon, 3/9
- LFP chapter 3 - supervaluation, determinacy
- Wed, 3/11
- Extras:
Spring Break - No Class on March 16, March 18
Week 10 -
- Mon, 3/23
- Wed, 3/25
- Extras:
Week 11 -
- Mon, 3/30
- Wed, 4/1
- Extras:
Week 12 -
- Mon, 4/6 --- NO CLASS
- Wed, 4/8
- Extras:
Week 13 -
- Mon, 4/13
- Wed, 4/15
- Extras:
Week 14 -
- Mon, 4/20
- Wed, 4/22
- Extras:
Week 15 -
- Mon, 4/27
- Wed, 4/29
- Extras:
Week 16 -
- Mon, 5/4 (last day of class)
- Extras: