-
22Two problems for evolutionary epistemology: Psychic reality and the emergence of normsRatio 1 (1): 47-63. 1988.
-
22Contracting Intuitionistic TheoriesStudia Logica 80 (2-3): 369-391. 2005.I reformulate the AGM-account of contraction (which would yield an account also of revision). The reformulation involves using introduction and elimination rules for relational notions. Then I investigate the extent to which the two main methods of partial meet contraction and safe contraction can be employed for theories closed under intuitionistic consequence.
-
40What might logic and methodology have offered the Dover School Board, had they been willing to listen?Public Affairs Quarterly 21 (2): 149-167. 2007.
-
62IntroductionPhilosophia Mathematica 16 (1): 1-3. 2008.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 an…Read more
-
38The Relevance of Premises to Conclusions of Core ProofsReview of Symbolic Logic 8 (4): 743-784. 2015.The rules for Core Logic are stated, and various important results about the system are summarized. We describe its relationship to other systems, such as Classical Logic, Intuitionistic Logic, Minimal Logic, and the Anderson–Belnap relevance logicR. A precise, positive explication is offered of what it is for the premises of a proof to connect relevantly with its conclusion. This characterization exploits the notion of positive and negative occurrences of atoms in sentences. It is shown that al…Read more
-
1116Aristotle’s Syllogistic and Core LogicHistory and Philosophy of Logic 35 (2): 120-147. 2014.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 Aristo…Read more
-
12The future with cloningIn James H. Fetzer (ed.), Consciousness Evolving, John Benjamins. pp. 34--223. 2002.
-
75Normalizability, cut eliminability and paradoxSynthese 199 (Suppl 3): 597-616. 2016.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.
Columbus, Ohio, United States of America