•  1
    Delicate proof theory
    In B. Jack Copeland (ed.), Logic and Reality: Essays on the Legacy of Arthur Prior, Oxford University Press. pp. 351--385. 1996.
  •  36
    On the Degeneracy of the Full AGM-Theory of Theory-Revision
    Journal of Symbolic Logic 71 (2). 2006.
    A general method is provided whereby bizarre revisions of consistent theories with respect to contingent sentences that they refute can be delivered by revision-functions satisfying both the basic and the supplementary postulates of the AGM-theory of theory-revision
  •  114
    Rule-Circularity and the Justification of Deduction
    Philosophical Quarterly 55 (221). 2005.
    I examine Paul Boghossian's recent attempt to argue for scepticism about logical rules. I argue that certain rule- and proof-theoretic considerations can avert such scepticism. Boghossian's 'Tonk Argument' seeks to justify the rule of tonk-introduction by using the rule itself. The argument is subjected here to more detailed proof-theoretic scrutiny than Boghossian undertook. Its sole axiom, the so-called Meaning Postulate for tonk, is shown to be false or devoid of content. It is also shown tha…Read more
  •  296
    Changing the theory of theory change: Towards a computational approach
    British Journal for the Philosophy of Science 45 (3): 865-897. 1994.
    The Theory of theory change has contraction and revision as its central notions. Of these, contraction is the more fundamental. The best-known theory, due to Alchourrón, Gärdenfors, and Makinson, is based on a few central postulates. The most fundamental of these is the principle of recovery: if one contracts a theory with respect to a sentence, and then adds that sentence back again, one recovers the whole theory. Recovery is demonstrably false. This paper shows why, and investigates how one ca…Read more
  •  40
    The Taming of the True
    Philosophical Review 109 (2): 290. 2000.
    The Taming of the True continues the project Neil Tennant began in Anti-realism and Logic of investigating and defending anti-realism. Tennant’s earlier book anticipated a second volume, in which issues related to empirical discourse would be addressed in greater detail. The Taming of the True provides this sequel. It also attempts a ground-clearing project, by addressing challenges to some of the presuppositions and implications of Tennant’s anti-realist position. Finally, it takes an opportuni…Read more
  •  154
    On the necessary existence of numbers
    Noûs 31 (3): 307-336. 1997.
    We examine the arguments on both sides of the recent debate (Hale and Wright v. Field) on the existence, and modal status, of the natural numbers. We formulate precisely, with proper attention to denotational commitments, the analytic conditionals that link talk of numbers with talk of numerosity and with counting. These provide conceptual controls on the concept of number. We argue, against Field, that there is a serious disanalogy between the existence of God and the existence of numbers. We g…Read more
  •  216
    Carnap, gödel, and the analyticity of arithmetic
    Philosophia Mathematica 16 (1): 100-112. 2008.
    Michael Friedman maintains that Carnap did not fully appreciate the impact of Gödel's first incompleteness theorem on the prospect for a purely syntactic definition of analyticity that would render arithmetic analytically true. This paper argues against this claim. It also challenges a common presumption on the part of defenders of Carnap, in their diagnosis of the force of Gödel's own critique of Carnap in his Gibbs Lecture. The author is grateful to Michael Friedman for valuable comments. Part…Read more
  •  70
    This paper addresses an objection raised by Timothy Williamson to the ‘restriction strategy’ that I proposed, in The Taming of The True, in order to deal with the Fitch paradox. Williamson provides a new version of a Fitch-style argument that purports to show that even the restricted principle of knowability suffers the same fate as the unrestricted one. I show here that the new argument is fallacious. The source of the fallacy is a misunderstanding of the condition used in stating the restricte…Read more
  •  8
    On ε and ∃
    Analysis 40 (1): 5-7. 1980.
  •  1
    Book reviews (review)
    Mind 90 (359): 473-475. 1981.
  •  18
    The Realm of Reason (review)
    Journal of Philosophy 102 (3): 155-162. 2005.
  •  127
    Mind, Mathematics and the I gnorabimusstreit
    British Journal for the History of Philosophy 15 (4). 2007.
    1Certain developments in recent philosophy of mind that contemporary philosophers would regard as both novel and important were fully anticipated by writers in (or reacting to) the tradition of Nat...
  •  19
  •  14
    The Full Price of Truth
    Analysis 58 (3): 221-228. 1998.
  •  5
    Entailment and Proofs
    Proceedings of the Aristotelian Society 79. 1979.
    N. Tennant; XI*—Entailment and Proofs, Proceedings of the Aristotelian Society, Volume 79, Issue 1, 1 June 1979, Pages 167–190, https://doi.org/10.1093/aristote.
  •  81
    Logicism and Neologicism
    Stanford Encyclopedia of Philosophy. 2013.
  •  12
    Autologic
    Edinburgh University Press. 1992.
    Shows how to program on a computer (in Prolog) the effective skills taught in introductory and intermediate logic courses. The topics include the relevance of relevance, representing formulae and proofs, avoiding loops and blind alleys, and other aspects. Of interest to computational logicians, proof-theorists, cognitive scientists, and workers in artificial intelligence. Distributed by Columbia U. Press. Annotation copyright by Book News, Inc., Portland, OR
  •  59
    Recursive Semantics For Knowledge and Belief
    The Monist 60 (3): 419-430. 1977.
    1. This paper is an informal exposition of a model-theoretic semantics for knowledge and belief set out in full detail else where. Considerations of space and simplicity prevent any recapitulation of tracts of formal definitions. My aim is simply to inform the reader of the alleged existence of one “new direction” in semantics, and to direct him to the original source for its detailed development. I shall explain certain self-imposed limitations on the scope and adequacy conditions of this treat…Read more
  •  71
    I clarify how the requirement of conservative extension features in the thinking of various deflationists, and how this relates to another litmus claim, that the truth-predicate stands for a real, substantial property. I discuss how the deflationist can accommodate the result, to which Cieslinski draws attention, that non-conservativeness attends even the generalization that all logical theorems in the language of arithmetic are true. Finally I provide a four-fold categorization of various forms…Read more
  • Written for any readers interested in better harnessing philosophy’s real value, this book covers a broad range of fundamental philosophical problems and certain intellectual techniques for addressing those problems. In Introducing Philosophy: God, Mind, World, and Logic , Neil Tennant helps any student in pursuit of a ‘big picture’ to think independently, question received dogma, and analyse problems incisively. It also connects philosophy to other areas of study at the university, enabling all…Read more
  •  21
  •  34
    An account of how a rational agent should revise beliefs in the light of new evidence.
  •  9
    XI*—Entailment and Proofs
    Proceedings of the Aristotelian Society 79 (1): 167-190. 1979.
    N. Tennant; XI*—Entailment and Proofs, Proceedings of the Aristotelian Society, Volume 79, Issue 1, 1 June 1979, Pages 167–190, https://doi.org/10.1093/aristote.
  •  11
    On having bad contractions, or: no room for recovery
    Journal of Applied Non-Classical Logics 7 (1-2): 241-266. 1997.
    ABSTRACT The well-known AGM-theory-contraction and theory-revision, due to Alchourrón, Gärdenfors and Makinson, relies heavily on the so-called postulate of recovery. This postulate is supposed to capture the requirement of “minimum mutilation”; but it does not. Recovery can be satisfied even when there is more mutilation than is necessary. Recovery also ensures that very often too little is given up in a contraction, in this paper I bring out clearly the deficiencies of the AGM-theory in these …Read more
  •  18
  •  147
    Victor vanquished
    Analysis 62 (2). 2002.
    The naive anti-realist holds the following principle: (◊K) All truths are knowable. This unrestricted generalization (◊K), as is now well known, falls prey to Fitch’s Paradox (Fitch 1963: 38, Theorem 1). It can be used as the only suspect principle, alongside others that cannot be impugned, to prove quite generally, and constructively, that the set {p, ¬Kp} is inconsistent (Tennant 1997: 261). From this it would follow, intuitionistically, that any proposition that is never actually known to be …Read more