The sample space of the chance distribution at a given time is a class of possible worlds. Thanks to this connection between chance and modality, one’s views about modal space can have significant consequences in the theory of chance and can be evaluated in part by how plausible these implications are. I apply this methodology to evaluate certain forms of modal contingentism, the thesis that some facts about what is possible are contingent. Any modal contingentist view that meets certain conditions (...) that I specify generates difficulties in the philosophy of chance, including a problem usually associated with Humeanism that is known as ‘the problem of undermining futures’. I consider two well-known versions of modal contingentism that face this difficulty. The first version, proposed by Hugh Chandler and Nathan Salmon, rests on an argument for the claim that many individuals have their modal features contingently. The second version is motivated by the thesis that the existence of a possible world depends on the existence of the contingent individuals inhabiting it, and that many worlds are therefore contingent existents. (shrink)

I argue for patternism, a new answer to the question of when some objects compose a whole. None of the standard principles of composition comfortably capture our natural judgments, such as that my cat exists and my table exists, but there is nothing wholly composed of them. Patternism holds, very roughly, that some things compose a whole whenever together they form a “real pattern”. Plausibly we are inclined to acknowledge the existence of my cat and my table but not of (...) their fusion, because the first two have a kind of internal organizational coherence that their putative fusion lacks. Kolmogorov complexity theory supplies the needed rigorous sense of “internal organizational coherence”. (shrink)

In this paper, I introduce an intrinsic account of the quantum state. This account contains three desirable features that the standard platonistic account lacks: (1) it does not refer to any abstract mathematical objects such as complex numbers, (2) it is independent of the usual arbitrary conventions in the wave function representation, and (3) it explains why the quantum state has its amplitude and phase degrees of freedom. -/- Consequently, this account extends Hartry Field’s program outlined in Science Without Numbers (...) (1980), responds to David Malament’s long-standing impossibility conjecture (1982), and establishes an important first step towards a genuinely intrinsic and nominalistic account of quantum mechanics. I will also compare the present account to Mark Balaguer’s (1996) nominalization of quantum mechanics and discuss how it might bear on the debate about “wave function realism.” In closing, I will suggest some possible ways to extend this account to accommodate spinorial degrees of freedom and a variable number of particles (e.g. for particle creation and annihilation). -/- Along the way, I axiomatize the quantum phase structure as what I shall call a “periodic difference structure” and prove a representation theorem as well as a uniqueness theorem. These formal results could prove fruitful for further investigation into the metaphysics of phase and theoretical structure. -/- (For a more recent version of this paper, please see "The Intrinsic Structure of Quantum Mechanics" available on PhilPapers.). (shrink)

In the graphical representation of ontologies, 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. We focus here on a problem in the graph-based representation of ontologies in complex domains such as biomedical, engineering and manufacturing: lack of mereotopological representation. Based on such limitation, we proposed a diagrammatic way to represent an entity’s structure and various forms of mereotopological relationships between the entities.

Many philosophers embrace grounding, supposedly a central notion of metaphysics. Grounding is widely assumed to be irreflexive, but recently a number of authors have questioned this assumption: according to them, it is at least possible that some facts ground themselves. The primary purpose of this paper is to problematize the notion of self-grounding through the theoretical roles usually assigned to grounding. The literature typically characterizes grounding as at least playing two central theoretical roles: a structuring role and an explanatory role. (...) Once we carefully spell out what playing these roles includes, however, we find that any notion of grounding that isn’t irreflexive fails to play these roles when they are interpreted narrowly, and is redundant for playing them when they are interpreted more broadly. The upshot is that no useful notion of grounding can allow a fact to ground itself. (shrink)

This paper (in Finnish) concerns the ontological status of categories of entities. I argue that categories are not be considered as further entities. Rather, it is suffcient for entities belonging to the same category that they are in exactly the same formal ontological relations and have the same general category features.

Modal realism is an ontological position made familiar by David Lewis, according to which there exist possible worlds other than the actual world that we inhabit. It is hard to uphold modal realism, and indeed modal realism has only a few advocates. However, as most contemporary metaphysicians agree, this does not mean that it is easy to refute modal realism. In this paper, I argue against modal realism from a metaontological point of view. First, I provide a precise formulation of (...) modal realism based on Lewis’ discussion of modal realism. Second, I argue that modal realism is undermined unless it incorporates a view of metaontology known as ontological realism. Third, I point out that if modal realism incorporates ontological realism, it comes into conflict with its own formulation. (shrink)

According to Composition is Identity, a whole is literally identical to the plurality of its parts. According to Mereological Nihilism, nothing has proper parts. In this note, it is argued that Composition is Identity can be shown to entail Mereological Nihilism in a much more simple and direct way than the one recently proposed by Claudio Calosi.

This article defends strong formal ontological conception of ontological categories against Lewis's "deflanationary" conception. Here, it sides with E.J. Lowe (1998) among others. However, the paper argues against Lowe's conception of metaphysics as an a priori science. Different category systems are compared and the best system is selected on the basis of its ability to accommodate our the best a posteriori conceptions of reality.

It is commonly assumed that grounding relations are asymmetric. Here I develop and argue for a theory of metaphysical structure that takes grounding to be nonsymmetric rather than asymmetric. Even without infinite descending chains of dependence, it might be that every entity is grounded in some other entity. Having first addressed an immediate objection to the position under discussion, I introduce two examples of symmetric grounding. I give three arguments for the view that grounding is nonsymmetric (I call this view (...) ‘metaphysical interdependence’). These arguments are: (i) that metaphysical interdependence is the only theory able to reconcile competing intuitions about grounding; (ii) that it is the only theory consistent with both ‘gunk’ and ‘junk’; and (iii) that offers a satisfactory solution to the problem concerning whether or not grounding is itself grounded. (shrink)

Sind platonische Ideen oder Formen wirklich in dem Sinn als „eingestaltig“ konzipiert, dass sie nicht aus Teilen bestehen können? Ganz und gar nicht! Christoph Hochholzer zeigt, dass die Relation von Teil und Ganzem einer Form neben der Relation der Teilhabe an Formen zu den zentralen Grundannahmen der Ideenlehre gehört. Von diesem Befund ausgehend, entwickelt die detaillierte Textanalyse eine ganz neuartige Interpretation des Sophistes. Der eleatische Fremde, der Sokrates in dem Spätdialog als Gesprächsführer ablöst, präsentiert demnach eine ausgereifte Variante von Platons (...) Philosophie, mit deren Hilfe er unterschiedlichste Fragen präzise beantwortet: Was ist die Bedeutung von „... ist seiend“ oder „... ist verschieden von...“? Gibt es Nicht-Seiendes? Können auch Formen an Formen teilhaben? Was genau sind eigentlich Sophisten und wieso kann Sokrates ihnen nicht helfen? Die Untersuchung beinhaltet eine streng logische Rekonstruktion des Textes ohne die literarische Form des Dialogs und seine Stellung in Platons Gesamtwerk zu vernachlässigen. Sie bietet eine neue Übersetzung und einen philologisch gründlichen Kommentar. Daraus werden eine Vielzahl von neuen Positionen zu klassischen Forschungsfragen, wie die nach der Selbstprädikation oder dem Mythos, entwickelt. (shrink)

The mereological predicate ‘is part of’ can be used to define the predicate ‘is identical with’. I argue that this entails that mereological theories can be ideologically simpler than nihilistic theories that do not use the notion of parthood—contrary to what has been argued by Ted Sider. Moreover, if one accepts an extensional mereology, there are good philosophical reasons apart from ideological simplicity to give a mereological definition of identity.

This paper offers a critical reconstruction of the motivations that led to the development of mereology as we know it today, along with a brief description of some problems that define current research in the field.

Atomistic metaphysics motivated an explanatory strategy which science has pursued with great success since the scientific revolution. By decomposing matter into its atomic and subatomic parts physics gave us powerful explanations and accurate predictions as well as providing a unifying framework for the rest of science. The success of the decompositional strategy has encouraged a widespread conviction that the physical world forms a compositional hierarchy that physics and other sciences are progressively articulating. But this conviction does not stand up to (...) a closer examination of how physics has treated composition, as a variety of case studies will show. (shrink)

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

Hybrid languages are introduced in order to evaluate the strength of “minimal” mereologies with relatively strong frame definability properties. Appealing to a robust form of nominalism, I claim that one investigated language \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {m}}$\end{document} is maximally acceptable for nominalistic mereology. In an extension \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {gem}}$\end{document} of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {m}}$\end{document}, a modal analog (...) for the classical systems of Leonard and Goodman and Leśniewski is introduced and shown to be complete with respect to 0-deleted Boolean algebras. We characterize the formulas of first-order logic invariant for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {gem}}$\end{document}-bisimulations. (shrink)

A non-relativistic quantum mechanical theory is proposed that describes the universe as a continuum of worlds whose mutual interference gives rise to quantum phenomena. A logical framework is introduced to properly deal with propositions about objects in a multiplicity of worlds. In this logical framework, the continuum of worlds is treated in analogy to the continuum of time points; both “time” and “world” are considered as mutually independent modes of existence. The theory combines elements of Bohmian mechanics and of Everett’s (...) many-worlds interpretation; it has a clear ontology and a set of precisely defined postulates from where the predictions of standard quantum mechanics can be derived. Probability as given by the Born rule emerges as a consequence of insufficient knowledge of observers about which world it is that they live in. The theory describes a continuum of worlds rather than a single world or a discrete set of worlds, so it is similar in spirit to many-worlds interpretations based on Everett’s approach, without being actually reducible to these. In particular, there is no splitting of worlds, which is a typical feature of Everett-type theories. Altogether, the theory explains (1) the subjective occurrence of probabilities, (2) their quantitative value as given by the Born rule, and (3) the apparently random “collapse of the wavefunction” caused by the measurement, while still being an objectively deterministic theory. (shrink)

There are famously two main metaphysics of persistence, namely three and four-dimensionalism. Both yield a particular solution to the so called puzzle of change. I argue that typical three-dimensionalist solutions to the puzzle face insurmountable difficulties even in the simplest relativistic setting, that of Minkowski spacetime.

Recently, we have been presented with an argument against the intrinsicality of shape that appeals to a plausible Humean principle. According to the argument, if shape is intrinsic and the location relation is fundamental, then we cannot explain the necessary correlation between an object’s shape and the shape of its location. And, it is claimed, the Humean principle tells us that an unexplained necessary correlation like this one is unacceptable. In this paper I respond to this argument by rejecting the (...) favoured interpretation of the Humean principle. I claim that sometimes there are truths about what it means to stand in a given relation, even when that relation has no analysis.. These truths sometimes entail that the relata of the relation have certain features. And it is not problematic for truths about what it means to stand in a relation to be unexplained. I argue that it is plausible to take is located at to be such a relation; an object’s having exactly the same shape as the region it is located at is part of what it means to be located at that region. I conclude with an amended formulation of the Humean claim that still captures the spirit of the principle without threatening the intrinsicality of shape. (shrink)

It is customary practice to define ‘x is composed of the ys’ as ‘x is a sum of the ys and the ys are pairwise disjoint ’. This predicate has played a central role in the debate on the special composition question and on related metaphysical issues concerning the mereological structure of objects. In this note we show that the customary characterization is nonetheless inadequate. We do so by constructing a mereological model where everything qualifies as composed of atoms even (...) though some elements in the domain are gunky, i.e., can be divided indefinitely into smaller and smaller proper parts. (shrink)

Recently a number of works in meta-ontology have used a variant of J.H. Harris's collapse argument in the philosophy of logic as an argument against Eli Hirsch's quantifier variance. There have been several responses to the argument in the literature, but none of them have identified the central failing of the argument, viz., the argument has two readings: one on which it is sound but doesn't refute quantifier variance and another on which it is unsound. The central lesson I draw (...) is that arguments against quantifier variance must pay strict attention to issues of translation and interpretation. The paper also has a substantial appendix in which I prove the equivalence of plural mereological nihilism and standard first-order atomistic mereology; results of this kind are often appealed to in the literature on quantifier variance but without many details on the nature or proof of the result. (shrink)

The standard definition of atomicity—the thesis that everything is ultimately composed of entities that lack proper parts—is satisfied by a model that is not atomistic. The standard definition is therefore an incorrect characterization of atomicity. I show that the model satisfies the axioms of all but the strongest mereology and therefore that the standard definition of atomicity is only adequate given some controversial metaphysical assumptions. I end by proposing a new definition of atomicity that does not require extensionality or unrestricted (...) summation. (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)

Are there any things that are such that any things whatsoever are among them. I argue that there are not. My thesis follows from these three premises: (1) There are two or more things; (2) for any things, there is a unique thing that corresponds to those things; (3) for any two or more things, there are fewer of them than there are pluralities of them.

This paper is concerned with the notions of supervenience and mechanistic constitution as they have been discussed in the philosophy of neuroscience. Since both notions essentially involve specific dependence and determination relations among properties and sets of properties, the question arises whether the notions are systematically connected and how they connect to science. In a first step, some definitions of supervenience and mechanistic constitution are presented and tested for logical independence. Afterwards, certain assumptions fundamental to neuroscientific inquiry are made explicit (...) in order to show that the presented definitions of supervenience are virtually uninteresting for theory construction in this field. In a third step, a new formulation of supervenience is developed that makes explicit reference to the notion of constitution and that bridges the gap between the philosophical concepts and explanatory practice in neuroscience. (shrink)

This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical for (...) geographic information processing. The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer verified and the computational representation of the theory is available online. (shrink)

The purpose of this thesis is to demonstrate that metaphysics is a necessary discipline -- necessary in the sense that all areas of philosophy, all areas of science, and in fact any type of rational activity at all would be impossible without a metaphysical background or metaphysical presuppositions. Because of the extremely strong nature of this claim, it is not possible to put forward a very simple argument, although I will attempt to construct one. A crucial issue here is what (...) metaphysics in fact is -- the nature of metaphysics. The conception of metaphysics which I support could be called Aristotelian, as opposed to Kantian: metaphysics is the first philosophy and the basis of all other philosophical and scientific inquiry. I will argue that this is indeed the most plausible conception of metaphysics. (shrink)

Meta-ontology (in van Inwagen's sense) concerns the methodology of ontology, and a controversial meta-ontological issue is to what extent ontology can rely on linguistic analysis while establishing the furniture of the world. This paper discusses an argument advanced by some ontologists (I call them unifiers) against supporters of or coincident entities (I call them multipliers) and its meta-ontological import. Multipliers resort to Leibniz's Law to establish that spatiotemporally coincident entities a and b are distinct, by pointing at a predicate F (...) () made true by a and false by b . Unifiers try to put multipliers in front of a dilemma: in attempting to introduce metaphysical differences on the basis of semantic distinctions, multipliers either (a) rest on a fallacy of verbalism, entailed by a trade-off between a de dicto and a de re reading of modal claims, or (b) beg the question against unifiers by having to assume the distinction between a and b beforehand. I shall rise a tu quoque, showing that unifiers couldn't even distinguish material objects (or events) from the spatiotemporal regions they occupy unless they also resorted to linguistic distinctions. Their methodological aim to emancipate themselves from linguistic analysis in ontological businesses is therefore problematic. (shrink)

In this article, I will focus on the notion of supervenience introduced and deployed by Armstrong. The aim is to settle the issue of whether it has any fruitful applications. My conclusions are negative. Armstrong gives to his notion of supervenience a major explanatory role of telling why one need not consider certain beings as a genuine ontic expansion, if one already assumes a certain meagre set of more basic entities. On closer inspection, however, Armstrong’s notion does not clarify such (...) intuitions any further. The legitimate uses of the notion for the above purpose turn out to be redundant: the concepts of identity and partial identity can be employed instead. (shrink)

I argue that it is intuitive and useful to think about composition in the light of the familiar functionalist distinction between role and occupant. This involves factoring the standard notion of parthood into two related notions: being a parthood slot and occupying a parthood slot. One thing is part of another just in case it fills one of that thing's parthood slots. This move opens room to rethink mereology in various ways, and, in particular, to see the mereological structure of (...) a composite as potentially outreaching the individual entities that are its parts. I sketch one formal system that allows things to have individual entities as parts multiple times over. This is particularly useful to David Armstrong, given Lewis's charge that his structural universals must do exactly that. I close by reflecting upon the nature and point of formal mereology. (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)

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

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)

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.

Are materially constituted entities, such as statues and glasses of liquid, something more than their material constituents? The puzzle that frames this paper stems from conflicting answers to this question. At the core of the paper is a distinctive way of thinking about material constitution that posits two concepts of constitution, compositional and ampliative constitution, with the bulk of the discussion devoted to developing distinct analyses for these concepts. Distinguishing these concepts solves our initial puzzle and enriches the space of (...) possibilities for constitution views. (shrink)

The purpose of this paper is to present a philosophical worldview, specifically metaphysical. This is important precisely to obtain a generalist view of reality, at a time when philosophical discussions are becoming increasingly specialized. The metaphysical worldview presented here is a general perspective on time, space, matter, laws of nature, the mind and the normativity. In order to achieve such goal, (1) we will talk about the nature of philosophy and its relation to the construction of a worldview, (2) we (...) will discuss some arguments to talk about the nature of the aforementioned entities, and (3) we will conclude by presenting a unified metaphysical worldview that takes these arguments into account. (shrink)

This paper provides a new first cause argument by showing that atomism, i.e. the thesis that each composite object is composed of simple objects, together with causalism, understood in this paper as the thesis that every object is a cause or has a cause, logically imply the existence of a first cause if some additional general premises regarding the interplay between parthood, composition and causation are accepted. Thus it is shown that a commitment to atomism, causalism and the additional premises (...) result in a commitment to there being a first cause. (shrink)

The paper presents different arguments against the necessity of mereological universalism. First, it argues that they are examples of a much more general argumentative structure. It then contends that some of these arguments cannot be resisted by distinguishing different variants of universalism that have been recently proposed in the literature—in contrast with recent suggestions to the contrary. Finally, it provides different ways to resist such contingentist arguments on behalf of universalists.

One of the innovative approaches in contemporary philosophical ontology consists in the assumption of a plurality of ontologies based on different metaphysical presuppositions. Such presuppositions involve, among others, the identification of relevant properties for the objects of our domain as a guiding principle in uncovering what it is to be considered intrinsic and what could be the mere effect of selection preferences based on objective or subjective criteria. A remarkable example of the application of a background metaphysical theory in astrophysics (...) is the problem of selection biases in detecting cosmological objects, such as supernovae, galaxies and gamma-ray bursts. We will show that it is valuable to be aware of the importance of uncovering this type of background theory to better understand selection effects and to promote a novel approach in scientific research. (shrink)

This thesis investigates the epistemological and metaphysical relations between chemistry and quantum mechanics. These relations are examined with respect to how chemistry and quantum mechanics each describe a single inert molecule. A review of how these relations are understood in the literature shows that there is a proliferation of positions which focus on how chemistry is separate from quantum mechanics. This proliferation is accompanied by a tendency within the philosophy of chemistry community to connect the legitimacy of the field with (...) the autonomy of chemistry. First, it is argued that this connection should not be made. Secondly, it is argued that chemistry and quantum mechanics are unified in accordance with Harold Kincaid’s model of non-reductive unity because the two theories exhibit particular epistemic and metaphysical interconnections. Thirdly, a metaphysical account is examined which is incompatible with Kincaid’s model of unity; namely strong emergence as understood by Robin Hendry. According to Hendry, the structure of a single inert molecule strongly emerges from its quantum mechanical entities in the sense that there is downward causation. However, Hendry’s defense of this account faces certain problems. Moreover, the putative empirical evidence for his understanding of strong emergence can be explained without invoking strong emergence. This is shown by considering how quantum mechanics assumes an idealized understanding of a molecule’s stability and structure. In the light of the philosophical literature on idealizations, this idealization can be interpreted in two different ways, both of which explain why quantum mechanics describes the structure of a single molecule the way it does, without assuming strong emergence in Hendry’s sense. Each interpretation has philosophical implications regarding the nature of chemical properties, and the relation of chemistry and quantum mechanics. These implications are consistent with Kincaid’s model of unity and thus further support chemistry’s unity with quantum mechanics (as per Kincaid). (shrink)

I argue that Leibniz’s well-known Argument from Unity is equally an argument from plurality. I detail two main claims about plurality that drive the argument, and I provide evidence that they structure Leibniz’s argument from the late 1670s onwards. First, there is what I call Mereological Nihilism (i.e., the claim that a plurality cannot be made into a true unity by any available means). Second, there is what I call the Plurality Thesis (i.e., the claim that matter is a plurality (...) in need of unity in the first place). I suggest that the Plurality Thesis offers a general analysis of materiality that, in some sense, is the most important aspect of Leibniz’s argument. Finally, I connect these claims about plurality to the common 17th & 18th century commitment known as the actual parts doctrine. (shrink)

sProblems about the nature of integral parts and wholes were central to twelfth-century discussions of the individuation and persistence over time of both substances and artifacts. This paper examines in detail Abaelard’s contribution to these discussions arguing that Abaelard proposes a solution to these problems which preserves our common sense intuitions about identity over time. In Abaelard’s work we find an explicit solution to the problem of the identity over time of living things which appeals to the persistence of the (...) vegetative soul through the loss or addition of corporeal matter. In work from the school of the Montani we apparently also have an account of Abaelard’s solution to the problem of the identity over time of artifacts which distinguishes between the role of a part in an integral whole and the material which plays that role such that the role persists when the matter is replaced. (shrink)

Part is not a univocal term. Uses of parthood and composition that do not obey any supplementation principle have a long philosophical tradition and strong support from contemporary physics. We call such uses potential parts. This paper first shows why potential parts are important and incompatible with supplementation, then provides a formal mereology for such parts inspired by the path-integral approach to quantum electrodynamics.

This book is in honour of Professor Anna-Sofia Maurin on her 50th birthday. It consists of eighteen essays on metaphysical issues written by Swedish and international scholars.

After having reconstructed a minimal biological characterisation of species, we endorse an “empirical approach” based on the idea that it is the peculiar evolutionary history of the species at issue—its peculiar origination process, its peculiar metapopulation structure and the peculiar mixture and strength of homeostatic processes vis à vis heterostatic ones—that determines species’ identity at a time and through time. We then explore the consequences of the acceptance of the empirical approach in settling the individuals versus kinds dispute. In particular, (...) while conceptual arguments have been proposed to show that species can be equally treated as individuals and kinds because mereology’s and set-theory’s languages are inter-translatable, we advance instead a causal argument to sustain the claim that each species is both a kind and an individual. (shrink)

A dilemma has stymied interpretations of the Stranger’s method of dividing kinds into subkinds in Plato’sSophistandStatesman. The dilemma assumes that the kinds are either extensions or intensions. Now kinds divide like extensions, not intensions. But extensions cannot explain the distinct identities of kinds that possess the very same members. We propose understanding a kind as like an animal body—the Stranger’s simile for division—possessing both an extension and an intension. We find textual support in the Stranger’s paradigmatic four steps for collecting (...) a subkind. (shrink)

The purpose of this paper is to examine how any domain of Meinongian objects can be structured by a special kind of mereology. The basic definition of this mereology is the following: an object is part of another iff every characteristic property of the former is also a characteristic property of the latter. I will show that this kind of mereology ends up being very powerful for dealing with Meinongian objects. Mereological sums and products are not restricted in any way (...) in a domain of Meinongian objects: there is a sum and a product for any pair of Meinongian objects. With the mereological operations of sum, product and complement, and two special Meinongian objects, we can define a full boolean algebra on Meinongian objects. Moreover, this kind of mereology is atomic and extensional: an atom is a Meinongian object having just one characteristic property and two objects are identical iff the same atoms are parts of both of them. A Meinongian object can finally be defined in mereological terms as the sum of the atoms of its characteristic properties. (shrink)

In this paper, we describe the conceptual elusiveness of the notion of function as used in engineering practice. We argue that it should be accepted as an ambiguous notion, and then review philosophical argumentations in which engineering functions occur in order to identify the consequences of this ambiguity. Function is a key notion in engineering, yet is used by engineers systematically in a variety of meanings. First, we demonstrate that this ambiguous use is rational for engineers by considering the role (...) of functions in design methods and by analysing the ambiguity in terms of Kuhn’s notion of methodological incommensurability. Second, we discuss ontological and mereological analyses of engineering functions and describe a proof that subfunctions cannot formally be taken as parts of the functions they decompose. Engineering functions figure sometimes in philosophical work and are then typically taken as having an unambiguous, well-defined meaning. Finally, we therefore revisit work in philosophy of technology on the dual nature of technical artefacts, in philosophy of science on functional and mechanistic explanations, and in philosophy of biology on biological functions, and explore the consequences of the fact that engineering function is an ambiguous notion. It is argued that one of these consequences may be that also the notion of biological function has an ambiguous meaning. (shrink)