This paper takes a close look at the thought that mereological relations on material objects mirror, and are mirrored by, parallel mereological relations on their exact locations. This hypothesis is made more precise by means of a battery of principles from which more substantive consequences are derived. Mereological harmony turns out to entail, for example, that atomistic space is an inhospitable environment for material gunk or that Whiteheadian space is not a hospitable environment for unextended material atoms.

We look at recent accounts of the indefinite extensibility of the concept set and compare them with a certain linguistic model of indefinite extensibility. We suggest that the linguistic model has much to recommend over alternative accounts of indefinite extensibility, and we defend it against three prima facie objections.

Bertrand Russell offered an influential paradox of propositions in Appendix B of The Principles of Mathematics, but there is little agreement as to what to conclude from it. We suggest that Russell's paradox is best regarded as a limitative result on propositional granularity. Some propositions are, on pain of contradiction, unable to discriminate between classes with different members: whatever they predicate of one, they predicate of the other. When accepted, this remarkable fact should cast some doubt upon some of the (...) uses to which modern descendente of Russell's paradox of propositions have been put in recent literature. (shrink)

I would like to discuss the claim that the resources of plural reference and plural quantification are sufficient for the purpose of paraphrasing all ordinary statements apparently concerned with composite material objects into plural statements concerned exclusively with simples.

Groups are ubiquitous in our lives. But while some of them are highly structured and appear to support a shared intentionality and even a shared agency, others are much less cohesive and do not seem to demand much of their individual members. Queues, for example, seem to be, at a given time, nothing over and above some individuals as they exemplify a certain spatial arrangement. Indeed, the main aim of this paper is to develop the more general thought that at (...) a given time, a group is nothing over and above some individual members as they exemplify a certain complex condition. The general conception of groups that emerges is able to accommodate a variety of constraints on a reasonable answer to the question of what are groups. (shrink)

The problem of absolute generality has attracted much attention in recent philosophy. Agustin Rayo and Gabriel Uzquiano have assembled a distinguished team of contributors to write new essays on the topic. They investigate the question of whether it is possible to attain absolute generality in thought and language and the ramifications of this question in the philosophy of logic and mathematics.

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

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)

The doctrine that whatever could exist does exist leads to a proliferation of possibly concrete objects given certain principles of recombination. If, for example, there could have been a large infinite number of concrete objects, then there is at least the same number of possibly concrete objects in existence. And further cardinality considerations point to a tension between the preceding doctrine and the Cantorian conception of the absolutely infinite. This paper develops a parallel problem for a variety of possible worlds (...) accounts of modality which eschew the commitment to a plethora of possibly concrete objects. Moreover, the difficulty is importantly different from more familiar threats of paradox exemplified by certain descendants of Russell's paradox of propositions and Kaplan's paradox. (shrink)

Philosophers often explain what could be the case in terms of what is, in fact, the case at one possible world or another. They may differ in what they take possible worlds to be or in their gloss of what is for something to be the case at a possible world. Still, they stand united by the threat of paradox. A family of paradoxes akin to the set-theoretic antinomies seem to allow one to derive a contradiction from apparently plausible principles. (...) Some of them concern the interaction between propositions and worlds, and they appear to afford the means to map classes of propositions into propositions – or, likewise, classes of worlds into worlds – in a one-to-one fashion that leads to contradiction. Yet another family of paradoxes threaten the view that whatever could exist does, in fact, exist, which is in line with modal realism, for example. This article aims to survey and identify the source of each family of paradoxes as well as to outline some responses to them. (shrink)

I present a puzzle for absolutely unrestricted quantification. One important advantage of absolutely unrestricted quantification is that it allows us to entertain perfectly general theories. Whereas most of our theories restrict attention to one or another parcel of reality, other theories are genuinely comprehensive taking absolutely all objects into their domain. The puzzle arises when we notice that absolutely unrestricted theories sometimes impose incompatible constraints on the size of the universe.

Neo-Fregean logicism attempts to base mathematics on abstraction principles. Since not all abstraction principles are acceptable, the neo-Fregeans need an account of which ones are. One of the most promising accounts is in terms of the notion of stability; roughly, that an abstraction principle is acceptable just in case it is satisfiable in all domains of sufficiently large cardinality. We present two counterexamples to stability as a sufficient condition for acceptability and argue that these counterexamples can be avoided only by (...) major departures from the existing neo-Fregean programme. (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.

Thought: A Journal of Philosophy, EarlyView.

Do mereological fusions have their parts necessarily? None of the axioms of non-modal formulations of classical mereology appear to speak directly to this question. And yet a great many philosophers who take the part-whole relation to be governed by classical mereology seem to assume that they do. In addition to this, many philosophers who make allowance for the part-whole relation to obtain merely contingently between a part and a mereological fusion tend to depart from non-modal formulations of classical mereology at (...) least when it comes to the axiom of Unique Fusion, which states that no two different mereological fusions ever fuse exactly the same objects. This is no coincidence. There are reasons of principle why one’s adherence to classical mereology should exert some pull towards the view that mereological fusions have their parts necessarily. There is, however, no direct route from the combination of classical mereology and propositional modal logic to the hypothesis that the part-whole relation obtains necessarily between a part and a mereological fusion. In order to bridge between a modal formulation of classical mereology and the hypothesis that fusions have their parts necessarily, one needs to strengthen the axiom of Unrestricted Fusion in a way that is agreeable to many philosophers on both sides of the debate. (shrink)

According to the structured theory of propositions, if two sentences express the same proposition, then they have the same syntactic structure, with corresponding syntactic constituents expressing the same entities. A number of philosophers have recently focused attention on a powerful argument against this theory, based on a result by Bertrand Russell, which shows that the theory of structured propositions is inconsistent in higher order-logic. This paper explores a response to this argument, which involves restricting the scope of the claim that (...) propositions are structured, so that it does not hold for all propositions whatsoever, but only for those which are expressible using closed sentences of a given formal language. We call this restricted principle Closed Structure, and show that it is consistent in classical higher-order logic. As a schematic principle, the strength of Closed Structure is dependent on the chosen language. For its consistency to be philosophically significant, it also needs to be consistent in every extension of the language which the theorist of structured propositions is apt to accept. But, we go on to show, Closed Structure is in fact inconsistent in a very natural extension of the standard language of higher-order logic, which adds resources for plural talk of propositions. We conclude that this particular strategy of restricting the scope of the claim that propositions are structured is not a compelling response to the argument based on Russell’s result, though we note that for some applications, for instance to propositional attitudes, a restricted thesis in the vicinity may hold some promise. (shrink)

This chapter takes a close look at the thought that mereological relations on material objects mirror, and are mirrored by, parallel mereological relations on their exact locations. This hypothesis is made more precise by means of a battery of principles from which more substantive consequences are derived. Mereological harmony turns out to entail, for example, that atomistic space is an inhospitable environment for material gunk or that Whiteheadian space is not a hospitable environment for unextended material atoms.

The purpose of this article is to assess the prospects for a Scottish neo-logicist foundation for a set theory. We show how to reformulate a key aspect of our set theory as a neo-logicist abstraction principle. That puts the enterprise on the neo-logicist map, and allows us to assess its prospects, both as a mathematical theory in its own right and in terms of the foundational role that has been advertised for set theory. On the positive side, we show that (...) our abstraction based theory can be modified to yield much of ordinary mathematics, indeed everything needed to recapture all branches of mathematics short of set theory itself. However, our conclusions are mostly negative. The theory will fall far short of the power of ordinary Zermelo-Fraenkel set theory. It is consistent that our set theory has models that are relatively small, smaller than the first cardinal with an uncountable index. More important, there is a strong tension between the idea that the iterative hierarchy is somehow ineffable, or indefinitely extensible, and the neo-logicist theme of capturing mathematical theories with abstraction principles. (shrink)

This paper looks at the question of what regions of space are possibly exactly occupied by a material object.

David Kaplan observed in Kaplan that the principle \\) cannot be verified at a world in a standard possible worlds model for a quantified bimodal propositional language. This raises a puzzle for certain interpretations of the operator Q: it seems that some proposition p is such that is not possible to query p, and p alone. On the other hand, Arthur Prior had observed in Prior that on pain of contradiction, ∀p is Q only if one true proposition is Q (...) and one false proposition is Q. The two observations are related: ∀p is elusive in that it is not possible for the proposition to be uniquely Q. Kaplan based his model-theoretic observation on Cantor’s theorem, but there is a less well-known link between this simple set-theoretic observation and Prior’s remark. We generalize the link to develop a heuristic designed to move from Cantor’s theorem to the observation that a variety of sentences of the bimodal language express propositions that cannot be Q uniquely. We highlight the analogy between some of these results and some set-theoretic antinomies and suggest that the phenomenon is richer than one may have anticipated. (shrink)

George Boolos has described an interpretation of a fragment of ZFC in a consistent second-order theory whose only axiom is a modification of Frege's inconsistent Axiom V. We build on Boolos's interpretation and study the models of a variety of such theories obtained by amending Axiom V in the spirit of a limitation of size principle. After providing a complete structural description of all well-founded models, we turn to the non-well-founded ones. We show how to build models in which foundation (...) fails in prescribed ways. In particular, we obtain models in which every relation is isomorphic to the membership relation on some set as well as models of Aczel's anti-foundation axiom (AFA). We suggest that Fregean extensions provide a natural way to envisage non-well-founded membership. (shrink)

The paper is concerned with the bad company problem as an instance of a more general difficulty in the philosophy of mathematics. The paper focuses on the prospects of stability as a necessary condition on acceptability. However, the conclusion of the paper is largely negative. As a solution to the bad company problem, stability would undermine the prospects of a neo-Fregean foundation for set theory, and, as a solution to the more general difficulty, it would impose an unreasonable constraint on (...) mathematical practice. (shrink)

We argue that not all cases of before-effect involve causation and ask how to demarcate cases of before-effect in which the events that follow exert causal influence over the before-effect from cases in which they do not.

There is little doubt that a second-order axiomatization of Zermelo-Fraenkel set theory plus the axiom of choice (ZFC) is desirable. One advantage of such an axiomatization is that it permits us to express the principles underlying the first-order schemata of separation and replacement. Another is its almost-categoricity: M is a model of second-order ZFC if and only if it is isomorphic to a model of the form Vκ, ∈ ∩ (Vκ × Vκ) , for κ a strongly inaccessible ordinal.

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)

Atomism is the thesis that every object is composed of atoms. This principle is generally regimented by means of an atomicity axiom according to which every object has atomic parts. But there appears to be a sense that something is amiss with atomistic mereology. We look at three concerns, which, while importantly different, involve infinite descending chains of proper parts and have led some to question standard formalizations of atomism and composition in mereology.

Generalizing on some arguments due to Arthur Prior and Dmitry Mirimanoff, we provide some further limitative results on what can be thought.

Thomas Hofweber has written a very rich book. In line with the conviction that ontology should be informed by linguistic considerations, he develops a systematic approach to central ontological questions as they arise in different regions of discourse. More generally, the book seeks to cast light upon the nature of ontology and its proper place in enquiry. His preferred methodology is not without consequence: it promises, for example, to solve what otherwise look like intractable philosophical puzzles raised by arithmetical practice (...) and numerical discourse, and, likewise, his treatment of propositional discourse has ramifications for larger questions to do with the prospects of metaphysical enquiry generally. (shrink)

Rabern and Rabern (2008) have noted the need to modify `the hardest logic puzzle ever’ as presented in Boolos 1996 in order to avoid trivialization. Their paper ends with a two-question solution to the original puzzle, which does not carry over to the amended puzzle. The purpose of this note is to offer a two-question solution to the latter puzzle, which is, after all, the one with a claim to being the hardest logic puzzle ever.

Whether or not we achieve absolute generality in philosophical inquiry, most philosophers would agree that ordinary inquiry is rarely, if ever, absolutely general. Even if the quantifiers involved in an ordinary assertion are not explicitly restricted, we generally take the assertion’s domain of discourse to be implicitly restricted by context.1 Suppose someone asserts (2) while waiting for a plane to take off.

The Russell–Myhill theorem threatens a familiar structured conception of propositions according to which two sentences express the same proposition only if they share the same syntactic structure and their corresponding syntactic constituents share the same semantic value. Given the role of the principle of universal instantiation in the derivation of the theorem in simple type theory, one may hope to rehabilitate the core of the structured view of propositions in ramified type theory, where the principle is systematically restricted. We suggest (...) otherwise. The ramified core of the structured theory of propositions remains inconsistent in ramified type theory augmented with axioms of reducibility. This is significant because reducibility has been thought to be perfectly consistent with the ramified approach to the intensional antinomies. Nor is the addition of reducibility to ramified type theory sufficient to restore other intensional puzzles such as Prior’s paradox or Kripke’s puzzle about time and thought. (shrink)

Two models of second-order ZFC need not be isomorphic to each other, but at least one is isomorphic to an initial segment of the other. The situation is subtler for impure set theory, but Vann McGee has recently proved a categoricity result for second-order ZFCU plus the axiom that the urelements form a set. Two models of this theory with the same universe of discourse need not be isomorphic to each other, but the pure sets of one are isomorphic to (...) the pure sets of the other. This paper argues that similar results obtain for considerably weaker second-order axiomatizations of impure set theory that are in line with two different conceptions of set, the iterative conception and the limitation of size doctrine. (shrink)

The aim of the present paper is twofold. One task is to argue that our use of the numerical vocabulary in theory and applications determines the reference of the numerical terms more precisely than up to isomorphism. In particular our use of the numerical vocabulary in modal and counterfactual contexts of application excludes contingent existents as candidate referents for the numerical terms. The second task is to explore the impact of this conclusion on what I call semantic nominalism, which is (...) the view that ordinary physical objects and other contingent existents are eligible to be the referents of numerical terms. I suggest that for semantic nominalism to have a chance we must reform our usage of the numerical vocabulary in modal and counterfactual contexts. I tentatively explore some ways in which this might be done and call attention to some of their costs. (shrink)

The aim of the present paper is twofold. One task is to argue that our use of the numerical vocabulary in theory and applications determines the reference of the numerical terms more precisely than up to isomorphism. In particular our use of the numerical vocabulary in modal and counterfactual contexts of application excludes contingent existents as candidate referents for the numerical terms. The second task is to explore the impact of this conclusion on what I call semantic nominalism, which is (...) the view that ordinary physical objects and other contingent existents are eligible to be the referents of numerical terms. I suggest that for semantic nominalism to have a chance we must reform our usage of the numerical vocabulary in modal and counterfactual contexts. I tentatively explore some ways in which this might be done and call attention to some of their costs. (shrink)

"Ontology and the Foundations of Mathematics" consists of three papers concerned with ontological issues in the foundations of mathematics. Chapter 1, "Numbers and Persons," confronts the problem of the inscrutability of numerical reference and argues that, even if inscrutable, the reference of the numerals, as we ordinarily use them, is determined much more precisely than up to isomorphism. We argue that the truth conditions of a variety of numerical modal and counterfactual sentences place serious constraints on the sorts of items (...) to which numerals, as we ordinarily use them, can be taken to refer: Numerals cannot be taken to refer to objects that exist contingently such as people, mountains, or rivers, but rather must be taken to refer to objects that exist necessarily such as abstracta. ;Chapter 2, "Modern Set Theory and Replacement," takes up a challenge to explain the reasons one should accept the axiom of replacement of Zermelo-Fraenkel set theory, when its applications within ordinary mathematics and the rest of science are often described as rare and recondite. We argue that this is not a question one should be interested in; replacement is required to ensure that the element-set relation is well-founded as well as to ensure that the cumulation of sets described by set theory reaches and proceeds beyond the level o of the cumulative hierarchy. A more interesting question is whether we should accept instances of replacement on uncountable sets, for these are indeed rarely used outside higher set theory. We argue that the best case for replacement comes not from direct, intuitive considerations, but from the role replacement plays in the formulation of transfinite recursion and the theory of ordinals, and from the fact that it permits us to express and assert the content of the modern cumulative view of the set-theoretic universe as arrayed in a cumulative hierarchy of levels. ;Chapter 3, "A No-Class Theory of Classes," makes use of the apparatus of plural quantification to construe talk of classes as plural talk about sets, and thus provide an interpretation of both one- and two-sorted versions of first-order Morse-Kelley set theory, an impredicative theory of classes. We argue that the plural interpretation of impredicative theories of classes has a number of advantages over more traditional interpretations of the language of classes as involving singular reference to gigantic set-like entities, only too encompassing to be sets, the most important of these being perhaps that it makes the machinery of classes available for the formalization of much recent and very interesting work in set theory without threatening the universality of the theory as the most comprehensive theory of collections, when these are understood as objects. (shrink)