132 found
Order:
See also
Neil Tennant
Ohio State University
  1.  49
    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   77 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.  74
    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 (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  18
    On Some Mistaken Beliefs About Core Logic and Some Mistaken Core Beliefs About Logic.Neil Tennant - 2018 - Notre Dame Journal of Formal Logic 59 (4):559-578.
    This is in part a reply to a recent work of Vidal-Rosset, which expresses various mistaken beliefs about Core Logic. Rebutting these leads us further to identify, and argue against, some mistaken core beliefs about logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  53
    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 (7 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  6. 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  
  7. Aristotle's Syllogistic and Core Logic.Neil Tennant - 2014 - History and Philosophy of Logic 35 (2):120-147.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8. 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   8 citations  
  9.  96
    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   12 citations  
  10.  13
    Natural Logic.H. A. Lewis & Neil Tennant - 1981 - Philosophical Quarterly 31 (125):376.
  11.  27
    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 (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  42
    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   11 citations  
  13. 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  
  14.  79
    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 (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15.  84
    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 (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  16.  15
    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 (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  17.  34
    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  
  18.  45
    Weir and those 'disproofs' I saw before me.Neil Tennant - 1985 - Analysis 45 (4):208.
    No categories
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  1
    The Taming of the True.Michael Glanzberg & Neil Tennant - 2000 - Philosophical Review 109 (2):290.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  20.  12
    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   2 citations  
  21.  50
    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   6 citations  
  22.  6
    Victor Vanquished.Neil Tennant - 2002 - Analysis 62 (2):135-142.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  23.  21
    Proof and Paradox.Neil Tennant - 1982 - Dialectica 36 (2‐3):265-296.
  24.  33
    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 (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25.  23
    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   6 citations  
  26.  83
    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   1 citation  
  27. 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 (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28. 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.
  29. Minimal Logic is Adequate for Popperian Science.Neil Tennant - 1985 - British Journal for the Philosophy of Science 36 (3):325-329.
  30.  27
    Logicism and Neologicism.Neil Tennant - 2013 - Stanford Encyclopedia of Philosophy.
  31. 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   2 citations  
  32.  65
    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   3 citations  
  33. 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   3 citations  
  34. A Defence of Arbitrary Objects.Kit Fine & Neil Tennant - 1983 - Aristotelian Society Supplementary Volume 57 (1):55 - 89.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  35. Natural Deduction and Sequent Calculus for Intuitionistic Relevant Logic.Neil Tennant - 1987 - Journal of Symbolic Logic 52 (3):665-680.
  36. 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   3 citations  
  37.  17
    Cut for Classical Core Logic.Neil Tennant - 2015 - Review of Symbolic Logic 8 (2):236-256.
  38.  30
    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 (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  39.  13
    The Relevance of Premises to Conclusions of Core Proofs.Neil Tennant - 2015 - Review of Symbolic Logic 8 (4):743-784.
  40.  6
    On Tarski’s Axiomatization of Mereology.Neil Tennant - forthcoming - Studia Logica:1-14.
    It is shown how Tarski’s 1929 axiomatization of mereology secures the reflexivity of the ‘part of’ relation. This is done with a fusion-abstraction principle that is constructively weaker than that of Tarski; and by means of constructive and relevant reasoning throughout. We place a premium on complete formal rigor of proof. Every step of reasoning is an application of a primitive rule; and the natural deductions themselves can be checked effectively for formal correctness.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  29
    Deductive Versus Expressive Power.Neil Tennant - 2000 - Journal of Philosophy 97 (5):257-277.
  42.  79
    A Note on the Irrelevance of Probabilistic Irrelevance.Neil Tennant - 2006 - Analysis 66 (1):32-35.
    In his book Bayes or Bust?, John Earman (1992: 63–65) seeks to set out the Bayesian reasoning that would vindicate the pre-theoretic intuition that a theory receives confirmation from having its observational predictions borne out by experience.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  43. Autologic.Neil Tennant - 1992 - Edinburgh University Press.
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  44.  22
    Contracting Intuitionistic Theories.Neil Tennant - 2005 - Studia Logica 80 (2-3):369-391.
    I reformulate the AGM-account of contraction (which would yield an account also of revision). The reformulation involves using introduction and elimination rules for relational notions. Then I investigate the extent to which the two main methods of partial meet contraction and safe contraction can be employed for theories closed under intuitionistic consequence.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  63
    On Paradox Without Self-Reference.Neil Tennant - 1955 - Analysis 55 (3):199 - 207.
  46.  32
    What Might Logic and Methodology Have Offered the Dover School Board, Had They Been Willing to Listen?Neil Tennant - 2007 - Public Affairs Quarterly 21 (2):149-167.
  47. Is This a Proof I See Before Me?Neil Tennant - 1980 - Analysis 41 (3):115 - 119.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  48.  33
    In Defence of Evolutionary Epistemology.Neil Tennant - 1983 - Theoria 49 (1):32-48.
  49.  22
    Formal Games and Forms for Games.Neil Tennant - 1980 - Linguistics and Philosophy 4 (2):311 - 320.
  50.  14
    The Withering Away of Formal Semantics?Neil Tennant - 1986 - Mind and Language 1 (4):302-318.
1 — 50 / 132