I argue that Universalism (the thesis that mereological composition is unrestricted) entails Extensionalism (the thesis that sameness of composition is sufficient for identity) as long as the parthood relation is transitive and satisfies the Weak Supplementation principle (to the effect that whenever a thing has a proper part, it has another part disjoint from the first).

I argue that the conjunction of perdurantism (the view that objects are temporally extended) and universalism (the thesis that any old class of things has a mereological fusion) gives rise to undesired complications when combined with certain plausible assumptions concerning the semantics of tensed statements.

There are conflicting intuitions concerning the status of a boundary separating two adjacent entities (or two parts of the same entity). The boundary cannot belong to both things, for adjacency excludes overlap; and it cannot belong to neither, for nothing lies between two adjacent things. Yet how can the dilemma be avoided without assigning the boundary to one thing or the other at random? Some philosophers regard this as a reductio of the very notion of a boundary, which should accordingly (...) be treated a mere façon de parler. In this paper I resist this temptation and examine some ways of taking the puzzle at face value within a realist perspective—treating boundaries as ontologically on a par with (albeit parasitic upon) extended parts. (shrink)

In a growing number of papers, one encounters arguments to the effect that certain philosophical views are objectionable because they would imply that there are necessary truths for whose necessity there is no explanation. That is, they imply that there are propositions p such that (a) it is necessary that p, but (b) there is no explanation why it is necessary that p. For short, they imply that there are “brute necessities.” Therefore, the arguments conclude, the views in question should (...) be rejected in favor of rival views under which the necessities would be explained. This style of argument raises a number of important and difficult questions. Do necessary truths really require explanation? Are they not paradigms of truths that either need no explanation or automatically have one, being in some sense self‐explanatory? If some necessary truths do require or admit of explanation, what types of explanation, are available? Are some necessary truths explained by other necessary truths? Are some necessary truths self‐explanatory? Are all necessary truths either self‐explanatory or explained by others? Or are there some necessary truths that are truly brute? This article surveys several representative arguments from brute necessity as well as a variety of answers to the questions above, noting their bearing on arguments from bruteness. (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 reviewers Rapaport, Stephanou, Angius, Primiero, and Bringsjord of Turner cover a broad range of topics in the philosophy of computer science. They either challenge the positions outlined in Turner or offer a more refined analysis. This article is a response to their challenges.

Characterization of a form of explanation involving grounding on the model of mechanistic causal explanation.

What are the necessary and jointly sufficient conditions for an object's being a simple (an object without proper parts)? According to one prominent view, The Pointy View of Simples, an object is a simple if and only if the region occupied by that object contains exactly one point in space. According to another prominent view, MaxCon, an object is a simple if and only if it is maximally continuous. In this paper, I argue that both of these views are inconsistent (...) with the possibility of discrete space. I then go on to formulate analogues to these two views that are consistent with this possibility, and argue that if we are willing to grant the possibility of discrete space, we should endorse the analogue to The Pointy View of Simples over the analogue to MaxCon. (shrink)

Nonreductive physicalism faces serious problems regarding causal exclusion, causal heterogeneity, and the nature of realization. In this paper I advance solutions to each of those problems. The proposed solutions all depend crucially on embracing modal counterpart theory. Hence, the paper’s thesis: counterpart theory saves nonreductive physicalism. I take as my inspiration the view that mental tokens are constituted by physical tokens in the same way statues are constituted by lumps of clay. I break from other philosophers who have pursued this (...) line, however, in that I hold that constitution is identity. Much of the value of the comparison to statues and lumps is that it calls to mind the resources used to defend constitution-as-identity, most notably that of counterpart theory. Along the way, I discuss the virtues of a trope ontology, modal objections to token identity theories, the prospects of conditional analyses of causal powers, the subset account of realization, and the grounding problem. I also endorse a novel, empirical argument in favor of counterpart theory. (shrink)

I have argued elsewhere for a deflationary conception of metaphysics, which takes well-formed metaphysical questions to be answerable using nothing more mysterious than empirical information and descriptive and normative conceptual work. Here I examine the ways in which our practices of metaphysics should change, if we adopt the deflationary reconception of metaphysics. Adopting this approach does not mean abandoning metaphysics, but it does lead to important differences regarding which debates and positions are worth taking seriously. It also requires us to (...) reevaluate which criteria for choosing metaphysical views are appropriate – particularly where debates about existence are concerned. (shrink)

Objective probability in quantum mechanics is often thought to involve a stochastic process whereby an actual future is selected from a range of possibilities. Everett’s seminal idea is that all possible definite futures on the pointer basis exist as components of a macroscopic linear superposition. I demonstrate that these two conceptions of what is involved in quantum processes are linked via two alternative interpretations of the mind-body relation. This leads to a fission, rather than divergence, interpretation of Everettian theory and (...) to a novel explanation of why a principle of indifference does not apply to self-location uncertainty for a post-measurement, pre-observation subject, just as Sebens and Carroll claim. Their Epistemic Separability Principle is shown to arise out of this explanation and the derivation of the Born rule for Everettian theory is thereby put on a firmer footing. (shrink)

The contemporary popularity of semantic externalism has arisen from so-called Twin Earth thought experiments which suggest that the representational content of a natural kind term cannot be wholly determined by processes within a speaker's body. Such arguments depend on the intuition that the extensions of natural kind terms cannot have changed as the result of the scientific investigation of natural kinds' constitutions. I demonstrate that this externalist intuition depends on an assumption about the mentality of isomorphic doppelgangers which has never (...) been questioned but which is nonetheless arguably false. I develop an alternative view of the instantiation of mind which entails a revision of our understanding of the constitution of environmental objects. The picture seems to be fully coherent despite its oddity and I can find no good reason to reject it. The conclusion must be that the case for semantic externalism is thus less compelling than is often supposed. (shrink)

In his ‘Ambitious, Yet Modest, Metaphysics’, Hofweber puts forward arguments against positions in metaphysics that he describes as ‘immodest’; a position he identifies as defended by Jonathan Lowe. In this paper I reply to Hofweber’s arguments, offering a defence of immodest metaphysics of the type practiced by Lowe inter alia.

I argue that mereological nihilism fails because it cannot answer the special arrangement question: when is it true that the xs are arranged F-wise? I suggest that the answers given in the literature fail and that the obvious responses that could be made look to undermine the motivations for adopting nihilism in the first place.

‘Ahab is a whaler’ and ‘Holmes is a whaler’ express different propositions, even though neither ‘Ahab’ nor ‘Holmes’ has a referent. This seems to constitute a theoretical puzzle for the Russellian view of propositions. In this paper, I develop a variant of the Russellian view, Plenitudinous Russellianism. I claim that ‘Ahab is a whaler’ and ‘Holmes is a whaler’ express distinct gappy propositions. I discuss key metaphysical and semantic differences between Plenitudinous Russellianism and Traditional Russellianism and respond to objections that (...) stem from those differences. (shrink)

In this paper I present two new arguments against the possibility of an omniscient being. My new arguments invoke considerations of cardinality and resemble several arguments originally presented by Patrick Grim. Like Grim, I give reasons to believe that there must be more objects in the universe than there are beliefs. However, my arguments will rely on certain mereological claims, namely that Classical Extensional Mereology is necessarily true of the part-whole relation. My first argument is an instance of a problem (...) first noted by Gideon Rosen and requires an additional assumption about the mereological structure of certain beliefs. That assumption is that an omniscient being’s beliefs are mereological simples. However, this assumption is dropped when I present my second argument. Thus, I hope to show that if Classical Extensional Mereology is true of the part-whole relation, there cannot be an omniscient being. (shrink)

The general composition question asks “what are the necessary and jointly sufficient conditions any xs and any y must satisfy in order for it to be true that those xs compose that y?” Although this question has received little attention, there is an interesting and theoretically fruitful answer. Namely, strong composition as identity (SCAI): necessarily, for any xs and any y, those xs compose y iff those xs are identical to y. SCAI is theoretically fruitful because if it is true, (...) then there is an answer to one of the most difficult and intractable questions of mereology (The Simple Question). In this paper, I introduce the identity account of simplicity and argue that if SCAI is true then this identity account of simplicity is as well. I consider an objection to the identity account of simplicity. Ultimately, I find this objection unsuccessful. (shrink)

Strong Composition as Identity is the thesis that necessarily, for any xs and any y, those xs compose y iff those xs are non-distributively identical to y. Some have argued against this view as follows: if some many things are non-distributively identical to one thing, then what’s true of the many must be true of the one. But since the many are many in number whereas the one is not, the many cannot be identical to the one. Hence is mistaken. (...) Although I am sympathetic to this objection, in this paper, I present two responses on behalf of the theorist. I also show that once the defender of accepts one of these two responses, that defender will be able to answer The Special Composition Question. (shrink)

A material simple is a material object that has no proper parts. Some philosophers have argued for the possibility of extended simples. Some have even argued for the possibility of heterogeneous simples or simples that have intrinsic variations across their surfaces. There is a puzzle, though, that is meant to show that extended, heterogeneous simples are impossible. Although several plausible responses have been given to this puzzle, I wish to reopen the case against extended, heterogeneous simples. In this paper, I (...) briefly canvass responses to this puzzle which may be made in defense of extended, heterogeneous simples. I then present a new version of this puzzle which targets simples that occupy atomic yet extended regions of space. It seems that none of the traditional responses can be used to successfully save this particular kind of extended simple from the new puzzle. I also consider some non-traditional defenses of heterogeneous extended simples and argue that they too are unsuccessful. Finally, I will argue that a substantial case can be made against the possibility of extended heterogeneous simples of any kind. (shrink)

Lewis famously argued that mereology is ontologically innocent. Many who have considered this claim believe he was mistaken. Mereology is not innocent, because its acceptance entails the acceptance of sums, new objects that were not previously part of one’s ontology. This argument, the argument from ontological parsimony, has two versions: a qualitative and a quantitative one. I argue that the defender of mereology can neutralize both arguments by holding that, given mereology, a commitment to the parts of an object is (...) not an extra ontological commitment, made in addition to the commitment to the object; and that if the parts of an object are ‘ontologically innocent’, then sums cannot fail to be innocent either. (shrink)

The mereological predicate ‘is part of’ can be used to define the predicate ‘is identical with’. I argue that this entails that mereological theories can be ideologically simpler than nihilistic theories that do not use the notion of parthood—contrary to what has been argued by Ted Sider. Moreover, if one accepts an extensional mereology, there are good philosophical reasons apart from ideological simplicity to give a mereological definition of identity.

'Philosophy arises through misconceptions of grammar', said Wittgenstein. Few people have believed him, and probably none, therefore, working in the area of the philosophy of mathematics. Yet his assertion is most evidently the case in the philosophy of Set Theory, as this paper demonstrates (see also Rodych 2000). The motivation for twentieth century Set Theory has rested on the belief that everything in Mathematics can be defined in terms of sets [Maddy 1994: 4]. But not only are there notable items (...) which cannot be so defined, including numbers and mereological sums, the very notion of a set, as formalized within this tradition, is based on a series of grammatical confusions. (shrink)

Although the ideas in Process and Reality are well-recognized by many scientists in various disciplines beyond philosophy, these investigations are focused on the formal interpretation of the notion of space in the context of mereotopology. Indeed, the notion of time is either neglected completely or understood as an abstraction from the four-dimensional existence of enduring objects. However, there is no elucidation of the notion of time beyond this existence. We introduce a monadic second order language to formalize the ultimate principles (...) presupposed to Whitehead’s investigation, i.e., creativity, novelty and advance have been analyzed and reformulated as axioms. The models of the formulated theory are linear process structures, which are a special type of occurrence structures. The model-theoretic aspects of their theory are discussed in the present paper. Our fundamental theorem indicates that the worlds, which ground the knowledge of actual occasions, are ordered linearly and are equal for contemporaneous actual occasions, which implies a condition essential to the being of time. (shrink)

The Razor commands us not to multiply entities without necessity. I argue for an alternative principle—The Laser—which commands us not to multiply fundamental entities without necessity.

‘‘Thus I believe that there is no part of matter which is not—I do not say divisible—but actually divided; and consequently the least particle ought to be considered as a world full of an infinity of different creatures.’’ (Leibniz, letter to Foucher).

Mereological nihilism is the view that all concrete objects are simple. Existence monism is the view that the only concrete object is one big simple: the world. I will argue that nihilism culminates in monism. The nihilist demands the simplest sufficient ontology, and the monist delivers it.

The paper argues that no second order theory is ontologically commited to anything beyond what its individual variables range over.

It is often claimed that nominalistic programmes to reconstruct mathematics fail, since they will at some point involve the notion of logical consequence which is unavailable to the nominalist. In this paper we use an idea of Goodman and Quine to develop a nominalistically acceptable explication of logical consequence.

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)

Modal structuralism promises an interpretation of set theory that avoids commitment to abstracta. This article investigates its underlying assumptions. In the first part, I start by highlighting some shortcomings of the standard axiomatisation of modal structuralism, and propose a new axiomatisation I call MSST (for Modal Structural Set Theory). The main theorem is that MSST interprets exactly Zermelo set theory plus the claim that every set is in some inaccessible rank of the cumulative hierarchy. In the second part of the (...) article, I look at the prospects for supplementing MSST with a modal structural reflection principle, as suggested in Hellman (2015). I show that Hellman’s principle is inconsistent (Theorem 5.32), and argue that modal structural reflection principles in general are either incompatible with modal structuralism or extremely weak. (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.

I argue for the possibility of hypergunk: that is, it is possible that there exists an x such that every part of x has a proper part and, for any set S of parts of x, there is a set S′ of parts of...

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)

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.

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)

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.

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.

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.

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)

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)

It is often claimed that principles of individuation imply essential properties of the things individuated. For example, sets are individuated by their members, hence sets have their members essentially. But how does this inference work? First I discuss the form of such inferences, and conclude that the essentialist inference is not a purely formal matter: although there is a form which all principles of individuation have in common, it is not true that any statement of that form is a principle (...) of individuation, and hence there is no valid inference based purely on that form. However, I argue that there is a viable version of the essentialist inference nonetheless. The resources for a proper reconstruction of this type of inference can be gathered from reflections upon the role principles of individuation play in the project of the ontologist: such principles turn out to carry a modal weight similar to that of definitions or conceptual truths. It follows that, no matter how austere the ontology, some portion of essentialist modality is inevitable. (shrink)

This paper defends three theses: that presentism is either trivial or untenable; that the debate between tensed and tenseless theories of time is not about the status of presentism; and that there is no temporal analogue of the modal thesis of actualism.

A serious flaw in Hartry Field’s instrumental account of applied mathematics, namely that Field must overestimate the extent to which many of the structures of our mathematical theories are reflected in the physical world, underlies much of the criticism of this account. After reviewing some of this criticism, I illustrate through an examination of the prospects for extending Field’s account to classical equilibrium statistical mechanics how this flaw will prevent any significant extension of this account beyond field theories. I note (...) in the conclusion that this diagnosis of Field’s program also points the way to modifications that may work. (shrink)

This paper aims to motivate a new beginning in metaphysical thinking about persistence by drawing attention to the disappearance of change in current accounts of persistence. I defend the claim that the debate is stuck in a dilemma which results from neglecting the constructive role of change for persistence. Neither of the two main competing views, perdurantism and endurantism, captures the idea of persistence as an identity through time. I identify the fundamental ontological reasons for this, namely the shared commitment (...) to what I call ‘thing ontology’: an ontology that gives the ontological priority to static things. I conclude by briefly indicating how switching to a process ontological framework that takes process and change to be ontologically primary may allow for overcoming the dilemma of persistence. (shrink)

Are the objects and events that take place in Virtual Reality genuinely real? Those who answer this question in the affirmative are realists, and those who answer in the negative are irrealists. In this paper we argue against the realist position, as given by Chalmers (2017), and present our own preferred irrealist account of the virtual. We start by disambiguating two potential versions of the realist position—weak and strong— and then go on to argue that neither is plausible. We then (...) introduce a Waltonian variety of ictionalism about the virtual, arguing that this sort of irrealist approach avoids the problems of the realist positions, fits with a unifying theory of representational works, and offers a better account of the phenomenology of engaging in virtual experiences. (shrink)