Results for 'By Neil Tennant'

993 found
Order:
  1.  96
    Rule-circularity and the justification of deduction.By 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   4 citations  
  2.  69
    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   5 citations  
  3.  73
    Logic, Mathematics, and the A Priori, Part I: A Problem for Realism.Neil Tennant - 2014 - Philosophia Mathematica 22 (3):308-320.
    This is Part I of a two-part study of the foundations of mathematics through the lenses of (i) apriority and analyticity, and (ii) the resources supplied by Core Logic. Here we explain what is meant by apriority, as the notion applies to knowledge and possibly also to truths in general. We distinguish grounds for knowledge from grounds of truth, in light of our recent work on truthmakers. We then examine the role of apriority in the realism/anti-realism debate. We raise a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  36
    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   9 citations  
  5.  40
    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 (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   93 citations  
  6.  50
    Truth table logic, with a survey of embeddability results.Neil Tennant - 1989 - Notre Dame Journal of Formal Logic 30 (3):459-484.
    Kalrnaric. We set out a system T, consisting of normal proofs constructed by means of elegantly symmetrical introduction and elimination rules. In the system T there are two requirements, called ( ) and ()), on applications of discharge rules. T is sound and complete for Kalmaric arguments. ( ) requires nonvacuous discharge of assumptions; ()) requires that the assumption discharged be the sole one available of highest degree. We then consider a 'Duhemian' extension T*, obtained simply by dropping the requirement (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  47
    Game theory and conventiont.Neil Tennant - 2001 - Nordic Journal of Philosophical Logic 6 (1):3-19.
    This paper rebuts criticisms by Hintikka of the author's account of game-theoretic semantics for classical logic. At issue are (i) the role of the axiom of choice in proving the equivalence of the game-theoretic account with the standard truth-theoretic account; (ii) the alleged need for quantification over strategies when providing a game-theoretic semantics; and (iii) the role of Tarski's Convention T. As a result of the ideas marshalled in response to Hintikka, the author puts forward a new conjecture concerning the (...)
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark  
  8.  27
    On the Adequacy of a Substructural Logic for Mathematics and Science.Neil Tennant - 2022 - Philosophical Quarterly 72 (4):1002-1018.
    Williamson argues for the contention that substructural logics are ‘ill-suited to acting as background logics for science’. That contention, if true, would be very important, but it is refutable, given what is already known about certain substructural logics. Classical Core Logic is a substructural logic, for it eschews the structural rules of Thinning and Cut and has Reflexivity as its only structural rule. Yet it suffices for classical mathematics, and it furnishes all the proofs and disproofs one needs for the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9. 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   10 citations  
  10. 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 (5 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  11. 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   22 citations  
  12.  12
    Autologic.Neil Tennant - 1992 - Edinburgh University Press.
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  13.  36
    Transmission of Verification.Ethan Brauer & Neil Tennant - forthcoming - Review of Symbolic Logic:1-16.
    This paper clarifies, revises, and extends the account of the transmission of truthmakers by core proofs that was set out in chap. 9 of Tennant. Brauer provided two kinds of example making clear the need for this. Unlike Brouwer’s counterexamples to excluded middle, the examples of Brauer that we are dealing with here establish the need for appeals to excluded middle when applying, to the problem of truthmaker-transmission, the already classical metalinguistic theory of model-relative evaluations.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. 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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  15. 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   27 citations  
  16.  49
    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   24 citations  
  17.  73
    Normalizability, cut eliminability and paradox.Neil Tennant - 2016 - Synthese 199 (Suppl 3):597-616.
    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 (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  18.  70
    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 (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  19.  63
    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   10 citations  
  20. 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  21. 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 (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  22. Mind, Mathematics and the I gnorabimusstreit.Neil Tennant - 2007 - British Journal for the History of Philosophy 15 (4):745 – 773.
    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...
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  23.  82
    Intuitionistic mathematics does not needex falso quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
    We define a system IR of first-order intuitionistic relevant logic. We show that intuitionistic mathematics (on the assumption that it is consistent) can be relevantized, by virtue of the following metatheorem: any intuitionistic proof of A from a setX of premisses can be converted into a proof in IR of eitherA or absurdity from some subset ofX. Thus IR establishes the same inconsistencies and theorems as intuitionistic logic, and allows one to prove every intuitionistic consequence of any consistent set of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  24.  61
    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   4 citations  
  25.  69
    Frege's content-principle and relevant deducibility.Neil Tennant - 2003 - Journal of Philosophical Logic 32 (3):245-258.
    Given the harmony principle for logical operators, compositionality ought to ensure that harmony should obtain at the level of whole contents. That is, the role of a content qua premise ought to be balanced exactly by its role as a conclusion. Frege's contextual definition of propositional content happens to exploit this balance, and one appeals to the Cut rule to show that the definition is adequate. We show here that Frege's definition remains adequate even when one relevantizes logic by abandoning (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  26.  20
    Foundational Adventures: essays in honour of Harvey M. Friedman.Harvey Friedman & Neil Tennant (eds.) - 2014 - [London]: College Publications.
    This volume is a tribute by his peers, and by younger scholars of the next generation, to Harvey M. Friedman, perhaps the most profound foundationalist since Kurt Godel. Friedman's researches, beginning precociously in his mid-teens, have fundamentally shaped our contemporary understanding of set theory, recursion theory, model theory, proof theory and metamathematics. His achievements in concept formation and theory formulation have also renewed the standard set by Godel and Alfred Tarski for the general intellectual interest and importance of technical work (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  10
    Frege’s Class Theory and the Logic of Sets.Neil Tennant - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 85-134.
    We compare Fregean theorizing about sets with the theorizing of an ontologically non-committal, natural-deduction based, inferentialist. The latter uses free Core logic, and confers meanings on logico-mathematical expressions by means of rules for introducing them in conclusions and eliminating them from major premises. Those expressions (such as the set-abstraction operator) that form singular terms have their rules framed so as to deal with canonical identity statements as their conclusions or major premises. We extend this treatment to pasigraphs as well, in (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  14
    Gp’s lp.Neil Tennant - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag. pp. 481-506.
    This study takes a careful inferentialist look at Graham Priest’s Logic of Paradox. I conclude that it is sorely in need of a proof-system that could furnish formal proofs that would regiment faithfully the “naïve logical” reasoning that could be undertaken by a rational thinker within LP.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Carnap, gödel, and the analyticity of arithmetic.Neil Tennant - 2008 - Philosophia Mathematica 16 (1):100-112.
    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 of the research (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30. Introducing Philosophy: God, Mind, World, and Logic.Neil Tennant - 2014 - New York: Routledge.
    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 students to employ the concepts and (...)
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  31.  40
    Conventional Necessity and the Contingency of Convention.Neil Tennant - 1987 - Dialectica 41 (1‐2):79-95.
    SummaryI defend a conventionalist view of logical and mathematical truths against the criticisms of Quine and Stroud. Conventionalism is best formulated by appealing to sense‐conferring rules governing important logical and mathematical expressions. Conventional necessity can be understood as arising from these rules in a way that is immune to Quine's and Stroud's criticisms of the earlier formulation of conventionalism, in which stress was incorrectly laid on axiomatic systems of logic.RésuméJe soutiens, en dépit des critiques de Quine et de Stroud, une (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  26
    Evolutionary v. Evolved Ethics.Neil Tennant - 1983 - Philosophy 58 (225):289-302.
    Kant writes: If … the only aim of Nature regarding some creature possessed of reason and a will were its preservation, its well-being, in a word its happiness, then she would have come to a very bad arrangement in choosing its reason as executor of that aim. For all actions that it had to execute in this her intention, and the whole regulation of its behaviour would have been able to be prescribed to it much more precisely by instinct, and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  77
    On Turing machines knowing their own gödel-sentences.Neil Tennant - 2001 - Philosophia Mathematica 9 (1):72-79.
    Storrs McCall appeals to a particular true but improvable sentence of formal arithmetic to argue, by appeal to its irrefutability, that human minds transcend Turing machines. Metamathematical oversights in McCall's discussion of the Godel phenomena, however, render invalid his philosophical argument for this transcendentalist conclusion.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  4
    Introducing Philosophy: Its Importance in an Age of Science and Religion.Neil Tennant - 2013 - New York: Routledge.
    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 students to employ the concepts and techniques (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. What is a Rule of Inference?Neil Tennant - 2021 - Review of Symbolic Logic 14 (2):307-346.
    We explore the problems that confront any attempt to explain or explicate exactly what a primitive logical rule of inferenceis, orconsists in. We arrive at a proposed solution that places a surprisingly heavy load on the prospect of being able to understand and deal with specifications of rules that are essentiallyself-referring. That is, any rule$\rho $is to be understood via a specification that involves, embedded within it, reference to rule$\rho $itself. Just how we arrive at this position is explained by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  8
    Game theory and conventiont.Neil Tennant - 2010 - Nordic Journal of Philosophical Logic 6 (1):3-19.
    This paper rebuts criticisms by Hintikka of the author's account of game-theoretic semantics for classical logic. At issue are (i) the role of the axiom of choice in proving the equivalence of the game-theoretic account with the standard truth-theoretic account; (ii) the alleged need for quantification over strategies when providing a game-theoretic semantics; and (iii) the role of Tarski's Convention T. As a result of the ideas marshalled in response to Hintikka, the author puts forward a new conjecture concerning the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  37.  86
    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 (6 more)  
     
    Export citation  
     
    Bookmark  
  38. Belief-revision, the Ramsey test, monotonicity, and the so-called impossibility results.Neil Tennant - 2008 - Review of Symbolic Logic 1 (4):402-423.
    Peter G¨ ardenfors proved a theorem purporting to show that it is impossible to adjoin to the AGM -postulates for belief-revision a principle of monotonicity for revisions. The principle of monotonicity in question is implied by the Ramsey test for conditionals. So G¨.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  39. §1. Exposition.Neil Tennant - unknown
    Peacocke argues for a ‘generalized rationalism’, holding that ‘all entitlement has a fundamentally a priori component.’ (2) But his rationalism ‘differs from those of Frege and Gödel, just as theirs differ from that of Leibniz.’ He requires both substantive theories of intentional content and of understanding, and systematic formal theories of referential semantics and truth. We need an externalist theory of content: ‘Only mental states with externally individuated contents can make judgements about the external, mind-independent world rational.’ (123) Purely evidential (...)
     
    Export citation  
     
    Bookmark  
  40.  62
    Introduction.Neil Tennant - 2008 - Philosophia Mathematica 16 (1):1-3.
    Christopher Peacocke, in A Study of Concepts, motivates his account of possession conditions for concepts by means of an alleged parallel with the conditions under which numbers are abshacted to give the numerosity of a predicate. There are, however, logical mistakes in Peacocke's treatment of numbers, which undermine his intended analogy. Nevertheless Peacocke's account of possession conditions for concepts is not rendered inadequate simply by virtue of being deprived of the intended analogy and the motivation it was supposed to afford. (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  41.  25
    On Tarski’s Axiomatization of Mereology.Neil Tennant - 2019 - Studia Logica 107 (6):1089-1102.
    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  
  42.  10
    On Tarski’s Axiomatization of Mereology.Neil Tennant - 2019 - Studia Logica 107 (6):1089-1102.
    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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. The Emperor’s New Concepts.Neil Tennant - 2002 - Noûs 36 (s16):345-377.
    Christopher Peacocke, in A Study of Concepts, motivates his account of possession conditions for concepts by means of an alleged parallel with the conditions under which numbers are abstracted to give the numerosity of a predicate. There are, however, logical mistakes in Peacocke.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44. 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  
  45. Note on an observation by Neil Tennant.Daniel Osherson - unknown
    Neil Tennant (Tennant, 2005) has offered an important observation about the AGM theory of belief revision (G¨ardenfors, 1988). We attempt to restate and demonstrate his result in a slightly different way. Fix a formal language L that embeds sentential logic. Given K ⊆ L and ϕ ∈ L, K ⊥ ϕ denotes the class of maximally consistent subsets of K that do not imply ϕ. That is, A ∈ K ⊥ ϕ iff A ⊆ K, A |= (...)
     
    Export citation  
     
    Bookmark   1 citation  
  46.  94
    The taming of the true.Neil Tennant - 1997 - New York: 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.
  47.  33
    Changes of Mind: An Essay on Rational Belief Revision, by Neil Tennant.Benjamin Bewersdorf - 2014 - Mind 123 (489):246-251.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  34
    Changes of mind: an essay on rational belief revision.Neil Tennant - 2012 - Oxford: Oxford University Press.
    An account of how a rational agent should revise beliefs in the light of new evidence.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  49. Neil Tennant, Anti-Realism, and Logic: Truth as Eternal Reviewed by.Alan Weir - 1989 - Philosophy in Review 9 (7):293-296.
     
    Export citation  
     
    Bookmark  
  50. Intentionality, syntactic structure and the evolution of language.Neil Tennant - 1984 - In Christopher Hookway (ed.), Minds, Machines, and Evolution: Philosophical Studies. Cambridge University Press.
1 — 50 / 993