155 found
Order:
Disambiguations
Neil Tennant [134]N. Tennant [23]
See also
Neil Tennant
Ohio State University
  1.  54
    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   79 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.  4
    The Taming of the True.Michael Glanzberg & Neil Tennant - 2000 - Philosophical Review 109 (2):290.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  4.  78
    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  
  5.  54
    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   19 citations  
  6. 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  
  7. 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  
  8.  15
    Natural Logic.H. A. Lewis & Neil Tennant - 1981 - Philosophical Quarterly 31 (125):376.
  9. Deflationism and the Godel Phenomena.N. Tennant - 2002 - Mind 111 (443):551-582.
    Any 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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  10. 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 (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  26
    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  
  12. 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  
  13.  31
    A New Unified Account of Truth and Paradox.N. Tennant - 2015 - Mind 124 (494):571-605.
    I propose an anti-realist account of truth and paradox according to which the logico-semantic paradoxes are not genuine inconsistencies. The ‘global’ proofs of absurdity associated with these paradoxes cannot be brought into normal form. The account combines epistemicism about truth with a proof-theoretic diagnosis of paradoxicality. The aim is to combine a substantive philosophical account of truth with a more rigorous and technical diagnosis of the source of paradox for further consideration by logicians. Core Logic plays a central role in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  98
    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  
  15.  87
    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   14 citations  
  16.  45
    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 (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  17.  32
    Is Every Truth Knowable? Reply to Hand and Kvanvig.N. Tennant - 2001 - Australasian Journal of Philosophy 79 (1):107 – 113.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  18.  83
    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   4 citations  
  19.  30
    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  
  20. 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  
  21.  36
    Anti-Realist Aporias.N. Tennant - 2000 - Mind 109 (436):825--854.
    Using a quantified propositional logic involving the operators it is known that and it is possible to know that, we formalize various interesting philosophical claims involved in the realism debate. We set out inferential rules for the epistemic modalities, ranging from ones that are obviously analytic, to ones that are epistemologically more substantive or even controversial. Then we investigate various aporias for the realism debate. These are constructively inconsistent triads of claims from our list: a claim expressing some sort of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  22. The Taming of the True.Neil Tennant - 2001 - Mind 110 (438):569-577.
    No categories
     
    Export citation  
     
    Bookmark   11 citations  
  23.  17
    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  
  24.  20
    Cut for Classical Core Logic.Neil Tennant - 2015 - Review of Symbolic Logic 8 (2):236-256.
  25.  7
    Victor Vanquished.Neil Tennant - 2002 - Analysis 62 (2):135-142.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  26.  28
    Logicism and Neologicism.Neil Tennant - 2013 - Stanford Encyclopedia of Philosophy.
  27. 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.
  28.  36
    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   5 citations  
  29.  67
    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   5 citations  
  30.  37
    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  
  31.  14
    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  
  32.  24
    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   7 citations  
  33.  51
    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  
  34.  27
    Proof and Paradox.Neil Tennant - 1982 - Dialectica 36 (2‐3):265-296.
  35. 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   3 citations  
  36.  46
    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  
  37. 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  
  38.  87
    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 (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Minimal Logic is Adequate for Popperian Science.Neil Tennant - 1985 - British Journal for the Philosophy of Science 36 (3):325-329.
  40. 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   8 citations  
  41. Natural Deduction and Sequent Calculus for Intuitionistic Relevant Logic.Neil Tennant - 1987 - Journal of Symbolic Logic 52 (3):665-680.
  42.  8
    Anti-Realism and Logic.Michael Luntley & Neil Tennant - 1989 - Philosophical Quarterly 39 (156):361.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  43. 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  
  44. 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  
  45.  15
    The Relevance of Premises to Conclusions of Core Proofs.Neil Tennant - 2015 - Review of Symbolic Logic 8 (4):743-784.
  46.  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  
  47.  31
    Deductive Versus Expressive Power.Neil Tennant - 2000 - Journal of Philosophy 97 (5):257-277.
  48.  34
    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   1 citation  
  49.  80
    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  
  50. Autologic.Neil Tennant - 1992 - Edinburgh University Press.
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 155