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)

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)

I begin by drawing a parallel between the intuitionistic understanding of quantification over all natural numbers and the generality relativist understanding of quantification over absolutely everything. I then argue that adoption of an intuitionistic reading of relativism not only provides an immediate reply to the absolutist's charge of incoherence but it also throws a new light on the debates surrounding absolute generality.

This paper suggests that time could have a much richer mathematical structure than that of the real numbers. Clark & Read (1984) argue that a hypertask (uncountably many tasks done in a finite length of time) cannot be performed. Assuming that time takes values in the real numbers, we give a trivial proof of this. If we instead take the surreal numbers as a model of time, then not only are hypertasks possible but so is an ultratask (a sequence which (...) includes one task done for each ordinal number—thus a proper class of them). We argue that the surreal numbers are in some respects a better model of the temporal continuum than the real numbers as defined in mainstream mathematics, and that surreal time and hypertasks are mathematically possible. (shrink)

Are there any things that are such that any things whatsoever are among them. I argue that there are not. My thesis follows from these three premises: (1) There are two or more things; (2) for any things, there is a unique thing that corresponds to those things; (3) for any two or more things, there are fewer of them than there are pluralities of them.

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

The standard account of ontological commitment is quantificational. There are many old and well-chewed-over challenges to the account, but recently Kit Fine added a new challenge. Fine claimed that the ‘‘quantificational account gets the basic logic of ontological commitment wrong’’ and offered an alternative account that used an existence predicate. While Fine’s argument does point to a real lacuna in the standard approach, I show that his own account also gets ‘‘the basic logic of ontological commitment wrong’’. In response, I (...) offer a full quantificational account, using the resources of plural logic, and argue that it leads to a complete theory of natural language ontological commitment. (shrink)

This essay clarifies quantifier variance and uses it to provide a theory of indefinite extensibility that I call the variance theory of indefinite extensibility. The indefinite extensibility response to the set-theoretic paradoxes sees each argument for paradox as a demonstration that we have come to a different and more expansive understanding of ‘all sets’. But indefinite extensibility is philosophically puzzling: extant accounts are either metasemantically suspect in requiring mysterious mechanisms of domain expansion, or metaphysically suspect in requiring nonstandard assumptions about (...) mathematical objects. Happily, the view of quantifier meanings that underwrites quantifier variance can be used to provide an account of indefinite extensibility that is both metasemantically and metaphysically satisfying. Section 1 introduces the puzzle of indefinite extensibility; section 2 develops and clarifies the metasemantics of quantifier variance; section 3 solves section 1's puzzle of indefinite extensibility by applying section 2's account of quantifier meanings; and section 4 compares the theory developed in section 3 to several other theories in the literature. (shrink)

In defending the startling claim that that there are no artifacts, indeed, no inanimate material objects of the familiar sort, Peter van Inwagen has argued that truths about such putative objects can be paraphrased as truths that do not make essential reference to them and that we should endorse only the ontological commitments of the paraphrase. In this note I argue that the paraphrases van Inwagen recommends cannot meet his condition. Read one way, they lose us some truths. Read another, (...) they entail the existence of the very objects they are supposed to rid us of. However, we need not share van Inwagen's distaste for the latter: to say that they exist is not to say that anything exists in addition to the simples composing them. (shrink)

Tracing the leading role of emotions in the evolution of the mind, a philosopher and a psychologist pair up to reveal how thought and culture owe less to our faculty for reason than to our capacity to feel. Many accounts of the human mind concentrate on the brain’s computational power. Yet, in evolutionary terms, rational cognition emerged only the day before yesterday. For nearly 200 million years before humans developed a capacity to reason, the emotional centers of the brain were (...) hard at work. If we want to properly understand the evolution of the mind, we must explore this more primal capability that we share with other animals: the power to feel. Emotions saturate every thought and perception with the weight of feelings. The Emotional Mind reveals that many of the distinctive behaviors and social structures of our species are best discerned through the lens of emotions. Even the roots of so much that makes us uniquely human—art, mythology, religion—can be traced to feelings of caring, longing, fear, loneliness, awe, rage, lust, playfulness, and more. From prehistoric cave art to the songs of Hank Williams, Stephen T. Asma and Rami Gabriel explore how the evolution of the emotional mind stimulated our species’ cultural expression in all its rich variety. Bringing together insights and data from philosophy, biology, anthropology, neuroscience, and psychology, The Emotional Mind offers a new paradigm for understanding what it is that makes us so unique. (shrink)

In this paper I have had two aims. One was to describe a number of pantheist or near pantheist religious attitudes, including the influence of many worlds theories. The other was to indicate some of the ways we might arrive at Pantheism.One final remark: when assessing religious positions the intellectual grounds for accepting or rejecting them should, I suggest, be whether they make sense of things, that is, enable us to understand. The ways to Pantheism, or to near Pantheism, should (...) therefore be interpreted as part of a comparison between ways of understanding. (shrink)

An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, are parts of the physical world and (...) are objects of mathematics. Though some mathematical structures such as infinities may be too big to be realized in fact, all of them are capable of being realized. Informed by the author's background in both philosophy and mathematics, but keeping to simple examples, the book shows how infant perception of patterns is extended by visualization and proof to the vast edifice of modern pure and applied mathematical knowledge. (shrink)

Composition as identity, as I understand it, is a theory of the composite structure of reality. The theory’s underlying logic is irreducibly plural; its fundamental primitive is a generalized identity relation that takes either plural or singular arguments. Strong versions of the theory that incorporate a generalized version of the indiscernibility of identicals are incompatible with the framework of plural logic, and should be rejected. Weak versions of the theory that are based on the idea that composition is merely analogous (...) to identity are too weak to be interesting, lacking in metaphysical consequence. I defend a moderate version according to which composition is a kind of identity, and argue that the difference is metaphysically substantial, not merely terminological. I then consider whether the notion of generalized identity, though fundamental, can be elucidated in modal terms by reverse engineering Hume’s Dictum. Unfortunately, for realists about possible worlds, such as myself,... (shrink)

Classical mereology seems unable to characterise the identity conditions of word types. For example, the same letter types ordered differently result in different word types; but mereological fusions of the same letters are identical, regardless of the order of the letters. We show, however, that by combining classical mereology with plural logic one can give a definition of word types that satisfies the identity criteria of word types. This means that it is not necessary to abandon classical mereology in order (...) to give an analysis of the mereological structure of word types. (shrink)

This paper develops the metaphysical hypothesis that there are irreducibly collective pluralities, pluralities of objects that do not have a singular object among them. A way to formulate this hypothesis using plural quantification will be proposed and the coherence of irreducibly collective existence will be defended. Furthermore, irreducibly collective existence will be shown to allow for bottomless scenarios that do not involve things standing in relations of parthood. This will create logical space for an anti-atomistic form of mereological nihilism.

The Forrest-Armstrong argument, as reconfigured by David Lewis, is a reductio against an unrestricted principle of recombination. There is a gap in the argument which Lewis thought could be bridged by an appeal to recombination. After presenting the argument, I show that no plausible principle of recombination can bridge the gap. But other plausible principles of plenitude can bridge the gap, both principles of plenitude for world contents and principles of plenitude for world structures. I conclude that the Forrest-Armstrong argument, (...) when fortified in one of these ways, demands that unrestricted recombination be rejected. The appropriate restriction comes from a consideration of what world structures are possible. I argue that, although there are too many worlds to form a set, for any world, the individuals at that world do form a set. To defend it I invoke a principle of Limitation of Size together with an iterative conception of structure. (shrink)

One of the advantages of my account in the essay “Instantiation as Partial Identity” was capturing the contingency of instantiation—something David Armstrong gave up in his experiment with a similar view. What made the contingency possible for me was my own non-standard account of identity, complete with the apparatus of counts and aspects. The need remains to lift some obscurity from the account in order to display its virtues to greater advantage. To that end, I propose to respond to those (...) who have grappled with it in print. There are various criticisms by commentators: that it is rendered absurd by the transitivity of identity, that it makes instantiation necessary instead of contingent, that it is unclear what counts are, that aspects are simply tropes, that my view does not capture multiple location, that I make an unclear reference to a theory of composition as identity, that the account suffers from problems with polyadicity, and that it is not a realist account of universals after all. I give responses to these objections. (shrink)

It is commonly assumed that facts would be complex entities made out of particulars and universals. This thesis, which I call Compositionalism, holds that parthood may be construed broadly enough so that the relation that holds between a fact and the entities it ‘ties’ together counts as a kind of parthood. I argue firstly that Compositionalism is incompatible with the possibility of certain kinds of fact and universal, and, secondly, that such facts and universals are possible. I conclude that Compositionalism (...) is false. What all these kinds of fact and universal have in common is a violation of supplementation principles governing any relation that may be intelligibly regarded as a kind of parthood. Although my arguments apply to Compositionalism generally, I focus on recent work by David Armstrong, who is a prominent and explicit Compositionalist. (shrink)

Armstrong’s combinatorial theory of possibility faces the obvious difficulty that not all universals are compatible. In this paper I develop three objections against Armstrong’s attempt to account for property incompatibilities. First, Armstrong’s account cannot handle incompatibilities holding among properties that are either simple, or that are complex but stand to one another in the relation of overlap rather than in the part/ whole relation. Secondly, at the heart of Armstrong’s account lies a notion of structural universals which, building on an (...) objection by David Lewis, is shown to be incoherent. I consider and reject two alternative ways of construing the composition of structural universals in an attempt to meet Lewis’ objection. An important consequence of this is that all putative structural properties are in fact simple. Finally, I argue that the quasi-mereological account presupposes modality in a way that undermines the reductionist aim of the combinatorialist theory of which it is a central part. I conclude that Armstrong’ quasi-mereological account of property incompatibility fails. Without that account, however, Armstrong’s combinatorial theory either fails to get off the ground, or else must give up its goal of reducing the notion of possibility to something non-modal. (shrink)

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)

David Lewis defends the following "non-circular definition of personhood": "something is a continuant person if and only if it is a maximal R-interrelated aggregate of person-stages. That is: if and only if it is an aggregate of person-stages, each of which is R-related to all the rest (and to itself), and it is a proper part of no other such aggregate." I give a counterexample, involving a person who is a part of another, much larger person, with a separate mental (...) life. I then offer an easy repair, which preserves the virtues of Lewis's definition without introducing any new vices. (shrink)

The topic of this paper is the semantic analysis of the sentences in (1). (1a,b) contain the adverbial modifiers 'one after the other' and 'dog after dog', respectively, which add to the simple (1') information on how the overall event of the dogs entering the room is to be divided into subevents based on a division of the group of dogs into individual dogs. We call these adverbials pluractional adverbials, following e.g. Lasersohn's (1995) use of the term pluractionality for the (...) division of larger eventualities into subeventualities. (shrink)

I endorse Composition as Identity, broadly and loosely understood as the thesis that a composite whole is nothing over and above its parts, and the parts nothing over and above the whole. Thus, given an object, x, composed of n proper parts, y1, ..., yn, I feel the tension between my Quinean heart and its Lewisian counterpart. I feel the tension between my obligation to countenance n+1 things, x and the y’s, each of which is a distinct portion of reality, (...) and my inclination to count just 1 thing, x, or just n things, the y’s, the former encompassing the same amount of reality as the latter. This paper is an attempt to reconstruct this tension and to explain it away without forgoing the intimate link between counting and countenancing. (shrink)

A plurality or plural object is a single object that is also many, and pluralitism is the thesis that there is such an object. This paper argues that pluralitism and closely related theses (e.g., the many-one identity thesis and the composition as identity thesis) violate logic. To do so, it formulates an approach to the logic and semantics of plural constructions that results in plural logic and relates treatments of plural constructions to accounts of natural number. And it gives a (...) critical examination of Frege’s views of numbers and plural constructions, and sketches the view of plural constructions as devices for talking about the many (as such), and an account of natural numbers as properties of a special kind, plural properties. (shrink)

The connection between whole and part is intimate: not only can we share the same space, but I’m incapable of leaving my parts behind; settle the nonmereological facts and you thereby settle what is a part of what; wholes don’t seem to be an additional ontological commitment over their parts. Composition as identity promises to explain this intimacy. But it threatens to make the connection too intimate, for surely the parts could have made a different whole and the whole have (...) had different parts. In this paper I attempt to offer an account of parthood that is intimate enough but not too intimate: the parts generate the whole, but they are not themselves the whole. (shrink)

"Composition as identity" is the radical claim that the whole is identical to the parts - radical because it implies that a single object can be identical to many objects. Composition as identity, together with auxiliary assumptions, implies the principle of "collapse": an object is one of some things if and only it is part of the fusion of those things. Collapse has important implications: the comprehension principle of plural logic must be restricted, plural definite descriptions such as "the Cheerios (...) in the bowl" are empty, Composition as identity does not preclude emergent properties (contrary to what McDaniel has argued), and drastic simplifications of mereological and logical ideology are extensionally available. (shrink)

Contemporary metaphysicians have been drawn to a certain attractive picture of the structure of the world. This picture consists in classical mereology, the priority of parts over wholes, and the well-foundedness of metaphysical priority. In this short note, I show that this combination of theses entails superatomism, which is a significant strengthening of mereological atomism. This commitment has been missed in the literature due to certain sorts of models of mereology being overlooked. But the entailment is an important one: we (...) must either accept superatomism or reject one (or other) of the most widespread theses of contemporary metaphysics. (shrink)

It is sometimes suggested that impure sets are spatially co-located with their members (and hence are located in space). Sets, however, are in important respects like numbers. In particular, sets are connected to concepts in much the same manner as numbers are connected to concepts—in both cases, they are fundamentally abstracts of (or corresponding to) concepts. This parallel between the structure of sets and the structure of numbers suggests that the metaphysics of sets and the metaphysics of numbers should parallel (...) each other in relevant ways. This entails, in turn, that impure sets are not co-located with their members (nor are they located in space). (shrink)

In the thesis I offer an analysis of the metaphysical underpinnings of the extended cognition thesis via an examination of standard views of metaphysical building (or, dependence) relations. -/- In summary form, the extended cognition thesis is a view put forth in naturalistic philosophy of mind stating that the physical basis of cognitive processes and cognitive processing may, in the right circumstances, be distributed across neural, bodily, and environmental vehicles. As such, the extended cognition thesis breaks substantially with the still (...) widely held view in cognitive science and philosophy of mind, namely that cognitive processes and cognitive processing take place within the skin-and-skull of individual organisms. The standard view of metaphysical building relations can be expressed as the conjunction of two theses. First, that a metaphysical building relation – such as composition, constitution, realization, supervenience or emergence – is a relation of ontological dependence, because if a metaphysical building relation holds between X (or the Xs) and Y, then it is in virtue of X (or the Xs) that Y exists. Second, metaphysical building relations are synchronic (durationless) relations of ontological dependence. In the thesis, I propose an alternative diachronic framework by which to extend the standard synchronic accounts of metaphysical dependence relations, and by which to reformulate the metaphysical foundation of the extended cognition thesis. The project fills an important gap between analytical metaphysics (in particular, the metaphysics of dependence relations) and naturalistic philosophy of mind (especially the extended cognition thesis). To my knowledge there has been no attempt to establish a robust diachronic account of metaphysical building (or, dependence) relations such as, e.g., composition and constitution. However, this is precisely what I argue is required to properly advance and ground the metaphysics of extended cognition. Ultimately, my aim of reformulating the metaphysics of extended cognition consists in taking several steps toward a third-wave of extended cognition. (shrink)

The paper provides the first thorough assessment of a physics-based answer, the so called Bound State Answer, to the Special Composition Question. According to the BSA some material objects compose something iff they are in a common bound state. The reasons to endorse such an answer, in particular motivations coming from empirical adequacy and conservativeness, precision, simplicity and parsimony are critically addressed. I then go on to compare the BSA to other moderate answers to the SCQ and consider whether objections (...) raised against such answers can be raised against the BSA as well. I conclude with a plea for mereological pluralism, in the light of the many different wholes that physics seem to provide. (shrink)

It is a common view that if composition as identity is true, then so is mereological universalism (the thesis that all objects have a mereological fusion). Various arguments have been advanced in favour of this: (i) there has been a recent argument by Merricks, (ii) some claim that Universalism is entailed by the ontological innocence of the identity relation, (or that ontological innocence undermines objections to universalism) and (iii) it is entailed by the law of selfidentity. After a preliminary introduction (...) to the competing theories of persistence (necessary for a discussion of Merricks’ argument) I examine each in turn and demonstrate how they fail. I conclude that the prejudice that if composition as identity is true then Universalism is true, is unwarranted. Thus one motivation for believing Universalism is lost and those who believe composition as identity should now be receptive to some form of restricted composition. (shrink)

In this paper, I develop a new defense of logicism: one that combines logicism and nominalism. First, I defend the logicist approach from recent criticisms; in particular from the charge that a cruciai principie in the logicist reconstruction of arithmetic, Hume's Principle, is not analytic. In order to do that, I argue, it is crucial to understand the overall logicist approach as a nominalist view. I then indicate a way of extending the nominalist logicist approach beyond arithmetic. Finally, I argue (...) that a nominalist can use the resulting approach to provide a nominalization strategy for mathematics. In this way, mathematical structures can be introduced without ontological costs. And so, if this proposal is correct, we can say that ultimately all the nominalist needs is logic (and, rather loosely, ali the logicist needs is nominalism). (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)

This paper examines the prevalent assumption that when people interact online via proxies—avatars—they encounter each other. Through an exploration of the ontology of users and their avatars we argue that, contrary to the trend within current discussions of interaction online, this cannot be unproblematically assumed. If users could be considered in some sense identical to their avatars, then it would be clear how an encounter with an avatar could ground an encounter with another user. We therefore engage in a systematic (...) investigation of several conceptions of identity, concluding that in none of these senses can users and avatars be identified. We go on to explore how current accounts of identity-as-selfhood online might resolve this problem by appealing to narrativity or authorship, ultimately concluding that as these accounts stand they are unable to provide grounds for the claim that users encounter each other online and so supplementary work is required. (shrink)

As there is currently a neo-Aristotelian revival currently taking place within contemporary metaphysics and dispositions, or causal powers are now being routinely utilised in theories of causality and modality, more attention is beginning to be paid to a central Aristotelian concern: the metaphysics of substantial unity, and the doctrine of hylomorphism. In this paper, I distinguish two strands of hylomorphism present in the contemporary literature and argue that not only does each engender unique conceptual difficulties, but neither adequately captures the (...) metaphysics of Aristotelian hylomorphism. Thus both strands of contemporary hylomorphism, I argue, fundamentally misunderstand what substantial unity amounts to in the hylomorphic framework – namely, the metaphysical inseparability of matter and form. (shrink)

Inspired by Cantor's Theorem (CT), orthodoxy takes infinities to come in different sizes. The orthodox view has had enormous influence in mathematics, philosophy, and science. We will defend the contrary view---Countablism---according to which, necessarily, every infinite collection (set or plurality) is countable. We first argue that the potentialist or modal strategy for treating Russell's Paradox, first proposed by Parsons (2000) and developed by Linnebo (2010, 2013) and Linnebo and Shapiro (2019), should also be applied to CT, in a way that (...) vindicates Countabilism. Our discussion dovetails with recent independently developed treatments of CT in Meadows (2015), Pruss (2020), and Scambler (2021), aimed at establishing the mathematical viability, and therefore epistemic possibility, of Countabilism. Unlike these authors, our goal isn't to vindicate the mathematical underpinnings of Countabilism. Rather, we aim to argue that, given that Countabilism is mathematically viable, Countabilism should moreover be regarded as true. After clarifying the modal content of Countabilism, we canvas some of Countabilism's many positive implications, including that Countabilism provides the best account of the pervasive independence phenomena in set theory, and that Countabilism has the power to defuse several persistent puzzles and paradoxes found in physics and metaphysics. We conclude that in light of its theoretical and explanatory advantages, Countabilism is more likely true than not. (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.

The paper defends a combination of perdurantism with mereological universalism by developing semantics of temporary predications of the sort ’some P is/was/will be (a) Q’. We argue that, in addition to the usual application of causal and other restrictions on sortals, the grammatical form of such statements allows for rather different regimentations along three separate dimensions, according to: (a) whether ‘P’ and ‘Q’ are being used as phase or substance sortal terms, (b) whether ‘is’, ‘was’, and ‘will be’ are the (...) ‘is’, ‘was’, ‘will be’ of identity or of constitution, and (c) whether ‘Q’ is being used as a subject or predicate term. We conclude that this latitude is beneficial, as it conforms with linguistic reality (i.e., the multiple uses actually in place) and also enables one to turn what is ordinarily perceived as a problem for universalist perdurantism viz., a commitment to all sorts of weird and gerrymandered temporally extended entities, into an advantage, for the richness in questions allows us to make sense of. (shrink)

In this chapter, a generic definition of fundamentality as an ontological minimality thesis is sought and its applicability examined. Most discussions of fundamentality are focused on a mereological understanding of the hierarchical structure of reality, which may be combined with an atomistic, object-oriented metaphysics. But recent work in structuralism, for instance, calls for an alternative understanding and it is not immediately clear that the conception of fundamentality at work in structuralism is commensurable with the mereological conception. However, it is proposed (...) that once we understand fundamentality as an ontological minimality thesis, these two as well as further conceptions of fundamentality can all be treated on a par, including metaphysical infinitism of the ‘boring’ type, where the same structure repeats infinitely. (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)

Can Quine’s criterion for ontological commitment be comparatively applied across different logics? If so, how? Cross-logical evaluations of discourses are central to contemporary philosophy of mathematics and metaphysics. The focus here is on the influential and important arguments of George Boolos and David Lewis that second-order logic and plural quantification don’t incur additional ontological commitments over and above those incurred by first-order quantifiers. These arguments are challenged by the exhibition of a technical tool—the truncation-model construction of notational equivalents—that compares the (...) ontological role and increased expressive strength of non-first-order ideology to first-order ideology. (shrink)

In recent years, metaphysics has undergone what some describe as a revolution: it has become standard to understand a vast array of questions as questions about grounding, a metaphysical notion of determination. Why should we believe in grounding, though? Supporters of the revolution often gesture at what I call the Argument from Explanatoriness: the notion of grounding is somehow indispensable to a metaphysical type of explanation. I challenge this argument and along the way develop a “reactionary” view, according to which (...) there is no interesting sense in which the notion of grounding is explanatorily indispensable. I begin with a distinction between two conceptions of grounding, a distinction which extant critiques of the revolution have usually failed to take into consideration: grounding qua that which underlies metaphysical explanation and grounding qua metaphysical explanation itself. Accordingly, I distinguish between two versions of the Argument from Explanatoriness: the Unexplained Explanations Version for the first conception of grounding, and the Expressive Power Version for the second. The paper’s conclusion is that no version of the Argument from Explanatoriness is successful. (shrink)

Abstract: Friends of plural logic—like Oliver & Smiley (2001), Rayo (2002), Yi (2005), and McKay (2006)—have argued that a semantics of plurals based on mereological sums would be too weak, and they have adduced several examples in favor of their claim. However, they have not considered various possible counter-arguments. So how convincing are their own arguments? We show that several of them are easily answered, while some others are more problematic. Overall, the case against mereological singularism—the idea that mereological sums (...) can serve as the semantic values of plurals—turns out to be much less strong than what it is usually presented to be. (shrink)

In linguistics, the dominant approach to the semantics of plurals appeals to mereology. However, this approach has received strong criticisms from philosophical logicians who subscribe to an alternative framework based on plural logic. In the first part of the article, we offer a precise characterization of the mereological approach and the semantic background in which the debate can be meaningfully reconstructed. In the second part, we deal with the criticisms and assess their logical, linguistic, and philosophical significance. We identify four (...) main objections and show how each can be addressed. Finally, we compare the strengths and shortcomings of the mereological approach and plural logic. Our conclusion is that the former remains a viable and well-motivated framework for the analysis of plurals. (shrink)

This paper argues for including stuff in one's ontology. The distinction between things and stuff is first clarified, and then three different ontologies of the physical universe are spelled out: a pure thing ontology, a pure stuff ontology, and a mixed ontology of both things and stuff. Eleven different reasons for including stuff in one's ontology are given. Then five objections to positing stuff are considered and rejected.

Priority Monism—the position that what is fundamental is one object, the Cosmos—has recently been brought to the fore by Jonathan Schaffer, who has put forward a variety of arguments in its favour. However, Priority Monism has been criticised on the grounds that junk—where for some structure to be junky is for every object in it to be a proper part of another object in the structure—is metaphysically possible. The aim of this paper is to investigate how the monist can deal (...) with this problem. I argue they can successfully argue against junk's possibility, but their response leaves a new problem for monism. To address this problem, they need to develop a new version of Priority Monism, on which the Cosmos is identical to all its parts taken collectively. I denote this version of monism as Weak Priority Monism. Contra Schaffer, I think a Priority Monist can and should hold to the thesis that Composition is Identity. (shrink)

In many different ontological debates, anti-arbitrariness considerations push one towards two opposing extremes. For example, in debates about mereology, one may be pushed towards a maximal ontology (mereological universalism) or a minimal ontology (mereological nihilism), because any intermediate view seems objectionably arbitrary. However, it is usually thought that anti-arbitrariness considerations on their own cannot decide between these maximal or minimal views. I will argue that this is a mistake. Anti-arbitrariness arguments may be used to motivate a certain popular thesis in (...) the philosophy of mathematics that rules out the maximalist view in many different ontological debates. (shrink)