A dilemma put forward by Schein (1993) and Rayo (2002) suggests that, in order to characterize the semantics of plurals, we should not use predicate logic, but plural logic, a formal language whose terms may refer to several things at once. We show that a similar dilemma applies to mass nouns. If we use predicate logic and sets when characterizing their semantics, we arrive at a Russellian paradox. And if we use predicate logic and mereoogical ums, the semantics turns out (...) to be too weak. We then develop an account where mass nouns are treated as non-singular terms. This semantics is faithful to the intuition that, if there are eight pieces of silverware on a table, the speaker refers to eight things at once when he says: "The silverware that is on the table comes from Italy." We show that this account provides a satisfactory semantics for a wide range of sentences. (shrink)

A dilemma put forward by Schein (1993) and Rayo (2002) suggests that, in order to characterize the semantics of plurals, we should not use predicate logic, but non-singular logic, a formal language whose terms may refer to several things at once. We show that a similar dilemma applies to mass nouns. If we use predicate logic and sets, we arrive at a Russellian paradox when characterizing the semantics of mass nouns. Likewise, a semantics of mass nouns based upon predicate logic (...) and mereological sums is too weak, since it cannot characterize the “intermediary” construals that sentences containing mass nouns may receive. We then develop an account where mass nouns are treated as non-singular terms, which may refer to several things at once. This semantics is faithful to the intuition that, if there are eight pieces of silverware on a table, the speaker refers to eight things at once when he says: “The silverware that is on the table comes from Italy”. We show that this account provides a satisfactory semantics for a wide range of sentences, including cases often seen as difficult, like “The gold on the table weighs seven ounces” (Bunt 1985) and “All phosphorus is either red or black” (Roeper 1983). (shrink)

Realists wanting to capture the facts of quantum entanglement in a metaphysical interpretation find themselves faced with several options: to grant some species of fundamental nonseparability, adopt holism, or to view localized spacetime systems as ultimately reducible to a higher-dimensional entity, the quantum state or wave function. Those adopting the latter approach and hoping to view the macroscopic world as grounded in the quantum wave function face the macro-object problem. The challenge is to articulate the metaphysical relation obtaining between three-dimensional (...) macro-objects and the wave function so that the latter may be seen in some sense as constituting the former. This paper distinguishes several strategies for doing so and defends one based on a notion of partial instantiation. (shrink)

Process aspects are prevalent in many domains of reality, and consciousness is no exception. Nevertheless, while the processual approach implicitly underlies the theories of consciousness, an explicit statement of the question is scarcely found in the literature. This paper tries to bridge this gap. Here, I argue that conscious experience fulfils all the requirements for a processual analysis: it is complex, functionally/causally determined, and has a temporal basis. Then, I revisit an old concept, self-transformative processes, which refers to processes that (...) change themselves. These processes are very common. A stretched bow is the classical Heraclitean example. However, it is easy to misunderstand what self-transformativeness is. To provide a well-formed description, I characterize self-transformative processes in terms of composition (using a non-classic mereology) and in terms of functionality (by developing the concept of self-modulating variables). Finally, I apply self-transformative processes to explain consciousness. Traces of self-transformativeness can be found in many theories of consciousness, particularly when they are stressed about their internal mechanisms. Here, I focus on Integrated Information Theory as a paradigmatic example of a mathematically well-described theory, and I demonstrate that quantitative self-transformativeness is a requirement at the very core of the integration of the information. (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)

In recent work, the interrelated questions of whether there is a fundamental level to reality, whether ontological dependence must have an ultimate ground, and whether the monist thesis should be endorsed that the whole universe is ontologically prior to its parts have been explored with renewed interest. Jonathan Schaffer has provided arguments in favour of 'priority monism' in a series of articles (2003, 2004, 2007a, 2007b, forthcoming). In this paper, these arguments are analysed, and it is claimed that they are (...) not compelling: in particular, the possibility that there is no ultimate level of basic entities that compose everything else is on a par with the possibility of infinite 'upward' complexity. The idea that we must, at any rate, postulate an ontologically fundamental level for methodological reasons ( Cameron 2008 ) is also discussed and found unconvincing: all things considered, there may be good reasons for endorsing 'metaphysical infinitism'. In any event, a higher degree of caution in formulating metaphysical claims than found in the extant literature appears advisable. (shrink)

We explore the integrated structure of consciousness by examining the “phenomenological axioms” of the “integrated information theory of consciousness ” from the perspective of Husserlian phenomenology. After clarifying the notion of phenomenological axioms by drawing on resources from Edmund Husserl and Maurice Merleau-Ponty, we develop a critique of the integration axiom by drawing on phenomenological analyses developed by Aron Gurwitsch and Merleau-Ponty. This axiom is ambiguous. It can be read either atomistically as claiming that the phenomenal content of conscious experience (...) is an integrated complex and holistically as claiming that it is an integrated Gestalt. We argue that the latter reading provides a better characterization of the internal structure of the phenomenal content. Furthermore, the integrated structure of consciousness is not confined to the phenomenal content, but it also extends into the subjective attitude. Subjective attitudes and phenomenal contents are interdependent constituents that jointly make up conscious experiences. This implies a novel theoretical challenge to the scientific component of IIT, which is to explain how to accommodate the subjective dimension of consciousness into its explanatory scope. IIT can respond in a few different ways, but most importantly, it cannot just ignore it once and for all. As one possible way to address the challenge, we propose introducing a novel construct, noetic complex, to develop a fine-grained model of the neural underpinning of consciousness. (shrink)

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)

Compliments have received only cursory attention from speech act theorists and are usually characterised as run-of-the-mill illocutionary acts. Yet both intentionalist and conventionalist theories of illocutionary force struggle to accommodate ordinary language uses of ‘compliment’. I argue that this is because there are in fact two kinds of compliment: illocutionary compliments and perlocutionary compliments. This account illuminates the practice of complimenting, as well as its converse, insulting, and illustrates the complex relationship between illocutionary force and perlocutionary effect.

In this paper, I argue that Spinoza holds a perspectivalist view of mereological composition, a form of anti-realism. The paper has two parts: In the first half of the paper, I introduce interpretive puzzles for the standard realist reading of Spinoza’s mereology. In the second half of the paper, I discuss Spinoza’s positive view on mereological composition and present a perspectivalist reading that avoids the interpretive puzzles.

This paper defends the possibility of admitting occurrents in a presentist ontology. Two ways of doing so are proposed, the first one involves Meinongian presentism. By using the notion of non-existent object and coherently modifying some mereological principle, it is argued, the presentist can allow for occurrents. The second proposal involves ex-concrete objects. Ex-concrete objects, i.e. objects that are contingently not concrete, have been used by Linsky and Zalta, 431-458, 1994), Williamson in the modal metaphysics debate, by Orilia, 589-607, 2016) (...) in the presentism-eternalism debate, and by Longenecker, 5091-5111, 2018) in the debate about material constitution. I argue that, just by admitting ex-concrete objects, it is possible to have occurrents even for the presentist. Of course, in order to do so we must modify our definitions of occurrent and continuant. Nevertheless, I argue that my theory is metaphysically sound, at least for the presentist persuaded by the intuitive claim that there are occurrents, which otherwise she must reject. (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)

The paper explores the proof theory of non-wellfounded mereology with binary fusions and provides a cut-free sequent calculus equivalent to the standard axiomatic system.

Two mereological theories are presented based on a primitive apartness relation along with binary relations of mereological excess and weak excess, respectively. It is shown that both theories are acceptable from the standpoint of constructive reasoning while remaining faithful to the spirit of classical mereology. The two theories are then compared and assessed with regard to their extensional import.

In this thesis I argue against unrestricted mereological hybridism, the view that there are absolutely no constraints on wholes having parts from many different logical or ontological categories, an exemplar of which I take to be ‘mixed fusions’. These are composite entities which have parts from at least two different categories – the membered (as in classes) and the non-membered (as in individuals). As a result, mixed fusions can also be understood to represent a variety of cross-category summation such as (...) the abstract with the concrete, the physical with the non-physical, and the possible with the impossible, just to name a few. -/- Proposed by David Lewis (1991) alongside his defence of classical mereology (the major theory of parthood which permits such transcategorial composites through its principle of unrestricted composition) it is my contention that mixed fusions are an under-examined consequence of indiscriminate mereological fusion which harbour a multitude of complications. In my attempt to discern their substantive character, throughout this thesis I make a case study of mixed fusions and uncover several problematic consequences which I think follow from their most plausible assessment. -/- These include: (1) that mixed fusions’ probable membership relations may lead to dubious foundational loops in the mereological Universe, or (2) otherwise that mixed fusions oblige an implausible ontological priority of the mereological Universe as a whole; (3) that mixed fusions contradict the reductive account of set theory they are proposed within, by plausibly being seen to have the same members as their class parts, and (4) that mixed fusions therefore confound a mereological thesis of Composition as Identity, which some (including Lewis) use to support classical mereology – a consequence which is potentially self-defeating; (5) that mixed fusions as sums of abstract and concrete entities both subvert Lewis’s (1986) system of modal realism, while (6) also undermining less expansive theories of possible worlds; and finally, (7) that even where some of the foregoing is resisted, it remains implausible that mixed fusions are ontologically innocent, because their supposed distinction from their parts in this case ensures that they need to be counted as additional entities in one’s ontology. -/- To be clear, I do not advance a theory of mereological hybrid nihilism in the sense of denying all cases of transcategorial composition. (I only cover a few select instances of mereological hybridism via mixed fusions after all.) Rather, I deny that mereological hybridism is plausible in full generality, by demonstrating that any cases of it are at least limited by the constraints that I identify. This in turn vindicates a call for a restriction on parthood theories and composition principles which allow certain types of categorially mixed entities – including restricting classical mereology with its principle of unrestricted composition. -/- Although theories of parthood like the standard classical mereology are not ordinarily developed for the sake of mereological hybrids like mixed fusions, these and other transcategorial composites are still among the logical consequences of such parthood systems operating with sufficient generality. The significance of my thesis, then, comes from showcasing how some of these kinds of entities do not conform to the systems in which they are included as required, and hence I argue for the rejection of unrestricted mereological hybridism as well as any mereological principles which support it. (shrink)

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)

As formal theoretical linguistic methodology has matured, recent years have seen the advent of applying it to objects of study that transcend language, e.g., to the syntax and semantics of music (Lerdahl & Jackendoff 1983, Schlenker 2017a; see also Rebuschat et al. 2011). One of the aims of such extensions is to shed new light on how meaning is construed in a range of communicative systems. In this paper, we approach this goal by looking at narrative dance in the form (...) of Bharatanatyam. We argue that a semantic approach to dance can be modeled closely after the formal semantics of visual narrative proposed by Abusch (2013, 2014, 2021). A central conclusion is that dance not only shares properties of other fundamentally human means of expression, such as visual narrative and music, but that it also exhibits similarities to sign languages and the gestures of non-signers (see, e.g., Schlenker 2020) in that it uses space to track individuals in a narrative and performatively portray the actions of those individuals. From the perspective of general human cognition, these conclusions corroborate the idea that linguistic investigations beyond language (see Patel-Grosz et al. forthcoming) can yield insights into the very nature of the human mind and of the communicative devices that it avails. (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)

In this paper, I aim to make two general points. First, I claim that the discussions in Repetti (2017) assume different, sometimes conflicting, notions of free will, so the guiding question of the book is not as clear as it could be. Second, according to Buddhist tradition, the path to enlightenment requires rejecting the delusional belief in the existence of a persisting self. I claim that if there is no persisting self, there are no intentional actions; and, if there are (...) no intentional actions, there is no hope for Buddhist enlightenment. Thus, rejecting the allegedly delusional belief in a persisting self has disastrous consequences, both for the existence of intentional action and for Buddhist soteriology. (shrink)

One of the relations used with granularity is indistinguishability, where distinguishable entities in a finer-grained granule are indistinguishable in a coarser-grained granule. This relation is a subtype of equivalence relation, which is used in the other direction to create finer-grained granules. Together with the notion of similarity, we formally prove some intuitive properties of the indistinguishability relation for both qualitative and quantitative granularity, that with a given granulation there must be at least two granules (levels of granularity) for it to (...) be granular, and derive a strict order between finer and coarser granules. Based on these results, granulation hierarchy is defined as extra assisting structure to augment implementations. (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 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)

Megethology is the second-order theory of the part-whole relation developed by David Lewis, and it is obtained by combining plural quantification with classical extensional mereology. It can express some hypotheses about the size of the domain such as that there are inaccessibly many atoms. This will prove enough to get the orthodox set theory. Then, megethology is a possible foundation for mathematics. This paper is an introduction to megethology.

There are many different ways to talk about the world. Some ways of talking are more expressive than others—that is, they enable us to say more things about the world. But what exactly does this mean? When is one language able to express more about the world than another? In my dissertation, I systematically investigate different ways of answering this question and develop a formal theory of expressive power, translation, and notational variance. In doing so, I show how these investigations (...) help to clarify the role that expressive power plays within debates in metaphysics, logic, and the philosophy of language. (shrink)

Abstract: Friends of plural logic—like Oliver & Smiley (2001), Rayo (2002), Yi (2005), and McKay (2006)—have argued that a semantics of plurals based on mereological sums would be too weak, and they have adduced several examples in favor of their claim. However, they have not considered various possible counter-arguments. So how convincing are their own arguments? We show that several of them are easily answered, while some others are more problematic. Overall, the case against mereological singularism—the idea that mereological sums (...) can serve as the semantic values of plurals—turns out to be much less strong than what it is usually presented to be. (shrink)

This thesis is composed of three essays on the perdurantist approach to persistence and identity over time. In Chapter 1, I discuss how the following papers are to be understood as parts of a unified perdurantist account of persistence over time. This chapter also outlines some of my philosophical assumptions and provides some background information about the metaphysics of persistence. In Chapter 2, I respond to the objection that the worm theory is unable to account for our intuitions about ordinary (...) counting sentences. I do this by invoking the standard linguistic phenomenon of covert quantifier domain restriction and supplementing the worm theory with situation semantics. My version of the worm theory makes our intuitive judgements come out true, and it does so well enough that there is no need to adopt the stage theory or revisionary theories of counting. Furthermore, my version of the worm theory offers a unified account of event- and object-related counting. Chapter 3 focuses on a commonly neglected difference between different kinds of perdurantism, which are differences in mereological priority. I discuss three different views: parts-first perdurantism, no-priority perdurantism, and wholes-first perdurantism. I briefly outline all three views and some of the motivations for each of them. I fend off objections from and motivations for no-priority perdurantism. I also contend that intraperdurantist debates about phenomenology ought not to be framed with respect to these forms of perdurantism. Instead, I suggest that the relativity of simultaneity presents an interesting scenario for parts-first and wholes-first perdurantists. I respond to Thomas Pashby’s arguments against the doctrine of temporal parts in Chapter 3. Pashby argues that metaphysicians ought to give an account of how quantum systems persist over time and that nonrelativistic quantum mechanics is incompatible with perdurantism. I contend that his arguments rely on controversial, non-standard assumptions about the existence and importance of time observables. I demonstrate that perdurantists have no problem giving an account of how quantum systems persist over time in reference to an external time parameter. Finally, I conclude with a summary of my arguments and some thoughts about directions for future research. (shrink)

What is the proper metaphysics of quantum mechanics? In this dissertation, I approach the question from three different but related angles. First, I suggest that the quantum state can be understood intrinsically as relations holding among regions in ordinary space-time, from which we can recover the wave function uniquely up to an equivalence class (by representation and uniqueness theorems). The intrinsic account eliminates certain conventional elements (e.g. overall phase) in the representation of the quantum state. It also dispenses with first-order (...) quantification over mathematical objects, which goes some way towards making the quantum world safe for a nominalistic metaphysics suggested in Field (1980, 2016). Second, I argue that the fundamental space of the quantum world is the low-dimensional physical space and not the high-dimensional space isomorphic to the ``configuration space.'' My arguments are based on considerations about dynamics, empirical adequacy, and symmetries of the quantum mechanics. Third, I show that, when we consider quantum mechanics in a time-asymmetric universe (with a large entropy gradient), we obtain new theoretical and conceptual possibilities. In such a model, we can use the low-entropy boundary condition known as the Past Hypothesis (Albert, 2000) to pin down a natural initial quantum state of the universe. However, the universal quantum state is not a pure state but a mixed state, represented by a density matrix that is the normalized projection onto the Past Hypothesis subspace. This particular choice has interesting consequences for Humean supervenience, statistical mechanical probabilities, and theoretical unity. (shrink)

Since Peter van Inwagen in his book Material Beings raised The Special Composition Question, many lines have been written about the conditions for two or more material objects to compose a further object. This paper proposes a study of the relationship between composition and the notion of boundary. The question about composition entails drawing a boundary to determine when it occurs and when it does not. There are three traditional answers: restrictivism, universalism, and nihilism. While according to restrictivism, composition occurs (...) occasionally, according to universalism and nihilism, it occurs either always or never respectively. Nonetheless, despite the opposition of these two answers, both have a common target: to avoid the existence of ontologically vague boundaries for material composition. Thus, how a boundary is drawn will determinewhat kind of things we accept as components of the world. (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.

The debate about the ontological innocence of mereology has generally been framed as a debate about the plausibility of Universal Fusion. Ontologically loaded fusions must be more than the sum of their parts, and this seems to violate parsimony if fusion is universal. Less attention has been paid to the question of what sort of emergence mereological fusions must exhibit if they are irreducible to their parts. The philosophy of science literature provides several models of such strong emergence. Examining those (...) models suggests that the difficulty with emergent fusions has at least as much to do with extensionality as it does with Universal Fusion. Some accounts of emergence fail to ensure irreducibility when combined with extensional mereologies. The most promising model for the strong emergence of ontologically loaded fusions fails to validate Anti-Symmetry, which naturally leads to failures of extensionality. These results suggest that the focus on Universal Fusion may have been misplaced. (shrink)

It is notoriously difficult to define Metaphysics1, its content, its method, its language, its scope. Thus I will not even try an attempt here. I will rest content to point out some widely held characterizations. A long and highly influential tradition maintains that Metaphysics is the study of being qua being. It is concerned with what there is, what kind of things are the things that there are, what properties do they have, how they are related. In this sense Metaphysics (...) deals with the more general features of reality, the most fundamental categories of being. Call this tradition General Metaphysics. (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)

Ontology as a branch of philosophy is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality. ‘Ontology’ is often used by philosophers as a synonym for ‘metaphysics’ (literally: ‘what comes after the Physics’), a term which was used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’. The term ‘ontology’ (or ontologia) was itself coined in 1613, independently, by two philosophers, Rudolf Göckel (...) (Goclenius), in his Lexicon philosophicum and Jacob Lorhard (Lorhardus), in his Theatrum philosophicum. The first occurrence in English recorded by the OED appears in Bailey’s dictionary of 1721, which defines ontology as ‘an Account of being in the Abstract’. (shrink)

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.

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)

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)

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.

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.

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.

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)

Graham Priest has recently proposed a solution to the problem of the One and the Many which involves inconsistent objects and a non-transitive identity relation. We show that his solution entails either that the object everything is identical with the object nothing or that they are mutual parts; depending on whether Priest goes for an extensional or a non-extensional mereology.

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)

According to a common definition, the argument of truthful ones is an argument in which the existence of Necessary Being is proved with no presumption of the existence of the possible being. Avicenna proposed different versions of this style of argument and the version in the book of Nejat is one of them. This paper is intended to examine the possibility of proving the logical validity of this version in first-order predicate logic and explain the principles which the argument is (...) based on. In this way, it becomes clear to what extent Avicenna's version is in accordance with the criteria he himself introduces for the argument of truthful ones. In this respect, while providing a clear exposition of the version in the book of Nejat, bugs on some of the statements and proposals to obviate them in terms of replacement arises. Then explaining the concepts and premises which the argument in the book of Nejat is besed on, it is formulated in first-order predicate logic with its full proof. Finally, the proposed model's accordance with the presented criteria for the argument of truthful ones will be shown. (shrink)