Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go (...) hand-in-hand, and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

On March 14-15, 2006, at the US National Institute of Standards and Technology (NIST) in Gaithersburg, MD there took place the first Upper Ontology Summit (UOS). This was a convening of custodians of several prominent upper ontologies, key technology participants, and interested other parties, with the purpose of finding a means to relate the different ontologies to each other. The result is reflected in a joint communiqué, directed to the larger ontology community and the general public, (...) and expressing a joint intent to build bridges among the existing upper ontologies in ways designed to increase and rationalize their utilization and to enhance their semantic interoperability. (shrink)

In his “Bridging mainstream and formal ontology”, Augusto (2021) gives an excellent analysis of Dietrich von Freiberg’s idea of using causality as a partitioning principle for upper ontologies. For this Dietrich’s notion of extrinsic principles is crucial. The question whether causation can and indeed should be used as a partitioning principle for ontologies is discussed using mathematics and physics as examples.

Changes in an upper level ontology have obvious conse-quences for the domain ontologies that use it at lower levels. It is therefore crucial to document the changes made between successive versions of ontologies of this kind. We describe and apply a method for tracking, explaining and measuring changes between successive versions of upper level ontologies such as the Basic Formal Ontology (BFO). The proposed change-tracking method extends earlier work on Realism-Based Ontology Versioning (RBOV) and Evolutionary (...) Terminology Auditing (ETA). We describe here the application of this evaluation method to changes between BFO 1.0, BFO 1.1, and BFO 2.0. We discuss the issues raised by this application and describe the extensions which we added to the original evaluation schema in order to account for changes in an ontology of this type. Our results show that BFO has undergone eight types of changes that can be systematically explained by the extended evaluation schema. Finally, we discuss problematic cases, possible pitfalls and certain limits of our study that we propose to address in future work. (shrink)

Preference relations are intensively studied in Economics, but they are also approached in AI, Knowledge Representation, and Conceptual Modelling, as they provide a key concept in a variety of domains of application. In this paper, we propose an ontological foundation of preference relations to formalise their essential aspects across domains. Firstly, we shall discuss what is the ontological status of the relata of a preference relation. Secondly, we investigate the place of preference relations within a rich taxonomy of relations (e.g. (...) we ask whether they are internal or external, essential or contingent, descriptive or nondescriptive relations). Finally, we provide an ontological modelling of preference relation as a module of a foundational (or upper) ontology (viz. OntoUML). The aim of this paper is to provide a sharable foundational theory of preference relation that foster interoperability across the heterogeneous domains of application of preference relations. (shrink)

Basic Formal Ontology was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object.

Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an initiative to create a suite of ontologies to support digital manufacturing on the part of representatives from a number of branches of the advanced manufacturing industries. We here present a first draft set of axioms and definitions of an IOF upper (...) class='Hi'>ontology descending from BFO. The axiomatization is designed to capture the meanings of terms commonly used in manufacturing and is designed to serve as starting point for the construction of the IOF ontology suite. (shrink)

This paper addresses the use of dispositions in the Infectious Disease Ontology (IDO). IDO is an ontology constructed according to the principles of the Open Biomedical Ontology (OBO) Foundry and uses the Basic Formal Ontology (BFO) as an upper ontology. After providing a brief introduction to disposition types in BFO and IDO, we discuss three general techniques for representing combinations of dispositions under the headings blocking dispositions, complementary dispositions, and collective dispositions. Motivating examples for (...) each combination of dispositions is given along with a specific use case in IDO. Description logic restrictions are used to formalize statements relating to these combinations. (shrink)

Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general, domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, which is intended to be the basis of a knowledge modelling language GOL (for: 'General Ontological Language'). It turns out that the upper- level ontology underlying standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of (...) sets. Set theory has considerable mathematical power and great flexibility as a framework for modelling different sorts of structures. At the same time it has the disadvantage that sets are abstract entities (entities existing outside the realm of time, space and causality), and thus a set-theoretical framework should be supplemented by some other machinery if it is to support applications in the ripe, messy world of concrete objects. In the present paper we partition the entities of the real world into sets and urelements, and then we introduce several new ontological relations between these urelements. In contrast to standard modelling and representation formalisms, the concepts of GOL provide a machinery for representing and analysing such ontologically basic relations. (shrink)

Although the last decade has seen a proliferation of ontological approaches to arguments, many of them employ ad hoc solutions to representing arguments, lack interoperability with other ontologies, or cover arguments only as part of a broader approach to evidence. To provide a better ontological representation of arguments, we present the Arguments Ontology (ArgO), a small ontology for arguments that is designed to be imported and easily extended by researchers who work in different upper-level ontology frameworks, (...) different logics, and different approaches to argument evaluation. Unlike most ontological approaches to arguments, ArgO utilizes Basic Formal Ontology (BFO) as an upper-level ontology, and may be used alongside other commonly used ontologies in the BFO framework, including boththe Information Artifact Ontology (IAO), and the Information Entity Ontology (INFO). Critically, our proposal is principled, based on rigorous definitions and formal axioms out of which characterizations of arguments naturally fall. It is our hope that ArgO may assist researchers in many projects, including: integrating heterogeneous sources of evidence, structuring the content of semantic wikis, and enhancing semantic reasoning. (shrink)

Affective science conducts interdisciplinary research into the emotions and other affective phenomena. Currently, such research is hampered by the lack of common definitions of te rms used to describe, categorise and report both individual emotional experiences and the results of scientific investigations of such experiences. High quality ontologies provide formal definitions for types of entities in reality and for the relationships between such entities, definitions which can be used to disambiguate and unify data across different disciplines. Heretofore, there has been (...) little effort directed towards such formal representation for affective phenomena, in part because of widespread debates within the affective science community on matters of definition and categorization. We describe our efforts towards developing an Emotion Ontology (EMO) to serve the affective science community. We here focus on conformity to the BFO upper ontology and disambiguation of polysemous terminology. (shrink)

The world of ontology development is full of mysteries. Recently, ISO Standard 15926 (“Lifecycle Integration of Process Plant Data Including Oil and Gas Production Facilities”), a data model initially designed to support the integration and handover of large engineering artefacts, has been proposed by its principal custodian for general use as an upper level ontology. As we shall discover, ISO 15926 is, when examined in light of this proposal, marked by a series of quite astonishing defects, which (...) may however provide general lessons for the developers of ontologies in the future. (shrink)

Background: Systematized Nomenclature of Medicine—Clinical Terms (SNOMED CT, hereafter abbreviated SCT) is acomprehensive medical terminology used for standardizing the storage, retrieval, and exchange of electronic healthdata. Some efforts have been made to capture the contents of SCT as Web Ontology Language (OWL), but theseefforts have been hampered by the size and complexity of SCT. Method: Our proposal here is to develop an upper-level ontology and to use it as the basis for defining the termsin SCT in a (...) way that will support quality assurance of SCT, for example, by allowing consistency checks ofdefinitions and the identification and elimination of redundancies in the SCT vocabulary. Our proposed upper-levelSCT ontology (SCTO) is based on the Ontology for General Medical Science (OGMS). Results: The SCTO is implemented in OWL 2, to support automatic inference and consistency checking. Theapproach will allow integration of SCT data with data annotated using Open Biomedical Ontologies (OBO) Foundryontologies, since the use of OGMS will ensure consistency with the Basic Formal Ontology, which is the top-levelontology of the OBO Foundry. Currently, the SCTO contains 304 classes, 28 properties, 2400 axioms, and 1555annotations. It is publicly available through the bioportal athttp://bioportal.bioontology.org/ontologies/SCTO/. Conclusion: The resulting ontology can enhance the semantics of clinical decision support systems and semanticinteroperability among distributed electronic health records. In addition, the populated ontology can be used forthe automation of mobile health applications. (shrink)

Mental and behavioral disorders represent a significant portion of the public health burden in all countries. The human cost of these disorders is immense, yet treatment options for sufferers are currently limited, with many patients failing to respond sufficiently to available interventions and drugs. High quality ontologies facilitate data aggregation and comparison across different disciplines, and may therefore speed up the translation of primary research into novel therapeutics. Realism-based ontologies describe entities in reality and the relationships between them in such (...) a way that – once formulated in a suitable formal language – the ontologies can be used for sophisticated automated reasoning applications. Reference ontologies can be applied across different contexts in which different, and often mutually incompatible, domain-specific vocabularies have traditionally been used. In this contribution we describe the Mental Functioning Ontology (MF) and Mental Disease Ontology (MD), two realism-based ontologies currently under development for the description of humanmental functioning and disease. We describe the structure and upper levels of the ontologies and preliminary application scenarios, and identify some open questions. (shrink)

This paper proposes a reformulation of the treatment of boundaries, at parts and aggregates of entities in Basic Formal Ontology. These are currently treated as mutually exclusive, which is inadequate for biological representation since some entities may simultaneously be at parts, boundaries and/or aggregates. We introduce functions which map entities to their boundaries, at parts or aggregations. We make use of time, space and spacetime projection functions which, along the way, allow us to develop a simple temporal theory.

We propose a modular ontology of the dynamic features of reality. This amounts, on the one hand, to a purely spatial ontology supporting snapshot views of the world at successive instants of time and, on the other hand, to a purely spatiotemporal ontology of change and process. We argue that dynamic spatial ontology must combine these two distinct types of inventory of the entities and relationships in reality, and we provide characterizations of spatiotemporal reasoning in the (...) light of the interconnections between them. (shrink)

Numerous research groups are now utilizing Basic Formal Ontology as an upper-level framework to assist in the organization and integration of biomedical information. This paper provides elucidation of the three existing BFO subcategories of realizable entity, namely function, role, and disposition. It proposes one further sub-category of tendency, and considers the merits of recognizing two sub-categories of function for domain ontologies, namely, artifactual and biological function. The motivation is to help advance the coherent ontological treatment of functions, roles, (...) and dispositions, to help provide the potential for more detailed classification, and to shed light on BFO’s general make-up and use. (shrink)

The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Rapid, accurate, and consistent interpretation of generated data is thereby of fundamental concern. Ontologies––structured, controlled, vocabularies––are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the COVID-19 research domain, by following principles of the Open Biological and Biomedical Ontology (OBO) Foundry and by reusing existing ontologies such as the Infectious Disease (...) Ontology (IDO) Core, which provides terminological content common to investigations of all infectious diseases. We report here on the development of an IDO extension, the Virus Infectious Disease Ontology (VIDO), a reference ontology covering viral infectious diseases. We motivate term and definition choices, showcase reuse of terms from existing OBO ontologies, illustrate how ontological decisions were motivated by relevant life science research, and connect VIDO to the Coronavirus Infectious Disease Ontology (CIDO). We next use terms from these ontologies to annotate selections from life science research on SARS-CoV-2, highlighting how ontologies employing a common upper-level vocabulary may be seamlessly interwoven. Finally, we outline future work, including bacteria and fungus infectious disease reference ontologies currently under development, then cite uses of VIDO and CIDO in host-pathogen data analytics, electronic health record annotation, and ontology conflict-resolution projects. (shrink)

This work aims to present an overview of the top-level ontology BFO - Basic Formal Ontology - and its applicability for Satellite Systems. As an upper level ontology, the BFO was designed to be extended, providing the basis for the specification of detailed representational artifacts about scientific information domains. These aspects and the challenges of satellite systems complexity and large size compose a suitable scenario for the creation of a specialized dialect to improve efficiency and accuracy (...) when modeling such systems. By analyzing BFO based ontologies in other disciplines and existing satellite models it is possible to describe an application for satellite systems, which can provide a foundation for the creation of a concrete ontology to be applied on satellite modeling. (shrink)

A condensed summary of the adventures of ideas (1990-2020). Methodology of evolutionary-phenomenological constitution of Consciousness. Vector (BeVector) of Consciousness. Consciousness is a qualitative vector quantity. Vector of Consciousness as a synthesizing category, eidos-prototecton, intentional meta-observer. The development of the ideas of Pierre Teilhard de Chardin, Brentano, Husserl, Bergson, Florensky, Losev, Mamardashvili, Nalimov. Dialectic of Eidos and Logos. "Curve line" of the Consciousness Vector from space and time. The lower and upper sides of the "abyss of being". The existential tension (...) of being. Five reference “points” (existential-extremum) - world events in the evolution of Consciousness from “homo habilis” to “homo sapiens sapiens”. “Prometheus Effect". Inversion and reversion of Сonsciousness. "Open" and "closed" Сonsciousness. Consciousness and Self-Consciousness. Protogeometer: fall in the future, in the "EgoLand". The problem of justification/substantiation of mathematics (knowledge) is an ontological problem. The crisis of ontology and ontological limits of cognition. Ontological structure of space. The project of constructive dialectic ontology. The methodology of dialectical-ontological construction (modeling): conceptual-figure synthesis, total unification of matter, coincidence of ontological opposites, primordial Meta-Axioma and Superprinciple, vector (bivector) of the absolute state (states) of matter (absolute forms of existence). The ontological "celestial triangle" (Plato). Ontological invariants of the Universum and their ontological paths. Ontological and gnoseological dimensions of space. Triune (ontological) space of nine gnoseological dimensions: absolute rest (linear state, "Continuum")+ absolute motion (absolute vortex, "Discretuum") + absolute becoming (absolute wave, "Dis-Continuum"). Primordial generating structure: ontological framework, ontological carcass and ontological foundation. Ontological (structural, cosmic) memory - the semantic core of the conceptual construction of the Universum being as an eternal process of generation of new meanings and structures. Consciousness is an absolute (unconditional) attractor of meanings, a univalent phenomenon of ontological memory, which manifests itself at a certain level of the Universum being. Ontological space-MatterMemory-Ontological time (S-MM-T). Ontological Rhythm and Cycle. The nature and structure of ontological time. Natural (absolute) determinism. (shrink)

This monograph investigates the temporal interpretation of narrative discourse in two parts. The theme of the first part is narrative progression. It begins with a case study of the adverb ‘now’ and its interaction with the meaning of tense. The case study motivates an ontological distinction between events, states and times and proposes that ‘now’ seeks a prominent state that holds throughout the time described by the tense. Building on prior research, prominence is shown to be influenced by principles of (...) discourse coherence and two coherence principles, NARRATION and RESULT, are given a formally explicit characterization. The key innovation is a new method for testing the definitional adequacy of NARRATION and RESULT, namely by an abductive argument. This contribution opens a new way of thinking about how eventive and stative descriptions contribute to the perceived narrative progression in a discourse. -/- The theme of the second part of the monograph is the semantics and pragmatics of tense. A key innovation is that the present and past tenses are treated as scalar alternatives, a view that is motivated by adopting a particular hypothesis concerning stative predication. The proposed analysis accounts for tense in both matrix clauses and in complements of propositional attitudes, where the notorious double access reading arises. This reading is explored as part of a corpus study that provides a glimpse of how tense semantics interacts with Gricean principles and at-issueness. Several cross-linguistic predictions of the analysis are considered, including their consequences for the Sequence of Tense phenomenon and the Upper Limit Constraint. Finally, a hypothesis is provided about how tense meanings compose with temporal adverbs and verb phrases. Two influential analysis of viewpoint aspect are then compared in light of the hypothesis. (shrink)

Functional reductionism characterises inter-theoretic reduction as the recovery of the upper-level behaviour described by the reduced theory in terms of the lower-level reducing theory. For instance, finding a statistical mechanical realiser that plays the functional role of thermodynamic entropy allows for establishing a reductive link between thermodynamics and statistical mechanics. This view constitutes a unique approach to reduction that enjoys a number of positive features, but has received limited attention in the philosophy of science. -/- This paper aims to (...) clarify the meaning of functional reductionism in science, with a focus on physics, to define both its place with respect to other approaches to reduction and its connection to ontology. To do so, we develop and explore two alternative frameworks for functional reduction, called Syntactic Functional Reductionism and Semantic Functional Reductionism. They represent two different possible stances on the view that expand and improve the basic functional reductionist approach along different lines, and make clear how the approach works in practice. The former elaborates on David Lewis’ account, is connected with the syntactic view of theories, is committed to a logical characterisation of functional roles, and is embedded within Nagelian reductionism. The latter adopts a semantic view of theories, spells out functional roles mainly in terms of mathematical roles within the models of theories, and is expressed in terms of the related structuralist approach to reduction. The development of these frameworks has the final goal of advancing functional reductionism, to make it a fully-fledged alternative account for reduction in science. (shrink)

Extended entities have boundaries of two different sorts: those that do, and those that do not correspond to physical discontinuities. Call the first sort (coastlines, the surface of your nose) bona fide boundaries; and the second (the boundary of Montana, the boundary separating your upper from your lower torso) fiat boundaries. Fiat boundaries are found especially in the geographic realm, but are involved wherever language carves out portions of reality in ways which do not reflect physical discontinuities. These ideas (...) are applied to the treatment of cognitive categorization, of the semantics of vagueness, of Quine’s indeterminacy thesis, and of standard ontological problems such as Tibbles’ tail. (shrink)

John Bell proposed an ontology for the GRW modification of quantum mechanics in terms of flashes occurring at space- time points. This article spells out the motivation for this ontology, inquires into the status of the wave function in it, critically examines the claim of its being Lorentz invariant, and considers whether it is a parsimonious but nevertheless physically adequate ontology.

Individualists about social ontology hold that social facts are “built out of” facts about individuals. In this paper, I argue that there are two distinct kinds of individualism about social ontology, two different ways individual people might be the metaphysical “builders” of the social world. The familiar kind is ontological individualism. This is the thesis that social facts supervene on, or are exhaustively grounded by, facts about individual people. What I call anchor individualism is the alternative thesis that (...) facts about individuals put in place the conditions for a social entity to exist, or the conditions for something to have a social property. Examples include conventionalist theories of the social world, such as David Hume’s theories of promises, money, and government, and collective acceptance theories, such as John Searle’s theory of institutional facts. Anchor individualism is often conflated with ontological individualism. But in fact, the two theses are in tension with one another: if one of these kinds of individualism is true, then the other is very unlikely to be. My aim in this paper is to clarify both, and argue that they should be sharply distinguished from one another. (shrink)

We begin by describing recent developments in the burgeoning discipline of applied ontology, focusing especially on the ways ontologies are providing a means for the consistent representation of scientific data. We then introduce Basic Formal Ontology (BFO), a top-level ontology that is serving as domain-neutral framework for the development of lower level ontologies in many specialist disciplines, above all in biology and medicine. BFO is a bicategorial ontology, embracing both three-dimensionalist (continuant) and four-dimensionalist (occurrent) perspectives within (...) a single framework. We examine how BFO-conformant domain ontologies can deal with the consistent representation of scientific data deriving from the measurement of processes of different types, and we outline on this basis the first steps of an approach to the classification of such processes within the BFO framework. (shrink)

In this paper I examine Grace A. de Laguna’s theory of universals in its historical context and in relation to contemporary debates in analytic metaphysics. I explain the central features of her theory, arguing that her theory should be classified as a form of immanent realism and as a powers ontology. I then show in what ways her theory affords a theory of modality in terms of potentialities and discuss some of its consequences along the way.

Debunking arguments typically attempt to show that a set of beliefs or other intensional mental states bear no appropriate explanatory connection to the facts they purport to be about. That is, a debunking argument will attempt to show that beliefs about p are not held because of the facts about p. Such beliefs, if true, would then only be accidentally so. Thus, their causal origins constitute an undermining defeater. Debunking arguments arise in various philosophical domains, targeting beliefs about morality, the (...) existence of God, logic, and others. They have also arisen in material-object metaphysics, often aimed at debunking common-sense ontology. And while most of these arguments feature appeals to ‘biological and cultural contingencies’ that are ostensibly responsible for our beliefs about which kinds of objects exist, few of them take a serious look at what those contingencies might actually be. The purpose of this paper is twofold. First, to remedy this by providing empirical substantiation for a key premise in these debunking arguments by examining data from cognitive science, evolutionary biology, and developmental psychology that support a ‘debunking explanation’ of our common-sense beliefs and intuitions about which objects exist. Second, to argue that such data also undermines a particular kind of rationalist defense of common-sense ontology, sometimes employed as a response to the debunking threat. (shrink)

In this paper, I will discuss the need for a theory of essences within Object-Oriented Ontology (OOO) and then formulate one. I will do so by drawing on Graham Harman’s work on OOO and Martin Heidegger’s thought on the essence of being, presented in his Introduction to Metaphysics. Harman touches on essences, describing them as the tension between a withdrawn object and its withdrawn qualities, but fails to distinguish between essential and inessential qualities within this framework. To fill in (...) the gaps, I will turn to Heidegger’s explication of phusis in order to show that an essential aspect of being is how one enters into causal relations and continually reveals oneself to other beings. In bringing OOO and Heidegger together, I will find that each object has a unique way of exerting itself in the world and that the domestic relations that make up this unique profile are essential to it, while other domestic relations, those that do not influence its particular way of exerting itself, are inessential. Thus, the essence will be found to be the set of domestic relations that make up the determinate form, or unique causal profile, of the object. (shrink)

In this paper, I relate key features of Adolf Reinach’s abundant ontology of propositional states of affairs of his to Armstrong’s—or an Armstrongian—state of affairs ontology, with special regard to finding out how sparse or abundant the latter is with respect to negative states of affairs. After introducing the issue, I clarify the notion of a propositional state of affairs, paying special attention to the notion of abstract versus concrete. I show how Reinach’s states of affairs are propositional, (...) and how they compare with Chisholm’s well-known propositional states of affairs. In the next section, I outline Reinach’s five roles for states of affairs and show that only one of them is relevant to Armstrongian state of affairs ontology. In the following section, I utilise this role to create a ranking of state of affairs ontologies according to how abundant they are. It is, however, unclear which level Armstrongian state of affairs ontology is at, since it is unclear if, like Reinach’s ontology, it includes negative states of affairs. In the final section, I argue that the answer is a qualified ‘yes’, i.e. it does not occupy the sparsest level. (shrink)

The paper shows how the Bohmian approach to quantum physics can be applied to develop a clear and coherent ontology of non-perturbative quantum gravity. We suggest retaining discrete objects as the primitive ontology also when it comes to a quantum theory of space-time and therefore focus on loop quantum gravity. We conceive atoms of space, represented in terms of nodes linked by edges in a graph, as the primitive ontology of the theory and show how a non-local (...) law in which a universal and stationary wave-function figures can provide an order of configurations of such atoms of space such that the classical space-time of general relativity is approximated. Although there is as yet no fully worked out physical theory of quantum gravity, we regard the Bohmian approach as setting up a standard that proposals for a serious ontology in this field should meet and as opening up a route for fruitful physical and mathematical investigations. (shrink)

Graham Harman writes that the “basic dualism in the world lies…between things in their intimate reality and things as confronted by other things.” However, dualism implies irreconcilable difference; what Harman points to is better expressed as a dyad, where the two components imply one another and interact. This article shows that systems theory has long asserted the fundamental character of Harman’s dyad, expressing it as the union of internal structure and external function, which correspond exactly to what Levi Bryant, characterizing (...) Harman’s views, refers to as the intra-ontic and the inter-ontic, respectively. After interpreting Harman’s dyad in terms of the ontology of systems theory, the article illustrates his dyad with a variety of examples, including conceptions about truth, ethics, value, and intelligence. The structure–function dyad is a spatial conception of a system as an object. It is usefully augmented with a temporal dimension, expressed in a third component or with an additional orthogonal dyad. Adding a temporal dyad to the structure–function dyad joins the idea of an event and/or process to the idea of an object. (shrink)

This is a review article on Franz Brentano’s Descriptive Psychology published in 1982. We provide a detailed exposition of Brentano’s work on this topic, focusing on the unity of consciousness, the modes of connection and the types of part, including separable parts, distinctive parts, logical parts and what Brentano calls modificational quasi-parts. We also deal with Brentano’s account of the objects of sensation and the experience of time.

Nihilism is the thesis that no composite objects exist. Some ontologists have advocated abandoning nihilism in favor of deep nihilism, the thesis that composites do not existO, where to existO is to be in the domain of the most fundamental quantifier. By shifting from an existential to an existentialO thesis, the deep nihilist seems to secure all the benefits of a composite-free ontology without running afoul of ordinary belief in the existence of composites. I argue that, while there are (...) well-known reasons for accepting nihilism, there appears to be no reason at all to accept deep nihilism. In particular, deep nihilism draws no support either from the usual arguments for nihilism or from considerations of parsimony. (shrink)

Suppose you own a garden-variety object such as a hat or a shirt. Your property right then follows the ageold saw according to which possession is nine-tenths of the law. That is, your possession of a shirt constitutes a strong presumption in favor of your ownership of the shirt. In the case of land, however, this is not the case. Here possession is not only not a strong presumption in favor of ownership; it is not even clear what possession is. (...) Possessing a thing like a hat or a shirt is a rather straightforward affair: the person wearing the hat or shirt possesses the shirt or the hat. But what is possession in the case of land? This essay seeks to provide an answer to this question in the form of an ontology of landed property. (shrink)

Many philosophers of science are ontologically committed to a lush rainforest of special science entities ), but are often reticent about the criteria that determine which entities count as real. On the other hand, the metaphysics literature is much more forthcoming about such criteria, but often links ontological commitment to irreducibility. We argue that the irreducibility criteria are in tension with scientific realism: for example, they would exclude viruses, which are plausibly theoretically reducible and yet play a sufficiently important role (...) in scientific accounts of the world that they should be included in our ontology. In this paper, we show how the inhabitants of the rainforest can be inoculated against the eliminative threat of reduction: by demonstrating that they are emergent. According to our account, emergence involves a screening off condition as well as novelty. We go on to demonstrate that this account of emergence, which is compatible with theoretical reducibility, satisfies common intuitions concerning what should and shouldn't count as real: viruses are emergent, as are trouts and turkeys, but philosophically gerrymandered objects like trout-turkeys do not qualify. (shrink)

The emerging field of synthetic biology aims to engineer novel biological entities. The envisioned future bio-based economy builds largely on “cell factories”: organisms that have been metabolically engineered to sustainably produce substances for human ends. In this paper, we argue that synthetic biology’s goal of creating efficient production vessels for industrial applications implies a set of ontological assumptions according to which living organisms are machines. Traditionally, a machine is understood as a technological, isolated and controllable production unit consisting of parts. (...) But modified organisms, or hybrids, require us to think beyond the machine paradigm and its associated dichotomies between artificial and natural, organisms and artefacts. We ask: How may we conceptualise hybrids beyond limiting ontological categories? Our main claim is that the hybrids created by synthetic biology should be considered not as machines but as metabolic systems. We shall show how the philosophical account of metabolism can inform an ontology of hybrids that moves beyond what we call the “machine ontology”, considering that metabolism enables thinking beyond the dominant dichotomies and allows us to understand and design lifeforms in a bio-based economy. Thus, the aim of this paper is twofold: first, to develop the philosophical ontology of hybrids, and second, to move synthetic biology beyond the problematically limiting view of hybrids. (shrink)

In this paper, I critically assess different interpretations of Bohmian mechanics that are not committed to an ontology based on the wave function being an actual physical object that inhabits configuration space. More specifically, my aim is to explore the connection between the denial of configuration space realism and another interpretive debate that is specific to Bohmian mechanics: the quantum potential versus guidance approaches. Whereas defenders of the quantum potential approach to the theory claim that Bohmian mechanics is better (...) formulated as quasi-Newtonian, via the postulation of forces proportional to acceleration; advocates of the guidance approach defend the notion that the theory is essentially first-order and incorporates some concepts akin to those of Aristotelian physics. Here I analyze whether the desideratum of an interpretation of Bohmian mechanics that is both explanatorily adequate and not committed to configuration space realism favors one of these two approaches to the theory over the other. Contrary to some recent claims in the literature, I argue that the quasi-Newtonian approach based on the idea of a quantum potential does not come out the winner. (shrink)

Every metaphysic, according to Reiner Schürmann, involves the positing of a first principle for thinking and doing whereby the world becomes intelligible and masterable. What happens when such rules or norms no longer have the power they previously had? According to Cornelius Castoriadis, the world makes sense through institutions of imaginary significations. What happens when we discover that these significations and institutions truly are imaginary, without ground? Both thinkers begin their ontologies by acknowledging a radical finitude that threatens to destroy (...) meaning or order. For Schürmann it is the ontological anarchy revealed between epochs when principles governing modes of thinking and doing are foundering but new principles to take their place have not yet emerged. For Castoriadis it is chaos that names the indeterminationdetermination that governs the unfolding of the socio-historical with contingency and unpredictability. And yet for both thinkers their respective ontologies have political or ethical implications. On the basis of the anarchy of being, Schürmann unfolds an anarchic praxis or ethos of “living without why.” And on the basis of his notion of being as chaos, Castoriadis develops his political praxis of autonomy. The challenge for both is this move from ontology to practical philosophy, how to bridge theory and practice. The key for both seems to be a certain ontologically derived sense of freedom. In this paper, I analyze and compare their respective thoughts, and pursue the question of how anarchy or chaos and the implied sense of an ontological freedom might be made viable and sensible for human praxis, how radical finitude in the face of ontological groundlessness might nevertheless serve to situate a viable political praxis. (shrink)

The essay constructs an ontological theory designed to capture the categories instantiated in those portions or levels of reality which are captured in our common sense conceptual scheme. It takes as its starting point an Aristotelian ontology of “substances” and “accidents”, which are treated via the instruments of mereology and topology. The theory recognizes not only individual parts of substances and accidents, including the internal and external boundaries of these, but also universal parts, such as the “humanity” which is (...) an essential part of both Tom and Dick, and also “individual relations”, such as Tom’s promise to Dick, or their current handshake. (shrink)

ABSTRACT: In its strongest unqualified form, the principle of wholistic reference is that in any given discourse, each proposition refers to the whole universe of that discourse, regardless of how limited the referents of its non-logical or content terms. According to this principle every proposition of number theory, even an equation such as "5 + 7 = 12", refers not only to the individual numbers that it happens to mention but to the whole universe of numbers. This principle, its history, (...) and its relevance to some of Oswaldo Chateaubriand's work are discussed in my 2004 paper "The Principle of Wholistic Reference" in Essays on Chateaubriand's "Logical Forms". In Chateaubriand's réplica (reply), which is printed with my paper, he raised several important additional issues including the three I focus on in this tréplica (reply to his reply): truth-values, universes of discourse, and formal ontology. This paper is self-contained: it is not necessary to have read the above-mentioned works. The principle of wholistic reference (PWR) was first put forth by George Boole in 1847 when he espoused a monistic fixed-universe viewpoint similar to the one Frege and Russell espoused throughout their careers. Later, Boole elaborated PWR in 1854 from the pluralistic multiple-universes perspective. (shrink)

Modern cosmology has two competing theories of the origin of the universe: the "Singularity theory" and the "Superstring theory". Four Dilemmas of the "Super-string theory" are presented: the incompleteness of the eleven space–time dimensions,the inextricable dependence on the “Space–Time Background”, the "Zero-Brane the-ory" admitting stuff smaller than the Planck scale, and the pure mathematical theory that cannot be falsified by experiments. Although the "Singularity theory" is faced with many critiques from the "Superstring theory", from the perspective of Informa-tion Ontology, (...) treating the "Singularity" as "Origin Information" can dissolve these troubles well. For the "Singularity theory", the new philosophical thinking frame-work effectively explains the parameter problems of the universe, and gives satisfied response to the challenges from the "Superstring theory". As a result, the "Singularity theory" has a more competitive advantage on the origin of the universe. (shrink)

Although there have been efforts to integrate Semantic Web technologies and artificial agents related AI research approaches, they remain relatively isolated from each other. Herein, we introduce a new ontology framework designed to support the knowledge representation of artificial agents’ actions within the context of the actions of other autonomous agents and inspired by standard cognitive architectures. The framework consists of four parts: 1) an event ontology for information pertaining to actions and events; 2) an epistemic ontology (...) containing facts about knowledge, beliefs, perceptions and communication; 3) an ontology concerning future intentions, desires, and aversions; and, finally, 4) a deontic ontology for modeling obligations and prohibitions which limit agents’ actions. The architecture of the ontology framework is inspired by deontic cognitive event calculus as well as epistemic and deontic logic. We also describe a case study in which the proposed DCEO ontology supports autonomous vehicle navigation. (shrink)

Do we suddenly become justified in treating robots like humans by positing new notions like “artificial moral agency” and “artificial moral responsibility”? I answer no. Or, to be more precise, I argue that such notions may become philosophically acceptable only after crucial metaphysical issues have been addressed. My main claim, in sum, is that “artificial moral responsibility” betokens moral responsibility to the same degree that a “fake orgasm” betokens an orgasm.

The widely accepted approach in scholarly literature on Hannah Arendt’s The Human Condition emphasizes its political meaning and implications while neglecting its ontological dimensions. Against this trend, in this article I seek to uncover the implicit ontology that underlies her conception of the human condition. This human ontology appears to be comprised of five realms – the private, the public, intimacy, the social and the self. While Arendt explicitly bases her conception upon the first two, the paper shows (...) that the remaining three, although not defined as realms, are explored by her as such. These appear as autarchic contexts of human activity, which are not supposed to refer to each other. The problematic of this split between the different realms is widely discussed in the paper. Yet, the split of the self from the two pivotal realms – the private and the public – acquires a special interest, for it undermines the entire project of the human condition. (shrink)

In quantum mechanics, the wave function of a N-body system is a mathematical function defined in a 3N-dimensional configuration space. We argue that wave function realism implies particle ontology when assuming: (1) the wave function of a N-body system describes N physical entities; (2) each triple of the 3N coordinates of a point in configuration space that relates to one physical entity represents a point in ordinary three-dimensional space. Moreover, the motion of particles is random and discontinuous.

Notions such as śūnyatā, catuṣkoṭi, and Indra's net, which figure prominently in Buddhist philosophy, are difficult to readily accommodate within our ordinary thinking about everyday objects. Famous Buddhist scholar Nāgārjuna considered two levels of reality: one called conventional reality, and the other ultimate reality. Within this framework, śūnyatā refers to the claim that at the ultimate level objects are devoid of essence or "intrinsic properties", but are interdependent by virtue of their relations to other objects. Catuṣkoṭi refers to the claim (...) that four truth values, including contradiction, are admissible in reasoning. Indra's net refers to the claim that every part of a whole is reflective of the whole. Here we present category theoretic constructions that are reminiscent of these Buddhist concepts. The universal mapping property definition of mathematical objects, wherein objects of a universe of discourse are defined not in terms of their content, but in terms of their relations to all objects of the universe is reminiscent of śūnyatā. The objective logic of perception, with perception modeled as [a category of] two sequential processes (sensation followed by interpretation), and with its truth value object of four truth values, is reminiscent of the Buddhist logic of catuṣkoṭi. The category of categories, wherein every category has a subcategory of sets with zero structure within which every category can be modeled, is reminiscent of Indra's net. Our thorough elaboration of the parallels between Buddhist philosophy and category theory can facilitate better understanding of Buddhist philosophy, and bring out the broader philosophical import of category theory beyond mathematics. (shrink)