-
514Review of C. S. Jenkins, Grounding Concepts: An Empirical Basis for Arithmetical Knowledge (review)Philosophia Mathematica 18 (3): 360-367. 2010.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’…Read more
-
94The taming of the trueOxford University Press. 1997.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.
-
221Natural deduction and sequent calculus for intuitionistic relevant logicJournal of Symbolic Logic 52 (3): 665-680. 1987.
-
177On negation, truth and warranted assertibilityAnalysis 55 (2): 98-104. 1995.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
-
32Theory-Contraction is NP-CompleteLogic Journal of the IGPL 11 (6): 675-693. 2003.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
-
73Discussion. Changing the theory of theory change: reply to my criticsBritish Journal for the Philosophy of Science 48 (4): 569-586. 1997.‘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, computationa…Read more
-
1An Anti-Realist Critique of DialetheismIn Graham Priest, J. C. Beall & Bradley Armour-Garb (eds.), The Law of Non-Contradiction, Clarendon Press. 2004.
Columbus, Ohio, United States of America