The textbook for the course is Ted Sider’s Logic for Philosophy (OUP, 2010), and tutorials will be based on James Studd’s logic exercises and philosophy tasks, which can be found on his website:
There are also Faculty lectures for the course, given in Hilary Term. It is strongly recommend that you go to these. Lecture slides are also on James Studd’s website.
In order to do well in this paper, it is important that you complete the philosophy tasks as well as the logic exercises. Below, I give readings for six of the topics we’ll be looking at. Many of the readings are online, and all can be obtained from the college or other libraries in Oxford, but if you are struggling to get hold of anything, email me, as I have PDF copies of nearly everything.
- Many-Valued Logics
- Modal Propositional Logic
- Second-Order Logic
- Quantified Modal Logic
- Two-Dimensional Modal Logic
1. MANY-VALUED LOGICS
Rosanna Keefe (2008) ‘Vagueness: Supervaluationism’ in Philosophy Compass 3(2), pp. 315–324.
2. MODAL PROPOSITIONAL LOGIC
Michael Loux (1979) ‘Introduction’ to Michael Loux, ed. The Possible and the Actual (Cornell UP).
3. SECOND-ORDER LOGIC
Stewart Shapiro (1991) Foundations without Foundationalism (OUP), Chs. 4, 5 and 7.
4. QUANTIFIED MODAL LOGIC
5. TWO-DIMENSIONAL MODAL LOGIC
Scott Soames (2005) Reference and Description (Princeton UP), Ch. 6.
David Lewis (1973) Counterfactuals (Blackwell), §3.4.
Robert Stalnaker (1984) Inquiry (Cambridge University Press), Ch. 7.
Kai von Fintel (2012) ‘Subjunctive Conditionals’ in Delia Graff Fara and Gillian Russell, eds. The Routledge Companion to Philosophy of Language (Routledge).