Phil 315, Applied symbolic logic
Ted Sider
; Fall 2017 office hours: Mondays, 1-2 and by appointment
Class meets in Scott Hall 104, M/Th 9:50-11:10
Announcements
The second exam (covering modal logic and counterfactuals) will be on December 19, at 12:00 noon.
Downloads
Syllabus
Errors and typos in the textbook
More exercises on various topics
(for extra practice)
Modal propositional logic theorems
(for practice doing axiomatic proofs)
Propositional modal logic wffs
(for practice doing validity and invalidity proofs)
Counterfactual conditional wffs
(for practice doing validity and invalidity proofs)
Quantified modal logic wffs
(for practice doing validity and invalidity proofs)
Homeworks