-
106Parts, classes and Parts of Classes : an anti-realist reading of Lewisian mereologySynthese 190 (4): 709-742. 2013.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 …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.
-
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
-
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
-
72Discussion. 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.
-
98What is naturalism in mathematics, really?: A critical study of P. Maddy, Naturalism in Mathematics (review)Philosophia Mathematica 8 (3): 316-338. 2000.Review of PENELOPE MADDY. Naturalism in Mathematics. Oxford: Clarendon Press, 1997
-
31Inferential semantics for first-order logic : motivating rules of inference from rules of evaluationIn T. J. Smiley, Jonathan Lear & Alex Oliver (eds.), The Force of Argument: Essays in Honor of Timothy Smiley, Routledge. pp. 223--257. 2010.
-
49Perfect validity, entailment and paraconsistencyStudia Logica 43 (1-2). 1984.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 un…Read more
-
54Is every truth knowable? Reply to hand and KvanvigAustralasian Journal of Philosophy 79 (1). 2001.This Article does not have an abstract
-
77On Turing machines knowing their own gödel-sentencesPhilosophia Mathematica 9 (1): 72-79. 2001.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
-
115The full price of truthAnalysis 58 (3). 1998.Some ideas gain currency as soon as there is a linguistic medium of exchange. Truth is one such. Its role in our intellectual economy is much like that of money in the real one. Canonical warrants to make assertions are like gold bars. Truth-claims are like paper money: promises to produce gold bars on demand.
-
75Existence and Identity in Free Logic: A Problem for Inferentialism?Mind 116 (464): 1055-1078. 2007.Peter Milne (2007) poses two challenges to the inferential theorist of meaning. This study responds to both. First, it argues that the method of natural deduction idealizes the essential details of correct informal deductive reasoning. Secondly, it explains how rules of inference in free logic can determine unique senses for the existential quantifier and the identity predicate. The final part of the investigation brings out an underlying order in a basic family of free logics
-
275Minimal logic is adequate for Popperian scienceBritish Journal for the Philosophy of Science 36 (3): 325-329. 1985.
Columbus, Ohio, United States of America