•  63
    New Foundations for a Relational Theory of Theory-revision
    Journal of Philosophical Logic 35 (5): 489-528. 2006.
    AGM-theory, named after its founders Carlos Alchourrón, Peter Gärdenfors and David Makinson, is the leading contemporary paradigm in the theory of belief-revision. The theory is reformulated here so as to deal with the central relational notions 'J is a contraction of K with respect to A' and 'J is a revision of K with respect to A'. The new theory is based on a principal-case analysis of the domains of definition of the three main kinds of theory-change (expansion, contraction and revision). Th…Read more
  •  47
    Sex and the evolution of fair-dealing
    Philosophy of Science 66 (3): 391-414. 1999.
    Brian Skyrms has studied the evolutionary dynamics of a simple bargaining game. Fair-dealing is the strategy 'demand 1/2', competing with the more modest strategy 'demand 1/3' and the greedier strategy 'demand 2/3'. Individuals leave offspring in proportion to their accumulated payoffs. The rules for payoffs from encounters penalize low- and high-demanders. The result is a significant basin of attraction for fair-dealing as an evolutionarily stable strategy. From these considerations Skyrms conc…Read more
  •  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.
  •  5
    Language in Focus: Foundations, Methods and Systems
    with Asa Kasher
    Philosophical Quarterly 27 (106): 85. 1977.
  •  286
    Anti-realism and logic: truth as eternal
    Oxford University Press. 1987.
    Anti-realism is a doctrine about logic, language, and meaning that is based on the work of Wittgenstein and Frege. In this book, Professor Tennant clarifies and develops Dummett's arguments for anti-realism and ultimately advocates a radical reform of our logical practices.
  •  112
    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
  •  294
    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
  •  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
  •  215
    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
  •  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
  •  152
    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
  •  1
    Book reviews (review)
    Mind 90 (359): 473-475. 1981.
  •  18
    The Realm of Reason (review)
    Journal of Philosophy 102 (3): 155-162. 2005.
  •  8
    On ε and ∃
    Analysis 40 (1): 5-7. 1980.
  •  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.
  •  126
    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
  •  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
  •  70
    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
  •  80
    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
  •  32
    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.
  • 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