|home||contact||publications||teaching||Logic Manual||Luxemburger Zirkel||Philosophy of Mathematics seminar||Nordic Logic Summer School|
Seminar Volker Halbach and Tim Williamson
Hilary term 2018, Monday (sorry I made a mistake in an earlier announcement), 2-4pm, Lecture Room in week 1, Ryle Room in weeks 2-8
At the beginning of each class we will introduce the topic by presenting an article or book chapter, which all participants will be expected to have read in advance. This will be followed by a discussion.
Week 1 (15 January): Kripke's Theory of Truth
We start with a classic in truth theory:
Kripke, Saul (1975), ‘Outline of a Theory of Truth’, Journal of Philosophy 72, 690–716, reprinted in Martin, Robert L., ed. (1984), Recent Essays on Truth and the Liar Paradox, Clarendon Press and Oxford University Press, Oxford and New York.
If you intend to go deeper into the formal theory, I recommend:
McGee, Vann (1991), Truth, Vagueness, and Paradox: An Essay on the Logic of Truth, Hackett Publishing, Indianapolis and Cambridge.
Week 2 (22 January): Axiomatizing Kripke's Theory of Truth
This week we look at axiomtaziations of Kripke's theory. Various systems have been suggested. We concentrate on:
Horsten, Leon (2009), ‘Levity’, Mind 118, 555–581.
The formal background is analyzed in
Halbach, Volker and Leon Horsten (2006), ‘Axiomatizing Kripke’s Theory of Truth’, Journal of Symbolic Logic 71, 677–712.
Halbach, Volker and Carlo Nicolai (2018), ‘On the costs of nonclassical logic’.
The account is at the basis of
Field, Hartry (2008), Saving Truth From Paradox, Oxford University Press, Oxford.
Week 3 (29 January): Supervaluationism and Metarules I
This class has been rescheduled to Wednesday, 31 January 2-4pm in the Ryle Room. Accordingly, there is no class on Monday.
The main text will be the chapter on supervaluations of the following book:
Williamson, Timothy (1994), Vagueness, Routledge, chapter 5.
Week 4 (5 February): Supervaluationism and Metarules II
There was a confusion about the order of the papers. We apologize. Tim will do Supervaluationism and Metarules in weeks 3 and 4 first and then Mathematical consequences of non-classical logic in weeks 5 and 6.
The main text will be the following paper:
Week 5 (12 February): Mathematical consequences of non-classical logic I
The main paper is:
Tim Williamson: ‘Alternative Logics and Applied Mathematics’,http://media.philosophy.ox.ac.uk/docs/people/williamson/appliedmaths.pdf