Volker Halbach | ||||||
home | contact | publications | teaching | Logic Manual | Luxemburger Zirkel | Philosophy of Mathematics seminar |
B.Phil.
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 TruthWe 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 TruthThis 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. and 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 IThis 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 IIThere 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: Williamson, Timothy: ‘Supervaluationism and Good Reasoning’
Week 5 (12 February): Mathematical consequences of non-classical logic IThe main paper is: Tim Williamson: ‘Alternative Logics and Applied Mathematics’,http://media.philosophy.ox.ac.uk/docs/people/williamson/appliedmaths.pdf |