B.Phil. Seminar Volker Halbach and Tim Williamson
Logic and Philosophy of Logic

Hilary term 2023, Tuesdays 2-4 pm, Ryle Room

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. Here is our preliminary plan:

week 1, 17 January • Tim Williamson: ‘Is logic about validity?’

week 2, 24 Januar • Volker Halbach: Invariance criteria for logical constants, slides on permutation invariance.

week 3: 31 Januar • Gómez-Torrente, Mario: ‘The problem of logical constants’, Bulletin of Symbolic Logic 8 (2002): 1-37.

week 4: 7 February • Volker Halbach: ‘Unrestricted Quantification and Logical Constants’

week 5: 14 February • Benjamin Schnieder, ‘A logic for “because”’, Review of Symbolic Logic 4 (2011), 445-465

week 6: 21 February • Francesco Berto: ‘Impossible worlds and the logic of imagination’ Erkenntnis 82 (2017), 1277-1297

week 7: 28 Februar • Florio, Salvatore and Nicholas K. Jones. ‘Unrestricted quantification and the structure of type theory’, Philosophy and Phenomenological Research 102 (2021): 44-64

week 8: 7 March • Semantic paradoxes arising from the interaction of modal predicates. I have prepared some slides about the diagonal lemma. My paper is very; the article by Horsten & Leitgeb provides a more substantial example.

Volker Halbach: ‘How not to state the T-sentences’, Analysis 66 (2006), 276-280 • The paper was converted by the journal into Word and then printed with errors introduced in the process without showing me the proofs. This necessitated a correction in vol. 67, 268 • download as pdf file

Horsten, Leon, and Hannes Leitgeb. ‘No future’, Journal of Philosophical Logic 30 (2001): 259-265

Further reading: Volker Halbach: ‘On a Side Effect of Solving Fitch's Paradox by Typing Knowledge’, Analysis 68 (2008), 114-120. There is a reply: Paseau, Alexander. `How to type: reply to Halbach’, Analysis 69.2 (2009): 280-286.