Humanities Distinguished Professor in Philosophy
Distinguished University Scholar



  1. Changes of Mind: An Essay on Rational Belief Revision, Oxford University Press, 2012.
  2. The Taming of The True, Oxford University Press, 1997. xvii+465 pp. Paperback edition 2002.
  3. Autologic, Edinburgh University Press, 1992, xiii+239 pp.
  4. Anti-Realism and Logic: Truth as Eternal, Clarendon Library of Logic and Philosophy, Oxford University Press, 1987, xii+325 pp.
  5. Philosophy, Evolution and Human Nature (with F. von Schilcher), Routledge and Kegan Paul, 1984, viii+283 pp.
  6. Natural Logic, Edinburgh University Press, 1978, ix+196pp.; Japanese translation by T. Fujimura for Orion Press, 1981; second, revised edition, 1990


Articles (in reverse chronological order)

Some of the downloadable .pdf files below were created using the Unix facility ps2pdf. They may look like medieval woodcut when viewed with Adobe Acrobat, but they print off perfectly.

  1. 'The Logical Structure of Evolutionary Explanation and Prediction: Darwinism's Fundamental Schema', forthcoming in Biology and Philosophy. The final publication is available at Springer via
  2. 'Cut for Classical Core Logic', forthcoming in Review of Symbolic Logic
  3. 'A New Unified Account of Truth and Paradox', forthcoming in Mind
  4. 'Logic, Mathematics and the A Priori, Part I: A Problem for Realism', forthcoming in Philosophia Mathematica
  5. 'Logic, Mathematics and the A Priori, Part II: Core logic as analytic, and as the basis for Natural Logicism', forthcoming in Philosophia Mathematica
  6. 'Rule-Irredundancy and the Sequent Calculus for Core Logic', forthcoming in Notre Dame Journal of Formal Logic
  7. 'A Logical Theory of Truthmakers and Falsitymakers', in Michael Glanzberg, ed., Handbook of Truth, Oxford University Press, forthcoming
  8. 'Inferentialism, Logicism, Harmony, and a Counterpoint', in Alex Miller, ed., Essays for Crispin Wright: Logic, Language and Mathematics (Oxford University Press: Volume 2 of a two-volume Festschrift for Crispin Wright, co-edited with Annalisa Coliva), forthcoming
  9. 'On Gentzen's Structural Completeness Proof', in Heinrich Wansing, ed., Dag Prawitz on Proofs and Meaning, in the Studia Logica series Trends in Logic, forthcoming
  10. 'On the Maxim of Shallow Analysis: Skeletal Validity, and the search for a system of Gaunt Proof', in Florian Steinberger and Neil Tennant, eds., Inferentialism, Routledge, forthcoming
  11. 'Aristotle's Syllogistic and Core Logic', forthcoming in History and Philosophy of Logic
  12. 'Logicism and Neo-Logicism', in Stanford Encyclopedia of Philosophy, August 21, 2013
  13. 'Parts, Classes and Parts of Classes: An Anti-Realist Reading of Lewisian Mereology', Synthese, 2012, DOI: 10.1007/s11229-012-0200-1
  14. 'Cut for core logic', Review of Symbolic Logic, 5, no.3, 2012, pp. 450-479 DOI:
  15. 'Harmony in a sequent setting', Analysis, 70, no. 3, pp. 462-468
  16. 'The Logical Structure of Scientific Explanation and Prediction: Planetary Orbits in a Sun's Gravitational Field', Studia Logica, 95, pp. 207-232
  17. 'Deflationism and the Gödel-Phenomena: Reply to Cieslinski', Mind 119, no. 474, 2010, pp. 437-450
  18. 'Cognitive Phenomenology, Semantic Qualia and Luminous Knowledge', in Patrick Greenough and Duncan Pritchard, eds., Williamson on Knowledge, Oxford University Press, 2009, pp. 238-256
  19. 'Williamson's Woes', Synthese Special Issue Knowability and Beyond, ed. J. Salerno, vol. 173, no. 1, 2010, pp. 9-23
  20. 'Inferential Semantics', in Jonathan Lear and Alex Oliver, eds., The Force of Argument: Essays in Honor of Timothy Smiley, Routledge, pp. 223-257
  21. 'Revamping the Restriction Strategy', in Joseph Salerno, ed., New Essays on the Knowability Paradox, Oxford University Press, Oxford University Press, 2009, pp. 223-238
  22. 'Natural Logicism via the Logic of Orderly Pairing', in Sten Lindström, Erik Palmgren, Krister Segerberg and Viggo Stoltenberg-Hansen, eds., Logicism, Intuitionism, Formalism: What has become of them?, Synthese Library, Springer Verlag, 2009, pp. 91-125
  23. 'Belief-Revision, the Ramsey Test, Monotonicity, and the so-called Impossibility Results', Review of Symbolic Logic Special Issue Logic, Context and Vagueness, ed. Horacio Arló-Costa; vol. 1, no. 4, 2008, pp. 402-423. © Cambridge University Press. Here is a link to the online edition of the journal at Cambridge Journals Online.
  24. 'Carnap, Gödel and the Analyticity of Arithmetic', Philosophia Mathematica, (III) 16, 2008, pp. 100-112
  25. 'Existence and Identity in Free Logic: A Problem for Inferentialism?', Mind, vol. 116, 2007, pp. 1055-1078
  26. 'Mind, Mathematics and the Ignorabimusstreit', in British Journal for the History of Philosophy vol. 15, no. 4, 2007, pp. 745-773
  27. 'What might logic and methodology have offered the Dover School Board, had they been willing to listen?', Public Affairs Quarterly vol. 21, no. 2, April 2007, pp. 149-167
  28. 'Logic, Mathematics and the Natural Sciences' , in Dale Jacquette, ed., Handbook of the Philosophy of Science. Volume 5: Philosophy of Logic, Elsevier BV, 2006, pp. 1149-1166
  29. 'On the Degeneracy of the Full AGM-Theory of Theory-Revision', in Journal of Symbolic Logic, vol. 71, no. 2, 2006, pp. 661-676
  30. 'New Foundations for a Relational Theory of Theory-Revision', Journal of Philosophical Logic, vol. 35, 2006, pp. 489-528
  31. 'A Note on the Irrelevance of Probabilistic Irrelevance', Analysis, vol. 66, no. 1, 2005, pp. 32-35
  32. 'Rule-Circularity and the Justification of Deduction', The Philosophical Quarterly, vol. 55, no. 221, 2005, pp. 625-648. This is an electronic version of an article published in The Philosophical Quarterly. Complete citation information for the final version of the paper, as published in the print edition of The Philosophical Quarterly, is available on the Blackwell Synergy online delivery service, accessible via the journal's website at or
  33. 'Contracting Intuitionistic Theories', Studia Logica, 72, 2005, pp. 1-24.
  34. 'Deflationism and the Gödel-Phenomena: Reply to Ketland', Mind vol. 114, no. 413, January 2005, pp. 89-96.
  35. 'An Anti-Realist Critique of Dialetheism', in G. Priest, J. C. Beall and B. Armour-Garb, The Law of Non-Contradiction: New Philosophical Essays, Oxford University Press, 2004, pp. 355-384.
  36. 'Relevance in Reasoning', in S. Shapiro, ed., Handbook of Philosophy of Logic and Mathematics, Oxford University Press, 2004, pp. 696-726.
  37. 'A General Theory of Abstraction Operators', The Philosophical Quarterly, vol. 54, no. 214, 2004, pp. 105-133.
  38. 'Theory-Contraction is NP-Complete', Logic Journal of the IGPL, vol. 11, no. 6, 2003, pp. 675-693.
  39. 'Frege's Content-Principle and Relevant Deducibility', Journal of Philosophical Logic, vol. 32, 2003, pp. 245-258.
  40. 'Review Essay on Bob Hale and Crispin Wright, The Reason's Proper Study', Philosophia Mathematica, vol. 11, 2003, pp. 226-241.
  41. 'The Emperor's New Concepts', Philosophical Perspectives, vol. 16, 2002, pp. 345-377.
  42. 'Ultimate Normal Forms for Parallelized Natural Deductions, with Applications to Relevance and the Deep Isomorphism between Natural Deductions and Sequent Proofs', Logic Journal of the IGPL, vol. 10, no. 3, May 2002, pp. 299-337.
  43. 'Deflationism and the Gödel-Phenomena', Mind, vol. 111, 443, July 2002, pp. 551-582.
  44. 'Victor Vanquished', Analysis, April 2002, Vol. 62, No. 2.
  45. 'Our Future with Cloning: On the Possibility of Serial Immortality, and Fundamental Alterations in Human Sexuality', in J.Fetzer, ed., Consciousness and the Algorithms of Evolution, Philip Kuijpers-John Benjamin Publishing Co., 2002.
  46. 'Is every truth knowable? Reply to Williamson', Ratio, Vol. XIV, no. 3, September 2001, pp. 263-280.
  47. 'Game Theory and Convention T', Nordic Journal of Philosophical Logic 6 no. 1, 2001, pp. 3-20.
  48. 'Is every truth knowable? Reply to Hand and Kvanvig', Australasian Journal of Philosophy, 79, no. 1, March 2001, pp. 107-113.
  49. 'On Turing Machines Knowing Their Own Gödel-Sentences', Philosophia Mathematica 9, February 2001, pp. 72-79.
  50. 'What is Naturalism in Mathematics, Really?', Philosophia Mathematica 8, 2000, pp. 316-338.
  51. 'Anti-Realist Aporias', in Mind, Vol. 109, 436, October 2000, pp. 831-860.
  52. 'Deductive v. Expressive Power: A Pre-Gödelian Predicament', in Journal of Philosophy XCVII, no. 5, May 2000, pp. 257-277.
  53. 'Sex and the Evolution of Fair-Dealing', Philosophy of Science 66, 1999, pp. 391-414
  54. 'Radical Interpretation, Logic and Conceptual Schemes', in M. de Caro, ed., Interpretations and Causes. New Perspectives on Donald Davidson's Philosophy, Kluwer Academic Press, 1999, pp. 71-93.
  55. 'Negation, Absurdity and Contrariety', in D. Gabbay and H. Wansing (eds.), What is Negation?, Kluwer, Dordrecht, 1999, pp. 199-222.
  56. Critical notice on G.Priest, Beyond the Limits of Thought, Cambridge University Press, 1994, in Philosophical Books, 39, 1998, pp. 20-38.
  57. Games Some People Would Have All Of Us Play. Review essay on K.J.J.Hintikka, The Principles of Mathematics Revisited, Cambridge University Press, 1996, in Philosophica Mathematica (3), Vol.6, 1998, pp.90-115.
  58. 'The Full Price of Truth', Analysis, 58.3, 1998, pp. 221-228.
  59. 'Changing the Theory of Theory Change: Reply to my Critics', British Journal for Philosophy of Science, 48, 1997, pp. 569-586.
  60. 'On the Necessary Existence of Numbers', Nous, 31, 1997, pp. 307-336.
  61. 'On Having Bad Contractions, or: No Room for Recovery', Journal of Applied Non-Classical Logics, 7, 1997, pp. 241-266.
  62. 'The Law of Excluded Middle is Synthetic A Priori, if Valid', Philosophical Topics, 24, 1996, pp. 205-229.
  63. 'Delicate Proof Theory', in J. Copeland (ed.), Logic and Reality: Essays on the Legacy of Arthur Prior, Oxford University Press, 1996, pp. 351-385.
  64. 'One or many logics? Arguments relevant to the philosophy of language', in M. Dascal, D. Gerhardus, K. Lorenz and G. Meggle (eds.), Philosophy of Language: An International Handbook of Contemporary Research, Walter de Gruyter, Berlin, 1996, pp. 1069-1085.
  65. 'On Paradox without Self-Reference', Analysis 55, 1995, pp. 199-207.
  66. 'Paradoxes of Pure Curiosity', Theory and Decision 38, 1995, pp. 321-330.
  67. Review article of K. Devlin, Logic and Information, Cambridge University Press, 1992, for Philosophia Mathematica 3, 1995, pp. 179-207.
  68. 'On Negation, Truth and Warranted Assertability', Analysis 55, 1995, pp. 98-104.
  69. Articles on Dummett, on Anti-Realism and on Intuitionism for J.Kim and E.Sosa (eds.), Companion to Metaphysics, Blackwells, 1994
  70. 'Transmission of Truth and Transitivity of Proof', in D. Gabbay (ed.), What is a Logical System?, Oxford University Press, 1994, pp. 161-177. See here for published version in Google Books. (Put "Neil Tennant" in the box for "Search in this book", and follow the link for page 161.)
  71. 'Carnap and Quine', in W. Salmon and G. Wolters (eds.), Logic, Language and the Structure of Scientific Theories, University of Pittsburgh Press , 1994, pp. 305-344.
  72. 'Changing the Theory of Theory Change: Towards a Computational Approach', British Journal for Philosophy of Science , 45, 1994, pp. 865-897.
  73. 'Intuitionistic Mathematics Does Not Need Ex Falso Quodlibet', Topoi 13, 1994, pp. 127-133.
  74. 'Logic and Physicalism', in R. Casati, B. Smith and G. White (eds.), Philosophy and the Cognitive Sciences:Proceedings of the 16th International Wittgenstein Colloquium , Holder-Pichler-Tempsky, Vienna, 1994, pp. 113-126.
  75. 'Automated Deduction and Artificial Intelligence', in R. Casati, B. Smith and G. White (eds.), Philosophy and the Cognitive Sciences:Proceedings of the 16th International Wittgenstein Colloquium , Holder-Pichler-Tempsky, Vienna, 1994, pp. 273-286.
  76. 'On Maintaining Concentration', Analysis 1994, pp. 143-152.
  77. 'Logic and its Place in Nature', in P. Parrini (ed.), Kant and Contemporary Epistemology , Kluwer, 1994, pp. 101-113.
  78. 'Classical versus non-classical logic', in H. Stachowiak (ed), Pragmatik: ein mehrbändiges Standardwerk , Band IV, Felix Meiner Verlag, 1994, pp. 251-272.
  79. 'The Decoding Problem: Do We Need to Search for Extra Terrestrial Intelligence to Search for Extraterrestrial Intelligence?', in S. Kingsley (ed.), SPIE Proceedings Volume 1867, 1993. Reprinted in Brie Gertler and Lawrence Shapiro, eds., Arguing About The Mind, Routledge, 2007.
  80. 'Truth Table Logic, with a Survey of Embeddability Results', Notre Dame Journal of Formal Logic , 30, 1989, pp. 459-484.
  81. 'Theories, Concepts and Rationality in an Evolutionary Account of Science', Biology and Philosophy, 3, 1988, pp. 224-231.
  82. 'Two Problems for Evolutionary Epistemology: Psychic Reality and the Emergence of Norms', Ratio n.s.1, 1988, pp. 47-63.
  83. (with D. C. McCarty) 'Skolem's Paradox and Constructivism', Journal of Philosophical Logic 16, 1987, pp. 165-202. Reprinted in Stewart Shapiro, ed., The Limits of Logic: Higher-Order Logic and the Löwenheim-Skolem Theorem, The International Research Library of Philosophy: 18, Ashgate Dartmouth, 1996
  84. 'Conventional Necessity and the Contingency of Convention', Dialectica 41, 1987, pp. 79-95.
  85. 'Holism, Molecularity and Truth', in B.M. Taylor (ed), Michael Dummett: Contributions to Philosophy , Nijhoff, 1987, pp. 31-58.
  86. 'Philosophy and biology: mutual enrichment or one-sided encroachment?', La Nuova Critica n.s.I-II, 1987, pp. 39-53.
  87. 'Natural Deduction and Sequent Calculus for Intuitionistic Relevant Logic', Journal of Symbolic Logic 52, 1987, pp. 665-690.
  88. 'The Life and Work of the Early Carnap', in N. Rescher (ed), Scientific Inquiry in Philosophical Perspective , University Press of America, 1987, pp. 261-280.
  89. 'Anti-Realism and Choice of Logic', Untersuchungen zur Logik und zur Methodologie Band 3, 1986, pp. 39-54.
  90. 'The Withering Away of Formal Semantics?', Mind and Language 1, 1986, pp. 302-318.
  91. 'Beth's Theorem and Reductionism', in Pacific Philosophical Quarterly 66, 1985, pp. 342-54.
  92. 'Minimal logic is adequate for Popperian science', in British Journal for Philosophy of Science 36, 1985, pp. 325-329.
  93. 'Reductionism and holism in biology', in T.J. Horder, J.A. Witkowski and C.C. Wylie (eds), History of Embryology , Cambridge University Press, 1985, pp. 407-433.
  94. 'Weir and those "disproofs" I saw before me', Analysis 45, 1985, pp. 208-211.
  95. 'How is Meaning Possible?', Philosophical Books XXVI, 1984, pp. 65-82.
  96. 'Intentionality, syntactic structure and the evolution of language', in C. Hookway (ed), Minds, Machines and Evolution , Cambridge University Press, 1984, pp. 73-103.
  97. 'Perfect validity, entailment and paraconsistency', Studia Logica XLIII, 1984, pp.179-198.
  98. 'Were those disproofs I saw before me?', Analysis 44, 1984, pp. 97-105.
  99. 'In defence of evolutionary epistemology', Theoria IL, 1983, pp. 32-48.
  100. 'Evolutionary epistemology', in P. Weingartner and J. Czermak (eds), Epistemology and Philosophy of Science - Proceedings of the 7th International Wittgenstein Colloquium, Vienna, 1983, pp. 168-173.
  101. 'A defence of arbitrary objects', Proceedings of the Aristotelian Society Supplementary Volume LVII, 1983, pp. 79-89. Reprinted by courtesy of the Editor of the Aristotelian Society: (c) 1983
  102. 'Evolutionary v. evolved ethics', Philosophy 58, 1983, pp. 289-302.
  103. 'Proof and paradox', Dialectica 36, 1982, pp. 265-296.
  104. 'Is this a proof I see before me?', Analysis 41, 1981, pp. 115-119.
  105. 'Formal games and forms for games', Linguistics and Philosophy 4, 1981, pp. 311-320.
  106. 'From logic to philosophies', British Journal for Philosophy of Science 32, 1981, pp. 287-301.
  107. 'Causal models and logical inference' (with I.E. Thompson), British Journal of Psychiatry 137, 1980, pp. 579-582.
  108. 'A Proof-theoretic approach to entailment', Journal of Philosophical Logic 9, 1980, pp. 185-209.
  109. 'On [the existential quantifier] and [Hilbert's epsilon operator]', Analysis 40, 1980, pp. 5-7.
  110. 'La barre de Sheffer dans la logique des sequents et des syllogismes', Logique et Analyse 88, 1979, pp. 503-514.
  111. 'Language games and intuitionism', Synthese 42, 1979, pp. 297-314.
  112. 'Entailment and Proofs', Proceedings of the Aristotelian Society LXXIX, 1979, pp. 167-189.
  113. 'Continuity and identity', Journal of Philosophical Logic 6, 1977, pp. 223-231.
  114. 'Recursive semantics for knowledge and belief', The Monist 60, 1977, pp. 419-430.
  115. 'Truth, meaning and decidability', Mind 86, 1977, pp. 368-387.
  116. 'Sortal quantification', (with J.E.J. Altham) in E.L. Keenan (ed), Formal Semantics for Natural Language, Cambridge University Press, 1975, pp. 46-58.
  117. 'Natural deduction for first order logic with identity, descriptions and restricted quantification', in Contributed Papers of the 5th International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, 1975, pp. I 51-2.


  1. Editorial in Philosophia Mathematica, for Special Issue Carnap and Some Contemporaries, (III) 16, 2008, pp. 1-3
  2. Editorial on computational logic, Journal of Logic and Computation, Vol.1, No.4, 1990


  1. 'Against Kripke's skeptic', abstract in Journal of Symbolic Logic 54, 1989, p 685
  2. 'Entailment, perfect validity and paraconsistency', abstract in Journal of Symbolic Logic 49, 1984, pp. 322-3.