-
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
-
279Minimal logic is adequate for Popperian scienceBritish Journal for the Philosophy of Science 36 (3): 325-329. 1985.
-
60A New Unified Account of Truth and ParadoxMind 124 (494): 571-605. 2015.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 b…Read more
-
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
Columbus, Ohio, United States of America