Since the publication of David Lewis's ''New Work for a Theory of Universals,'' the distinction between properties that are fundamental – or perfectly natural – and those that are not has become a staple of mainstream metaphysics. Plausible candidates for perfect naturalness include the quantitative properties posited by fundamental physics. This paper argues for two claims: (1) the most satisfying account of quantitative properties employs higher-order relations, and (2) these relations must be perfectly natural, for otherwise the perfectly natural properties (...) cannot play the roles in metaphysical theorizing as envisaged by Lewis. (shrink)

We seem to live in a disunified world where individuals usually prioritize their interests over those of groups. Introspectively, a phenomenon as such has its conceptual root, which is at least partly the platitude that individual persons are ontologically prior to social groups. What if groups are ontologically prior to individuals? My inquiry primarily concerns a group-coming-first metaphysical picture, that groups are ontologically prior to individuals. To better characterize such a relation, I advance a proposal called Group Grounding Middleism, whereupon (...) I identify and individuate groups, and then I suggest a new conception about individual existence. In passing, deploying techniques of Group Grounding Middleism, I also develop an account of group action and a theory of group responsibility, which arguably proves advantageous in practice. I eventually conclude with a prospect of our future group-talks. (shrink)

In this thesis I argue against unrestricted mereological hybridism, the view that there are absolutely no constraints on wholes having parts from many different logical or ontological categories, an exemplar of which I take to be ‘mixed fusions’. These are composite entities which have parts from at least two different categories – the membered (as in classes) and the non-membered (as in individuals). As a result, mixed fusions can also be understood to represent a variety of cross-category summation such as (...) the abstract with the concrete, the physical with the non-physical, and the possible with the impossible, just to name a few. -/- Proposed by David Lewis (1991) alongside his defence of classical mereology (the major theory of parthood which permits such transcategorial composites through its principle of unrestricted composition) it is my contention that mixed fusions are an under-examined consequence of indiscriminate mereological fusion which harbour a multitude of complications. In my attempt to discern their substantive character, throughout this thesis I make a case study of mixed fusions and uncover several problematic consequences which I think follow from their most plausible assessment. -/- These include: (1) that mixed fusions’ probable membership relations may lead to dubious foundational loops in the mereological Universe, or (2) otherwise that mixed fusions oblige an implausible ontological priority of the mereological Universe as a whole; (3) that mixed fusions contradict the reductive account of set theory they are proposed within, by plausibly being seen to have the same members as their class parts, and (4) that mixed fusions therefore confound a mereological thesis of Composition as Identity, which some (including Lewis) use to support classical mereology – a consequence which is potentially self-defeating; (5) that mixed fusions as sums of abstract and concrete entities both subvert Lewis’s (1986) system of modal realism, while (6) also undermining less expansive theories of possible worlds; and finally, (7) that even where some of the foregoing is resisted, it remains implausible that mixed fusions are ontologically innocent, because their supposed distinction from their parts in this case ensures that they need to be counted as additional entities in one’s ontology. -/- To be clear, I do not advance a theory of mereological hybrid nihilism in the sense of denying all cases of transcategorial composition. (I only cover a few select instances of mereological hybridism via mixed fusions after all.) Rather, I deny that mereological hybridism is plausible in full generality, by demonstrating that any cases of it are at least limited by the constraints that I identify. This in turn vindicates a call for a restriction on parthood theories and composition principles which allow certain types of categorially mixed entities – including restricting classical mereology with its principle of unrestricted composition. -/- Although theories of parthood like the standard classical mereology are not ordinarily developed for the sake of mereological hybrids like mixed fusions, these and other transcategorial composites are still among the logical consequences of such parthood systems operating with sufficient generality. The significance of my thesis, then, comes from showcasing how some of these kinds of entities do not conform to the systems in which they are included as required, and hence I argue for the rejection of unrestricted mereological hybridism as well as any mereological principles which support it. (shrink)

I raise a problem about the possibility of metaphysics originally raised by Kant: what explains the fact that the terms in our metaphysical theories (e.g. “property”) refer to entities and structures (e.g. properties) in the world? I distinguish a meta-metaphysical view that can easily answer such questions (“deflationism”) from a meta-metaphysical view for which this explanatory task is more difficult (which I call the “substantive” view of metaphysics). I then canvass responses that the substantive metaphysician can give to this Kantian (...) demand for an explanation of reference in metaphysics. I argue that these responses are either inadequate, or depend, implicitly or explicitly, on the idea of “joint carving”: carving at the joints is part of the explanation of reference-facts quite generally and our metaphysical terms in particular refer because they carve at the joints. I examine Ted Sider’s recent work on joint carving and structure and argue that it cannot fill the explanatory gap. I conclude that this is reason ceterus paribus to reject the substantive view of metaphysics. Kant’s critique, far from being obsolete, applies to the most cutting-edge of contemporary meta-metaphysical views. (shrink)

Inspired by Sara Bernstein's discussion of Middleism—the thesis that the most fundamental level of reality is neither the top level nor the bottom level—I implement the Middleist picture to both physical reality and social reality.

The slogan “the whole is nothing over and above the parts” and related vague thoughts animate many theories of parthood and arguably are central to our ordinary conception. I examine some issues connected with this slogan.

David Lewis is typically interpreted as a class nominalist. One consequence of class nominalism, which he embraced, is that the reduction of ordered pairs, triples, etc to unordered sets of sets is conventional. The reaction by his Australian counterparts D.M. Armstrong and Peter Forrest was that Lewis was not being ontologically serious. This chapter evaluates this debate over serious ontology. It is argued that in one sense Lewis is ontologically serious, but that his additional commitment to structuralism about classes should (...) push him to adopt a trope-theoretic account of naturalness, which opens up another way to respond to the charge of not doing serious ontology. This conclusion is supported by certain remarks he makes in his correspondence, thus revealing how his thinking about properties appears to have evolved from property-egalitarianism to a sparse theory of tropes. (shrink)

Gödel claimed that Zermelo-Fraenkel set theory is 'what becomes of the theory of types if certain superfluous restrictions are removed'. The aim of this paper is to develop a clearer understanding of Gödel's remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning infinitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.

I argue for a connection between two debates in the philosophy of probability. On the one hand, there is disagreement about conditional probability. Is it to be defined in terms of unconditional probability, or should we instead take conditional probability as the primitive notion? On the other hand, there is disagreement about how additive probability is. Is it merely finitely additive, or is it additionally countably additive? My thesis is that, if conditional probability is primitive, then it is not countably (...) additive. (shrink)

David Lewis David Lewis is an American philosopher and one of the last generalists, in the sense that he was one of the last philosophers who contributed to the great majority of sub-fields of the discipline. He made central contributions in metaphysics, the philosophy of language, the philosophy of mind, and probabilistic and practical … Continue reading David Lewis →.

In this chapter, I survey what I call Lewisian approaches to modality: approaches that analyze modality in terms of concrete possible worlds and their parts. I take the following four theses to be characteristic of Lewisian approaches to modality. (1) There is no primitive modality. (2) There exists a plurality of concrete possible worlds. (3) Actuality is an indexical concept. (4) Modality de re is to be analyzed in terms of counterparts, not transworld identity. After an introductory section in which (...) I motivate analyzing modality in terms of possible worlds, I devote one section to each of these four theses. For each thesis, I take Lewis’s interpretation and defense as my starting point. I then consider and endorse alternative ways of accepting the thesis, some of which disagree substantially with Lewis’s interpretation or defense. There is more than one way to be a Lewisian about modality. (shrink)

Mereological essentialists argue that mereological summations cannot change their parts. Mereological inessentialists argue that mereological summations can change some or all of their parts. In this paper I articulate and defend a position called Moderate Mereological Inessentialism, according to which certain mereological summations can change some, but not all, of their parts. Persistent mereological summations occur when the functional parts of mereological summations persist through alterations to its spatial parts.

Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in a variety of (...) forms and only one of them obeys substitution unrestrictedly. I justify this departure from orthodoxy by showing some problems which result from attempts to avoid inconsistencies within plural logic by means of postulating other non-singular terms besides plural terms. Thereby, some of the main criticisms raised against Composition as Identity can be addressed. Further, I argue that the way objects are arranged is relevant with respect to the question which object they compose, i.e. to which object they are identical to. This helps to meet a second group of arguments against Composition as Identity. These arguments aim to show that identifying composite objects on the basis of the identity of their parts entails, contrary to our common sense view, that rearranging the parts of a composite object does not leave us with a different object. Moreover, it allows us to carve out the intensional aspects of Composition as Identity and to defend mereological universalism, the claim that any objects compose some object. Much of the pressure put on the latter view can be avoided by distinguishing the question whether some objects compose an object from the question what object they compose. Eventually, I conclude that Composition as Identity is a coherent and plausible position, as long as we take identity to be a more complex relation than commonly assumed. (shrink)

Mereological entities often seem to violate ‘ordinary’ ideas of what a concrete object can be like, behaving more like sets than like Aristotelian substances. However, the mereological notions of ‘part’, ‘composition’, and ‘sum’ or ‘fusion’ appear to find concrete realisation in the actual semantics of mass nouns. Quine notes that ‘any sum of parts which are water is water’; and the wine from a single barrel can be distributed around the globe without affecting its identity. Is there here, as some (...) have claimed, a ‘natural’ or ‘innocent’ form of mereology? The claim rests on the assumption that what a mass noun such as ‘wine’ denotes — the wine from a single barrel, for example — is indeed a unit of a special type, the sum or fusion of its many ‘parts’. The assumption is, however, open to question on semantic grounds. (shrink)

Quine has famously put forward the indispensability argument to force belief in the existence of mathematical objects (such as classes) due to their indispensability to our best theories of the world (Quine 1960). Quine has also advocated the indeterminacy of reference argument, according to which reference is dramatically indeterminate: given a language, there’s no unique reference relation for that language (see Quine 1969a). In this paper, I argue that these two arguments are in conflict with each other. Whereas the indispensability (...) argument supports realism about mathematics, the indeterminacy of reference argument, when applied to mathematics, provides a powerful strategy in support of mathematical anti-realism. I conclude the paper by indicating why the indeterminacy of reference phenomenon should be preferred over the considerations regarding indispensability. In the end, even the Quinean shouldn’t be a realist (platonist) about mathematics. (shrink)

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that modal metaphysics (...) --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

Lewis is famous as a contemporary philosophical system-builder. The most obvious way his philosophy exhibited a system was in its content: Lewis’s metaphysics, for example, provided answers to many metaphysical puzzles in an integrated way, and there are illuminating connections to be drawn between his general metaphysical views and, for example, his various views about the mind and its place in nature.

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)

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)

Graham Solomon, to whom this collection is dedicated, went into hospital for antibiotic treatment of pneumonia in Oc- ber, 2001. Three days later, on Nov. 1, he died of a massive stroke, at the age of 44. Solomon was well liked by those who got the chance to know him—it was a revelation to?nd out, when helping to sort out his a?airs after his death, how many “friends” he had whom he had actually never met, as his email included correspondence (...) with philosophers around the world running sometimes to hundreds of messages. He was well respected in the philosophical community more broadly. He was for several years a member of the editorial board for the Western Ontario Series in Philosophy of Science. While he was employed at Wilfrid Laurier University in Waterloo, Ontario, several of us at the University of Wat- loo always regarded our own department as a sort of second academic home for him. We therefore decided that it would be appropriate to hold a memorial conference in his honour. Thanks to the generous?nancial support of the Humphrey Conference Fund, we were able to do so in May 2003. Many of the papers in this volume were presented at that conf- ence. (shrink)

In his metaphysical summa of 1986, The Plurality of Worlds, David Lewis famously defends a doctrine he calls ‘modal realism’, the idea that to account for the fact that some things are possible and some things are necessary we must postulate an infinity possible worlds, concrete entities like our own universe, but cut off from us in space and time. Possible worlds are required to account for the facts of modality without assuming that modality is primitive – that there are (...) irreducibly modal facts. We argue that on one reading, Lewis’s theory licenses us to assume maverick possible worlds which spread through logical space gobbling up all the rest. Because they exclude alternatives, these worlds result in contradictions, since different spread worlds are incompatible with one another. Plainly Lewis’s theory must be amended to exclude these excluders. But, we maintain, this cannot be done without bringing in modal primitives. And once we admit modal primitives, bang goes the rationale for Lewis’s modal realism. (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)

In this work I first develop, motivate, and defend the view that mereological composition, the relation between an object and all its parts collectively, is a relation of identity. I argue that this view implies and hence can explain the logical necessity of classical mereology, the formal study of the part-whole relation. I then critically discuss four contemporary views of the same kind. Finally, I employ my thesis in a recent discussion of whether the world is fundamentally one in number.

According to the singular conception of reality, there are objects and there are singular properties, i.e. properties that are instantiated by objects separately. It has been argued that semantic considerations about plurals give us reasons to embrace a plural conception of reality. This is the view that, in addition to singular properties, there are plural properties, i.e. properties that are instantiated jointly by many objects. In this article, I propose and defend a novel semantic account of plurals which dispenses with (...) plural properties and thus undermines the semantic argument in favor of the plural conception of reality. (shrink)

In Parts of Classes [Lewis 1991] David Lewis attempts to draw a sharp contrast between mereology and set theory and to assimilate mereology to logic. He argues that, like logic but unlike set theory, mereology is “ontologically innocent”. In mereology, given certain objects, no further ontological commitment is required for the existence of their sum. On the contrary, by accepting set theory, given certain objects, a further commitment is required for the existence of the set of them. The latter – (...) unlike the sum of the given objects – seems to be an abstract entity whose existence is not directly entailed by the existence of the objects themselves. The argument for the innocence of mereology is grounded on the thesis of “Composition as identity”. Lewis analyses two different versions of the thesis: the first is the Strong composition thesis, according to which certain objects are their sum, where the use of “are” would mean that composition is literally identity. The second version is the Weak composition thesis, according to which composition is analogous, under some aspects, to identity. He criticises the first version of the thesis and argues for the second one. In the paper we argue that (T1) arguments for the ontological innocence of mereology are not conclusive. An obvious objection to the Strong composition thesis is that – given certain objects Xs – they cannot be their sum because none of them is the sum. One could reply to this objection by observing that the “are” in the sentence “The Xs are their sum” is to be understood collectively and not distributively. But the crux is that the collective reading fails to generate a new entity, whereas mereology, in particular in Lewis’ use for the reconstruction of set theory as “megethology”, needs to consider sums as real objects. Besides, we contend that Lewis’ argument for the innocence of mereology based on the Weak composition thesis is a petitio principii. The reason is that the aspects of the analogy between composition and identity, which Lewis emphasises, obtain under the presupposition of the existence of sums. But this is just what a denier of innocence would refuse. (T2) Some arguments against the ontological innocence of mereology show a certain ambiguity in the innocence thesis itself. Some defences of the innocence seem to implicitly presuppose that the sum of certain objects Xs is not a genuine entity. Speaking of the sum of the Xs would be just another way of speaking plurally of the Xs. However, the relevant use of sums in mereology treats them as well determined objects. The relevant innocence thesis takes for granted that, though sums are genuine objects, nevertheless their existence does not require any further commitment. (T3) The innocence thesis, apart from Lewis’ defence, seems to depend on a general conception of the nature of objects and on how the notion of ontological commitment is understood. We think that the thesis is the manifesto of a realistic conception of parts and sums. This conception consists of the following clauses: (i) given any object x, it is well determined which parts it possesses; these are in turn objects whose existence is a necessary consequence of the existence of x. (ii) However any objects Xs are given, they automatically constitute a well determined object x which is their sum; (iii) We can refer singularly and plurally to parts and sums of given objects. Obviously, one might wonder if such a conception is really ontologically innocent. One could object that it is not innocent because clauses (i) – (iii) are not. For example, clause (i) could be considered as an ontological commitment to the existence of sums. But the innocence at issue does not concern the above-sketched conception. The innocence is embedded in the conception itself. In other words, someone who argues for clauses (i) – (iii) takes a point of view from which mereology appears to be innocent. For, such a point of view forces us to consider as well determined the parts of any object and does not allow us to separate the existence of certain objects form the existence of their sum. (T4) is the claim that the alleged innocence of mereology is subject to Quine’s notorious criticisms of the set-theoretical interpretation of second order logic. To the purpose, we construct a mereological model of a substantive fragment of set theory, i.e. the one that grounds the principal model semantics of second order logic. First, we construct a mereological model under the assumption of the existence of infinitely many atoms. Then, we replace this assumption with that of the existence of any infinite object (with or without atoms). Finally, let us make a general point about the innocence thesis of mereology. A conclusive argument for that would be a refutation of the thesis that there are only denumerably many entities. For, since the parts of an infinite object constitute a non-denumerable infinity, such an argument would entail that there could be no infinite without a non-denumerable infinity. However, the thesis that any genuine infinity is a denumerable one has had some important advocates. So, a conclusive argument for the innocence of mereology seems to be highly implausible. (shrink)

Lewisian Genuine Realism about possible worlds is often deemed unable to accommodate impossible worlds and reap the benefits that these bestow to rival theories. This thesis explores two alternative extensions of GR into the terrain of impossible worlds. It is divided in six chapters. Chapter I outlines Lewis’ theory, the motivations for impossible worlds, and the central problem that such worlds present for GR: How can GR even understand the notion of an impossible world, given Lewis’ reductive theoretical framework? Since (...) the desideratum is to incorporate impossible worlds into GR without compromising Lewis’ reductive analysis of modality, Chapter II defends that analysis against objections. The rest of the thesis is devoted to incorporating impossible worlds into GR. Chapter III explores GR-friendly impossible worlds in the form of set-theoretic constructions out of genuine possibilia. Then, Chapters IV-VI venture into concrete impossible worlds. Chapter IV addresses Lewis’ objection against such worlds, to the effect that contradictions true at impossible worlds amount to true contradictions tout court. I argue that even if so, the relevant contradictions are only ever about the non-actual, and that Lewis’ argument relies on a premise that cannot be nonquestion- beggingly upheld in the face of genuine impossible worlds in any case. Chapter V proposes that Lewis’ reductive analysis can be preserved, even in the face of genuine impossibilia, if we differentiate the impossible from the possible by means of accessibility relations, understood non-modally in terms of similarity. Finally, Chapter VI counters objections to the effect that there are certain impossibilities, formulated in Lewis’ theoretical language, which genuine impossibilia should, but cannot, represent. I conclude that Genuine Realism is still very much in the running when the discussion turns to impossible worlds. (shrink)

In Parts of Classes David Lewis attempts to draw a sharp contrast between mereology and set theory and he tries to assimilate mereology to logic. For him, like logic but unlike set theory, mereology is “ontologically innocent”. In mereology, given certain objects, no further ontological commitment is required for the existence of their sum. On the contrary, by accepting set theory, given certain objects, a further commitment is required for the existence of the set of them. The latter – unlike (...) the sum of the given objects – seems to be an abstract entity whose existence is not directly entailed by the existence of the objects themselves. The argument for the innocence of mereology is grounded on the thesis of composition as identity. In our paper we argue that: arguments for the ontological innocence of mereology are not conclusive. Some arguments against the ontological innocence of mereology show a certain ambiguity in the innocence thesis itself. The innocence thesis seems to depend on a general conception of the nature of objects and on how the notion of ontological commitment is understood. Specifically, we think that the thesis is the manifesto of a realistic conception of parts and sums. Quine‟s notorious criticism of the set-theoretical interpretation of second order logic seems to be reproducible against Lewis‟defence of mereology. To the purpose we construct a mereological model of a substantive fragment of set theory, adequate to ground the set-theoretical semantics of second order logic. (shrink)

Trinitarians claim there are three Divine persons each of which is God, and yet there is only one God. It seems they want three to equal one. It just so happens, some metaphysicians claim exactly that. They accept Composition as Identity: each fusion is identical to the plurality of its parts. I evaluate Composition as Identity's application to the doctrine of the Trinity, and argue that it fails to give the Trinitairan any options he or she didn't already have. Further, (...) while Composition as Identity does give us a new way to assert polytheism, its help requires us to endorse a claim that undercuts any Trinitarian motivation for the view. (shrink)

Divers (2014) argues that a Lewisian theory of modality which includes both counterpart theory and modal realism cannot account for the truth of certain intuitively true modal sentences involving cross-world comparatives. The main purpose of this paper is to defend the Lewisian theory against Divers’s challenge by developing a response strategy based on a degree-theoretic treatment of comparatives and by showing that this treatment is compatible with the theory.

Megethology is the second-order theory of the part-whole relation developed by David Lewis, and it is obtained by combining plural quantification with classical extensional mereology. It can express some hypotheses about the size of the domain such as that there are inaccessibly many atoms. This will prove enough to get the orthodox set theory. Then, megethology is a possible foundation for mathematics. This paper is an introduction to megethology.

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)

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)

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 1901 Russell had envisaged the new analytic philosophy as uniquely systematic, borrowing the methods of science and mathematics. A century later, have Russell’s hopes become reality? David Lewis is often celebrated as a great systematic metaphysician, his influence proof that we live in a heyday of systematic philosophy. But, we argue, this common belief is misguided: Lewis was not a systematic philosopher, and he didn’t want to be. Although some aspects of his philosophy are systematic, mainly his pluriverse of (...) possible worlds and its many applications, that systematicity was due to the influence of his teacher Quine, who really was an heir to Russell. Drawing upon Lewis’s posthumous papers and his correspondence as well as the published record, we show that Lewis’s non- Quinean influences, including G.E. Moore and D.M. Armstrong, led Lewis to an anti- systematic methodology which leaves each philosopher’s views and starting points to his or her own personal conscience. (shrink)

This thesis is composed of three essays on the perdurantist approach to persistence and identity over time. In Chapter 1, I discuss how the following papers are to be understood as parts of a unified perdurantist account of persistence over time. This chapter also outlines some of my philosophical assumptions and provides some background information about the metaphysics of persistence. In Chapter 2, I respond to the objection that the worm theory is unable to account for our intuitions about ordinary (...) counting sentences. I do this by invoking the standard linguistic phenomenon of covert quantifier domain restriction and supplementing the worm theory with situation semantics. My version of the worm theory makes our intuitive judgements come out true, and it does so well enough that there is no need to adopt the stage theory or revisionary theories of counting. Furthermore, my version of the worm theory offers a unified account of event- and object-related counting. Chapter 3 focuses on a commonly neglected difference between different kinds of perdurantism, which are differences in mereological priority. I discuss three different views: parts-first perdurantism, no-priority perdurantism, and wholes-first perdurantism. I briefly outline all three views and some of the motivations for each of them. I fend off objections from and motivations for no-priority perdurantism. I also contend that intraperdurantist debates about phenomenology ought not to be framed with respect to these forms of perdurantism. Instead, I suggest that the relativity of simultaneity presents an interesting scenario for parts-first and wholes-first perdurantists. I respond to Thomas Pashby’s arguments against the doctrine of temporal parts in Chapter 3. Pashby argues that metaphysicians ought to give an account of how quantum systems persist over time and that nonrelativistic quantum mechanics is incompatible with perdurantism. I contend that his arguments rely on controversial, non-standard assumptions about the existence and importance of time observables. I demonstrate that perdurantists have no problem giving an account of how quantum systems persist over time in reference to an external time parameter. Finally, I conclude with a summary of my arguments and some thoughts about directions for future research. (shrink)

Frege proved an important result, concerning the relation of arithmetic to second-order logic, that bears on several issues in linguistics. Frege’s Theorem illustrates the logic of relations like PRECEDES(x, y) and TALLER(x, y), while raising doubts about the idea that we understand sentences like ‘Carl is taller than Al’ in terms of abstracta like heights and numbers. Abstract paraphrase can be useful—as when we say that Carl’s height exceeds Al’s—without reflecting semantic structure. Related points apply to causal relations, and even (...) grammatical relations like DOMINATES(x, y). Perhaps surprisingly, Frege provides the resources needed to recursively characterize labelled expressions without characterizing them as sets. His theorem may also bear on questions about the meaning and acquisition of number words. (shrink)

In this talk I present the main results from Anta (2021), namely, that the theoretical division between Boltzmannian and Gibbsian statistical mechanics should be understood as a separation in the epistemic capabilities of this physical discipline. In particular, while from the Boltzmannian framework one can generate powerful explanations of thermal processes by appealing to their microdynamics, from the Gibbsian framework one can predict observable values in a computationally effective way. Finally, I argue that this statistical mechanical schism contradicts the Hempelian (...) (1958) thesis that the predictive power of a scientific theory is directly proportional to its explanatory potential, and vice versa. (shrink)

Dans son article From Nihilism to Monism, Jonathan Schaffer montre que les partisans du Nihilisme de la Composition ont de bonnes raisons d’accepter le Monisme d’Existence plutôt que le Nihilisme. De manière analogue, nous souhaitons montrer ici que les partisans de l’Universalisme de la Composition ont de bonnes raisons d’accepter le Monisme de Priorité. Pour montrer cela, nous allons proposer et défendre l’argument suivant : Prémisse 1. Si l’Universalisme de la Composition est vrai alors le Cosmos existe. Prémisse 2. Si (...) le Cosmos existe alors le Cosmos est la seule entité concrète basique. Conclusion. Si l’Universalisme de la Composition est vrai alors le Cosmos est la seule entité concrète basique. (shrink)

Few views are as widely held as the Standard View of Identity. Here I am concerned with minority views that depart from the standard account. First, I attempt to illuminate such views and the debates concerning them by identifying the principles of identity at issue, articulating some of the assumptions underlying the debates, and presenting some of the evidence used against the Standard View of Identity. Second, I enter two of these debates myself. I first defend two Non-Standard Views of (...) Identity from the charge that they violate a principle of identity, namely the Transitivity of Identity. I then present an overlooked consequence of another Non-Standard View of Identity that challenges the view on one of its own methodological principles. Third, I draw on recent work in ontological and parthood pluralism to show how one might be led to think that there is more than one way of being identical. That is, I show how one might be an identity pluralist. (shrink)

This paper advocates a new reading of Nelson Goodman’s new riddle of induction. According to Ian Hacking, this famous problem conveys a “pure nominalism”, as it grounds Goodman’s denial regarding the existence of natural kinds. While this interpretation is somewhat convincing, it suffers the major flaw of not corresponding to what Goodman himself understood by “nominalism”. Nominalism, in a goodmanian sense, is indeed primarily a technical demand, which stems from the so-called “calculus of individuals”. I argue that this mereological definition (...) of nominalism allows to understand the new riddle of induction afresh. As a result, Goodman’s riddle is “hyper-nominalist”, i.e., nominalist in a distinct and stronger sense than what Hacking suggested. (shrink)

This is a work in analytic metaphysics, which addresses a cluster of interrelated issues at the interface of mereology and persistence over time. In particular, it outlines a defence of a version of Endurance Theory according to which every enduring object is either a mereological simple or a mere sum of mereological simples. It includes, among other things, a proposal of a new way of framing the debate between Endurance Theory and Four-Dimensionalism, a defence of Endurance Theory over Four-Dimensionalism, arguments (...) against the existence of compound substances, and a defence of a traditional metaphysical atomism according to which all objects are ultimately made up of microscopic simples. (shrink)

The debate about the ontological innocence of mereology has generally been framed as a debate about the plausibility of Universal Fusion. Ontologically loaded fusions must be more than the sum of their parts, and this seems to violate parsimony if fusion is universal. Less attention has been paid to the question of what sort of emergence mereological fusions must exhibit if they are irreducible to their parts. The philosophy of science literature provides several models of such strong emergence. Examining those (...) models suggests that the difficulty with emergent fusions has at least as much to do with extensionality as it does with Universal Fusion. Some accounts of emergence fail to ensure irreducibility when combined with extensional mereologies. The most promising model for the strong emergence of ontologically loaded fusions fails to validate Anti-Symmetry, which naturally leads to failures of extensionality. These results suggest that the focus on Universal Fusion may have been misplaced. (shrink)