What are the conditions under which one biological object is a part of another biological object? This paper answers this question by developing a general, systematic account of biological parthood. I specify two criteria for biological parthood. Substantial Spatial Inclusionrequires biological parts to be spatially located inside or in the region that the natural boundary of t he biological whole occupies. Compositional Relevance captures the fact that a biological part engages in a biological process that must make a necessary contribution (...) to a condition that is minimally sufficient to one or more of the characteristic behaviors of the biological whole. Instead of emphasizing the diversity of part-whole relations in the biological world, this paper asks what biological part-whole relations have in common and what constrains their existence, in general. After presenting the two criteria for biological parthood I discuss in how far my account can cope with hard cases (e.g., redundant parts) and I reveal the merits and limits of monism. (shrink)

A scientific explanatory project, part-whole explanation, and a kind of science, part-whole science are premised on identifying, investigating, and using parts and wholes. In the biological sciences, mechanistic, structuralist, and historical explanations are part-whole explanations. Each expresses different norms, explananda, and aims. Each is associated with a distinct partitioning frame for abstracting kinds of parts. These three explanatory projects can be complemented in order to provide an integrative vision of the whole system, as is shown for a detailed case study: (...) the tetrapod limb. My diagnosis of part-whole explanation in the biological sciences as well as in other domains exploring evolved, complex, and integrated systems (e.g., psychology and cognitive science) cross-cuts standard philosophical categories of explanation: causal explanation and explanation as unification. Part-whole explanation is itself one essential aspect of part-whole science. (shrink)

We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory (...) subsuming mereology. Some more speculative strategies and directions for further research are also considered. (shrink)

A clever argument purports to show that we can directly perceive the emotions of others: (1) some emotional expressions are parts of the emotions they express; (2) perceiving a part of something is sufficient for perceiving the whole; (3) therefore, perceiving some emotional expressions is sufficient for perceiving the emotions they express. My aim in this paper is to assess the extent to which contemporary psychological theories of emotion support the first premise of this argument.

A well-known ``overdetermination''argument aims to show that the possibility of mental causes of physical events in a causally closed physical world and the possibility of causally relevant mental properties are both problematic. In the first part of this paper, I extend an identity reply that has been given to the first problem to a property-instance account of causal relata. In the second, I argue that mental types are composed of physical types and, as a consequence, both mental and physical types (...) may be causally relevant with respect to the same physical effect, contrary to the overdetermination argument. In further sections, I argue that mental types have causal powers, consider some objections and reject an alternative version of part-whole physicalism. Throughout I assume that causal relata are tropes and property types are classes of tropes. (shrink)

Many biologists and philosophers have worried that importing models of reasoning from the physical sciences obscures our understanding of reasoning in the life sciences. In this paper we discuss one example that partially validates this concern: part-whole reductive explanations. Biology and physics tend to incorporate different models of temporality in part-whole reductive explanations. This results from differential emphases on compositional and causal facets of reductive explanations, which have not been distinguished reliably in prior philosophical analyses. Keeping these two facets distinct (...) facilitates the identifi cation of two further aspects of reductive explanation: intrinsicality and fundamentality. Our account provides resources for discriminating between different types of reductive explanation and suggests a new approach to comprehending similarities and differences in the explanatory reasoning found in biology and physics. (shrink)

In the visual representation of ontologies, in particular of part-whole relationships, it is customary to use graph theory as the representational background. We claim here that the standard graph-based approach has a number of limitations, and we propose instead a new representation of part-whole structures for ontologies, and describe the results of experiments designed to show the effectiveness of this new proposal especially as concerns reduction of visual complexity. The proposal is developed to serve visualization of ontologies conformant to the (...) Basic Formal Ontology. But it can be used also for more general applications, particularly in the biomedical domain. (shrink)

The subset realization view proposes to solve the causal exclusion problem of non‐reductive mental instances by taking the mental instance as a part of its physical realizer. Many philosophers have argued that such a part‐whole relation will undermine physicalist realization because parts are ontologically prior to their wholes and the subset view is thus flawed. I argue that the relation that the subset view should propose is different from the ordinary part‐whole relation. What they should propose is another kind of (...) part‐whole relation under which parts are posterior to wholes. So, the subset view is not flawed in the aforementioned aspect. But discussion of the new part‐whole relation reveals that the subset view is in lack of a crucial argument against the exclusion reasoning, thus cannot solve the exclusion problem. Adopting the principle of causal proportionality (a route subset realizationists sometimes take) will not help the subset view either. So, my conclusion is, the subset view is yet to find a way to solve the exclusion problem. (shrink)

Priority monism is the view that the cosmos is the only independent concrete object. The paper argues that, pace its proponents, Priority monism is in conflict with the dependence of any whole on any of its parts: if the cosmos does not depend on its parts, neither does any smaller composite.

Themed Section of Bruniana & Campanelliana 2022/1, pp. 85-198 -/- - Simone Guidi, Introduction; - Andrew W. Arlig, Part-Whole Interdependence and the Presence of Form in Matter According to Some Fifteenth-Century Platonists; - Jean-Pascal Anfray, Aux limites de la métaphysique: parties, indivisibles et contact chez Suárez; - Simone Guidi, Indivisibles, Parts, and Wholes in Rubio’s Treatise on the Composition of Continuum (1605); - Dana Jalobeanu, Dissecting Nature ad vivum: Parts and Wholes in Francis Bacon’s Natural Philosophy; - Carla Rita Palmerino, (...) From Active Matter to Inertia, from Celerity to Slowness: the Motion of Atoms and of Compound Bodies in Gassendi’s Physics. (shrink)

Representing parthood relations in ORM has received little attention, despite its added-value of the semantics at the conceptual level. We introduce a high-level taxonomy of types of meronymic and mereological relations, use it to construct a decision procedure to determine which type of part- whole role is applicable, and incrementally add mandatory and uniqueness constraints. This enables the conceptual modeller to develop models that are closer to the real-world subject domain semantics, hence improve quality of the software.

This chapter reconstructs the account of the organization of unified definite manifolds that Husserl developed in his early logic of parts and wholes. I argue that Husserl’s conception of necessity gets fixed through the logic of fitness that is operative in his account of unified definite manifolds that are organized by symmetrical part/whole relations. Husserl’s logical account of necessity finds its ultimate justification in his theory of intentionality and is operative in his phenomenological methodology generally. Through this conception of necessity (...) of the way in which manifolds are unified and organized, Husserl radicalized and exploded the Kantian conception of the material a priori and distinguished among several kinds of a priori, e.g., the correlational a priori, a priori bound to the empirical, and pure material a priori. Husserl’s phenomenological account of the material a priori further clarifies the important differences with Kant’s approach to the problem of necessity. (shrink)

A taxonomy of part‐whole or meronymic relations is developed to explain the ordinary English‐speaker's use of the term “part of” and its cognates. The resulting classification yields six types of meronymic relations: 1. component‐integral object (pedal‐bike), 2. member‐collection (ship‐fleet), 3. portion‐mass (slice‐pie), 4. stuff‐object (steel‐car), 5. feature‐activity (paying‐shopping), and 6. place‐area (Everglades‐Florida). Meronymic relations ore further distinguished from other inclusion relations, such as spatial inclusion, and class inclusion, and from several other semantic relations: attribution, attachment, and ownership. This taxonomy is (...) then used to explain cases of apparent intransitivity in merological syllogisms, and standard form syllogisms whose premises express different inclusion relations. The data suggest that intransitivities arise due to equivocations between different types of semantic relations. These results are then explained by means of the relation element theory which accounts for the character and behavior of semantic relations in terms of more primitive relational elements. The inferential phenomena observed are then explained by means of a single principle of element matching. (shrink)

Gordon P. Barnes has recently argued that presence by power is inadequate as an explanation of the way elements are present in complex bodies, and that it would be better to explain the elements’ presence by claiming that simpler substances—carbon atoms, for example—are actually and substantially present in living things. In order to address his arguments, this paper begins by briefly presenting St. Thomas’s understanding of presence by power, and then argues that Barnes’s proposal—that there is a multiplicity of substantial (...) forms in one matter—is unsatisfactory. First, the paper explains why the scientific facts do not require a plurality of substantial forms. Second, it shows how Barnes’s theory does not adequately explain living things. Third, it argues against Barnes’s claim that St. Thomas’s explanation is insufficient because it denies "the universal causality of nature.". (shrink)

Recent work has defended “Euclidean” theories of set size, in which Cantor’s Principle (two sets have equally many elements if and only if there is a one-to-one correspondence between them) is abandoned in favor of the Part-Whole Principle (if A is a proper subset of B then A is smaller than B). It has also been suggested that Gödel’s argument for the unique correctness of Cantor’s Principle is inadequate. Here we see from simple examples, not that Euclidean theories of set (...) size are wrong, but that they must be either very weak and narrow or largely arbitrary and misleading. (shrink)

Mereonominalism, holonominalism, and part-whole realism represent competing views on the metaphysics of parts and wholes. Mereonominalism claims that what parts exist is a function of the concepts we use in describing composite wholes. Holonominalism claims that what composite wholes exist is a function of the concepts we use in describing things that can qualify as parts. Part-whole realism claims that parts and wholes exist independent of our concepts. I argue that all three views face problems, but that the problem facing (...) part-whole realism can be solved by adopting a version of hylomorphism that takes its cue from Aristotle’s account of form. (shrink)

We address the question whether there is an explanation for the fact that as Fodor put it the micro-level “converges on stable macro-level properties”, and whether there are lessons from this explanation for other issues in the vicinity. We argue that stability in large systems can be understood in terms of statistical limit theorems. In the thermodynamic limit of infinite system size N → ∞ systems will have strictly stable macroscopic properties in the sense that transitions between different macroscopic phases (...) of matter (if there are any) will not occur in finite time. Indeed stability in this sense is a consequence of the absence of fluctuations, as (large) fluctuations would be required to induce such macroscopic transformations. These properties can be understood in terms of coarse-grained descriptions, and the statistical limit theorems for independent or weakly dependent random variable describing the behaviour averages and the statistics of fluctuations in the large system limit. We argue that RNG analyses applied to off-critical systems can provide a rationalization for the applicability of these limit theorems. Furthermore we discuss some related issues as, for example, the role of the infinite-system idealization. (shrink)

A taxonomy of part‐whole or meronymic relations is developed to explain the ordinary English‐speaker's use of the term “part of” and its cognates. The resulting classification yields six types of meronymic relations: 1. component‐integral object (pedal‐bike), 2. member‐collection (ship‐fleet), 3. portion‐mass (slice‐pie), 4. stuff‐object (steel‐car), 5. feature‐activity (paying‐shopping), and 6. place‐area (Everglades‐Florida). Meronymic relations ore further distinguished from other inclusion relations, such as spatial inclusion, and class inclusion, and from several other semantic relations: attribution, attachment, and ownership. This taxonomy is (...) then used to explain cases of apparent intransitivity in merological syllogisms, and standard form syllogisms whose premises express different inclusion relations. The data suggest that intransitivities arise due to equivocations between different types of semantic relations. These results are then explained by means of the relation element theory which accounts for the character and behavior of semantic relations in terms of more primitive relational elements. The inferential phenomena observed are then explained by means of a single principle of element matching. (shrink)

One of the most exciting things about science is the access that it provides to phenomena remote from everyday experience. Through science we delve into the distant past, explore other cultures, peer across vast reaches of space, and assay the microscopic structure of the world. As our understanding extends in all these directions, philosophers and scientists often ask how the resulting branches of knowledge are related.

This special focus of the Journal of Religious Ethics begins with the mixture of admiration and apprehension that John Milbank's use of historical materials so often inspires and moves to specific reflection on specific figures and texts that appear in his grand story of secular modernity. Throughout, the focus is not on his moral theology per se, but rather on the way he treats certain figures, how he constructs his historical tale, and how his critical enterprise and his normative proposals (...) depend upon his historical efforts. This introduction considers the difficulties of constructing and assessing a Geistesgeschichte, the genre of historical writing that Milbank prefers. (shrink)

This special focus of the "Journal of Religious Ethics" begins with the mixture of admiration and apprehension that John Milbank's use of historical materials so often inspires and moves to specific reflection on specific figures and texts that appear in his grand story of secular modernity. Throughout, the focus is not on his moral theology per se, but rather on the way he treats certain figures, how he constructs his historical tale, and how his critical enterprise and his normative proposals (...) depend upon his historical efforts. This introduction considers the difficulties of constructing and assessing a Geistesgeschichte, the genre of historical writing that Milbank prefers. (shrink)

Ward examines Scotus's arguments for his distinctive version of hylomorphism, the view that at least some material objects are composites of matter and form. It considers Scotus's reasons for adopting hylomorphism, and his accounts of how matter and form compose a substance, how extended parts, such as the organs of an organism, compose a substance, and how other sorts of things, such as the four chemical elements and all the things in the world, fail to compose a substance. It highlights (...) the extent to which Scotus draws on his metaphysics of essential order to explain why some things can compose substance and why others cannot. Throughout the book, contemporary versions of hylomorphism are discussed in ways that both illumine Scotus's own views and suggest ways to advance contemporary debates. (shrink)

A critical survey of the fundamental philosophical issues in the logic and formal ontology of space, with special emphasis on the interplay between mereology (the theory of parthood relations), topology (broadly understood as a theory of qualitative spatial relations such as continuity and contiguity), and the theory of spatial location proper.

This my 3am interview with Richard Marshall about my work and its inspirations. It focuses on my research on parst and wholes, tropes, and abstract objects.

A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential and mandatory parts. To solve this problem, we formally characterize the semantics of these shareability notions by resorting to the temporal conceptual model E RVT and its formalization in the description logic DLRUS.

Book synopsis: Donald Davidson is among the most influential philosophers of the 20th century. This volume includes some 30 essays which variously criticize, comment on and develop Davidson's philosophy as represented in his collected papers "Essays on Actions and Events", in addition to three further essays by Davidson himself. The essays divide into three sections, each opening with an editorial introduction and corresponding to the three major sections of "Actions and Events". The first section discusses the nature of rational explanation, (...) the relationships between reasons and actions, intentions and actions, will and irrationality, and the concepts of agency, freedom and weakness of the will. This section also contains an essay in which Davidson presents his views on self-deception. The second section considers the nature of events, causal relationships, and the logical form of action and singular causal statements. Finally, the volume looks at the relationship between the mental and the physical, the scientific status of psychological and psychophysical laws, and the relationship between laws and causal and rational explanations. (shrink)

One of the unresolved issues in Aristotle’s hylomorphism is the part-whole puzzle. Some scholars suppose that in Metaphysics Z 17, 1041b11-33 he endorses non-mereological hylomorphism. This kind of interpretation, however, has been challenged by K. Koslicki who argues that if the evidence in Metaphysics Z 17 is combined with some related textual and conceptual considerations, then a convincing case can be made for a mereological construal of Aristotelian hylomorphism. This paper does four things. First, it scrutinizes these opposing approaches to (...) Aristotle’s theory. Second, it suggests that to adjudicate the dispute at hand one ought to determine how Aristotle deals with what has come to be known as ‘Ackrill’s problem’. It is proposed that if we consider Aristotle’s theory in light of some distinctions drawn in contemporary discussions of hylomorphism, then it transpires that he does have a solution to Ackrill’s problem. Third, it is shown that his solution to this problem suggests a particular way of settling the debate over the part-whole puzzle. And finally, it is argued that the suggested reconstruction of Aristotelian hylomorphism is consistent with the textual evidence in Metaphysics Z 17 and its associated texts. (shrink)

I use Carl Gillett’s much heralded dimensioned theory of realization as a platform to develop a plausible part–whole theory. I begin with some basic desiderata for a theory of realization that its key terms should be defined and that it should be explanatory. I then argue that Gillett’s original theory violates these conditions because its explanatory force rests upon an unspecified “in virtue of” relation. I then examine Gillett’s later version that appeals instead to theoretical terms tied to “mechanisms.” Yet (...) I argue that it too violates the desiderata, since it defines realization for mechanisms in terms of two undefined ideas whose explanatory credentials have not been established—“implementation” and “grounds.” Thus I drop those ideas in favor of an explicit constraint that the parts and properties provide a mechanistic explanation. I also distinguish a special mechanistic theory from a preferred general theory that incorporates other kinds of part–whole explanations that target causal powers or capacities. The result is a theory that has the explanatory virtues of mechanistic theories as well as a broader scope desired by Gillett. I also compare the result to a similar idea from Robert Cummins that has been neglected in recent discussions of realization, namely, his general property analysis rather than his functional analysis. Finally, I defend the preferred general theory against possible objections that attempt to show a conflict between metaphysical demands on a theory of realization versus facts about good scientific explanation. (shrink)

Many types of part-whole relations have been proposed in the literature to aid the conceptual modeller to choose the most appropriate type, but many of those relations lack a formal specification to give clear and unambiguous semantics to them. To remedy this, a formal taxonomy of types of mereological and meronymic part-whole relations is presented that distinguishes between transitive and intransitive relations and the kind of entity types that are related. The demand to use it effectively brings afore new requirements (...) for automated reasoning over a hierarchy of relations. To ensure logically and ontologically correct inferencing over both the class and role hierarchy, the new reasoning service RBox compatibility for Description Logics reasoners is introduced. The proposed combination of formal semantics and the new reasoning service will improve the representation of the application domain when using part-whole relations in conceptual models and ontologies. (shrink)

In this paper I aim at showing that, in Aristotle’s view, spoken and written language differ in their material organisation, in particular in their respective part-whole relations. I argue that, according to Aristotle, written language is an additive system (i.e. a system whose parts exist and are produced prior to what they are parts of), whereas spoken language is a non-additive system (i.e. a system whose parts cannot exist and be produced prior to what they are parts of), and that, (...) in his view, spoken language, qua non-additive system, is analogous to organisms. Further, I outline two possible implications of this hypothesis. The first concerns the relevance of Aristotle’s conception of spoken language as a non-additive system to his account of human language’s power to signify. I set out some reasons for thinking that Aristotle endorses the view that the form of human language (i.e. its power to signify) is matter-involving. The second implication concerns the syllable analogy that Aristotle employs in Metaphysics Ζ 17. I argue that the syllable Aristotle refers to is a spoken one, and I develop some consequences of this hypothesis for the meaning of the analogy and, more generally, of the chapter. (shrink)