•  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
  •  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.
  •  21
  •  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
  •  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