This investigation constitutes an attempt towards (1) understanding issues and problems relating to the notions of one, many, part and whole in Parmenides and Plato; (2) extracting conditions for a successful account of multiplicity and parthood; (3) surveying Deleuzian conceptions and uses of these notions; (4) appraising the extent to which Deleuze’s metaphysics can answer some of these ancient problems concerning the status of multiplicity and the nature of mereological composition, that is, of the relations that pertain between parts and (...) the wholes that they compose. (shrink)

The relative merits of standard mereology have received quite a bit of attention in recent years from metaphysicians concerned with the part/whole properties of material objects. A question that has not been pursued to the same degree, however, is what sort of semantic repercussions a commitment to mereological sums in the standard sense might have in particular on the predicted behavior of singular terms and our practices of using such terms to refer to objects. The apparent mismatch between our (...) actual referential practices and the persistence conditions attributed to material objects by the supporters of standard mereology puts these philosophers, other things being equal, at a disadvantage compared to those whose ontology matches more closely the observed behavior of singular terms, as they are commonly used in ordinary discourse. To alleviate this problem, David Lewis leans heavily on his distinction between natural and non-natural properties. I argue in this paper that Lewis’ already heavily burdened natural/non-natural distinction among properties is not enough to avoid Quinean indeterminacy for singular terms. Those who are in the business of giving an analysis of constructions involving full-fledged predication, as opposed to the mere spatial overlap of denotations, will thus want to go in for an ontology that places more stringent structural constraints on the referents of singular terms than would be supplied by standard mereology. (shrink)

This article motivates and develops a reductive account of the structure of certain physical quantities in terms of their mereology. That is, I argue that quantitative relations like "longer than" or "3.6-times the volume of" can be analyzed in terms of necessary constraints those quantities put on the mereological structure of their instances. The resulting account, I argue, is able to capture the intuition that these quantitative relations are intrinsic to the physical systems they’re called upon to describe and (...) explain. (shrink)

Recent work in quantum gravity has prompted a re-evaluation of the fundamental nature of spacetime. Spacetime is potentially emergent from non-spatiotemporal entities posited by a theory of quantum gravity. Recent efforts have sought to interpret the relationship between spacetime and the fundamental entities through a mereological framework. These frameworks propose that spacetime can be conceived as either having non-spatiotemporal entities as its constituents or being a constituent part of a non-spatiotemporal structure. I present a roadmap for those interested in exploring (...) the role of composition in understanding the emergence of spacetime. I establish a taxonomy based on four crucial parameters that should be considered when constructing potential mereological models. Subsequently, I connect these models to a spectrum of perspectives found in current literature, with the aim of pinpointing areas that require further exploration. Finally, I identify three potential challenges facing mereological models of spacetime emergence, rooted in issues of mereological harmony, the distinction between continuous and discrete spacetime, and the implications of quantum superposition. (shrink)

In this paper I present two new arguments against the possibility of an omniscient being. My new arguments invoke considerations of cardinality and resemble several arguments originally presented by Patrick Grim. Like Grim, I give reasons to believe that there must be more objects in the universe than there are beliefs. However, my arguments will rely on certain mereological claims, namely that Classical Extensional Mereology is necessarily true of the part-whole relation. My first argument is an instance of a (...) problem first noted by Gideon Rosen and requires an additional assumption about the mereological structure of certain beliefs. That assumption is that an omniscient being’s beliefs are mereological simples. However, this assumption is dropped when I present my second argument. Thus, I hope to show that if Classical Extensional Mereology is true of the part-whole relation, there cannot be an omniscient being. (shrink)

We study the question of how to decompose Hilbert space into a preferred tensor-product factorization without any pre-existing structure other than a Hamiltonian operator, in particular the case of a bipartite decomposition into "system" and "environment." Such a decomposition can be defined by looking for subsystems that exhibit quasi-classical behavior. The correct decomposition is one in which pointer states of the system are relatively robust against environmental monitoring (their entanglement with the environment does not continually and dramatically increase) and remain (...) localized around approximately-classical trajectories. We present an in-principle algorithm for finding such a decomposition by minimizing a combination of entanglement growth and internal spreading of the system. Both of these properties are related to locality in different ways. This formalism could be relevant to the emergence of spacetime from quantum entanglement. (shrink)

While there is a growing philosophical interest in analysing olfactory experiences, the mereological structure of odours considered in respect of how they are perceptually experienced has not yet been extensively investigated. The paper argues that odours are perceptually experienced as having a mereological structure, but this structure is significantly different from the spatial mereological structure of visually experienced objects. Most importantly, in the case of the olfactory part-structure, the classical weak supplementation principle is not satisfied. This thesis is justified by (...) referring to empirical results in olfactory science concerning the human ability to identify components in complex olfactory stimuli. Further, it is shown how differences between olfactory and visual mereologies may arise from the way in which these modalities represent space. (shrink)

The notions of part and whole play an important role for ontology and in many areas of the semantics of natural language. Both in philosophy and linguistic semantics, usually a particular notion of part structure is used, that of extensional mereology. This paper argues that such a notion is insufficient for ontology and, especially, for the semantic analysis of the relevant constructions of natural language. What is needed for the notion of part structure, in addition to an ordering among (...) parts, is the notion of integrated whole. In the context of semantics, the notion of an integrated whole needs to be relativized to a situation, or so it is argued. (shrink)

If we want to say what “fundamentality” means, we have to start by approaching what we generally see at the empty place of the predicate “____ is fundamental”. We generally talk about fundamental entities and fundamental theories. At this article, I tried to make a metaphysical approach of what is for something to be fundamental, and I also tried to talk a little bit of fundamental incomplete and complete theories. To do that, I start stating the notion of “entity” and (...) looking at the difference at perceived entities. The difference led us to talk about the entities’ structures and their powers, and about the supervenience between these last two. The supervenience talk made us to see the fight between emergentism and reductionism as the difference between the irreducibility of laws and the reducibility of powers and structures to lower-order domains. Then, we conclude that “fundamentality” is a mereological relation – a relation that a whole structure has to a certain combination of its structural parts or that a power has to a certain combination of its constituent powers – of to be identical and to exist in virtue of them. (shrink)

According to a common opinion, human olfactory experiences are significantly different from human visual experiences. For instance, olfaction seems to have only rudimentary abilities to represent space; it is not clear whether olfactory experiences have any mereological structure; and while vision presents the world in terms of objects, it is a matter of debate whether there are olfactory object-representations. This paper argues that despite these differences visual and olfactory experiences share a hierarchical subject/property structure. Within this structure, olfactorily experienced odours (...) and visual objects have the same status: they are primary subjects which unify other represented elements into perceptual units. (shrink)

Although they are continually compositionally reconstituted and reconfigured, organisms nonetheless persist as ontologically unified beings over time – but in virtue of what? A common answer is: in virtue of their continued possession of the capacity for morphological invariance which persists through, and in spite of, their mereological alteration. While we acknowledge that organisms‟ capacity for the “stability of form” – homeostasis - is an important aspect of their diachronic unity, we argue that this capacity is derived from, and grounded (...) in a more primitive one – namely, the homeodynamic capacity for the “specified variation of form”. In introducing a novel type of causal power – a „structural power‟ – we claim that it is the persistence of their dynamic potential to produce a specified series of structurally adaptive morphologies which grounds organisms‟ privileged status as metaphysically “one over many” over time. (shrink)

Could space consist entirely of extended regions, without any regions shaped like points, lines, or surfaces? Peter Forrest and Frank Arntzenius have independently raised a paradox of size for space like this, drawing on a construction of Cantor’s. I present a new version of this argument and explore possible lines of response.

This paper develops co-ordinated multiple-domain supervenience relations to model determination and dependence relations between complex entities and their constituents by appealing to R-related pairs and by making use of associated isomorphisms. Supervenience relations are devised for order-sensitive and repetition-sensitive mereologies, for mereological systems that make room for many-many composition relations, as well as for hierarchical mereologies that incorporate compositional and hylomorphic structure. Finally, mappings are provided for theories that consider wholes to be prior to their parts.

This essay describes and evaluates the conception of mereological structure that underpins Deleuze’s account of ontogenesis in Difference and Repetition. A theory of mereology is a theory of composition: it asks what it is to be a part making a whole, what it is to be a whole collecting its parts; in short, in what the relation of making or composing consists. The locus classicus for modern mereology is the third of Husserl’s Logical Investigations (‘On the Theory of (...) Wholes and Parts’), which deduces the definitions, axioms and principles governing the relation of parthood and associated notions, such as wholeness, separation, simplicity and complexity. My question is this: what happens to these notions when they are no longer the terms of a ‘calculus of individuals’ and, instead, become the terms of a differential calculus of individuation? (shrink)

Hylomorphism is the theory that objects are composites of form and matter. Recently it has been argued that form is structure, or the arrangement of an object's parts. This paper shows that the principle of form cannot be ontologically exhausted by structure. That is, I deny form should be understood just as the arrangement of an object's parts. I do so by showing that structure cannot play the role form is supposed to in a certain domain of objects, specifically, in (...) mereological simples. Thus, I show that Hylomorphism does not reduce to Structuralism. I also draw out some important consequences from my argument for Hylomorphism in general. (shrink)

A model of analogical mapping is proposed that uses five principles to generate consistent and conflicting hypotheses regarding assignments of elements of a source domain to analogous elements of a target domain. The principles follow the fine conceptual structure of the domains. The principles are: (1) the principle of proportional analogy; (2) the principle of mereological analogy, (3) the principle of chain reinforcement; (4) the principle of transitive reinforcement; and (5) the principle of mutual inconsistency. A constraint-satisfaction network is used (...) to find the set of assignments that preserves the greatest relational structure of the source. In contrast to the model proposed here, most models of analogical mapping use only the principle of proportional analogy. The use of many principles is shown to be superior in that it permits smoother integration of pragmatic factors and results in a more efficient mapping process. (shrink)

Bodily awareness seems to present the body as a topologically connected whole, composed of many parts. In consequence, the source of topological and mereological content of bodily awareness comes into question. In particular, it may be asked whether (a) such content is provided by the bodily sense, i.e., sensory mechanisms which, like proprioception, presents the body “from the inside,” or (b) it is a product of “exteroceptive” elements of bodily awareness, which represents the body “from the outside” in a similar (...) way to that of other physical objects. This paper argues that while passive touch and proprioception are unlikely to present the body as a topological and a mereological whole, such content is likely to be provided by kinesthesis. In consequence, it is plausible that holistic topological and mereological bodily content is present in virtue of certain mechanisms of bodily sense. (shrink)

This is a critical commentary on Kathrin Koslicki's book The Structure of Objects (OUP, 2008).

Mereological harmony is the idea that the mereological structure of objects mirrors the mereological structure of locations. Grounding harmony is the idea that there is a similar mirroring between the grounding structure of objects and locations. Our goal in this paper is exploratory: we introduce and then explore two notions of grounding harmony: locative and structural. We outline potential locative and structural harmony principles for grounding, and show which of these principles may entail, or be entailed by, principles (...) of mereological harmony. We then present a case study in grounding harmony, by applying it to Schaffer’s :31, 2010a) specific version of priority monism. We show that, given a strong form of grounding harmony, Schaffer-style monism is inconsistent, but that this inconsistency can be resolved by offering bespoke notions of grounding harmony. We use Schaffer’s priority monism to demonstrate a broader tension within certain packages of metaphysical views, including versions of priority pluralism. We close by briefly considering the case against structural grounding harmony. (shrink)

Mereological realism holds that the world has a mereological structure – i.e. a distribution of mereological properties and relations. In this article, I defend Eleaticism about properties, according to which there are no causally inert non-logical properties. I then present an Eleatic argument for mereological anti-realism, which denies the existence of both mereological composites and mereological simples. After defending Eleaticism and mereological anti-realism, I argue that mereological anti-realism is preferable to mereological nihilism. I then conclude by examining the thesis that (...) composition is identity and noting its consequences for the question of mereological structure. (shrink)

We address an argument by Floridi (Synthese 168(1):151–178, 2009; 2011a), to the effect that digital and analogue are not features of reality, only of modes of presentation of reality. One can therefore have an informational ontology, like Floridi’s Informational Structural Realism, without commitment to a supposedly digital or analogue world. After introducing the topic in Sect. 1, in Sect. 2 we explain what the proposition expressed by the title of our paper means. In Sect. 3, we describe Floridi’s argument. (...) In the following three sections, we raise three difficulties for it, (i) an objection from intuitions: Floridi’s view is not supported by the intuitions embedded in the scientific views he exploits (Sect. 4); (ii) an objection from mereology: the view is incompatible with the world’s having parts (Sect. 5); (iii) an objection from counting: the view entails that the question of how many things there are doesn’t make sense (Sect. 6). In Sect. 7, we outline two possible ways out for Floridi’s position. Such ways out involve tampering with the logical properties of identity, and this may be bothersome enough. Thus, Floridi’s modus ponens will be our (and most ontologists’) modus tollens. (shrink)

Product structures are represented in engineering models by depicting and linking components, features and assemblies. Their understanding requires knowledge of both design and manufacturing practices, and yet further contextual reasoning is needed to read them correctly. Since these representations are essen- tial to the engineering activities, the lack of a clear and explicit semantics of these models hampers the use of information systems for their assessment and exploita- tion. We study this problem by identifying different interpretations of structure rep- resentations, (...) and then discuss the formal properties that a suitable language needs for representing components, features and combinations of these. We show that the representation of components and features require a non-standard mereology. (shrink)

In this paper I outline the main features of Karen Bennett’s (Australasian Journal of Philosophy 1–21, 2011) non-classical mereology, and identify its methodological costs. I argue that Bennett’s mereology cannot account for the composition of structural universals because it cannot explain the mereological difference between isomeric universals, such as being butane and being isobutane. I consider responses, which come at costs to the view.

According to a number of approaches in theoretical physics, spacetime does not exist fundamentally. Rather, spacetime exists by depending on another, more fundamental, non-spatiotemporal structure. A prevalent opinion in the literature is that this dependence should not be analyzed in terms of composition. We should not say, that is, that spacetime depends on an ontology of non-spatiotemporal entities in virtue of having them as parts. But is that really right? On the contrary, we argue that a mereological approach to dependent (...) spacetime is not only viable, but promises to enhance our understanding of the physical situation. (shrink)

Considering topology as an extension of mereology, this paper analyses topological variants of mereological essentialism (the thesis that an object could not have different parts than the ones it has). In particular, we examine de dicto and de re versions of two theses: (i) that an object cannot change its external connections (e.g., adjacent objects cannot be separated), and (ii) that an object cannot change its topological genus (e.g., a doughnut cannot turn into a sphere). Stronger forms of (...) class='Hi'>structural essentialism, such as morphological essentialism (an object cannot change shape) and locative essentialism (an object cannot change position) are also examined. (shrink)

I will defend two claims. First, Schaffer's priority monism is in tension with many research programs in quantum gravity. Second, priority monism can be modified into a view more amenable to this physics. The first claim is grounded in the fact that promising approaches to quantum gravity such as loop quantum gravity or string theory deny the fundamental reality of spacetime. Since fundamental spacetime plays an important role in Schaffer's priority monism by being identified with the fundamental structure, namely the (...) cosmos, the disappearance of spacetime in these views might undermine classical priority monism. My second claim is that priority monism can avoid this issue with two moves: first, in dropping one of its core assumptions, namely that the fundamental structure is spatio-temporal, second, by identifying the connection between the non-spatio-temporal structure and the derivative spatio-temporal structure with mereological composition. (shrink)

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

The author attempts to show how mereology, taken together with certain topological notions, can yield the foundations for future investigations in formal ontology. He also attempts to show how the mereological framework allows for the direct and natural formulation of a series of theses - for example pertaining to the concept of a boundary - which can be only indirectly formulated (if at all) in set-theoretic terms. The far-reaching ain of the present framework is to serve as a basis (...) for a formal ontology of the common-sense world. The author is interested in producing formally precise theories of structures of certain sorts in such a way that it is the structures themselves that intrest him and not formal machinery that has been set up to describe them. Hence the axioms are chosen primarily for the sake of the light they throw on the intended subject-matters (and not for their logical independence). The world itself - or its picture given in ordinary experience - is the only model the paper concentrates upon. Thus for example the presented system allows to prove that every boundary is the boundary of something, and that in particular no point exists in isolation from a large extended whole that is its boundary. (shrink)

Yitzhak Melamed here offers a new and systematic interpretation of the core of Spinoza's metaphysics. In the first part of the book, he proposes a new reading of the metaphysics of substance in Spinoza: he argues that for Spinoza modes both inhere in and are predicated of God. Using extensive textual evidence, he shows that Spinoza considered modes to be God's propria. He goes on to clarify Spinoza's understanding of infinity, mereological relations, infinite modes, and the flow of finite things (...) from God's essence. In the second part of the book, Melamed relies on this interpretation of the substance-mode relation and the nature of infinite modes and puts forward two interrelated theses about the structure of the attribute of Thought and its overarching role in Spinoza's metaphysics. First, he shows that Spinoza had not one, but two independent doctrines of parallelism. Then, in his final main thesis, Melamed argues that, for Spinoza, ideas have a multifaceted structure that allows one and the same idea to represent the infinitely many modes which are parallel to it in the infinitely many attributes. Thought turns out to be coextensive with the whole of nature. Spinoza cannot embrace an idealist reduction of Extension to Thought because of his commitment to the conceptual separation of the attributes. Yet, within Spinoza's metaphysics, Thought clearly has primacy over the other attributes insofar as it is the only attribute which is as elaborate, as complex, and, in some senses, as powerful as God. (shrink)

The general hypothesis underlying this work is that mereology (the study of the relations between an entity and its parts) and topology (understood as the study of the qualitative relations of connection and compactness) may jointly constitute adequate grounds for the formal-ontological analysis of the world of ordinary experience. The analysis focuses on certain minimal (structural) principles on the basis of which different philosophical theories may be erected.

There are two links that stand in the foreground of Deleuze’s treatment of Epicurus and Lucretius: the themes of immanent naturalism and of the externality of ontological relations. However, the links are problematised in Difference and Repetition, which presents an important critique of the concept of the atom. I will argue that this critique reveals the limits of the intellectual affinity between ancient atomism and Deleuzian metaphysics; in particular, that Deleuze’s notions of relationality and spatium respond to problems raised by (...) the relations between atoms and by the not-being of the atomists’ vacuum. In this sense, Deleuze’s treatment of atomism is significant because it makes clear Deleuze’s aim in shifting the mereological vocabulary from points to lines; it shows what, in Deleuze’s sense, it means to unfound and sets down the conditions for a successful Deleuzian critique of essentialist varieties of the metaphysics of structure. (shrink)

How do reasons combine? How is it that several reasons taken together can have a combined weight which exceeds the weight of any one alone? I propose an answer in mereological terms: reasons combine by composing a further, complex reason of which they are parts. Their combined weight is the weight of their combination. I develop a mereological framework, and use this to investigate some structural views about reasons, the main two being "Atomism" and "Holism". Atomism is the view (...) that atomic reasons are fundamental: all reasons reduce to atomic reasons. Holism is the view that whole reasons are fundamental. I argue for Holism, and against Atomism. I also consider whether reasons might be "context-sensitive". (shrink)

According to Madhyamaka Buddhist philosophers, everything depends for its existence on something else. But what would a world devoid of fundamentalia look like? In this paper, I argue that the anti-foundationalist “neither-one-nor-many argument” of the Indian Mādhyamika Śrīgupta commits him to a position I call “metaphysical indefinitism.” I demonstrate how this view follows from Śrīgupta’s rejection of mereological simples and ontologically independent being, when understood in light of his account of conventional reality. Contra recent claims in the secondary literature, I (...) clarify how the Madhyamaka metaphysical dependence structure is not a straightforward infinitism since it does not honor strict asymmetry or transitivity. Instead, its dependence relations are irreflexive and extendable, admitting of dependence chains of indefinite (though not actually infinite) length and dependence loops of non-zero length. Yet, the flexible ontology of Śrīgupta's Madhyamaka can accommodate a contextualist account of asymmetry and support a revisable theory of conventional truth, delivering significant payoffs for the view, including the capacity to accommodate developments in scientific explanation. (shrink)

This sketch of a perhaps future 'Elementary Theory of the Category of Mereological Sums (including Mereological Wholes and Parts)' relates to my previous papers "The Topos of Emergence" and "Intelligible Gunk". I assert that for successfully categorizing Mereology one has to start with a specific setting of gunk. In this paper we will give a sketch of a categorically version of particular mereological structures. I.e. we will follow the example of F.W.Lawvere’s “An elementary theory of the category of sets” (...) -/- where he introduced a categorised version of set theory. We refer to sirenians mainly for the reason that they are the closest living relatives of elephants. -/- But they are also rather underestimated creatures - at the first moment rather dull and clumsy, but moving gracefully and elegant in their natural habitat.And some sailors already reckognized their bewitching attraction before we did.Yet we still think this sirenia is a modest creature compared with the elephant in the room. (shrink)

The third deduction in Plato’s Parmenides is often given a constructive reading on which Plato’s Parmenides, or even Plato himself, presents us with a positive account of the relation between parts and wholes. However, I argue that there is a hitch in the third deduction which threatens to undermine the mereology of the third deduction by the lights of the dialogue. Roughly, even if the Others partake of the One, the account of the third deduction leads to an ontology (...) of gunk, that is, an ontology on which there are no mereological atoms (except for the One). Hence, it is unclear whether the participation relation between the Others and the One is sufficient to impose the sort of structure on the Others which, in the context of this deduction, Parmenides (or Plato) seems to hope for. Instead of the constructive reading of the third deduction, I therefore offer an aporetic reading on which the third deduction raises further difficulties for the participation relation at the heart of young Socrates’ theory of Forms. (shrink)

It is well-known that in the fifth of his Cartesian Meditations, Husserl puts forth a theory of intersubjectivity. Most commentators of Husserl have read his Cartesian Meditations as presenting a theory of intersubjectivity whose basis is empathy, in the form of a process of constituting the sense of “other” in one’s own experience, as the primary origin of the intersubjective layer of experience. In this paper, I claim that the structure of intersubjectivity as Husserl presents it in the Cartesian Meditations (...) is articulated as being governed by a logic of parts and wholes rather than that of a phenomenology of empathy, and that the articulation of this logic demonstrates that the transcendental ego is intrinsically intersubjective. My main philosophical claim in this regard is that the way Husserl’s account of transcendental empathy unfolds in the Cartesian Meditations implies a prior fundamental mereological structure of which the individual transcendental ego is only a part. That is, the transcendental ego has an eidetic a-priori intersubjective structure, in the sense of being a moment of an intersubjectively structured transcendental whole. In this sense, rather than being a singulare tantum, it is more fitting to say that transcendental subjectivity is actually a plurale tantum. (shrink)

It is plausible that the universe exists: a thing such that absolutely everything is a part of it. It is also plausible that singular, structured propositions exist: propositions that literally have individuals as parts. Furthermore, it is plausible that for each thing, there is a singular, structured proposition that has it as a part. Finally, it is plausible that parthood is a partial ordering: reflexive, transitive, and anti-symmetric. These plausible claims cannot all be correct. We canvass some costs of denying (...) each claim and conclude that parthood is not a partial ordering. Provided that the relevant entities exist, parthood is not anti-symmetric and proper parthood is neither asymmetric nor transitive. (shrink)

This book examines the way in which Robert Boyle seeks to accommodate his complex chemical philosophy within the framework of a mechanistic theory of matter. More specifically, the book proposes that Boyle regards chemical qualities as properties that emerged from the mechanistic structure of chymical atoms. Within Boyle’s chemical ontology, chymical atoms are structured concretions of particles that Boyle regards as chemically elementary entities, that is, as chemical wholes that resist experimental analysis. Although this interpretation of Boyle’s chemical philosophy has (...) already been suggested by other Boyle scholars, the present book provides a sustained philosophical argument to demonstrate that, for Boyle, chemical properties are dispositional, relational, emergent, and supervenient properties. This argument is strengthened by a detailed mereological analysis of Boylean chymical atoms that establishes the kind of theory of wholes and parts that is most consistent with an emergentist conception of chemical properties. The emergentist position that is being attributed to Boyle supports his view that chemical reactions resist direct explanation in terms of the mechanistic properties of fundamental particles, as well as his position regarding the scientific autonomy of chymistry from mechanics and physics. (shrink)

A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo E. (...) Ojeda ** Defining a 'Doughnut' Made Difficult, N .M. Gotts ** A Theory of Spatial Regions with Indeterminate Boundaries, A.G. Cohn and N.M. Gotts ** Mereotopological Construction of Time from Events, Fabio Pianesi and Achille C. Varzi ** Computational Mereology: A Study of Part-of Relations for Multi-media Indexing, Wlodek Zadrozny and Michelle Kim. (shrink)

In metaphysics, fundamentality is a central theme involving debates on the nature of existents, as wholes. These debates are largely object-oriented in their standpoint and engage with composites or wholes through the mereological notion of compositionality. The ontological significance of the parts overrides that of wholes since the existence and identity of the latter are dependent on that of the former. Broadly, the candidates for fundamental entities are considered to be elementary particles of modern physics (since they appear to play (...) the role of ultimate parts to all phenomena). The paper intends to show the inadequacy of the object-oriented notion of conditionality by pointing out that the parts and wholes possess varying conditions of existence. By alleging that only the parts are ontologically significant is to conflate such conditions and neglect the spectrum of conditions which exist in our world. A proposal for a revised notion of compositionality in terms of structural relatedness is also put forward. (shrink)

This paper addresses the question of what constitutes an apt interpreted model for the purpose of analyzing causation. I first collect universally adopted aptness principles into a basic account, flagging open questions and choice points along the way. I then explore various additional aptness principles that have been proposed in the literature but have not been widely adopted, the motivations behind their proposals, and the concerns with each that stand in the way of universal adoption. I conclude that the remaining (...) work of articulating aptness for a SEM analysis of causation is tied up with issues to do with modality, ontology, and mereology. Continuing this work is therefore likely to shed light on the relationship between these areas and causation more generally. (shrink)

'Ontology and Metaontology: A Contemporary Guide' is a clear and accessible survey of ontology, focussing on the most recent trends in the discipline. -/- Divided into parts, the first half characterizes metaontology: the discourse on the methodology of ontological inquiry, covering the main concepts, tools, and methods of the discipline, exploring the notions of being and existence, ontological commitment, paraphrase strategies, fictionalist strategies, and other metaontological questions. The second half considers a series of case studies, introducing and familiarizing the reader (...) with concrete examples of the latest research in the field. The basic sub-fields of ontology are covered here via an accessible and captivating exposition: events, properties, universals, abstract objects, possible worlds, material beings, mereology, fictional objects. -/- The guide's modular structure allows for a flexible approach to the subject, making it suitable for both undergraduates and postgraduates looking to better understand and apply the exciting developments and debates taking place in ontology today. (shrink)

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...) non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

A ‘duality’ is a formal mapping between the spaces of solutions of two empirically equivalent theories. In recent times, dualities have been found to be pervasive in string theory and quantum field theory. Naïvely interpreted, duality-related theories appear to make very different ontological claims about the world—differing in e.g. space-time structure, fundamental ontology, and mereological structure. In light of this, duality-related theories raise questions familiar from discussions of underdetermination in the philosophy of science: in the presence of dual theories, what (...) is one to say about the ontology of the world? In this paper, we undertake a comprehensive and non-technical survey of the landscape of possible ontological interpretations of duality-related theories. We provide a significantly enriched and clarified taxonomy of options—several of which are novel to the literature. (shrink)

This book present a unified semantic theory of expressions involving the notions of part and whole. It develops a theory of part structures which differs from traditional (extensional) mereological theories in that the notion of an integrated whole plays a central role and in that the part structure of an entity is allowed to vary across different situations, perspectives, and dimensions. The book presents a great range of empirical generalizations involving plurals, mass nouns, adnominal and adverbial modifiers such as 'whole', (...) 'together', and 'alone', nominal and adverbial quanitfiers ranging over parts, and expressions of completion such as 'completely' and 'partly'. (shrink)

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it (...) with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

In a number of papers, Kit Fine introduced a theory of embodiment which distinguishes between rigid and variable embodiments, and has been successfully applied to clarify the ontological nature of entities whose parts may or may not vary in time. In particular, he has applied this theory to describe a process such as the erosion of a cliff, which would be a variable embodiment whose manifestations are the different states of erosion of the cliff. We find this theory very powerful, (...) and especially appropriate to capture the intuition that the same process may go on at different times. However, its formal principles have been subject to some criticisms, mainly concerning the mereological structure of a variable embodiment. Moreover, since the notion of variable embodiment is very general, simply saying that processes are variable embodiments is not enough to understand their ontological nature. To address these concerns, in this paper we proceed in two phases: first, we propose a revised version of Fine’s original theory adapted to the case of processes, which adopts a classical mereology instead of Fine’s hylomorphic mereology, and a temporalized constitution relation in place of Fine’s function of variable embodiment; second, we go deeper into the ontological nature of processes by revisiting the notions of homogeneity, intentionality, and telicity discussed in the literature, and propose an account based on ontological principles and not on semantic properties of predicates. This allows us to organize processes into a novel taxonomy based exclusively on their unity and individuation principles. (shrink)

We have a variety of different ways of dividing up, classifying, mapping, sorting and listing the objects in reality. The theory of granular partitions presented here seeks to provide a general and unified basis for understanding such phenomena in formal terms that is more realistic than existing alternatives. Our theory has two orthogonal parts: the first is a theory of classification; it provides an account of partitions as cells and subcells; the second is a theory of reference or intentionality; it (...) provides an account of how cells and subcells relate to objects in reality. We define a notion of well-formedness for partitions, and we give an account of what it means for a partition to project onto objects in reality. We continue by classifying partitions along three axes: (a) in terms of the degree of correspondence between partition cells and objects in reality; (b) in terms of the degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) in terms of the degree of completeness with which a partition represents this domain. (shrink)

The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, but also relations between (...) what we shall call dependent parts or moments. A two-dimensional formal language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to the quantifier-centred languages which have predominated amongst analytic philosophers since the time of Frege and Russell. Analytic philosophical arguments against moments, and against the entire project of a formal ontology, are considered and rejected. The paper concludes with a brief account of some applications of the theory presented. (shrink)