•  41
    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
  •  156
    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
  •  218
    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
  •  18
    The Realm of Reason (review)
    Journal of Philosophy 102 (3): 155-162. 2005.
  •  8
    On ε and ∃
    Analysis 40 (1): 5-7. 1980.
  •  1
    Book reviews (review)
    Mind 90 (359): 473-475. 1981.
  •  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.
  •  130
    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...
  •  20
  •  14
    The Full Price of Truth
    Analysis 58 (3): 221-228. 1998.
  •  75
    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
  •  82
    Logicism and Neologicism
    Stanford Encyclopedia of Philosophy. 2013.
  •  13
    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