128 found
Order:
See also
Neil Tennant
Ohio State University
  1.  59
    The Taming of the True.Neil Tennant - 1997 - Oxford University Press.
    The Taming of the True poses a broad challenge to realist views of meaning and truth that have been prominent in recent philosophy. Neil Tennant argues compellingly that every truth is knowable, and that an effective logical system can be based on this principle. He lays the foundations for global semantic anti-realism and extends its consequences from the philosophy of mathematics and logic to the theory of meaning, metaphysics, and epistemology.
    Direct download  
     
    Export citation  
     
    Bookmark   134 citations  
  2. Anti-Realism and Logic: Truth as Eternal.Neil Tennant - 1987 - Oxford University Press.
    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.
  3.  9
    The Taming of the True.Michael Glanzberg & Neil Tennant - 2000 - Philosophical Review 109 (2):290.
    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 opportunity to revisit some of the issues examined in (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   55 citations  
  4. Aristotle's Syllogistic and Core Logic.Neil Tennant - 2014 - History and Philosophy of Logic 35 (2):120-147.
    I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that fresh logical insights are afforded by a proof-theoretically more systematic account of all four figures. First I regiment the syllogisms in the Gentzen–Prawitz system of natural deduction, using the universal and existential quantifiers of standard first-order logic, and the usual formalizations of Aristotle's sentence-forms. I explain how the syllogistic is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  11
    Does Choice Really Imply Excluded Middle? Part II: Historical, Philosophical, and Foundational Reflections on the Goodman–Myhill Result†.Neil Tennant - forthcoming - Philosophia Mathematica:nkaa010.
    ABSTRACT Our regimentation of Goodman and Myhill’s proof of Excluded Middle revealed among its premises a form of Choice and an instance of Separation. Here we revisit Zermelo’s requirement that the separating property be definite. The instance that Goodman and Myhill used is not constructively warranted. It is that principle, and not Choice alone, that precipitates Excluded Middle. Separation in various axiomatizations of constructive set theory is examined. We conclude that insufficient critical attention has been paid to how those forms (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  87
    Cut for Core Logic.Neil Tennant - 2012 - Review of Symbolic Logic 5 (3):450-479.
    The motivation for Core Logic is explained. Its system of proof is set out. It is then shown that, although the system has no Cut rule, its relation of deducibility obeys Cut with epistemic gain.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  7.  18
    Changes of Mind: An Essay on Rational Belief Revision.Neil Tennant - 2012 - Oxford University Press.
    An account of how a rational agent should revise beliefs in the light of new evidence.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  8.  10
    Does Choice Really Imply Excluded Middle? Part I: Regimentation of the Goodman–Myhill Result, and Its Immediate Reception†.Neil Tennant - forthcoming - Philosophia Mathematica:nkz029.
    ABSTRACT The one-page 1978 informal proof of Goodman and Myhill is regimented in a weak constructive set theory in free logic. The decidability of identities in general is derived; then, of sentences in general. Martin-Löf’s and Bell’s receptions of the latter result are discussed. Regimentation reveals the form of Choice used in deriving Excluded Middle. It also reveals an abstraction principle that the proof employs. It will be argued that the Goodman–Myhill result does not provide the constructive set theorist with (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  78
    Deflationism and the Gödel Phenomena.Neil Tennant - 2002 - Mind 111 (443):551-582.
    consistent and sufficiently strong system of first-order formal arithmetic fails to decide some independent Gödel sentence. We examine consistent first-order extensions of such systems. Our purpose is to discover what is minimally required by way of such extension in order to be able to prove the Gödel sentence in a non-trivial fashion. The extended methods of formal proof must capture the essentials of the so-called ‘semantical argument’ for the truth of the Gödel sentence. We are concerned to show that the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  10. Revamping the Restriction Strategy.Neil Tennant - 2009 - In Joe Salerno (ed.), New Essays on the Knowability Paradox. Oxford University Press.
    This study continues the anti-realist’s quest for a principled way to avoid Fitch’s paradox. It is proposed that the Cartesian restriction on the anti-realist’s knowability principle ‘ϕ, therefore 3Kϕ’ should be formulated as a consistency requirement not on the premise ϕ of an application of the rule, but rather on the set of assumptions on which the relevant occurrence of ϕ depends. It is stressed, by reference to illustrative proofs, how important it is to have proofs in normal form before (...)
     
    Export citation  
     
    Bookmark   14 citations  
  11. Review of C. S. Jenkins, Grounding Concepts: An Empirical Basis for Arithmetical Knowledge[REVIEW]Neil Tennant - 2010 - Philosophia Mathematica 18 (3):360-367.
    This book is written so as to be ‘accessible to philosophers without a mathematical background’. The reviewer can assure the reader that this aim is achieved, even if only by focusing throughout on just one example of an arithmetical truth, namely ‘7+5=12’. This example’s familiarity will be reassuring; but its loneliness in this regard will not. Quantified propositions — even propositions of Goldbach type — are below the author’s radar.The author offers ‘a new kind of arithmetical epistemology’, one which ‘respects (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  95
    On the Necessary Existence of Numbers.Neil Tennant - 1997 - Noûs 31 (3):307-336.
    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 give (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  13. Victor Vanquished.Neil Tennant - 2002 - Analysis 62 (2):135–142.
    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 true (by anyone, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  14.  14
    Victor Vanquished.Neil Tennant - 2002 - Analysis 62 (2):135-142.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  15.  32
    Logicism and Neologicism.Neil Tennant - 2013 - Stanford Encyclopedia of Philosophy.
  16. Deflationism and the Gödel Phenomena: Reply to Ketland.Neil Tennant - 2005 - Mind 114 (453):89-96.
    I am not a deflationist. I believe that truth and falsity are substantial. The truth of a proposition consists in its having a constructive proof, or truthmaker. The falsity of a proposition consists in its having a constructive disproof, or falsitymaker. Such proofs and disproofs will need to be given modulo acceptable premisses. The choice of these premisses will depend on the discourse in question.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  17. Natural Logicism Via the Logic of Orderly Pairing.Neil Tennant - manuscript
    The aim here is to describe how to complete the constructive logicist program, in the author’s book Anti-Realism and Logic, of deriving all the Peano-Dedekind postulates for arithmetic within a theory of natural numbers that also accounts for their applicability in counting finite collections of objects. The axioms still to be derived are those for addition and multiplication. Frege did not derive them in a fully explicit, conceptually illuminating way. Nor has any neo-Fregean done so.
     
    Export citation  
     
    Bookmark   9 citations  
  18.  51
    Is Every Truth Knowable? Reply to Williamson.Neil Tennant - 2001 - Ratio 14 (3):263–280.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  19.  43
    New Foundations for a Relational Theory of Theory-Revision.Neil Tennant - 2006 - Journal of Philosophical Logic 35 (5):489-528.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  20.  56
    A General Theory of Abstraction Operators.Neil Tennant - 2004 - Philosophical Quarterly 54 (214):105-133.
    I present a general theory of abstraction operators which treats them as variable-binding term- forming operators, and provides a reasonably uniform treatment for definite descriptions, set abstracts, natural number abstraction, and real number abstraction. This minimizing, extensional and relational theory reveals a striking similarity between definite descriptions and set abstracts, and provides a clear rationale for the claim that there is a logic of sets (which is ontologically non- committal). The theory also treats both natural and real numbers as answering (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  21.  80
    On Paradox Without Self-Reference.Neil Tennant - 1995 - Analysis 55 (3):199 - 207.
  22. Changing the Theory of Theory Change: Towards a Computational Approach.Neil Tennant - 1994 - British Journal for the Philosophy of Science 45 (3):865-897.
    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 can (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  23.  88
    Williamson’s Woes.Neil Tennant - 2010 - Synthese 173 (1):9-23.
    This is a reply to Timothy Williamson ’s paper ‘Tennant’s Troubles’. It defends against Williamson ’s objections the anti-realist’s knowability principle based on the author’s ‘local’ restriction strategy involving Cartesian propositions, set out in The Taming of the True. Williamson ’s purported Fitchian reductio, involving the unknown number of books on his table, is analyzed in detail and shown to be fallacious. Williamson ’s attempt to cause problems for the anti-realist by means of a supposed rigid designator generates a contradiction (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  24.  3
    Philosophy of Logics.Neil Tennant - 1981 - British Journal for the Philosophy of Science 32 (3):287-301.
  25.  19
    On the Degeneracy of the Full AGM-Theory of Theory-Revision.Neil Tennant - 2006 - Journal of Symbolic Logic 71 (2):661 - 676.
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  26. Inferentialism, Logicism, Harmony, and a Counterpoint.Neil Tennant - manuscript
    Inferentialism is explained as an attempt to provide an account of meaning that is more sensitive (than the tradition of truth-conditional theorizing deriving from Tarski and Davidson) to what is learned when one masters meanings.
     
    Export citation  
     
    Bookmark   5 citations  
  27.  34
    Logic, Mathematics, and the A Priori, Part II: Core Logic as Analytic, and as the Basis for Natural Logicism.Neil Tennant - 2014 - Philosophia Mathematica 22 (3):321-344.
    We examine the sense in which logic is a priori, and explain how mathematical theories can be dichotomized non-trivially into analytic and synthetic portions. We argue that Core Logic contains exactly the a-priori-because-analytically-valid deductive principles. We introduce the reader to Core Logic by explaining its relationship to other logical systems, and stating its rules of inference. Important metatheorems about Core Logic are reported, and its important features noted. Core Logic can serve as the basis for a foundational program that could (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  28.  17
    Anti-Realism and Logic. Truth as Eternal.W. D. Hart & Neil Tennant - 1989 - Journal of Symbolic Logic 54 (4):1485.
  29.  34
    Perfect Validity, Entailment and Paraconsistency.Neil Tennant - 1984 - Studia Logica 43 (1-2):181 - 200.
    This paper treats entailment as a subrelation of classical consequence and deducibility. Working with a Gentzen set-sequent system, we define an entailment as a substitution instance of a valid sequent all of whose premisses and conclusions are necessary for its classical validity. We also define a sequent Proof as one in which there are no applications of cut or dilution. The main result is that the entailments are exactly the Provable sequents. There are several important corollaries. Every unsatisfiable set is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  30.  25
    Theory-Contraction is NP-Complete.Neil Tennant - 2003 - Logic Journal of the IGPL 11 (6):675-693.
    I investigate the problem of contracting a dependency-network with respect to any of its nodes. The resulting contraction must not contain the node in question, but must also be a minimal mutilation of the original network. Identifying successful and minimally mutilating contractions of dependency-networks is non-trivial, especially when non-well-founded networks are to be taken into account. I prove that the contraction problem is NP-complete.1.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  31. Core Logic.Neil Tennant - 2017 - Oxford University Press.
    Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. Core Logic is the first system that ensures both relevance and adequacy for the formalization of all mathematical and scientific reasoning.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  32. Inferential Semantics for First-Order Logic : Motivating Rules of Inference From Rules of Evaluation.Neil Tennant - 2010 - In T. J. Smiley, Jonathan Lear & Alex Oliver (eds.), The Force of Argument: Essays in Honor of Timothy Smiley. Routledge. pp. 223--257.
  33. A Defence of Arbitrary Objects.Kit Fine & Neil Tennant - 1983 - Aristotelian Society Supplementary Volume 57 (1):55 - 89.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  34.  73
    Rule-Circularity and the Justification of Deduction.Neil Tennant - 2005 - Philosophical Quarterly 55 (221):625 - 648.
    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 that the rules of Disquotation and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  35.  49
    Deductive Versus Expressive Power: A Pre-Godelian Predicament.Neil Tennant - 2000 - Journal of Philosophy 97 (5):257.
  36.  30
    Proof and Paradox.Neil Tennant - 1982 - Dialectica 36 (2‐3):265-296.
  37. On Negation, Truth and Warranted Assertibility.Neil Tennant - 1995 - Analysis 55 (2):98-104.
    All parties to the proceedings that follow concur with DS. The question is whether there is anything more to truth than can be gleaned from DS alone. Deflationism holds that there is nothing more to truth than this. Now it would appear that 'warrantedly assertible' can play the role of T in DS. Hence it would appear that the deflationist would be able to identify truth with warranted assertibility.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  38.  26
    The Withering Away of Formal Semantics?Neil Tennant - 1986 - Mind and Language 1 (4):302-318.
  39. Minimal Logic is Adequate for Popperian Science.Neil Tennant - 1985 - British Journal for the Philosophy of Science 36 (3):325-329.
  40.  24
    Cut for Classical Core Logic.Neil Tennant - 2015 - Review of Symbolic Logic 8 (2):236-256.
  41.  89
    The Logical Structure of Scientific Explanation and Prediction: Planetary Orbits in a Sun’s Gravitational Field.Neil Tennant - 2010 - Studia Logica 95 (1-2):207-232.
    We present a logically detailed case-study of explanation and prediction in Newtonian mechanics. The case in question is that of a planet's elliptical orbit in the Sun's gravitational field. Care is taken to distinguish the respective contributions of the mathematics that is being applied, and of the empirical hypotheses that receive a mathematical formulation. This enables one to appreciate how in this case the overall logical structure of scientific explanation and prediction is exactly in accordance with the hypotheticodeductive model.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Changing the Theory of Theory Change: Reply to My Critics.Neil Tennant - 1997 - British Journal for the Philosophy of Science 48 (4):569-586.
    Changing the Theory of Theory Change: Towards a Computational Approach’ (Tennant [1994]; henceforth CTTC) claimed that the AGM postulate of recovery is false, and that AGM contractions of theories can be more than minimally mutilating. It also described an alternative, computational method for contracting theories, called the Staining Algorithm. Makinson [1995] and Hansson and Rott [1995] criticized CTTC's arguments against AGM-theory, and its specific proposals for an alternative, computational approach. This paper replies as comprehensively as space allows.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  19
    The Relevance of Premises to Conclusions of Core Proofs.Neil Tennant - 2015 - Review of Symbolic Logic 8 (4):743-784.
  44. Natural Deduction and Sequent Calculus for Intuitionistic Relevant Logic.Neil Tennant - 1987 - Journal of Symbolic Logic 52 (3):665-680.
  45.  76
    What is Naturalism in Mathematics, Really?: A Critical Study of P. Maddy, Naturalism in Mathematics[REVIEW]Neil Tennant - 2000 - Philosophia Mathematica 8 (3):316-338.
    Review of PENELOPE MADDY. Naturalism in Mathematics. Oxford: Clarendon Press, 1997.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  46.  41
    The Logical Structure of Evolutionary Explanation and Prediction: Darwinism’s Fundamental Schema.Neil Tennant - 2014 - Biology and Philosophy 29 (5):611-655.
    We present a logically detailed case-study of Darwinian evolutionary explanation. Special features of Darwin’s explanatory schema made it an unusual theoretical breakthrough, from the point of view of the philosophy of science. The schema employs no theoretical terms, and puts forward no theoretical hypotheses. Instead, it uses three observational generalizations—Variability, Heritability and Differential Reproduction—along with an innocuous assumption of Causal Efficacy, to derive Adaptive Evolution as a necessary consequence. Adaptive Evolution in turn, with one assumption of scale (‘Deep Time’), implies (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47. Autologic.Neil Tennant - 1992 - Edinburgh University Press.
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  48.  78
    Parts, Classes and Parts of Classes : An Anti-Realist Reading of Lewisian Mereology.Neil Tennant - 2013 - Synthese 190 (4):709-742.
    This study is in two parts. In the first part, various important principles of classical extensional mereology are derived on the basis of a nice axiomatization involving ‘part of’ and fusion. All results are proved here with full Fregean rigor. They are chosen because they are needed for the second part. In the second part, this natural-deduction framework is used in order to regiment David Lewis’s justification of his Division Thesis, which features prominently in his combination of mereology with class (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  40
    The Law of Excluded Middle Is Synthetic A Priori, If Valid.Neil Tennant - 1996 - Philosophical Topics 24 (1):205-229.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  50.  44
    Normalizability, Cut Eliminability and Paradox.Neil Tennant - forthcoming - Synthese:1-20.
    This is a reply to the considerations advanced by Schroeder-Heister and Tranchini as prima facie problematic for the proof-theoretic criterion of paradoxicality, as originally presented in Tennant and subsequently amended in Tennant. Countering these considerations lends new importance to the parallelized forms of elimination rules in natural deduction.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 128