Curriculum Vitae 

Papers

"Subjunctivity and Conditionals," accepted for publication in the Journal of Philosophy.

"Tractarian First-Order Logic: Identity and the N-Operator" (with Brian Rogers), to appear in the Review of Symbolic Logic.

"Actuality in Propositional Modal Logics" (penultimate draft; with Allen Hazen and Benjamin Rin), to appear in Studia Logica.

"How to live without identity – and why," to appear in the Australasian Journal of Philosophy. (This is a preprint of an article whose final and definitive form will be published in the Australasian Journal of Philosophy; the Australasian Journal of Philosophy is available online at: http://www.tandf.co.uk/journals/.)

"Subjunctivity and Cross-World Predication" (open access), to appear in Philosophical Studies.

"On Ramsey's 'Silly Delusion' Regarding Tractatus 5.53," in Giuseppe Primiero and Shahid Rahman (eds.), Acts of Knowledge - History, Philosophy and Logic, College Publications, London, 2009, pp. 353-368.

“Wittgensteinian Tableaux, Identity, and Co-Denotation,” Erkenntnis 69 (3),  2008, pp.  363-376.

“Ein unbekannter Brief Gottlob Freges” (with Sven Schlotter), in Methodisches Denken, Peter Bernhard and Volker Peckhaus (eds.), mentis Verlag, Paderborn (Germany), 2008, pp. 171-176 [Note: 10 MB file].

“On the Relations between Heinrich Scholz and Jan Lukasiewicz" (with H.-C. Schmidt am Busch), History and Philosophy of Logic 28 (February 2007), pp. 67-81.

“Gottlob Frege,” The Encyclopedia of Philosophy, 2^nd edition, Donald Borchert, editor-in-chief, Macmillan Reference USA, 2005, 725-736.

“Modality, Mood, and Descriptions,” in Reinhard Kahle (ed.), Intensionality: An Interdisciplinary Discussion, Lecture Notes in Logic, Wellesley, Mass.: AK Peters, 2005, pp. 187-216.

“Frege’s Permutation Argument Revisited" (with Peter Schroeder-Heister), Synthese 147, 2005, pp. 43-61.

Heinrich Scholz – Logiker, Philosoph, Theologe (co-edited with H.-C. Schmidt am Busch; see table of contents and preface here [6MB file]), Paderborn/Germany: mentis Verlag, 2005 (review by Matthias Wille in the Bulletin of Symbolic Logic 12, 2006, pp. 135-137).

“Heinrich Scholz und Jan Lukasiewicz“ (with H.-C. Schmidt am Busch), in Schmidt am Busch and Wehmeier 2005, pp. 119-131. Reprinted with a postscript by Nikolaus Lobkowicz in Forum für Osteuropäische Ideen- und Zeitgeschichte 11 (2), 2007, pp. 107-125.

“‘Es ist die einzige Spur, die ich hinterlasse’ – zur Geschichte des Instituts für Mathematische Logik und Grundlagenforschung” (with H.-C. Schmidt am Busch), in Schmidt am Busch and Wehmeier 2005, pp. 93-101 [Note: 6MB file].

“The Quest for Frege’s Nachlass” (with H.-C. Schmidt am Busch), in Michael Beaney and Erich Reck (eds.), Critical Assessments of Leading Philosophers: Gottlob Frege, vol. I, London: Routledge, 2005, pp. 54-67 (English translation of Wehmeier and Schmidt am Busch 2000).

“Wittgensteinian Predicate Logic,” Notre Dame Journal of Formal Logic 45, 2004, 1-11.

“In the Mood,” Journal of Philosophical Logic 33, 2004, 607-630.  

“Russell’s Paradox in Consistent Fragments of Frege’s Grundgesetze”, in: Godehard Link (ed.), One Hundred Years of Russell’s Paradox, de Gruyter 2004, 247-257.  

“World Travelling and Mood Swings”, in: Benedikt Löwe, Thoralf Räsch, Wolfgang Malzkorn (eds.), Foundations of the Formal Sciences II, Kluwer (Trends in Logic), 2003, 257-260.

"On the Consistency of the Delta^1_1-CA Fragment of Frege’s Grundgesetze” (with Fernando Ferreira), Journal of Philosophical Logic 31, 2002, 301-311.

“Auf der Suche nach Freges Nachlaß” (with H.-C. Schmidt am Busch), in Gottfried Gabriel and Uwe Dathe (eds.), Gottlob Frege – Werk und Wirkung, Paderborn: mentis Verlag, 2000, 267-281.

“Consistent Fragments of Grundgesetze and the Existence of Non-Logical Objects," Synthese 121, 1999, 309-328.

“Constructing Kripke Models of Certain Fragments of Heyting’s Arithmetic," Publications de l'Institut Mathématique n.s. 63 (77), 1998, 1-8.

“Aspekte der Frege-Hilbert-Korrespondenz,” History and Philosophy of Logic 18, 1997, 201-209.

“Fragments of HA based on Σ₁-induction,” Archive for Mathematical Logic 37, 1997, 37-49.

“Classical and Intuitionistic Models of Arithmetic,” Notre Dame Journal of Formal Logic 37, 1996, 452-461.