Some reasons to regard the cumulative hierarchy of sets as potential rather than actual are discussed. Motivated by this, a modal set theory is developed which encapsulates this potentialist conception. The resulting theory is equi-interpretable with Zermelo Fraenkel set theory but sheds new light on the set-theoretic paradoxes and the foundations of set theory.

In "Mathematical Truth", Paul Benacerraf articulated an epistemological problem for mathematical realism. His formulation of the problem relied on a causal theory of knowledge which is now widely rejected. But it is generally agreed that Benacerraf was onto a genuine problem for mathematical realism nevertheless. Hartry Field describes it as the problem of explaining the reliability of our mathematical beliefs, realistically construed. In this paper, I argue that the Benacerraf Problem cannot be made out. There simply is no intelligible problem (...) that satisfies all of the constraints which have been placed on the Benacerraf Problem. The point generalizes to all arguments with the structure of the Benacerraf Problem aimed at realism about a domain meeting certain conditions. Such arguments include so-called "Evolutionary Debunking Arguments" aimed at moral realism. I conclude with some suggestions about the relationship between the Benacerraf Problem and the Gettier Problem. (shrink)

In the philosophy of mathematics, indispensability arguments aim to show that we are justified in believing that abstract mathematical objects exist. I wish to defend a particular objection to such arguments that has become increasingly popular recently. It is called instrumental nominalism. I consider the recent versions of this view and conclude that it has yet to be given an adequate formulation. I provide such a formulation and show that it can be used to answer the indispensability arguments. -/- There (...) are two main indispensability arguments in the literature, though one has received nearly all of the attention. They correspond to two ways in which we use mathematics in science and in everyday life. We use mathematical language to help us describe non-mathematical reality; and we use mathematical reasoning to help us perform inferences concerning non-mathematical reality using only a feasible amount of cognitive power. The former use is the starting point of the Quine-Putnam indispensability argument ([Quine, 1980a], [Quine, 1980b], [Quine, 1981a], [Quine, 1981b], [Putnam, 1979a], [Putnam, 1979b]); the latter provides the basis for Ketland’s more recent argument ([Ketland, 2005]). I begin by considering the Quine-Putnam argument and introduce instrumental nominalism to defuse it. Then I show that Ketland’s argument can be defused in a similar way. (shrink)

Say that some things form a set just in case there is a set whose members are precisely the things in question. For instance, all the inhabitants of New York form a set. So do all the stars in the universe. And so do all the natural numbers. Under what conditions do some things form a set?

When viewed as the most comprehensive theory of collections, set theory leaves no room for classes. But the vocabulary of classes, it is argued, provides us with compact and, sometimes, irreplaceable formulations of largecardinal hypotheses that are prominent in much very important and very interesting work in set theory. Fortunately, George Boolos has persuasively argued that plural quantification over the universe of all sets need not commit us to classes. This paper suggests that we retain the vocabulary of classes, but (...) explain that what appears to be singular reference to classes is, in fact, covert plural reference to sets. (shrink)

Recent technical developments in the logic of nominalism make it possible to improve and extend significantly the approach to mathematics developed in Mathematics without Numbers. After reviewing the intuitive ideas behind structuralism in general, the modal-structuralist approach as potentially class-free is contrasted broadly with other leading approaches. The machinery of nominalistic ordered pairing (Burgess-Hazen-Lewis) and plural quantification (Boolos) can then be utilized to extend the core systems of modal-structural arithmetic and analysis respectively to full, classical, polyadic third- and fourthorder number (...) theory. The mathenatics of many structures of central importance in functional analysis, measure theory, and topology can be recovered within essentially these frameworks. (shrink)

Part of the ambiguity lies in the various points of view from which this question might be considered. The crudest di erence lies between the point of view of the working mathematician and that of the logician concerned with the foundations of mathematics. Now some of my fellow mathematical logicians might protest this distinction, since they consider themselves to be just more of those \working mathematicians". Certainly, modern logic has established itself as a very respectable branch of mathematics, and there (...) are quite a few highly technical journals in logic, such as The Journal of Sym-. (shrink)

Identity is a modally inflexible relation: two objects are necessarily identical or necessarily distinct. However, identity is not alone in this respect. We will look at the relation that one object bears to some objects if and only if it is one of them. In particular, we will consider the credentials of the thesis that no matter what some objects are, an object is necessarily one of them or necessarily not one of them.

George Boolos has argued that the iterative conception of set justifies most, but not all, the ZFC axioms, and that a second conception of set, the Frege-von Neumann conception (FN), justifies the remaining axioms. This article challenges Boolos's claim that FN does better than the iterative conception at justifying the axioms in question.

Gödel initiated the program of finding and justifying axioms that effect a significant reduction in incompleteness and he drew a fundamental distinction between intrinsic and extrinsic justifications. Reflection principles are the most promising candidates for new axioms that are intrinsically justified. Taking as our starting point Tait’s work on general reflection principles, we prove a series of limitative results concerning this approach. These results collectively show that general reflection principles are either weak ) or inconsistent. The philosophical significance of these (...) results is discussed. (shrink)

There has been very little discussion of the appropriate principles to govern a modal logic of plurals. What debate there has been has accepted a principle I call (Necinc); informally if this is one of those then, necessarily: this is one of those. On this basis Williamson has criticised the Boolosian plural interpretation of monadic second-order logic. I argue against (Necinc), noting that it isn't a theorem of any logic resulting from adding modal axioms to the plural logic PFO+, and (...) showing that the most obvious formal argument in its favour is question begging. I go on to discuss the behaviour of natural language plurals, motivating a case against (Necinc) by developing a case that natural language plural terms are not de jure rigid designators. The paper concludes by developing a model theory for modal PFO-f which does not validate (Necinc). An Appendix discusses (Necinc) in relation to counterpart theory. Of course, it would be a mistake to think that the rules for "multiple pointing" follow automatically from the rules for pointing proper. Max Black—The Elusiveness of Sets In some influential articles during the 1980s George Boolos proposed an interpretation of monadic second-order logic in terms of plural quantification [4, 5]. One objection to this proposal, pressed by Williamson [22, 456-7], focuses on the modal behaviour of plural variables, arguing that the proposed interpretation yields the wrong results in respect of the modal status of atomic predications. In the present paper I will present this objection and argue against it. In the course of developing the argument, I will have cause to consider the under-investigated question of how a logic for plurals should be extended to incorporate modal operators. (shrink)

In [12], Ernst Zermelo described a succession of models for the axioms of set theory as initial segments of a cumulative hierarchy of levelsUαVα. The recursive definition of theVα's is:Thus, a little reflection on the axioms of Zermelo-Fraenkel set theory shows thatVω, the first transfinite level of the hierarchy, is a model of all the axioms ofZFwith the exception of the axiom of infinity. And, in general, one finds that ifκis a strongly inaccessible ordinal, thenVκis a model of all of (...) the axioms ofZF. Doubtless, when cast as a first-order theory,ZFdoes not characterize the structures 〈Vκ,∈∩〉 forκa strongly inaccessible ordinal, by the Löwenheim-Skolem theorem. Still, one of the main achievements of [12] consisted in establishing that a characterization of these models can be attained when one ventures into second-order logic. For let second-orderZFbe, as usual, the theory that results fromZFwhen the axiom schema of replacement is replaced by its second-order universal closure. Then, it is a remarkable result due to Zermelo that second-orderZFcan only be satisfied in models of the form 〈Vκ,∈∩〉 forκa strongly inaccessible ordinal. (shrink)

With developments in the 19th and early 20th centuries, structuralist ideas concerning the subject matter of mathematics have become commonplace. Yet fundamental questions concerning structures and relations themselves as well as the scope of structuralist analyses remain to be answered. The distinction between axioms as defining conditions and axioms as assertions is highlighted as is the problem of the indefinite extendability of any putatively all-embracing realm of structures. This chapter systematically compares four main versions: set-theoretic structuralism, a version taking structures (...) as sui generis universals, structuralism based on category theory, and a quasi-nominalist modal-structuralism. While none of the approaches is problem-free, it appears that some synthesis of the category-theoretic approach with modal-structuralism can meet the challenges set out, given the notion of “logical possibility.”. (shrink)

This article studies three most basic systems of truth as well as their subsystems over set theory ZF possibly with AC or the axiom of global choice GC, and then correlates them with subsystems of Morse–Kelley class theory MK. The article aims at making an initial step towards the axiomatic study of truth in set theory in connection with class theory. Some new results on the side of class theory, such as conservativity, forcing and some forms of the reflection principle, (...) are also presented. The equivalence results among systems of truth and classes obtained in this article are summarized in Theorem 104 , Theorem 107 and Theorem 108. (shrink)

The paper begins with an examination of Gödel's views on absolute undecidability and related topics in set theory. These views are sharpened and assessed in light of recent developments. It is argued that a convincing case can be made for axioms that settle many of the questions undecided by the standard axioms and that in a precise sense the program for large cardinals is a complete success “below” CH. It is also argued that there are reasonable scenarios for settling CH (...) and that there is not currently a convincing case to the effect that a given statement is absolutely undecidable. (shrink)

After briefly reviewing the standard set-theoretic resolutions of the Burali-Forti paradox, we examine how the paradox arises in set theory formalized with plural quantifiers. A significant choice emerges between the desirable unrestricted availability of ordinals to represent well-orderings and the sensibility of attempting to refer to ‘absolutely all ordinals’ or ‘absolutely all well-orderings’. This choice is obscured by standard set theories, which rely on type distinctions which are obliterated in the setting with plurals. Zermelo's attempt ( 1930 ) to secure (...) ordinal representability of arbitrary well-orderings through relativization of quantification to set-theoretic models is reviewed and found wanting. The natural modal-structural recasting provides, it is claimed, a good repair. (shrink)

One kind of structuralism holds that mathematics is about structures, conceived as a type of abstract entity. Another denies that it is about any distinctively mathematical entities at all—even abstract structures; rather it gives purely general information about what holds of any collection of entities conforming to the axioms of the theory. Of these, pure structuralism is most plausibly taken to enjoy significant advantages over platonism. But in what appears to be its most plausible—modalised—version, even restricted to elementary arithmetic, it (...) requires defence of a very strong possibility claim: that there could be a completed w-sequence of concrete objects. There are very serious epistemological difficulties in the way of providing the requisite defence. (shrink)