As it is presently employed, grounding permits grounding many things from one ground. In this paper, I show why this is a mistake by pushing for a uniqueness principle on grounding. After arguing in favor of this principle, I say something about it and kinds of grounding, discuss a similar principle, and consider its import on a formal feature of grounding, ontology, and ontological simplicity.

As I will use the term, an object is a mereological sum of some things just in case those things compose it simply in virtue of existing. In the first half of this paper, I argue that there are no sums. The key premise for this conclusion relies on a constraint on what, in certain cases, it takes for something to ground, or metaphysically explain, something else. In the second half, I argue that in light of my argument against sums, (...) Universalism, which is perhaps the most widely accepted answer to the Special Composition Question, is false. (shrink)

Some hold that the lesson of Russell’s paradox and its relatives is that mathematical reality does not form a ‘definite totality’ but rather is ‘indefinitely extensible’. There can always be more sets than there ever are. I argue that certain contact puzzles are analogous to Russell’s paradox this way: they similarly motivate a vision of physical reality as iteratively generated. In this picture, the divisions of the continuum into smaller parts are ‘potential’ rather than ‘actual’. Besides the intrinsic interest of (...) this metaphysical picture, it has important consequences for the debate over absolute generality. It is often thought that ‘indefinite extensibility’ arguments at best make trouble for mathematical platonists; but the contact arguments show that nominalists face the same kind of difficulty, if they recognize even the metaphysical possibility of the picture I sketch. (shrink)

The existence of mereological sums can be derived from an abstraction principle in a way analogous to numbers. I draw lessons for the thesis that “composition is innocent” from neo-Fregeanism in the philosophy of mathematics.

When do the folk think that mereological composition occurs? Many metaphysicians have wanted a view of composition that fits with folk intuitions, and yet there has been little agreement about what the folk intuit. We aim to put the tools of experimental philosophy to constructive use. Our studies suggest that folk mereology is teleological: people tend to intuit that composition occurs when the result serves a purpose. We thus conclude that metaphysicians should dismiss folk intuitions, as tied into a benighted (...) teleological view of nature. (shrink)

C. S. Jenkins has recently proposed an account of arithmetical knowledge designed to be realist, empiricist, and apriorist: realist in that what’s the case in arithmetic doesn’t rely on us being any particular way; empiricist in that arithmetic knowledge crucially depends on the senses; and apriorist in that it accommodates the time-honored judgment that there is something special about arithmetical knowledge, something we have historically labeled with ‘a priori’. I’m here concerned with the prospects for extending Jenkins’s account beyond arithmetic—in (...) particular, to set theory. After setting out the central elements of Jenkins’s account and entertaining challenges to extending it to set theory, I conclude that a satisfactory such extension is unlikely. (shrink)

In this paper, we consider the implications of Grace de Laguna and Joel Katzav's work for the charge of conservatism against the analytic tradition. We differentiate that conservatism into three kinds: starting place; path dependency; and modesty. We also think again about gender in philosophy, consider the positive account of speculative philosophy presented by de Laguna and Katzav in comparison to some other naturalist trajectories, and conclude with a brief Australian addendum that reflects on a similar period in our own (...) country which was also associated with the professional institutionalisation of analytic philosophy. (shrink)

ABSTRACT Historical structuralist views have been ontological. They either deny that there are any mathematical objects or they maintain that mathematical objects are structures or positions in them. Non-ontological structuralism offers no account of the nature of mathematical objects. My own structuralism has evolved from an early sui generis version to a non-ontological version that embraces Quine’s doctrine of ontological relativity. In this paper I further develop and explain this view.

This is a survey of the concept of continuity. Efforts to explicate continuity have produced a plurality of philosophical conceptions of continuity that have provably distinct expressions within contemporary mathematics. I claim that there is a divide between the conceptions that treat the whole continuum as prior to its parts, and those conceptions that treat the parts of the continuum as prior to the whole. Along this divide, a tension emerges between those conceptions that favor philosophical idealizations of continuity and (...) those that are more readily available for mathematico-scientific use. (shrink)

Forthcoming in Philosophical Compass. I explain why plural quantifiers and predicates have been thought to be philosophically significant.

Simon Evnine’s Making Objects and Events: A Hylomorphic Theory of Artifacts develops amorphic hylomorphism. I critically discuss three of its main themes. One theme is its attempt to do the work of form without forms. A second theme is the requirement that hylomorphs have ‘metabolisms at work’. A third theme is the use of artifacts as the paradigms for hylomorphs. I will raise some criticisms of each of these themes. Although the themes might at first appear disconnected, I believe the (...) third underwrites the first two. So the criticisms of the third theme also bear on the rest. (shrink)

The point of this paper is to bring together three topics: non-existent objects, mereology, and nothing. There are important inter-connections, which it is my aim to spell out, in the service of an account of the last of these.

This note examines the mereological component of Geoffrey Hellman's most recent version of modal structuralism. There are plausible forms of agnosticism that benefit only a little from Hellman's mereological turn.

This essay defends the following two claims: (1) liraitation-of-size reasoning yields enough sets to meet the needs of most mathematicians; (2) set formation and mereological fusion share enough logical features to justify placing both in the genus composition (even when the components of a set are taken to be its members rather than its subsets).

Competent speakers of natural languages can borrow reference from one another. You can arrange for your utterances of ‘Kirksville’ to refer to the same thing as my utterances of ‘Kirksville’. We can then talk about the same thing when we discuss Kirksville. In cases like this, you borrow “ aboutness ” from me by borrowing reference. Now suppose I wish to initiate a line of reasoning applicable to any prime number. I might signal my intention by saying, “Let p be (...) any prime.” In this context, I will be using the term ‘p’ to reason about the primes. Although ‘p’ helps me secure the aboutness of my discourse, it may seem wrong to say that ‘p’ refers to anything. Be that as it may, this paper explores what mathematical discourse would be like if mathematicians were able to borrow freely from one another not just the reference of terms that clearly refer, but, more generally, the sort of aboutness present in a line of reasoning leading up to a universal generalization. The paper also gives reasons for believing that aboutness of this sort really is freely transferable. A key implication will be that the concept “set of natural numbers” suffers from no mathematically significant indeterminacy that can be coherently discussed. (shrink)

We contribute to the ongoing discussion on mathematical structuralism by focusing on a question that has so far been neglected: when is a structure part of another structure? This paper is a first step towards answering the question. We will show that a certain conception of structures, abstractionism about structures, yields a natural definition of the parthood relation between structures. This answer has many interesting consequences; however, it conflicts with some standard mereological principles. We argue that the tension between abstractionism (...) about structure and classical mereology is an interesting result and conclude that the mereology of abstract structures is a subject that deserves further exploration. We also point out some connections between our discussion of the mereology of structures and recent work on non-well-founded mereologies. (shrink)

It is widely assumed that if ontological disputes turn out to be verbal they ought to be dismissed. I dissociate the semantic question concerning the verbalness of ontological disputes from the pragmatic question on whether they ought to be dismissed. I argue that in the context of ontological disputes ontologists ought to be taken to communicate views with conflicting ontological commitments even if it turns out that on the correct view of semantics they fail to literally-express their disagreement. I argue, (...) that is, against dismissing ontological disputes on grounds of verbalness. This serves to discharge the ongoing debate on the verbalness of ontological disputes from the metaontological consequences typically associated with it. (shrink)

Conflicting accounts of the role of mathematics in our physical theories can be traced to two principles. Mathematics appears to be both (1) theoretically indispensable, as we have no acceptable non-mathematical versions of our theories, and (2) metaphysically dispensable, as mathematical entities, if they existed, would lack a relevant causal role in the physical world. I offer a new account of a role for mathematics in the physical sciences that emphasizes the epistemic benefits of having mathematics around when we do (...) science. This account successfully reconciles theoretical indispensability and metaphysical dispensability and has important consequences for both advocates and critics of indispensability arguments for platonism about mathematics. (shrink)

Mark Colyvan uses applications of mathematics to argue that mathematical entities exist. I claim that his argument is invalid based on the assumption that a certain way of thinking about applications, called `the mapping account,' is correct. My main contention is that successful applications depend only on there being appropriate structural relations between physical situations and the mathematical domain. As a variety of non-realist interpretations of mathematics deliver these structural relations, indispensability arguments are invalid.

I argue that wholes are neither identical to nor distinct from their parts. Instead, wholes are invariants under some transformations in their parts. Similarly, higher-level properties are neither identical to nor distinct from their lower-level realizers. Instead, higher-level properties are aspects of their realizers that are invariant under some transformations in their realizers. Nowhere in this picture is there any ontological hierarchy between levels of composition or realization. Neither wholes nor their parts are more fundamental. Neither is prior. Neither reduces (...) to the other. Neither is eliminated. Ditto for higher-level properties and their lower-level realizers. Instead, wholes and their properties as well as parts and their properties are different yet invariant aspects of reality. The result is an egalitarian account of composition and realization. (shrink)

Although Aristotle does not explicitly address persistence, his account of persisting may be derived from a careful consideration of his account of change. On my interpretation, he supposes that motions are mereological unities of their potential temporal parts – I dub such mereological unities ‘lasting’. Aristotle’s persisting things, too, are lasting, I argue. Lasting things are unlike enduring things in that they have temporal parts; and unlike perduring things in that their temporal parts are not actual, but rather are potential. (...) Lasting, that is Aristotle’s persisting, is thus a distinctive alternative to enduring and perduring. I assess this alternative showing it to be attractive. (shrink)

According to Composition as Identity, a whole is distinct from each of its parts individually, but identical to all of them taken together. It is sometimes claimed that, if you accept CAI, then your belief in a whole is ‘ontologically innocent’ with respect to your belief in its parts. This claim is false. But the defender of CAI can claim a different advantage for her view. Following Agustín Rayo, I distinguish ontology from plethology. I then show that CAI allows us (...) to introduce an interesting notion of ‘plethological innocence’ which would otherwise collapse into the notion of ‘ontological innocence’, and that CAI renders belief in composite objects plethologically innocent. (shrink)

I defend the thesis that Composition Entails Identity (CEI): that is, a whole is identical to all of its parts, taken together. CEI seems to be inconsistent, since it seems to require that the parts of a whole possess incompatible number properties (for instance, being one thing and being many things). I show that these number properties are, in fact, compatible.

Monists about material constitution typically argue that when Statue is materially constituted by Clay, Statue is just Clay. Pluralists about material constitution deny that constitution is identity: Statue is not just Clay. When Clay materially constitutes Statue, Clay is not identical to Statue. I discuss three familiar puzzles involving grounding, overdetermination and conceptual issues, and develop three new puzzles stemming from the connection between mereological composition and material constitution: a mereological puzzle, an asymmetry puzzle, and a structural puzzle.

I argue for a property mereology and for mereological bundle theory. I then apply this theory to the one over many problem (universals) and puzzles concerning persistence and material constitution.

In this paper, I argue that the spatiotemporalist approach way of modeling the fundamental constituents, structure, and composition of the world has taken a wrong turn. Spatiotemporalist approaches to fundamental structure take the fundamental nature of the world to be spatiotemporal: they take the category of spatiotemporal to be fundamental. I argue that the debates over the nature of the fundamental space in the physics show us that (i) the fact that it is conceivable that the manifest world could be (...) exactly as it appears to us, even though spatiotemporal entities are not fundamental, means that a central premise of spatiotemporalism, that we may assume, given ordinary experience, that the world is fundamentally spatiotemporal, is false. (ii) Spatiotemporalism must be seen as a contingent, a posteriori physical truth. Finally, (iii) I argue that a metaphysically deeper conclusion follows from the debate over the nature of the fundamental space. The debate in physics over which sort of space is the fundamental space suggests that physicists have discovered that, even if a spacetime is an actual constituent of the world-space category, there is a world-space category that is more fundamental than the category of spacetime. (shrink)

Naturalism in the philosophy of mathematics is the view that philosophy cannot legitimately gainsay mathematics. I distinguish between reinterpretation and reconstruction naturalism: the former states that philosophy cannot legitimately sanction a reinterpretation of mathematics (i.e. an interpretation different from the standard one); the latter that philosophy cannot legitimately change standard mathematics (as opposed to its interpretation). I begin by showing that neither form of naturalism is self-refuting. I then focus on reinterpretation naturalism, which comes in two forms, and examine the (...) only available argument for it. I argue that this argument, the so-called Failure Argument, itself fails. My overall conclusion is that although there is no self-refutation argument against reinterpretation naturalism, there are as yet no good reasons to accept it. Naturalism in mathematics The consistency of mathematical naturalism The failure argument Objections to the failure argument Philosophy as the default. (shrink)

The paper raises some difficulties for the typical motivations behind set reductionism, the view that sets are reducible to entities identified independently of set theory.

Weatherson argues that whoever accepts classical logic, standard mereology and the difference between vague objects and any others, should conclude that there are no vague objects. Barnes and Williams claim that a supporter of vague objects who accepts classical logic and standard mereology should recognize that the existence of vague objects implies indeterminate identity. Even though it is not clearly stated, they all seem to be committed to the assumption that reality is ultimately constituted by mereological atoms. This assumption is (...) not granted by standard mereology which instead remains silent on whether reality is atomic or gunky; therefore, I contend that whoever maintains classical logic, standard mereology and the difference between vague objects and any others, is not forced to conclude with Weatherson that there are no vague objects; nor is she compelled to revise her point of view according to Barnes and Williams’s proposal and to accept that the existence of vague objects implies indeterminate identity. (shrink)

This Critical Notice is about aboutness in logic and language. In a first part, I discuss the origin of the issue and the philosophical background to Yablo's book Aboutness (PUP 2014), which is itself the subject of the second and main part of my paper.

Almost all set theorists pay at least lip service to Cantor’s definition of a set as a collection of many things into one whole; but empty and singleton sets do not fit with it. Adapting Dana Scott’s axiomatization of the cumulative theory of types, we present a ‘Cantorian’ system which excludes these anomalous sets. We investigate the consequences of their omission, examining their claim to a place on grounds of convenience, and asking whether their absence is an obstacle to the (...) theory’s ability to represent ordered pairs or to support the arithmetization of analysis or the development of the theory of cardinals and ordinals. (shrink)

This paper tests the following hypothesis: that the prime matter of classical Aristotelian-Scholastic metaphysics is numerically identical to energy. Is P=E? After outlining the classical Aristotelian concept of prime matter, I provide the master argument for it based on the phenomenon of substantial change. I then outline what we know about energy as a scientific concept, including its role and application in some key fields. Next, I consider the arguments in favour of prime matter being identical to energy, followed by (...) the arguments against. The method used is that of ontological profile comparison: does the profile of prime matter match, in key features, that of energy? An affirmative answer, that P=E, would be a momentous discovery: it would show that one of the most neglected and derided ideas of pre-modern metaphysics – a contributor to its downfall in the wake of the Scientific Revolution – was right all along. From a negative answer we would still learn much about the interaction of science and metaphysics. It turns out, however, given what we currently know, that the answer is not quite as simple as one might hope. (shrink)

Object perception deploys a suite of perceptual capacities that constrains attention, guides reidentification, subserves recognition, and anchors demonstrative thought. Objects for perception—perceptual objects—are the targets of such capacities. Characterizing perceptual objects for multisensory perception faces two puzzles. First is the diversity of objects across sensory modalities. Second is the unity of multisensory perceptual objects. This paper resolves the puzzles. Objects for perception are structured mereologically complex individuals. Perceptual objects are items that bear perceptible features and have perceptible parts arranged to (...) form a unified whole. This circumscribes the targets of object perception where neutral talk concerning intentional objects and objects of perception cannot. Nonetheless, it is more permissive than identifying perceptual objects with material bodies, which excludes too much and leans too heavily on vision. The account thus is tailored to capture the role of objects in perception beyond vision: tactual, auditory, and olfactory objects are individuals with differing structures. Its flexibility also enables the account to accommodate shared objects for multisensory perception: multisensory perceptual objects are mereologically complex individuals with hybrid structure. For instance, one can bimodally perceive a common whole with parts accessible to one but not both modalities. Each sense provides a partial perspective on a complex whole that is perceptible through the coordinated use of multiple senses. Understanding perceptual objects as structured mereologically complex individuals thus provides a theoretically useful notion of an object for multisensory perception that resolves the puzzles of diversity and of unity. (shrink)

The standard argument for the existence of distinctively mathematical objects like numbers has two main premises: some mathematical claims are true, and the truth of those claims requires the existence of distinctively mathematical objects. Most nominalists deny. Those who deny typically reject Quine’s criterion of ontological commitment. I target a different assumption in a standard type of semantic argument for. Benacerraf’s semantic argument, for example, relies on the claim that two sentences, one about numbers and the other about cities, have (...) the same grammatical form. He makes this claim on the grounds that the two sentences are superficially similar. I argue that these grounds are not sufficient. Other sentences with the same superficial form appear to have different grammatical forms. I offer two plausible interpretations of Benacerraf’s number sentence that make use of plural quantification. These interpretations appear not to incur ontological commitments to distinctively mathematical objects, even assuming Quine’s criterion. Such interpretations open a new, plural strategy for the mathematical nominalist. (shrink)

The surviving sources on the Stoic theory of division reveal that the Stoics, particularly Chrysippus, believed that bodies, places and times were such that all of their parts themselves had proper parts. That is, bodies, places and times were composed of gunk. This realisation helps solve some long-standing puzzles about the Stoic theory of mixture and the Stoic attitude to the present.

David Lewis’s arguments against magical ersatzism are notoriously puzzling. Untangling different strands in those arguments is useful for bringing out what he thought was wrong with not just one style of theory about possible worlds, but with much of the contemporary metaphysics of abstract objects. After setting out what I take Lewis’s arguments to be and how best to resist them, I consider the application of those arguments to general theories of properties and relations. The constraints Lewis motivates turn out (...) to yield an argument for concretism about possible individuals that is quite different from the better-known Lewisian arguments for that position. The discussion also touches on the puzzling question of whether things are the way they are because of the properties they have, or are the properties and relations the way they are because of the things that have them. (shrink)

The question of what truths are necessary in the broadest possible sense is a difficult one to answer, as is the question of what the limits are to what is possible. (Most people would see these two questions as different sides of the same coin, of course, since many think the question of what is possible is just the question of what is not necessarily ruled out). We have three general sorts of strategies for determining whether something is necessary (or (...) possible). We can identify it in a class that we were previously sure was a class of things that are necessary – we might show it is a theorem of a logical system that we have confidence in, or that the sentence appears to be true simply in virtue of the meanings of the words, or that it is a true statement involving names or about natural kinds of the “necessary a posteriori” sort discussed by Kripke and Putnam, and there are perhaps other classes of claims which we are prepared to accept are necessary if true.1 Likewise, we might establish the possibility of something occurring by reference to a class of well-established or uncontroversial possibilities: e.g. we are inclined to think that it is possible (in the broadest sense) for an event to occur in the future if one of the same kind has occurred in the past. (shrink)

From early work of N. Goodman to recent approaches by H. Field and D. Lewis, there have been attempts to combine 2nd order languages with calculi of individuals. This paper is a contribution, containing basic definitions and distinctions and some metatheorems, to the development of a general metatheory of such theories.

A dilemma put forward by Schein (1993) and Rayo (2002) suggests that, in order to characterize the semantics of plurals, we should not use predicate logic, but plural logic, a formal language whose terms may refer to several things at once. We show that a similar dilemma applies to mass nouns. If we use predicate logic and sets when characterizing their semantics, we arrive at a Russellian paradox. And if we use predicate logic and mereoogical ums, the semantics turns out (...) to be too weak. We then develop an account where mass nouns are treated as non-singular terms. This semantics is faithful to the intuition that, if there are eight pieces of silverware on a table, the speaker refers to eight things at once when he says: "The silverware that is on the table comes from Italy." We show that this account provides a satisfactory semantics for a wide range of sentences. (shrink)

A dilemma put forward by Schein (1993) and Rayo (2002) suggests that, in order to characterize the semantics of plurals, we should not use predicate logic, but non-singular logic, a formal language whose terms may refer to several things at once. We show that a similar dilemma applies to mass nouns. If we use predicate logic and sets, we arrive at a Russellian paradox when characterizing the semantics of mass nouns. Likewise, a semantics of mass nouns based upon predicate logic (...) and mereological sums is too weak, since it cannot characterize the “intermediary” construals that sentences containing mass nouns may receive. We then develop an account where mass nouns are treated as non-singular terms, which may refer to several things at once. This semantics is faithful to the intuition that, if there are eight pieces of silverware on a table, the speaker refers to eight things at once when he says: “The silverware that is on the table comes from Italy”. We show that this account provides a satisfactory semantics for a wide range of sentences, including cases often seen as difficult, like “The gold on the table weighs seven ounces” (Bunt 1985) and “All phosphorus is either red or black” (Roeper 1983). (shrink)

Necessitism is the controversial thesis that necessarily everything is necessarily something, namely that everything, everywhere, necessarily exists. What is controversial about necessitism is that, at its core, it claims that things could not have failed to exist, while we have a pre-theoretical intuition that not everything necessarily exists. Contingentism, in accordance with common sense, denies necessitism: it claims that some things could have failed to exist. Timothy Williamson is a necessitist and claims that David Lewis is a necessitist too. The (...) paper argues that, granted the assumptions that lead to interpret the Lewisian as a necessitist, she can preserve contingentist intuitions, by genuinely agreeing with the folk that existence is contingent. This is not just the uncontroversial claim that the Lewisian, as a result of the prevalence of restricted quantification in counterpart theoretic regimentations of natural language, can agree with the folk while disagreeing with them in the metaphysical room. Rather, this is the claim that it is in the metaphysical room that the Lewisian can endorse the intuitions lying behind contingentism. (shrink)

The Lewisean counterpart theorist– despite not defending a genuinely essentialist view of what is possible, de re, of individuals – generally has a way to make essentialist claims come out as true, in those contexts in which they are endorsed by a committed essentialist. In this paper, I am going to show that the normal system that the Lewisean adopts when she wants to make the essentialist a truth-teller does not work with Kit Fine: his essentialist beliefs, which support his (...) counterexamples to the modal account of essentialism, cannot come out as true, in any contexts whatsoever, under the Lewisean view. After arguing that this represents a genuine problem for Lewis’s theory, I will propose a solution. I will indeed show that the Lewisean has a principled way to account for Fine’s essentialist beliefs, consistently with her own counterpart-theorist reading of them. (shrink)