Mereological nihilism is the view that there are no composite objects; everything in existence is mereologically simple. The view is subject to a number of difficulties, one of which concerns what I call the problem of emergence. Very briefly, the problem is that nihilism seems to be incompatible with emergent properties; it seems to rule out their very possibility. This is a problem because there are good independent reasons to believe that emergent properties are possible. This paper provides a solution (...) to the problem. I will show that nihilism and emergence are perfectly compatible, providing one accepts a novel understanding of how objects can instantiate properties: what I call irreducibly collective instantiation. (shrink)

I defend mereological nihilism, the view that there are no composite objects, against a challenge from ontological emergence, the view that some things have properties that are ‘something over and above’ the properties of their parts. As the nihilist does not believe in composite wholes, there is nothing in the nihilist's ontology to instantiate emergent properties – or so the challenge goes. However, I argue that some simples can collectively instantiate an emergent property, so the nihilist's ontology can in fact (...) accommodate emergent properties. Furthermore, I show that employing plural instantiation does not bloat the nihilist's ontology or ideology. (shrink)

There is widespread disagreement as to what the facts are concerning just when a collection of objects composes some further object; but there is widespread agreement that, whatever those facts are, they are necessary. I am unhappy to simply assume this, and in this paper I ask whether there is reason to think that the facts concerning composition hold necessarily. I consider various reasons to think so, but find fault with each of them. I examine the theory of composition as (...) identity, but argue that the version of this doctrine that entails universalism is implausible. I consider the claim that the a priority of such facts leads to their necessity, but give a defence of substantial contingent a priori truths. I ask whether the contingency of such facts would lead to unwelcome possibilities, but argue that the worrying looking possibilities can be blocked if it is desired. Next, I argue against the thought that the Lewis-Sider argument against restricted composition might give us reason to accept the necessity of universalism. Lastly, I respond to two objections from the 2006 BSPC. I conclude in favour of the contingency of the facts concerning when some things compose some thing. (shrink)

What are the ontological commitments of a sentence? In this paper I offer an answer from the perspective of the truthmaker theorist that contrasts with the familiar Quinean criterion. I detail some of the benefits of thinking of things this way: they include making the composition debate tractable without appealing to a neo-Carnapian metaontology, making sense of neo-Fregeanism, and dispensing with some otherwise recalcitrant necessary connections.

This paper provides new arguments for the following claim: either strong composition as identity cannot retain the full strength of both the logical principles of one-one identity and its semantical principles or it only delivers cases of boring composition in that it entails mereological nihilism.

Composition is Identity is the thesis that a whole is, strict and literally, its parts considered collectively. Mereological Nihilism is the thesis that there are no composite objects whatsoever instead. This paper argues that they are equivalent, at least insofar as Composition is Identity is phrased in a particular way. It then addresses some consequences of such equivalence.

Some people object to realism about universals because they think that instantiation, the connection between something and the universals that characterize it, is too mysterious. Baxter and Armstrong try to make instantiation less mysterious by taking it to be a kind of partial identity. However, I argue that their accounts of instantiation, and any similar ones, fail.

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)

In this article I attempt to give an account of the thesis according to which composition is identity and of the criticisms that might be formulated against it. According to a weak version of the thesis, composition, in virtue of being analogous in important respects to identity, is as ontologically innocent as identity. According to the strong version of the thesis, composition is literally a species of the generic relation of identity, and is as ontologically innocent as any species of (...) identity. As we will see, the weak version begs the question or incurs in a non sequitur ; and the strong version is incoherent and faces a dilemma. Thus, composition is not identity: one thing cannot be identical to many things. (shrink)

Moderate composition as identity holds that there is a generalized identity relation, “being the same portion of reality,” of which composition and numerical identity are distinct species. Composition is a genuine kind of identity; but unlike numerical identity, it fails to satisfy Leibniz’s Law. A composite whole and its parts differ with respect to their numerical properties: the whole is one; the parts (collectively) are many. Moderate composition as identity faces the challenge: how, in the absence of Leibniz’s Law, can (...) one characterize what counts as a genuine kind of identity? This paper explores a promising answer: a genuine kind of identity must satisfy a version of Leibniz’s Law restricted to properties that ascribe qualitative character. Strong composition as identity holds that there is only one identity relation, that it satisfies Leibniz’s Law, and that the parts are identical with the whole that they compose. Strong composition as identity faces the challenge of showing that numerical properties do not provide counterexamples to Leibniz’s Law, and doing so in a way that is compatible with the framework of plural logic that is needed to formulate the theory. The most promising way to do this is to hold that plural logic is fundamental at the level of our representations, but not fundamental at the level of being. At the level of being, portions of reality cannot be characterized as either singular or plural. It turns out that the proposed moderate theory and the proposed strong theory are one and the same. In spite of its many attractions, I reject it. The main issue has to do with whether slice-sensitive emergent properties are possible. I argue that they are, making use both of specific examples and general principles of modal plenitude. I do not claim that my arguments are irresistible. But they cannot be evaded as easily as a related argument against strong composition as identity given by Kris McDaniel. I critically examine McDaniel’s argument to pave the way for my own. (shrink)

According to Lewis, mereology is the general and exhaustive theory of ontological composition, and every contingent feature of the world supervenes upon some fundamental properties instantiated by minimal entities. A profound analogy can be drawn between these two basic contentions of his metaphysics, namely that both can be intended as a denial of emergentism. In this essay, we study the relationships between Humean supervenience and two philosophical spin-offs of mereological monism: the possibility of gunk and the thesis of composition as (...) identity. In a gunky scenario, there are no atoms and, thus, some criteria alternative to mereological atomicity must be introduced in order to identify the bearers of fundamental properties; this introduction creates a precedent, which renders the restriction of the additional criteria to gunky scenarios arbitrary. On the other hand, composition as identity either extends the principle of indiscernibility of identicals to composition or is forced to replace indiscernibility with a surrogate; both alternatives lead to the postulation of a symmetric kind of supervenience which, in contrast to Humean supervenience, does not countenance a privileged level. Both gunk and composition as identity, thus, display a tension with Humean supervenience. (shrink)

Roughly, the problem of the Trinity is the problem of how God can be one and yet be the Father, the Son, and the Holy Spirit, which are three, not one. That one thing is identical with three distinct things seems to violate traditional laws of identity. I propose a solution to this problem according to which it is just an ordinary claim of one-many identity. For example, one pair of shoes is identical with two shoes; and my one body (...) is identical with its six limbs of arms, legs, head, and torso. The pair of shoes is not identical with each one of the two shoes, nor is my body identical with each one of its six limbs, but rather identical with all of them taken together, or collectively. I argue that the problem of the Trinity should be understood accordingly: God is identical with the Father, the Son, and the Holy Spirit collectively, but not with each one of them distributively. According to the way I develop this proposal, no traditional laws of identity are violated, but merely generalized in an intuitive way. I argue that this is compatible with Christian Orthodoxy as given by the Athanasian Creed. I end by responding to some anticipated objections. (shrink)

I show that a particular version of Hume's Dictum together with the falsity of Composition as Identity entails an incoherency, so either that version of Hume's Dictum is false or Composition as Identity is true. I conditionally defend the particular version of Hume's Dictum in play, and hence conditionally conclude that Composition as Identity is true. I end by suggesting an alternative way out for a persistent foe of Composition as Identity, namely mereological nihilism.

In this paper, I present the thesis of Composition as Identity as I think it should be understood, and reply to some objections to it. My aim is not to argue that CAI is true, but to show how CAI can be true, and push the debate forward in the direction I think it must and should go in light of some new objections.

A variety of relations widely invoked by philosophers—composition, constitution, realization, micro-basing, emergence, and many others—are species of what I call ‘building relations’. I argue that they are conceptually intertwined, articulate what it takes for a relation to count as a building relation, and argue that—contra appearances—it is an open possibility that these relations are all determinates of a common determinable, or even that there is really only one building relation.

Oliver's and Rodriguez-Pereyra's important interpretation of the problem of universals as one concerning truthmakers neglects something crucial: that there is a numerical identity between numerically distinct particulars. The problem of universals is rather how to resolve the apparent contradiction that the same things are both numerically distinct and numerically identical. Baxter's account of instantiation as partial identity resolves the apparent contradiction. A seeming objection to this account is that it appears to make instantiation symmetric, since partial identity is symmetric. Armstrong's (...) standard reply is that the difference between a particular and a universal is what makes instantiation asymmetric. Brown suggests, though, that the instantiation of a universal by a universal is sometimes symmetric. However, the examples on which he relies are not universals. (shrink)

ABSTRACT An apparent objection against my theory of instantiation as partial identity is that identity is necessary, yet instantiation is often contingent. To rebut the objection, I show how it can make sense that identity is contingent. I begin by showing how it can make sense that identity is temporary. I rely heavily on Andre Gallois’s formal theory of occasional identity, but argue that there is a gap in his explanation of how his formalisms make sense that needs to be (...) filled by appeal to my theory of Aspects. (shrink)

Pace Perry, wondering whether perceived things are identical is thinking about them, for Hume, with no thought of perceptions of them. Hume is not a proto-Fregean; Hume's Difficulty is not a version of Frege's Puzzle. Pace Falkenstein, wondering about an identity is not wondering whether clearly distinct things--stages, surfaces, names--are connected in some way. Pace Garrett, wondering about the identity of an observed object is wondering whether it is really one or two things, not whether there is one F or (...) two Fs. Second, Humean consciousness is apperception, not immediate awareness. Third, Hume finds nothing with epistemic merit. (shrink)

I argue that an individual has aspects numerically identical with it and each other that nonetheless qualitatively differ from it and each other. This discernibility of identicals does not violate Leibniz's Law, however, which concerns only individuals and is silent about their aspects. They are not in its domain of quantification. To argue that there are aspects I will appeal to the internal conflicts of conscious beings. I do not mean to imply that aspects are confined to such cases, but (...) the best way to start is to recognize them experientially. We can feel the conflicts within ourselves. In doing so we can feel some of our aspects. I will try to enhance our understanding of the concept of aspect by listing and formalizing some principles for its use. After that I will argue that all sorts of individual things have aspects, not just people who are conflicted. (shrink)

Construing the instantiation of a universal by a particular in terms of my theory of aspects resolves the basic mystery of this "non-relational tie", and gives theoretical unity to the four characteristics of instantiation discerned by Armstrong. Taking aspects as distinct in a way akin to Scotus's formal distinction, I suggest that instantiation is the sharing of an aspect by a universal and a particular--a kind of partial identity. This approach allows me to address Plato's multiple location and One over (...) Many problems, Bradley's problem concerning the instantiation of relations, and the problem of change. (shrink)

Replies to criticisms by John Perry, Lorne Falkenstein, and Don Garrett of my book HUME'S DIFFICULTY: TIME AND IDENTITY IN THE TREATISE, in a book symposium in PHILOSOPHICAL STUDIES.

I argue that one’s views about which “metaphysical laws” obtain—including laws about what is identical with what, about what is reducible to what, and about what grounds what—can be used to deflect or neutralize the threat posed by a debunking explanation. I use a well-known debunking argument in the metaphysics of material objects as a case study. Then, after defending the proposed strategy from the charge of question-begging, I close by showing how the proposed strategy can be used by certain (...) moral realists to resist the evolutionary debunking arguments. (shrink)

I argue in this paper that the debate over composition is factually empty; in other words, I argue that there’s no fact of the matter whether there are any composite objects like tables and rocks and cats. Moreover, at the end of the paper, I explain how my argument is suggestive of a much more general conclusion, namely, that there’s no fact of the matter whether there are any material objects at all. Roughly speaking, the paper proceeds by arguing that (...) if there were a fact of the matter about whether composite objects exist, then it would be either a necessary fact or a contingent fact, and both of these alternatives are implausible. (shrink)

Some have it that wholes are, somehow, identical to their parts. This doctrine is as alluring as it is puzzling. But in this paper, I show that the doctrine is inconsistent with two widely accepted theses. Something has to go.

Why is it that whenever a structural property is instantiated, its constituent properties are instantiated as well, by proper parts of the original object? By developing a suggestion from Lewis :25–46, 1986), Hawley :117–133, 2010) rises to this explanatory challenge by taking structural properties to be mereologically composed by their constituents, and by taking composition to be analogous to identity. However, setting up a plausible framework for composition and CAI claims about properties, I will argue that structural properties are not (...) identical to their constituents, at least not in any sense robust enough to warrant an Hawley-style argument—and perhaps not identical to them in any sense whatsoever. More generally, core principles of extensional mereology are in danger when applied to structural properties, which may force an extensionalist to either reconsider the application altogether, or reconsider mereological monism, thus granting the mereology of structural properties a peculiarly non-extensional status. Finally, although this debate has been traditionally framed as a debate about universals, an appeal to structural tropes can reconcile, at least to some extent, the mereology of structural properties with Lewisian extensional mereology— CAI included. (shrink)

An introduction to composition, persistence, and identity.

An exploration of the details of counterpart theory, and some applications of the view. In Chapter 1, I set out the view and clarify the most important features: that the counterpart relation is a context dependent similarity relation, and that individuals are world-bound entities. I then set out what I take to be the most promising methods of filling in important details. Chapter 2 is a discussion of an alternative view, lump theory. I attempt to distinguish lump theory from counterpart (...) theory, and argue that several attempt to do so fail. Chapter 3 is an attempt to apply counterpart theory for individuals to properties. I attempt to stay as close to the standard view as possible, but find it necessary to modify the world-bound condition. I suggest a version of property counterpart theory that overcomes the obstacles I have identified. The final chapter is a discussion of a recent attempt to apply counterpart theory to the comparativist view of quantitative properties. I argue that an attempt to rely on counterpart theory to overcome an objection is unsuccessful. (shrink)

Much of the debate about identity in recent decades has been about personal identity, and specifically about personal identity over time, but identity generally, and the identity of things of other kinds, have also attracted attention. Various interrelated problems have been at the centre of discussion, but it is fair to say that recent work has focussed particularly on the following areas: the notion of a criterion of identity; the correct analysis of identity over time, and, in particular, the disagreement (...) between advocates of perdurance and advocates of endurance as analyses of identity over time; the notion of identity across possible worlds and the question of its relevance to the correct analysis of de re modal discourse; the notion of contingent identity; the question of whether the identity relation is, or is similar to, the composition relation; and the notion of vague identity. A radical position, advocated by Peter Geach, is that these debates, as usually conducted, are void for lack of a subject matter: the notion of absolute identity they presuppose has no application; there is only relative identity. Another increasingly popular view is the one advocated by Lewis: although the debates make sense they cannot genuinely be debates about identity, since there are no philosophical problems about identity. Identity is an utterly unproblematic notion. What there are, are genuine problems which can be stated using the language of identity. But since these can be restated without the language of identity they are not problems about identity. (For example, it is a puzzle, an aspect of the so-called “problem of personal identity”, whether the same person can have different bodies at different times. But this is just the puzzle whether a person can have different bodies at different times. So since it can be stated without the language of personal “identity”, it is not a problem about identity, but about personhood.) This article provides an overview of the topics indicated above, some assessment of the debates and suggestions for further reading. (shrink)

Our aim in this paper is to bring to light two sources of tension for Christian theists who endorse the principle of unrestricted composition, that necessarily, for any objects, the xs, there exists an object, y, such that the xs compose y. In Value, we argue that a composite object made of wholly valuable parts is at least as valuable as its most valuable part, and so the mereological sum of God and a wholly valuable part would be at least (...) as valuable as God; but Christian theism arguably demands that no concrete object other than God can be as valuable as God. And in Creation, we argue that the conjunction of theism and unrestricted composition, together with the claim that every concrete entity that is numerically distinct from God is created by God, implies that God is created by God. We conclude by examining the prospects of restricting the thesis of unrestricted composition to the domain of material or spatiotemporal objects as a way to sidestep the above arguments against the conjunction of Christian theism and unrestricted composition. (shrink)

Friends of states of affairs and structural universals appeal to a relation, structure-making, that is allegedly a kind of composition relation: structure-making ?builds? facts out of particulars and universals, and ?builds? structural universals out of unstructured universals. D. M. Armstrong, an eminent champion of structures, endorses two interesting theses concerning composition. First, that structure-making is a composition relation. Second, that it is not the only (fundamental) composition relation: Armstrong also believes in a mode of composition that he calls mereological, and (...) which he takes to be the only kind of composition recognized by his philosophical adversaries, such as David Lewis. Armstrong, accordingly, is a kind of pluralist about compositional relations: there is more than one way to make wholes from parts. In this paper, I critically evaluate Armstrong's compositional pluralism. (shrink)

O desenvolvimento da filosofia acadêmica no Brasil é direcionada, entre vários fatores, pelas investigações dos diversos Grupos de Trabalho (GTs) da Associação Nacional de Pós-Graduação em Filosofia (ANPOF). Esses GTs se dividem de acordo com a temática investigada. O GT de Metafísica Analítica é relativamente novo e ainda tem poucos membros, mas os temas nele trabalhados são variados e todos centrais no debate metafísico contemporâneo internacional. A sua investigação se caracteriza pelo rigor lógico e conceitual com o qual aborda esses (...) tradicionais tópicos da metafísica. Embora os assuntos tratados tenham sido, em sua grande maioria, tópicos abordados e discutidos em reuniões remotas do GT, nem todos os membros do nosso grupo estão aqui representados. Esperamos apresentar seus trabalhos em futuros livros. Por enquanto, queremos apenas divulgar ao público acadêmico algumas de nossas produções, trabalhadas e produzidas exclusivamente para este livro. Segundo a caracterização tradicional, com a qual plenamente concordamos, a metafísica se ocupa com a natureza mais íntima e geral da realidade. Essa metafísica é, por um lado, ambiciosa: não pretende apenas expor a realidade segundo o modo como ela se apresenta para nós, mas como ela é ‘em si mesma’. Por outro lado, ela é modesta: ela sabe da sua dívida para com as outras disciplinas, especialmente lógica, linguagem e epistemologia. Além disso, ela se entende como sempre tentativa, provisória, aberta a críticas e revisões. Neste livro, tratamos temas como as categorias ontológicas fundamentais e as suas relações de dependência e de fundamentalidade, a natureza da composição mereológica, da persistência temporal e do próprio tempo, a natureza dos objetos abstratos e dos mundos possíveis, as naturezas do mundo quântico, da causalidade nômica do mundo físico, e, finalmente, de um dos objetos mais característicos da presença humana no nosso mundo físico, que é o objeto de arte. É claro que essa coletânea está longe de apresentar exaustivamente todos os tópicos da metafísica. Tentamos selecionar e organizar os textos da forma mais fluida possível, de modo que eles possam levar tanto a uma reflexão específica quanto a uma reflexão geral sobre a natureza da realidade. Ainda que tenha uma inerente incompletude, o livro serve à finalidade de levar o/a estudante de graduação e pós-graduação a refletir sobre temas contemporâneos da Metafísica Analítica. Justamente por ter esse objetivo de formentar a pesquisa em metafísica analítica nacional, optamos por traduzir muitos termos do inglês que ainda não tem uma tradução canônica, a fim de evitar anglicismos e contribuir para uma leitura mais natural. Muito mais do que leitores complacentes, esse livro pede por leitores críticos, debatedores corajosos, que estejam dispostos a contribuir e a propor novas teorias e argumentos. Agradecemos a todos os membros do GT de Metafísica Analítica da ANPOF e a todos os autores deste livro, que decidiram apresentar publicamente suas pesquisas à academia; aos membros do Grupo de Pesquisa Investigação Filosófica, que decidiram pela publicação deste livro; à Pró-Reitoria de PósGraduação e Pesquisa da Universidade Federal do Amapá, que o financiou; e ao NEPFIL Online e à Editora da UFPel, que o editaram e publicaram. [Guido Imaguire e Rodrigo Reis Lastra Cid, Organizadores] . (shrink)

This paper is a contribution to the emerging field of comparative metaethics, which aims to analyse the metaethical views of philosophical traditions outside the Western mainstream. It argues that the metaethical views implicit in the mediaeval Chinese school of Tiantai Buddhism can be reconstructed in contemporary terms in order to develop two novel views. These views are moral dialetheism and moral trivialism. The taxonomy of contemporary metaethical views, in epistemic terms, is exhausted by either partial success, or complete error, theories. (...) They claim, respectively, either that some moral judgments are true (and some false) or that all moral judgments are false. There are also noncognitivist and nonfactualist views, claiming that all moral judgments are technically neither true nor false. In opposition to this moral truth gap, moral dialetheism and moral trivialism offer a moral truth glut. These views say, respectively, that some moral judgments and their negations are true and that all moral judgments and their negations are true. The upshot of this metaethical reconstruction of Tiantai Buddhism is that it allows us to complete the contemporary metaethical taxonomy, and to contribute to the therapeutic goal of finding ways to utilize metaethical reflection for the sake of release from the pathologies of morality. (shrink)

Say that some things compose something, if the latter is a whole, fusion, or mereological sum of the former. Then the thesis that composition is identity holds that the composition relation is a kind of identity relation, a plural cousin of singular identity. On this thesis, any things that compose a whole are identical with the whole. This article argues that the thesis is incoherent. To do so, the article formulates the thesis in a plural language, a symbolic language that (...) includes counterparts of plural constructions of natural languages, and shows that it implies that nothing has a proper part. Then the article argues that the thesis, as its proponents take it, is incoherent because they take it to imply or presuppose that some things have proper parts. (shrink)

Revisionary theories of logic or truth require revisionary theories of mind. This essay outlines nonclassically based theories of rational belief, desire, and decision making, singling out the supervaluational family for special attention. To see these nonclassical theories of mind in action, this essay examines a debate between David Lewis and Derek Parfit over what matters in survival. Lewis argued that indeterminacy in personal identity allows caring about psychological connectedness and caring about personal identity to amount to the same thing. The (...) essay argues that Lewis's treatment of two of Parfit's puzzle cases—degreed survival and fission—presuppose different nonclassical treatments of belief and desire. (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.

Many of us think that ordinary objects – such as tables and chairs – exist. We also think that ordinary objects have parts: my chair has a seat and some legs as parts, for example. But once we are committed to the (seemingly innocuous) thesis that ordinary objects are composed of parts, we then open ourselves up to a whole host of philosophical problems, most of which center on what exactly the composition relation is. Composition as Identity (CI) is the (...) view that the composition relation is the identity relation. While such a view has some advantages, there are many arguments against it. In this essay, I will briefly canvass three different varieties of Composition as Identity, and suggest why one of them should be preferred over the others. Then I will outline several versions of the most common objection against CI. I will suggest how a CI theorist can respond to these charges by maintaining that some of the arguments are invalid. (In part 2, I show how a CI theorist can maintain that the remaining arguments, while valid, are unsound). (shrink)

Many of us think that ordinary objects – such as tables and chairs – exist. We also think that ordinary objects have parts: my chair has a seat and some legs as parts, for example. But once we are committed to the (seemingly innocuous) thesis that ordinary objects are composed of parts, we then open ourselves up to a whole host of philosophical problems, most of which center on what exactly this composition relation is. Composition as Identity (CI) is the (...) view that the composition relation is the identity relation. While such a view has some advantages, there are many arguments against it. In this essay, I discuss several versions of the most common objection against CI, and show how the CI theorist can maintain that these arguments – contrary their initial intuitive appeal – are nonetheless unsound. (shrink)

Many of us think that ordinary objects – such as tables and chairs – exist. We also think that ordinary objects have parts: my chair has a seat and some legs as parts, for example. But once we are committed to the thesis that ordinary objects are composed of parts, we then open ourselves up to a whole host of philosophical problems, most of which center on what exactly the composition relation is. Composition as Identity is the view that the (...) composition relation is the identity relation. While such a view has some advantages, there are many arguments against it. In this essay, I will briefly canvass three different varieties of Composition as Identity, and suggest why one of them should be preferred over the others. Then I will outline several versions of the most common objection against CI. I will suggest how a CI theorist can respond to these charges by maintaining that some of the arguments are invalid. (shrink)

It is often claimed that the social sciences cannot be reduced to a lower-level individualistic science. The standard argument for this position is the Fodorian multiple realizability argument. Its defenders endorse token–token identities between “higher-level” social objects and pluralities/sums of “lower-level” individuals, but they maintain that the properties expressed by social science predicates are often multiply realizable, entailing that type–type identities between social and individualistic properties are ruled out. In this paper I argue that the multiple realizability argument for explanatory (...) holism is unsound. The social sciences are indeed irreducible, but the principled reason for this is that the required token–token identifications cannot in general be carried through. In consequence, paradigmatic social science predicates cannot be taken to apply to the objects quantified over in the lower-level sciences. The result is that typical social science predicates cannot even be held to be co-extensive with individualistic predicates, which means type–type identifications are ruled out too. Multiple realizability has nothing to do with this failure of co-extensiveness, because the relevant social science predicates are not multiply realized in the sense intended by the explanatory holists, a sense which presupposes reductive token–token identifications. (shrink)

In this review essay, I examine the central tenets of sociologist Dave Elder-Vass’s recent contribution to social ontology, as put forth in his book The Causal Power of Social Structures: Emergence, Structure and Agency. Elder-Vass takes issue with ontological individualists and maintains that social structures exist and have causal powers in their own right. I argue that he fails to establish his main theses: he shows neither that social structures have causal powers “in their own right” (in any sense of (...) this expression) nor that they exist. (shrink)

In Elder-Vass’s response to my critical discussion of his social ontology, it is maintained (1) that a social object is not identical with but is merely composed of its suitably interrelated parts, (2) that a social object is necessarily indistinguishable in terms of its causal capacities from its interrelated parts, and (3) that ontological individualism lacks an adequate ontological justification. In this reply, I argue that in view of (1) the so-called redescription principle defended by Elder-Vass ought to be reformulated (...) and renamed; that the conjunction of (1) and (2) renders social objects causally redundant; and that ontological individualism can be coherently formulated and theoretically justified within Elder-Vass’s own metaphysics of objects with causal powers. (shrink)

How should ‘the physical’ be defined for the purpose of formulating physicalism? In this paper I defend a version of the via negativa according to which a property is physical just in case it is neither fundamentally mental nor possibly realized by a fundamentally mental property. The guiding idea is that physicalism requires functionalism, and thus that being a type identity theorist requires being a realizer-functionalist. In §1 I motivate my approach partly by arguing against Jessica Wilson's no fundamental mentality (...) constraint. In §2 I set out my preferred definition of ‘the physical’ and make my case that physicalism requires functionalism. In §3 I defend my proposal by attacking the leading alternative account of ‘the physical,’ the theory-based conception. Finally, in §4 I draw on my definition, together with Jaegwon Kim's account of intertheoretic reduction, to defend the controversial view that physicalism requires a priori physicalism. (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)

Thought: A Journal of Philosophy, EarlyView.

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)

There will be a few themes. One to get us going: expansion versus contraction. About an object, o, and the region, R, of space(time) in which o is exactly located,1 we may ask: i) must there exist expansions of o: objects in filled superregions2 of R? ii) must there exist contractions of o: objects in filled subregions of..

The core idea of David Armstrong’s combinatorial theory of possibility is attractive. Rearrangement is the key to modality; possible worlds result from scrambling bits and pieces of other possible worlds. Yet I encounter great difficulty when trying to formulate the theory rigorously, and my best attempts are vulnerable to counterexamples. The Leibnizian biconditionals relate possibility and necessity to possible world and true in.

Consider a circle and a pair of its semicircles. Which is prior, the whole or its parts? Are the semicircles dependent abstractions from their whole, or is the circle a derivative construction from its parts? Now in place of the circle consider the entire cosmos (the ultimate concrete whole), and in place of the pair of semicircles consider the myriad particles (the ultimate concrete parts). Which if either is ultimately prior, the one ultimate whole or its many ultimate parts?

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.