Do powers have parts? Mereological thinking is typically guided by two different metaphors: building versus carving. The building picture treats wholes as constructed from fundamental bits; the carving treats wholes as the result of carving some interconnected space. After considering some suggestions for how to view powers as built from other components, this chapter opts for the carving picture and suggests that a mereology of powers can be generated by carving the underlying space of an interconnected web of fundamental powers. (...) The space of powers is a network of manifestation/triggering connections that can be modelled graph-theoretically where the identity of a fundamental power is importantly tied up with its position in the overall structure. This chapter considers the idea that powers are completely identified by their position in the structure (as pandispositionalists have thought), which then places limits on the sorts of structures that powers theorists can help themselves to. This chapter also considers another novel suggestion on the identity of powers borrowed from non-well-founded set theory. It shows how to identify principles governing ‘carving’ the web into groups of closely connected powers, such that one group can naturally be called ‘part’ of another group, and explore the resulting mereology. (shrink)

This collection of essays is the first of its kind to focus on the relationship between composition and identity. Twelve original articles--written by internationally renowned scholars and rising stars in the field--argue for and against the controversial doctrine that composition is identity.--Provided by publisher.

I examine the link between extensionality principles of classical mereology and the anti‐symmetry of parthood. Varzi's most recent defence of extensionality depends crucially on assuming anti‐symmetry. I examine the notions of proper parthood, weak supplementation and non‐well‐foundedness. By rejecting anti‐symmetry, the anti‐extensionalist has a unified, independently grounded response to Varzi's arguments. I give a formal construction of a non‐extensional mereology in which anti‐symmetry fails. If the notion of ‘mereological equivalence’ is made explicit, this non‐anti‐symmetric mereology recaptures all of the structure (...) of classical mereology. (shrink)

Does a commitment to mereological universalism automatically bring along a commitment to the controversial doctrine of mereological extensionalism—the view that objects with the same proper parts are identical? A recent argument suggests the answer is ‘yes’. This paper attempts a systematic response to the argument, considering nearly every available line of reply. It argues that only one approach—the mutual parts view—can yield a viable mereology where universalism does not entail extensionalism.

This paper is a systematic exploration of non-wellfounded mereology. Motivations and applications suggested in the literature are considered. Some are exotic like Borges’ Aleph, and the Trinity; other examples are less so, like time traveling bricks, and even Geach’s Tibbles the Cat. The authors point out that the transitivity of non-wellfounded parthood is inconsistent with extensionality. A non-wellfounded mereology is developed with careful consideration paid to rival notions of supplementation and fusion. Two equivalent axiomatizations are given, and are compared to (...) classical mereology. We provide a class of models with respect to which the non-wellfounded mereology is sound and complete. (shrink)

The dominant theory of parts and wholes – classical extensional mereology – has faced a number of challenges in the recent literature. This article gives a sampling of some of the alleged counterexamples to some of the more controversial principles involving the connections between parthood and identity. Along the way, some of the main revisionary approaches are reviewed. First, counterexamples to extensionality are reviewed. The ‘supplementation’ axioms that generate extensionality are examined more carefully, and a suggested revision is considered. Second, (...) the paper considers an alternative approach that focuses the blame on antisymmetry but allows us to keep natural supplementation axioms. Third, we look at counterexamples to the idempotency of composition and the associated ‘parts just once’ principle. We explore options for developing weaker mereologies that avoid such commitments. (shrink)

Mereological nihilists are faced with a difficult challenge: explaining ordinary talk about material objects. Popular paraphrase strategies involve plurals, arrangements of particles, or fictions. In this paper, a new paraphrase strategy is put forward that has distinct advantages over its rivals: it is compatible with gunk and emergent properties of macro-objects. The only assumption is a commitment to a liberal view of the nature of simples; the nihilist must be willing to accept the possibility of heterogeneous extended simples. The author (...) suggests reinterpreting the parthood and composition relations as modal. According to this paraphrase, composition is a kind of counterpart relation. The author shows that one can accept that mereological nihilism is metaphysically necessary, while endorsing all the claims of classical mereology. As a result, the nihilists are in exactly the same position as the classical mereologist when it comes to explaining talk about ordinary objects, but without the additional ontology. (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)

Christine Tappolet posed a problem for alethic pluralism: either deny the truth of conjunctions whose conjuncts are from distinct domains of inquiry, or posit a generic global truth property thus making other truth properties redundant. Douglas Edwards has attempted to solve the problem by avoiding the horns of Tappolet's dilemma. After first noting an unappreciated consequence of Edwards's view regarding a proliferation of truth properties, I show that Edwards's proposal fails to avoid Tappolet's original dilemma. His response is not successful, (...) as it lets in a generic truth property through the ‘back door’. I conclude by briefly offering a new solution to the problem, and an alternative diagnosis of Tappolet's dilemma.1. Tappolet's dilemmaThe alethic pluralist ; Sher ; Wright ) contends that propositions from different domains can be true in different ways. Mixed conjunctions have conjuncts from different domains; consider for example, ‘1+1=2 and murder is wrong’. A pressing question for the pluralist: if each conjunct is true in a distinct way, in what way is the conjunction true? Tappolet argues, " [M]ixed conjunctions need to be true in a further way. … But then each conjunct has to be true in the same way. This is what follows from the truism that a conjunction is true if and only if its conjuncts are true. Hence the question arises again why this further way of being true is not the only one we need. " Edwards puts Tappolet's contention as a dilemma: either admit a generic truth property that can apply to all propositions, regardless of domain or deny that mixed conjunctions can be true. It is prima facie plausible that mixed conjunctions can be true. Moreover, admitting a generic truth property would seemingly undermine alethic pluralism by making other truth properties redundant.2. Edwards's solutionEdwards's solution attempts …. (shrink)

Mereological principles are often controversial; perhaps the most stark contrast is between those who claim that Weak Supplementation is analytic—constitutive of our notion of proper parthood—and those who argue that the principle is simply false, and subject to many counterexamples. The aim of this paper is to diagnose the source of this dispute. I’ll suggest that the dispute has arisen by participants failing to be sensitive to two different conceptions of proper parthood: the outstripping conception and the non-identity conception. I’ll (...) argue that the outstripping conception, can deliver the analyticity of Weak Supplementation on at least one sense of ‘analyticity’. I’ll also suggest that the non-identity conception cannot do so independently of considerations to do with mereological extensionality. (shrink)

Ontological pluralism holds that there are different ways of being. Truth pluralism holds that there are different ways of being true. Both views have received growing attention in recent literature, but so far there has been very little discussion of the connections between the views. The authors suggest that motivations typically given for truth pluralism have analogue motivations for ontological pluralism; they argue that while neither view entails the other, those who hold one view and wish to hold the other (...) will find natural routes by which to do so. The authors additionally identify some disanalogies between the views, by considering whether certain “mixed” problems commonly pressed against truth pluralism have analogues for ontological pluralism. (shrink)

We present a new axiomatization of classical mereology in which the three components of the theory—ordering, composition, and decomposition prin-ciples—are neatly separated. The equivalence of our axiom system with other, more familiar systems is established by purely deductive methods, along with additional results on the relative strengths of the composition and decomposition axioms of each theory.

Perichoresis, or “mutual indwelling,” is a crucial concept in Trinitarian theology. But the philosophical underpinnings of the concept are puzzling. According to ordinary conceptions of “indwelling” or “being in,” it is incoherent to think that two entities could be in each other. In this paper, I propose a mereological way of understanding “being in,” by analogy with standard examples in contemporary metaphysics. I argue that this proposal does not conflict with the doctrine of divine simplicity, but instead affirms it. I (...) conclude by discussing how mutual indwelling relates to the concepts of unity and identity. (shrink)

In the last several years, paraconsistent mereology has begun to be developed and applied to a range of philosophical issues, from puzzles about boundaries, to the Meinongian ‘problem of nothingness’, to the metaphysics of unity. Because these formal systems are fresh out of the package, as it were, there will inevitably be some wrinkles that need ironing out. In this note, I’ll point out a problem with the system in Priest (2014a, 2014b), and suggest a natural fix.

I reply to Hawthorne and Uzquiano’s arguments for the incompatibility between mereological universalism and plenitudinous co-location. I argue that a mereology in which antisymmetry for parthood fails is independently motivated, and allows for both universalism and plenitudinous co-location. There can be as many angels in a place as there are cardinalities.

In a series of papers, 137–158; 1994, Midwest Studies in Philosophy, 23, 61–74, 1999) Fine develops his hylomorphic theory of embodiments. In this article, we supply a formal semantics for this theory that is adequate to the principles laid down for it in. In Section 1, we lay out the theory of embodiments as Fine presents it. In Section 2, we argue on Cantorian grounds that the theory needs to be stabilized, and sketch some ways forward, discussing various choice points (...) in modeling the view. In Section 3, we develop a formal semantics for the theory of embodiments by constructing embodiments in stages and restricting the domain of the second-order quantifiers. In Section 4 we give a few illustrative examples to show how the models deliver Finean hylomorphic consequences. In Section 5, we prove that Fine’s principles are sound with respect to this semantics. In Section 6 we present some inexpressibility results concerning Fine’s various notions of parthood and show that in our formal semantics these notions are all expressible using a single mereological primitive. In Section 7, we prove several mereological results stemming from the model theory, showing that the mereology is surprisingly robust. In Section 8, we draw some philosophical lessons from the formal semantics, and in particular respond to Koslicki’s main objection to Fine’s theory. In the appendix we present proofs of the inexpressibility results of Section 6. (shrink)

Jenkins (2007) charges that the language advanced in Beall (2007) is either expressively impoverished, or inconsistent. We argue that Jenkins’ objections are based on unreasonably strong constraints on formal theories of truth. Our primary concern is not to defend the ‘paranormal’ framework advanced in Beall, but to respond to a common – and implausible – ‘revenge’-style charge directed at a certain class of formal theories of truth and paradox.

This paper provides a critical examination of three related attempts to defend Composition as Identity (CI), namely the thesis that if some things compose something, then they are it. First, it will be argued against Donald Baxter’s view of composition as ‘loose identity’ that by construing composition as strictly a many-many relation, the view trivializes CI, and cannot be an option for the advocate of CI who takes composition as a genuine many-one relation. Second, it is argued against Baxter’s modified (...) view of composition as ‘cross-count identity’ that the ‘are’ in ‘they are it’ cannot be viewed as expressing cross-count identity. Lastly, it is argued against Aaron Cotnoir’s view of composition as ‘general identity’ that it amounts to resorting back to Baxter’s old view of composition as a many-many relation. (shrink)

Alethic pluralism holds that there are many ways of being true. Such a view has been challenged to make sense of the standard account of logical validity as necessary truth preservation. In this paper, the recent solution elaborated by Aaron Cotnoir, based on an algebraic approach, is shown to be untenable. Some reflections about the relation of many-valued logics with truth pluralism are also discussed.

This is a short response to Aaron Cotnoir's 'Composition as General Identity', in which I suggest some further applications of his ideas, and try to press the question of why we should think of his 'general identity relation' as a genuine identity relation.

Aaron Cotnoir does all sorts of interesting things in his contribution to this volume. He makes a helpful distinction between syntactic and semantic objections to the thesis that composition is identity, and outlines some empirical points relevant to the syntactic issue. But the centrepiece is his development of a formal framework for addressing the semantic objections.

Aaron Zimmerman presents a new pragmatist account of belief, in terms of information poised to guide our more attentive, controlled actions. And he explores the consequences of this account for our understanding of the relation between psychology and philosophy, the mind and brain, the nature of delusion, faith, pretence, racism, and more.

The fact that philosophy is systematic—that philosophical issues are thoroughly interconnected—was a commonplace among nineteenth century idealists, then neglected by analytic philosophers throughout much of the twentieth century, and has now finally started to get some renewed attention. But other than calling attention to the fact, few philosophers have tried to say what it consists in, or what its implications are. -/- I argue that the systematicity of philosophy has disastrous epistemological implications. In particular, it implies philosophical skepticism: philosophers are (...) rationally prohibited from believing any philosophical thesis. The argument goes by way of a new principle that connects inquiry with what is rational to believe. I conclude with a discussion of the relationship between my argument and other, more well-trodden arguments for philosophical skepticism. (shrink)

This paper extends three decades of work arguing that researchers who discuss consciousness should not restrict themselves only to (adult) human minds, but should study (and attempt to model) many kinds of minds, natural and artificial, thereby contributing to our understanding of the space containing all of them. We need to study what they do or can do, how they can do it, and how the natural ones can be emulated in synthetic minds. That requires: (a) understanding sets of requirements (...) that are met by different sorts of minds, i.e. the niches that they occupy, (b) understanding the space of possible designs, and (c) understanding complex and varied relationships between requirements and designs. Attempts to model or explain any particular phenomenon, such as vision, emotion, learning, language use, or consciousness lead to muddle and confusion unless they are placed in that broader context. A methodology for making progress is summarised and a novel requirement proposed for a theory of how human minds work: the theory should support a single generic design for a learning, developing system that, in addition to meeting familiar requirements, should be capable of developing different and opposed philosophical viewpoints about consciousness, and the so-called hard problem. In other words, we need a common explanation for the mental machinations of mysterians, materialists, functionalists, identity theorists, and those who regard all such theories as attempting to answer incoherent questions. No designs proposed so far come close. (shrink)

In their target article, McKay & Dennett (M&D) conclude that only “positive illusions” are adaptive misbeliefs. Relying on overly strict conceptual schisms (deficit vs. motivational, functional vs. organic, perception vs. belief), they prematurely discount delusions asbiologicallyadaptive. In contrast to their view that “motivation” plays a psychological but not a biological function in a two-factor model of the forming and maintenance of delusions, we propose asingleimpairment in prediction-error–driven (i.e., motivational) learning in three stages in which delusions play a biologically adaptive role.

From the bestselling author of Assholes: A Theory, a book that--in the tradition of Shopclass as Soulcraft, Barbarian Days and Zen and the Art of Motorcycle Maintenance--uses the experience and the ethos of surfing to explore key concepts in philosophy. The existentialist philosopher Jean-Paul Sartre once declared "the ideal limit of aquatic sports...is waterskiing." The avid surfer and lavishly credentialed academic philosopher Aaron James vigorously disagrees, and in Surfing with Sartre he intends to expound the thinking surfer's view of (...) the matter, in the process elucidating such philosophical categories as freedom, being, phenomenology, morality, epistemology, and even the emerging values of what he terms "leisure capitalism." In developing his unique surfer-philosophical worldview, he draws from his own experience of surfing and from surf culture and lingo, and includes many relevant details from the lives of the philosophers, from Aristotle to Wittgenstein, with whose thought he engages. In the process, he'll speak to readers in search of personal and social meaning in our current anxious moment, by way of doing real, authentic philosophy. (shrink)

Haskell Curry’s philosophy of mathematics is really a form of “structuralism” rather than “formalism” despite Curry’s own description of it as formalist (Seldin 2011). This paper explains Curry’s actual view by a formal analysis of a simple example. This analysis is extended to solve Keränen’s (2001) identity problem for structuralism, confirming Leitgeb’s (2020a, b) solution, and further clarifies structural ontology. Curry’s methods answer philosophical questions by employing a standard mathematical method, which is a virtue of the “methodological autonomy” emphasized by (...) Curry (1951, 1963) and more recently with greater clarity by Maddy (1997, 2007). (shrink)

Biological science uses multiple species concepts. Order can be brought to this diversity if we recognize two key features. First, any given species concept is likely to have a patchwork structure, generated by repeated application of the concept to new domains. We illustrate this by showing how two species concepts (biological and ecological) have been modified from their initial eukaryotic applications to apply to prokaryotes. Second, both within and between patches, distinct species concepts may interact and hybridize. We thus defend (...) a semantic picture of the species concept as a collection of interacting patchwork structures. Thus, although not all uses of the term pick out the same kind of unit in nature, the diversity of uses reflects something more than mere polysemy. We suggest that the emphasis on the use of species to pick out natural units is itself problematic, because that is not the term’s sole function. In particular, species concepts are used to manage inquiry into processes of speciation, even when these processes do not produce clearly delimited species. (shrink)

The divine attributes of omniscience and omnipotence have faced objections to their very consistency. Such objections rely on reasoning parallel to semantic paradoxes such as the Liar or to set-theoretic paradoxes like Russell's paradox. With the advent of paraconsistent logics, dialetheism—the view that some contradictions are true—became a major player in the search for a solution to such paradoxes. This paper explores whether dialetheism, armed with the tools of paraconsistent logics, has the resources to respond to the objections levelled against (...) the divine attributes. (shrink)

Analytic Philosophy: An Interpretive History explores the ways interpretation shaped the analytic tradition, from Frege to Dummet. It offers readers 17 chapters, written especially for this volume by an international cast of leading scholars. Some chapters are devoted to large, thematic issues like the relationship between analytic philosophy and other philosophical traditions such as British Idealism and phenomenology, while other chapters are tied to more fine-grained topics or to individual philosophers, like Moore and Russell on philosophical method or the history (...) of interpretations of Wittgenstein’s _Tractatus_. Throughout, the focus is on interpretations that are crucial to the origin, development, and persistence of the analytic tradition. The result is a more fully formed and philosophically satisfying portrait of analytic philosophy. (shrink)

Is a whole something more than the sum of its parts? Are there things composed of the same parts? If you divide an object into parts, and divide those parts into smaller parts, will this process ever come to an end? Can something lose parts or gain new ones without ceasing to be the thing it is? Does any multitude of things (including disparate things such as you, this book, and the tail of a cat) compose a whole of some (...) sort? Questions such as these have occupied us for at least as long as philosophy has existed. They define the field that has come to be known as mereology-the study of all relations of part to whole and of part to part within a whole-and have deep and far-reaching ramifications in metaphysics as well as in logic, the foundations of mathematics, the philosophy of language, the philosophy of science, and beyond. In Mereology, A. J. Cotnoir and Achille C. Varzi have compiled decades of advanced research into a comprehensive, up-to-date, and formally rigorous picture. The early chapters cover the more classical aspects of mereology; the rest of the book deals with variants and extensions. Whether you are an established professional philosopher, an interested student, or a newcomer, inside you will find all the tools you need to join this ever-evolving field of inquiry and theorize about all things mereological. (shrink)

The trouble with theory and practice -- Preparing a place for a Peircean ethics -- Intelligent habits -- The metaphysics of habits -- Thinking of habits -- Self-controlled habits.

Those who accept the necessity of mereological universalism face what has come to be known as the ‘junk argument’ due to Bohn [2009], which proceeds from the incompatibility of junk with universalism and the possibility of junk, to conclude that mereological universalism isn't metaphysically necessary. Most attention has focused on ; however, recent authors have cast doubt on . This paper undertakes a defence of premise against three main objections. The first is a new objection to the effect that Bohn's (...) defence of that premise presupposes far too much. I show that one can defend premise from a much weaker set of assumptions. The second objection, due to Contessa [2012], is that those who accept unrestricted composition should only accept the existence of binary sums rather than infinitary fusions. I argue that this conception of unrestricted composition is problematic: it is in conflict with an intuitive remainder principle. The final objection is .. (shrink)

The American conservative movement is a force of anti-reflexivity insofar as it attacks two key elements of reflexive modernization: the environmental movement and environmental impact science. Learning from its mistakes in overtly attacking environmental regulations in the early 1980s, this counter-movement has subsequently exercised a more subtle form of power characterized by non-decision-making. We examine the conservative movement’s efforts to undermine climate science and policy in the USA over the last two decades by using this second dimension of power. The (...) conservative movement has employed four non-decision-making techniques to challenge the legitimacy of climate science and prevent progress in policy-making. We argue that reflexive modernization scholars should focus more attention on similar forces of anti-reflexivity that continue to shape the overall direction of our social, political and economic order, and the life chances of many citizens. Indeed, better understanding of the forces and effectiveness of anti-reflexivity may very well be crucial for societal resilience and adaptation, especially in the face of global environmental problems like climate change. (shrink)

In Sounds, Ecologies, Musics, authors pose exciting challenges and provide fresh opportunities for scholars, scientists, environmental activists, and musicians to consider music and sound from ecological standpoints. The book covers topics such as how environment enables music and sound, how music and sound relate to Western environmental science, and mutidisciplinary collaborations among scholars.

This chapter focuses on the ethical theories of the early modern philosophers Thomas Hobbes, Justus Lipsius, Descartes, Spinoza, Benjamin Whichcote, Lord Shaftesbury, and Samuel Clarke. The discussions include aspects of Hobbes' moral philosophy that posed a challenge for many philosophers of the second half of the seventeenth century who were committed to philosophy as a form of self-help; Lipsius and Descartes' appropriation of ancient and Hellenistic moral philosophy in connection with changing ideas about control of the passions and the happiest (...) and best life; and the maxim or epigram – a literary form used by moralists to counsel readers on how to best know and govern themselves. (shrink)

Political constructivism is associated with John Rawls more than any other contemporary philosopher. This chapter suggests that Rawls's political constructivism is better understood as a general method of justification which runs throughout his work as a whole, including his early work and A Theory of Justice. The chapter develops the general characterization of Rawls's political constructivism. Its main elements are taken in turn and developed with special attention to the two places where Rawls discusses the topic in depth – his (...) Dewey Lectures on Kantian Constructivism in Moral Theory and its substantially revised version called “Political Constructivism” (PL, Lecture III). The main elements include social role, sources, interpretive basis, representation and conclusion. Rawls endorsed a Kantian metaethical constructivism in part because it offered a way of more deeply characterizing how his previous political constructivism could be a live and distinct possibility. (shrink)

We identify a species of experiment—Kon-Tiki experiments—used to demonstrate the competence of a cause to produce a certain effect, and we examine their role in the historical sciences. We argue that Kon-Tiki experiments are used to test middle-range theory, to test assumptions within historical narratives, and to open new avenues of inquiry. We show how the results of Kon-Tiki experiments are involved in projective inferences, and we argue that reliance on projective inferences does not provide historical scientists with any special (...) protection against the problem of unconceived alternatives. (shrink)