-
1237Frege's new scienceNotre Dame Journal of Formal Logic 41 (3): 242-270. 2000.In this paper, we explore Fregean metatheory, what Frege called the New Science. The New Science arises in the context of Frege’s debate with Hilbert over independence proofs in geometry and we begin by considering their dispute. We propose that Frege’s critique rests on his view that language is a set of propositions, each immutably equipped with a truth value (as determined by the thought it expresses), so to Frege it was inconceivable that axioms could even be considered to be other than true…Read more
-
984Frege's Other ProgramNotre Dame Journal of Formal Logic 46 (1): 1-17. 2005.Frege's logicist program requires that arithmetic be reduced to logic. Such a program has recently been revamped by the "neologicist" approach of Hale and Wright. Less attention has been given to Frege's extensionalist program, according to which arithmetic is to be reconstructed in terms of a theory of extensions of concepts. This paper deals just with such a theory. We present a system of second-order logic augmented with a predicate representing the fact that an object x is the extension of a…Read more
-
423In §21 of Grundgesetze der Arithmetik asks us to consider the forms: a a2 = 4 and a a > 0 and notices that they can be obtained from a φ(a) by replacing the function-name placeholder φ(ξ) by names for the functions ξ2 = 4 and ξ > 0 (and the placeholder cannot be replaced by names of objects or of functions of 2 arguments)
-
260Life on the RangeIn A. Torza (ed.), Quantifiers, Quantifiers, and Quantifiers, Synthese Library. pp. 171-189. 2015.
-
251Extensional quotients for type theory and the consistency problem for NFJournal of Symbolic Logic 63 (1): 247-261. 1998.Quine’s “New Foundations” (NF) was first presented in Quine [1937] and later on in Quine [1963]. Ernst Specker [1958, 1962], building upon a previous result of Ehrenfeucht and Mostowski [1956], showed that NF is consistent if and only if there is a model of the Theory of Negative (and positive) Types (TNT) with full extensionality that admits of a “shifting automorphism,” but the existence of a such a model remains an open problem.
-
157Notions of Invariance for Abstraction PrinciplesPhilosophia Mathematica 18 (3): 276-292. 2010.The logical status of abstraction principles, and especially Hume’s Principle, has been long debated, but the best currently availeble tool for explicating a notion’s logical character—permutation invariance—has not received a lot of attention in this debate. This paper aims to fill this gap. After characterizing abstraction principles as particular mappings from the subsets of a domain into that domain and exploring some of their properties, the paper introduces several distinct notions of perm…Read more
-
141Conceptions and paradoxes of setsPhilosophia Mathematica 7 (2): 136-163. 1999.This paper is concerned with the way different axiom systems for set theory can be justified by appeal to such intuitions as limitation of size, predicativity, stratification, etc. While none of the different conceptions historically resulting from the impetus to provide a solution to the paradoxes turns out to rest on an intuition providing an unshakeable foundation,'each supplies a picture of the set-theoretic universe that is both useful and internally well motivated. The same is true of more…Read more
-
133Numerical Abstraction via the Frege QuantifierNotre Dame Journal of Formal Logic 51 (2): 161-179. 2010.This paper presents a formalization of first-order arithmetic characterizing the natural numbers as abstracta of the equinumerosity relation. The formalization turns on the interaction of a nonstandard cardinality quantifier with an abstraction operator assigning objects to predicates. The project draws its philosophical motivation from a nonreductionist conception of logicism, a deflationary view of abstraction, and an approach to formal arithmetic that emphasizes the cardinal properties of the…Read more
-
131Non-monotonic logicStanford Encyclopedia of Philosophy. 2008.The term "non-monotonic logic" covers a family of formal frameworks devised to capture and represent defeasible inference , i.e., that kind of inference of everyday life in which reasoners draw conclusions tentatively, reserving the right to retract them in the light of further information. Such inferences are called "non-monotonic" because the set of conclusions warranted on the basis of a given knowledge base does not increase (in fact, it can shrink) with the size of the knowledge base itself…Read more
-
126On the general interpretation of first-order quantifiersReview of Symbolic Logic 6 (4): 637-658. 2013.While second-order quantifiers have long been known to admit nonstandard, or interpretations, first-order quantifiers (when properly viewed as predicates of predicates) also allow a kind of interpretation that does not presuppose the full power-set of that interpretationgeneral” interpretations for (unary) first-order quantifiers in a general setting, emphasizing the effects of imposing various further constraints that the interpretation is to satisfy
-
113Representability in second-order propositional poly-modal logicJournal of Symbolic Logic 67 (3): 1039-1054. 2002.A propositional system of modal logic is second-order if it contains quantifiers ∀p and ∃p, which, in the standard interpretation, are construed as ranging over sets of possible worlds (propositions). Most second-order systems of modal logic are highly intractable; for instance, when augmented with propositional quantifiers, K, B, T, K4 and S4 all become effectively equivalent to full second-order logic. An exception is S5, which, being interpretable in monadic second-order logic, is decidable
-
112Game-theoretic axioms for local rationality and bounded knowledgeJournal of Logic, Language and Information 4 (2): 145-167. 1995.We present an axiomatic approach for a class of finite, extensive form games of perfect information that makes use of notions like “rationality at a node” and “knowledge at a node.” We distinguish between the game theorist's and the players' own “theory of the game.” The latter is a theory that is sufficient for each player to infer a certain sequence of moves, whereas the former is intended as a justification of such a sequence of moves. While in general the game theorist's theory of the game i…Read more
-
69What's in a function?Synthese 107 (2). 1996.In this paper we argue that Revision Rules, introduced by Anil Gupta and Nuel Belnap as a tool for the analysis of the concept of truth, also provide a useful tool for defining computable functions. This also makes good on Gupta's and Belnap's claim that Revision Rules provide a general theory of definition, a claim for which they supply only the example of truth. In particular we show how Revision Rules arise naturally from relaxing and generalizing a classical construction due to Kleene, and i…Read more
-
66A Note on Induction, Abstraction, and Dedekind-FinitenessNotre Dame Journal of Formal Logic 53 (2): 187-192. 2012.The purpose of this note is to present a simplification of the system of arithmetical axioms given in previous work; specifically, it is shown how the induction principle can in fact be obtained from the remaining axioms, without the need of explicit postulation. The argument might be of more general interest, beyond the specifics of the proposed axiomatization, as it highlights the interaction of the notion of Dedekind-finiteness and the induction principle
-
64The Complexity of Revision, revisedNotre Dame Journal of Formal Logic 43 (2): 75-78. 2002.The purpose of this note is to acknowledge a gap in a previous paper — “The Complexity of Revision”, see [1] — and provide a corrected version of argument. The gap was originally pointed out by Francesco Orilia (personal communication and [4]), and the fix was developed in correspondence with Vann McGee
-
61Free quantification and logical invarianceRivista di Estetica 33 (1): 61-73. 2007.Henry Leonard and Karel Lambert first introduced so-called presupposition-free (or just simply: free) logics in the 1950’s in order to provide a logical framework allowing for non-denoting singular terms (be they descriptions or constants) such as “the largest prime” or “Pegasus” (see Leonard [1956] and Lambert [1960]). Of course, ever since Russell’s paradigmatic treatment of definite descriptions (Russell [1905]), philosophers have had a way to deal with such terms. A sentence such as “the..
-
57Grounded Consequence for Defeasible LogicCambridge University Press. 2005.This is a title on the foundations of defeasible logic, which explores the formal properties of everyday reasoning patterns whereby people jump to conclusions, reserving the right to retract them in the light of further information. Although technical in nature the book contains sections that outline basic issues by means of intuitive and simple examples. This book is primarily targeted at philosophers interested in the foundations of defeasible logic, logicians, and specialists in artificial in…Read more
-
57Book Review: Keith Simmons. Universality and the Liar: An Essay on Truth and the Diagonal Argument (review)Notre Dame Journal of Formal Logic 37 (1): 152-159. 1996.
-
56Review of Frege's Theorem (review)International Studies in the Philosophy of Science 26 (2): 219-222. 2012.No abstract
-
55A Revision-Theoretic Analysis of the Arithmetical HierarchyNotre Dame Journal of Formal Logic 35 (2): 204-218. 1994.In this paper we apply the idea of Revision Rules, originally developed within the framework of the theory of truth and later extended to a general mode of definition, to the analysis of the arithmetical hierarchy. This is also intended as an example of how ideas and tools from philosophical logic can provide a different perspective on mathematically more “respectable” entities. Revision Rules were first introduced by A. Gupta and N. Belnap as tools in the theory of truth, and they have been furthe…Read more
-
54Free set algebras satisfying systems of equationsJournal of Symbolic Logic 64 (4): 1656-1674. 1999.In this paper we introduce the notion of a set algebra S satisfying a system E of equations. After defining a notion of freeness for such algebras, we show that, for any system E of equations, set algebras that are free in the class of structures satisfying E exist and are unique up to a bisimulation. Along the way, analogues of classical set-theoretic and algebraic properties are investigated
-
53Mathematical methods in philosophy: Editors' introductionReview of Symbolic Logic 1 (2): 143-145. 2008.Mathematics and philosophy have historically enjoyed a mutually beneficial and productive relationship, as a brief review of the work of mathematician–philosophers such as Descartes, Leibniz, Bolzano, Dedekind, Frege, Brouwer, Hilbert, Gödel, and Weyl easily confirms. In the last century, it was especially mathematical logic and research in the foundations of mathematics which, to a significant extent, have been driven by philosophical motivations and carried out by technically minded philosophe…Read more
-
51Paradoxes of Belief and Strategic Rationality, Koons Robert. Cambridge: Cambridge University Press, 1992, xii + 174 pages (review)Economics and Philosophy 9 (2): 305. 1993.
-
50The Complexity of Revision, RevisedNotre Dame Journal of Formal Logic 43 (2): 75-78. 2002.The purpose of this note is to acknowledge a gap in a previous paper, "The complexity of revision," and to provide a corrected version of the argument.
-
42The Complexity of RevisionNotre Dame Journal of Formal Logic 35 (1): 67-72. 1994.In this paper we show that the Gupta-Belnap systems S# and S* are П12. Since Kremer has independently established that they are П12-hard, this completely settles the problem of their complexity. The above-mentioned upper bound is established through a reduction to countable revision sequences that is inspired by, and makes use of a construction of McGee.
-
42Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3, Nonmonotonic Reasoning and Uncertain ReasoningBulletin of Symbolic Logic 6 (4): 480-484. 2000.
Davis, California, United States of America
Areas of Specialization
Philosophy of Language |
Logic and Philosophy of Logic |
Philosophy of Mathematics |
Areas of Interest
Philosophy of Cognitive Science |
General Philosophy of Science |