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)

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.

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)

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)

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.

Functionally graded materials (FGMs) have been used in many different kinds of applications in recent years and have attracted significant research attention. However, we do not yet have a commonly accepted way of representing the various aspects of FGMs. Lack of standardised vocabulary creates obstacles to the extraction of useful information relating to pertinent aspects of different applications. A standard resource is needed for describing various elements of FGMs, including existing applications, manufacturing techniques, and material characteristics. This motivated the creation (...) of the FGM Ontology (FGMO) in 2016. Here, we present a revised and expanded version of the FGM Ontology, which includes enrichments along four dimensions: (1) documenting recent FGMs applications; (2) reorganising the framework to incorporate an updated representation of types of manufacturing processes; (3) enriching the axioms of the ontology; and (4) importing mid-level ontologies from the Common Core Ontologies (CCO) and Product Life Cycle (PLC) Ontologies. The work is being carried out within the framework of the Industry Ontology Foundry (IOF), and the ontology is conformant to Basic Formal Ontology (BFO). (shrink)

Plato seems to countenance both positive and negative Forms, that is to say, both good and bad ones. He may not say so outright, but he invokes both and rejects neither. The apparent finality of this impression creates a lack of direct interest in the subject: Plato scholars do not give negative Forms much thought except as the prospect relates to something else they happen to be doing. Yet when they do give the matter any thought, typically for the sake (...) of a prior concern, they try either to support the textual evidence or to contradict it, indicating that the evidence does not stand on its own. The purpose of this paper is to determine why they tend to affirm or deny the obvious, how they try to confirm or dispute it, and what this says about Plato’s position. The strategic vehicle is a comparative case study. The confirmation comes from Debra Nails (2013), who needs to embrace negative Forms to demonstrate that the unhypothetical first principle of the all is not identical to the Form of the good, something she cannot do unless Plato recognizes negative Forms. The contradiction comes from Holger Thesleff (2013), who needs to reject negative (Ideal) Forms because the defining feature of his (Ideal) Forms is the possession of positive intrinsic value, which cannot be predicated of anything negative. Despite defending opposite views, or perhaps because of this, they jointly make up for any lack of interest in the scholarly community. I appreciate both yet side with Thesleff. (shrink)

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)

The recent advances in Large Language Models (LLMs) and their deployment in social settings prompt an important philosophical question: are LLMs social agents? This question finds its roots in the broader exploration of what engenders sociality. Since AI systems like chatbots, carebots, and sexbots are expanding the pre-theoretical boundaries of our social ontology, philosophers have two options. One is to deny LLMs membership in our social ontology on theoretical grounds by claiming something along the lines that only organic (...) or X-type creatures belong in our social world. Second, expand our ontological boundaries. I take the second route and claim LLMs implemented as social chatbots are social agents. Utilizing Brian Epstein's concepts of grounding and anchoring, alongside Dee Peyton's criteria for what makes a property social, I posit that the capacity for conversations is a social property. Further, within a framework where social agency is considered multi-dimensional, akin to agency, possessing a social property is sufficient for attaining social agency. Thus establishing chatbots as social agents. A helpful concept here is Levels of Abstraction (LoA). The LoA framework allows for extracting relevant and important information from the target domain (the social world). For example, the property of being a 'boy' and the capacity for conversation are social properties; hence, they are part of the social domain. LLMs have the capacity for conversations. So, if we focus on the conversational-LoA and not the gender-LoA, then LLMs occupy a dimension of sociality (i.e., conversational dimensions). (shrink)

Scientific realists don’t standardly discriminate between, say, biology and fundamental physics when deciding whether the evidence and explanatory power warrant the inclusion of new entities in our ontology. As such, scientific realists are committed to a lush rainforest of special science kinds (Ross, 2000). Viruses certainly inhabit this rainforest – their explanatory power is overwhelming – but viruses’ properties can be explained from the bottom up: reductive explanations involving amino acids are generally available. However, reduction has often been taken (...) to lead to a metaphysical downgrading, so how can viruses keep their place in the rainforest? 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 trout and turkeys, but philosophically gerrymandered objects like trout-turkeys do not qualify. (shrink)

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)

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)

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)

Whitehead claims there is only one type of individual in the universe—the actual entity—but there are necessarily multiple tokens of this type. This turns out to be paradoxical. Nevertheless, a type of individuality that is necessarily plural because, for each token, relations to other tokens are constitutive is something familiar from ordinary language, everyday politics, and, not least, 19th century German social thought. Whitehead’s actual entity generalizes the notion of species-being we find in Fichte, Feuerbach, and Marx. The rationale for (...) the concept of species-being brings to light important social and political implications of Whitehead’s cosmology. (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)

This paper elaborates on relationalism about space and time as motivated by a minimalist ontology of the physical world: there are only matter points that are individuated by the distance relations among them, with these relations changing. We assess two strategies to combine this ontology with physics, using classical mechanics as example: the Humean strategy adopts the standard, non-relationalist physical theories as they stand and interprets their formal apparatus as the means of bookkeeping of the change of the (...) distance relations instead of committing us to additional elements of the ontology. The alternative theory strategy seeks to combine the relationalist ontology with a relationalist physical theory that reproduces the predictions of the standard theory in the domain where these are empirically tested. We show that, as things stand, this strategy cannot be accomplished without compromising a minimalist relationalist ontology. (shrink)

Two major lines of argument support the notion that Hildegard of Bingen’s metaphysics is peculiarly gynocentric. Contra the standard commentary on her work, the focus is not on the notion of viriditas; rather, the first line of argument presents a specific delineation of her ontology, demonstrating that it is a graded hierarchy of beings, many of which present feminine aspects of the divine, and all of which establish the metaphysical notion of interpenetrability. The second line of argument specifically contrasts (...) her thought to that of Aquinas and Meister Eckhart, noting areas of similarity and difference. It is concluded that the visionary origins of Hildegard’s work may have to some extent precluded our understanding of it, and that her work merits consideration not only philosophically and theologically but from the standpoint of its early presentation of a gynocentric worldview. (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)

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)

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)

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.

Intellectual history still quite commonly distinguishes between the episode we know as the Scientific Revolution, and its successor era, the Enlightenment, in terms of the calculatory and quantifying zeal of the former—the age of mechanics—and the rather scientifically lackadaisical mood of the latter, more concerned with freedom, public space and aesthetics. It is possible to challenge this distinction in a variety of ways, but the approach I examine here, in which the focus on an emerging scientific field or cluster of (...) disciplines—the ‘life sciences’, particularly natural history, medicine, and physiology —is, not Romantically anti-scientific, but resolutely anti-mathematical. Diderot bluntly states, in his Thoughts on the interpretation of nature, that “We are on the verge of a great revolution in the sciences. Given the taste people seem to have for morals, belles-lettres, the history of nature and experimental physics, I dare say that before a hundred years, there will not be more than three great geometricians remaining in Europe. The science will stop short where the Bernoullis, the Eulers, the Maupertuis, the Clairauts, the Fontaines and the D’Alemberts will have left it.... We will not go beyond.” Similarly, Buffon in the first discourse of his Histoire naturelle speaks of the “over-reliance on mathematical sciences,” given that mathematical truths are merely “definitional” and “demonstrative,” and thereby “abstract, intellectual and arbitrary.” Earlier in the Thoughts, Diderot judges “the thing of the mathematician” to have “as little existence in nature as that of the gambler.” Significantly, this attitude—taken by great scientists who also translated Newton or wrote careful papers on probability theory, as well as by others such as Mandeville—participates in the effort to conceptualize what we might call a new ontology for the emerging life sciences, very different from both the ‘iatromechanism’ and the ‘animism’ of earlier generations, which either failed to account for specifically living, goal-directed features of organisms, or accounted for them in supernaturalistic terms by appealing to an ‘anima’ as explanatory principle. Anti-mathematicism here is then a key component of a naturalistic, open-ended project to give a successful reductionist model of explanation in ‘natural history’, a model which is no more vitalist than it is materialist—but which is fairly far removed from early modern mechanism. (shrink)

There are prominent resemblances between issues addressed by Simone de Beauvoir in her early essay on moral philosophy, Pyrrhus and Cineas (1944), and issues attracting the attention of contemporary feminist ethicists, especially those concerned with the ethics of care. They include a focus on relationships, interaction, and mutual dependency. Both emphasize concrete ethical challenges rooted in everyday life, such as those affecting parents and children. Both are critical of the level of abstraction and insensitivity to the situation of the moral (...) agent in utilitarianism and Kantian ethics. And both condemn the “moral point of view,” i.e. the assumption that it is possible to speak with a universal voice on behalf of humanity. These resemblances are explored in this article. (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.

This paper is a study of Brentano’s ontology, and more specifically of his theory of substance and accident as put forward toward the end of his life in the materials collected together as the Kategorienlehre or Theory of Categories. Here Brentano presents an auditious (re-)interpretation of Aristotle’s theory of substance and accidence. We show that on the Brentano initially defends, it is space which serves as the single substance upon which all other entities depend as accidents of space. In (...) an appendix, however, Brentano puts forward an even more radical suggestion, inspired by the physics of Kelvin. According to this final view, space itself is an accident of a deeper substance: the present time. (shrink)

In the Netherlands and Belgium, it is lawful for voluntary euthanasia to be offered on the grounds of psychiatric suffering. A recent case that has sparked much debate is that of Aurelia Brouwers, who was helped to die in the Netherlands on account of her suffering from borderline personality disorder. It is sometimes claimed that whether or not a mentally ill person’s wish to die is valid hinges on whether or not that wish is a symptom of the person’s mental (...) disorder. This article addresses the philosophical problems raised by this claim, with a specific focus on the diagnosis of borderline personality disorder. After considering descriptivist and causal conceptualizations of mental disorder, I argue that the current approach to borderline personality disorder in psychiatry precludes the possibility of dissociating the wish to die from the disorder. I then examine the implications of this analysis for the question of whether or not the request for voluntary euthanasia in the case of borderline personality disorder can be considered valid. Ultimately, I conclude that the inability to dissociate the wish to die from the disorder does not invalidate the wish in the case of borderline personality disorder. (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)

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)

After some suggestions about how to clarify the confused metaphysical distinctions between dispositional and non-dispositional or categorical properties, I review some of the main interpretations of QM in order to show that – with the relevant exception of Bohm’s minimalist interpretation – quantum ontology is irreducibly dispositional. Such an irreducible character of dispositions must be explained differently in different interpretations, but the reducibility of the contextual properties in the case of Bohmian mechanics is guaranteed by the fact that the (...) positions of particles play the role of the categorical basis, a role that in other interpretations cannot be filled by anything else. In Bohr’s and Everett-type interpretations, dispositionalism is instrumentalism in disguise. (shrink)

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such navigation (...) will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

It is often thought that the boundaries and properties of art-kinds are determined by the things we say and think about them. More recently, this tendency has manifested itself as concept-descriptivism, the view that the reference of art-kind terms is fixed by the ontological properties explicitly or implicitly ascribed to art and art-kinds by competent users of those terms. Competent users are therefore immune from radical error in their ascriptions; the result is that the ontology of art must begin (...) and end with conceptual analysis. Against this tendency towards concept-driven ontology, I offer a trio of objections derived from: the cultural and temporal variability of concepts of art, the systematic tendency, on the part of would-be ontological assessors, to err on the side of familiar categories or, conversely, to exaggerate minor differences between familiar and unfamiliar practices, and the influence artworld precedents exert over expert and folk concepts alike. These considerations, I argue, mandate an epistemic humility that is simply unavailable to the concept-descriptivist. (shrink)

What follows is a contribution to the theory of space and of spatial objects. It takes as its starting point the philosophical subfield of ontology, which can be defined as the science of what is: of the various types and categories of objects and relations in all realms of being. More specifically, it begins with ideas set forth by Aristotle in his Categories and Metaphysics, two works which constitute the first great contributions to ontological science. Because Aristotle’s ontological ideas (...) were developed prior to the scientific discoveries of the modern era, he approached the objects and relations of everyday reality with the same ontological seriousness with which scientists today approach the objects of physics. We shall seek to show that what Aristotle has to say about these commonsensical objects and relations can, when translated into more formal terms, be of use also to contemporary ontologists. More precisely, we shall argue that his ideas can contribute to the development of a rigorous theory of those social and institutional components of everyday reality – the settings of human behavior – which are the subject of this volume. When modern-day philosophers turn their attentions to ontology they begin not with Aristotle but rather, in almost every case, with a set-theoretic ontology of the sort which is employed in standard model-theoretic semantics. Set-theoretic ontology sees the world in atomistic terms: it postulates a lowest level of atoms or urelements, from out of which successively higher levels of set-theoretic objects are then constructed. The approach to ontology to be defended here, in contrast, starts not with atoms but with the mesoscopic objects by which we are surrounded in our normal day-to-day.. (shrink)

In Lowe’s Four-Category Ontology, instantiation is a basic formal ontological relation between particulars (objects, modes) and their kinds (kinds, attributes). Therefore, instantiation must be considered as a metaphysically necessary relation, which also rules out the metaphysical possibility of kind change. Nevertheless, according to Lowe, objects obtain their identity conditions in a more general level than specific natural kinds, which allows for kind change. There also seems to be actual examples of kind change. The advocate of Four-Category Ontology is (...) obliged to resolve the tension between these mutually incompatible claims. In this article, we argue that the only viable option for the advocate of Four-Category Ontology is to bite the bullet and stick to the necessity of each of the most specific natural kind to the object instantiating it. As a major drawback, the four-category ontologist does not have any credible means to allow for kind change or determination of the identity conditions in a more general level. (shrink)

Today, in any mature information society, we live neither online nor offline but on life, that is, we increasingly live in that special space that is both analogue and digital, both online and offline. Imagine someone asking whether the water is fresh or salty in the estuary where the river meets the sea. That someone has not understood the special nature of the place. Our information society is that place. And our technologies are perfectly evolved to take advantage of it, (...) like mangroves growing in brackish water. In the mangrove society, machine-readable data, new forms of agency and interactions are constantly evolving. The consequences of such a radical transformation are many, but one is particularly significant and rich in consequences: how should we design the mangrove society, when it comes to the relationship between the natural and the digital? In this text, I argue that the digital blue is a great ally of the environmental green. The two work best in tandem. And if the world will enjoy a sustainable development for the environment that is also socially preferable for humanity, it will be because the green and the blue will have created a virtuous circle of nature and technology. It can be done. There is just no time to waste. (shrink)

The identity "relation" is misconceived since the syntax of "=" is misconceived as a relative term. Actually, "=" is syncategorematic; it forms (true) sentences with a nonpredicative syntax from pairs of (coreferring) flanking names, much as "&" forms (true) conjunctive sentences from pairs of (true) flanking sentences. In the conaming structure, nothing is predicated of the subject, other than, implicitly, its being so conamed. An identity sentence has both an objectual reading as a necessity about what is named, and also (...) a metalinguistic reading as a contingency about the names. Either way the claim about the subject referent has no extralinguistic content. The necessity of alteridentity (non-self-identity) statements is "lexical", due to contingencies of the names' reference, much like the necessity of analytic statements, due to contingencies of the predicates' sense, and unlike the necessity of logical truths (e.g., self-identities) whose truth is secured by syntax alone. Both alter-identity and analytic sentences are readable as objectual necessities and metalinguistic contingencies. Epistemically, alter-identity statements are not essentially unlike analyticities. "Greece is Hellas"/"g=h" and "Greeks are Hellenes"/"(x)(Gx<=>Hx)" are equally (un)informative; so too for "Azure is cobalt"/"a=c" and "Everything azure is cobalt"/"(x)(Ax<=>Cx)". The real epistemic contrast is between proper names (terms without predicative sense) and terms with a predicative sense (names and predicates of properties). Proper names refer to concrete objects, property names refer to abstract objects. That contrast is metaphysical and thus epistemic. (shrink)

The purpose of this article is to reveal al-Ghazali's understanding of God and world on the ontological basis. He bases the purpose of existence of the world with to know God. In such a study, it is difficult to distinguish ontology from epistemology. Al-Ghazali classifies beings in different perspectives. However, all beings consist of the God and acts of God. God is a unique entity, which is compulsory, source of existence and sacred. His adjectives are with him. God is (...) completely different from what he created. Creatures cannot fully grasp it. God is not far from the world, but he is very close to his servants. The world is everything outside of God and his attributes. All beings are acts of God. The world owes its existence and continuation to God. The world that is the act of the God actually introduces us to the God. The purpose of the creation of the world is to introduce God. -/- . (shrink)

My topic is the materialist appropriation of empiricism – as conveyed in the ‘minimal credo’ nihil est in intellectu quod non fuerit in sensu (which interestingly is not just a phrase repeated from Hobbes and Locke to Diderot, but is also a medical phrase, used by Harvey, Mandeville and others). That is, canonical empiricists like Locke go out of their way to state that their project to investigate and articulate the ‘logic of ideas’ is not a scientific project: “I shall (...) not at present meddle with the Physical consideration of the Mind” (Essay, I.i.2, in Locke 1975; which Kant gets exactly wrong in his reading of Locke, in the Preface to the A edition of the first Critique). Indeed, I have suggested elsewhere, contrary to a prevalent reading of Locke, that the Essay is not the extension to the study of the mind of the methods of natural philosophy; that he is actually not the “underlabourer” of Newton and Boyle he claims politely to be in the Epistle to the Reader (Wolfe and Salter 2009, Wolfe 2010). Rather, Locke says quite directly if we pay heed to such passages, “Our Business here is not to know all things, but those which concern our Conduct” (Essay, I.i.6). There would be more to say here about what this implies for our understanding of empiricism (see Norton 1981 and Gaukroger 2005), but instead I shall focus on a different aspect of this episode: how a non-naturalistic claim which falls under what we now call epistemology (a claim about the senses as the source of knowledge) becomes an ontology – materialism. That is, how an empiricist claim could shift from being about the sources of knowledge to being about the nature of reality (and/or the mind, in which case it needs, as David Hartley saw and Denis Diderot proclaimed more overtly, an account of the relation between mental processes and the brain). (David Armstrong, for one, denied that there could be an identification between empiricism and materialism on this point: eighteenth-century history of science seems to prove him wrong: see Armstrong 1968 and 1978.) Put differently, I want to examine the shift from the logic of ideas in the seventeenth century (Locke) to an eighteenth-century focus on what kind of ‘world’ the senses give us (Condillac), to an assertion that there is only one substance in the universe (Diderot, giving a materialist cast to Spinozism), and that we need an account of the material substrate of mental life. This is neither a ‘scientific empiricism’ nor a linear developmental process from philosophical empiricism to natural science, but something else again: the unpredictable emergence of an ontology on empiricist grounds. (shrink)

Susan Stebbing’s work on incomplete symbols and analysis was instrumental in clarifying, sharpening, and improving the project of logical constructions which was pivotal to early analytic philosophy. She dispelled use-mention confusions by restricting the term ‘incomplete symbol’ to expressions eliminable through analysis, rather than those expressions’ purported referents, and distinguished linguistic analysis from analysis of facts. In this paper I explore Stebbing’s role in analytic philosophy’s development from anti-holism, presupposing that analysis terminates in simples, to the more holist or foundherentist (...) analytic philosophy of the later 20th century. I read Stebbing as a transitional figure who made room for more holist analytic movements, e.g., applications of incomplete symbol theory to Quinean ontological commitment. Stebbing, I argue, is part of a historical narrative which starts with the holism of Bradley, an early influence on her, to which Moore and Russell’s logical analysis was a response. They countered Bradley’s holist reservations about facts with the view that the world is built up out of individually knowable simples. Stebbing, a more subtle and sympathetic reader of the British idealists, defends analysis, but with important refinements and caveats which prepared the way for a return to foundherentism and holism within analytic philosophy. (shrink)

Biomedical research is increasingly a matter of the navigation through large computerized information resources deriving from functional genomics or from the biochemistry of disease pathways. To make such navigation possible, controlled vocabularies are needed in terms of which data from different sources can be unified. One of the most influential developments in this regard is the so-called Gene Ontology, which consists of controlled vocabularies of terms used by biologists to describe cellular constituents, biological processes and molecular functions, organized into (...) hierarchies via the relation of class subsumption. Here we seek to provide a rigorous account of the logic of classification that underlies GO and similar biomedical ontologies. Drawing on Aristotle, we develop a system of axioms and definitions for the treatment of biological classes and instances. (shrink)

Consider a game of blind chess between two chess masters that is recorded in some standard chess notation. The recording is a representation of the game. But what is the game itself? This question is, we believe, central to the entire domain of social ontology. We argue that the recorded game is a special sort of quasi-abstract pattern, something that is: (i) like abstract entities such as numbers or forms, in that it is both nonphysical and nonpsychological; but at (...) the same time, (ii) through its association with specific players and a specific occasion, tied to time and history. We discover other abstract patterns of this sort especially in the domains of law and commerce. This essay draws on the work in social ontology, we of Hernando de Soto and of John Searle to develop an ontology of the social world based on an analysis of the peculiar interdependence between quasi-abstract patterns and their representations in documents of different sorts. (shrink)

I argue that a two-dimensional model of social objects is uniquely positioned to deliver explanations for some of the puzzling metaphysical features of words. I consider how a type-token model offers explanations for the metaphysical features of words, but I give reasons to find the model wanting. In its place, I employ an alternative model from social ontology to explain the puzzling data and questions that are generated from the metaphysical features of words. In the end I chart a (...) new path that foregrounds the agent-dependence and social conditions for word kinds. (shrink)

With the present paper I maintain that the group field theory (GFT) approach to quantum gravity can help us clarify and distinguish the problems of spacetime emergence from the questions about the nature of the quanta of space. I will show that the mechanism of phase transition suggests a form of indifference between scales (or phases) and that such an indifference allows us to black-box questions about the nature of the ontology of the fundamental levels of the theory. I (...) consider the GFT approach to quantum gravity which derives spacetime as an emergent property from abstract non-geometrical tetrahedra through a processes of phase transition. Because the physical interpretation of the tetrahedra is problematic in view of their (non)-spatiotemporal nature, I will apply the considerations about phase transitions to GFT and conclude that the fundamental ontology of the theory and the mechanism of spacetime emergence can and should be treated separately. (shrink)