I present a version of Kit Fine's stratified semantics for the logic RWQ and define a natural family of related structures called RW hyperdoctrines. After proving that RWQ is sound with respect to RW hyperdoctrines, we show how to construct, for each stratified model, a hyperdoctrine that verifies precisely the same sentences. Completeness of RWQ for hyperdoctrinal semantics then follows from completeness for stratified semantics, which is proved in an appendix. By examining the base category of RW (...) hyperdoctrines, we find reason to be worried about the ontology of stratified models. (shrink)

As conceived by analytic philosophers ontology consists in the application of the methods of mathematical logic to the analysis of ontological discourse. As conceived by realist philosophers such as Meinong and the early Husserl, Reinach and Ingarden, it consists in the investigation of the forms of entities of various types. The suggestion is that formal methods be employed by phenomenological ontologists, and that phenomenological insights may contribute to the construction of adequate formal-ontological languages. The paper sketches an account of (...) what might be involved in this new discipline, an account which is illustrated in application to the formal-ontological problems raised by negative states of affairs. (shrink)

The recent so-called crisis of replication continues to dominate psychology’s methodological landscape. It is argued here that the apparent renaissance of Popperian thinking that characterises some of the key responses to the crisis of replication is fundamentally flawed. In essence, there is a serious lack of any sustained and rigorous treatment of ontology that underpins much of the current debate about replication and Popper’s falsificationist approach. The overriding problem is that the replication debate reflects the methodologist tendency for mainstream (...) psychologists to avoid or gloss over crucial ontological questions. In contradistinction, this article (a) underscores the primacy of ontology; (b) delineates and applies a critical realist stratified ontology to psychology; (c) utilises the latter as a springboard from which to argue for Popper’s methodological “retirement”; and (d) revindicates the indispensability of context and the subtlety of psychological phenomena in arguing for the intrinsic limits of replication and experimentalism in general. (shrink)

An account of Roman Ingarden's ontology of literature.

In this paper, I attempt to formulate an Ingardenian conception of the literary work’s aesthetic value. Following Mitscherling’s lead, I attempt to place Ingarden’s aesthetics within his overall phenomenological-ontological project. That is, I argue that Ingarden’s aesthetics can only be properly fathomed in the context of his ontological deliberations, since, as he himself often enunciated, all his philosophical investigations constitute a realist rejoinder to Husserl’s turn toward transcendental idealism. To this end, I bring together insights from his aesthetics and (...) class='Hi'>ontology to establish a coherent account of values, where artistic and aesthetic values are analyzed as they manifest themselves in the literary work of art. By attending to the ontology of its aesthetic (and artistic) values, I argue, the literary work’s stratified formation becomes more explicit. Keywords: Roman Ingarden, aesthetic value, artistic value, the literary work of art, ontology, aesthetics. (shrink)

The commentaries provided by Haig; Derksen and Morawski; and Trafimow vary considerably in how they address critical realism and its implications for replication. Haig’s preference for Kaidesoja’s “naturalised” version of critical realism and Lipton’s inference to the best explanation is deeply problematic. While Derksen and Morawski concede that they deal only indirectly with critical realism, their endorsement of “performativity” negates it. In Trafimow’s case, ontology’s regulative role is untenably diminished and ultimately supplanted by classic methodologism. I conclude that replication (...) should be replaced by exploratory stratified contextualism. (shrink)

Theorising the interplay of structure and agency is the quintessential focus of sociological endeavour. This paper aims to be part of that continuing endeavour, arguing for a stratified social ontology, where structure and agency are held to be irreducible to each other and causally efficacious, yet necessarily interdependent. It thus aims not to be part of that on-going journey in search of the 'ontological holy grail'. Instead, it offers a way of linking structure and agency which enables the (...) practical education researcher concretely to examine their relative interplay over time. The methodological key to teasing out their relative interplay is held to be analytical dualism. It will be argued that such a methodological device is precluded by Giddens' structuration theory. (shrink)

Mathematical objects are divided into (1) those which are autonomous, i.e., not dependent for their existence upon mathematicians’ conscious acts, and (2) intentional objects, which are so dependent. Platonist philosophy of mathematics argues that all objects belong to group (1), Brouwer’s intuitionism argues that all belong to group (2). Here we attempt to develop a dualist ontology of mathematics (implicit in the work of, e.g., Hilbert), exploiting the theories of Meinong, Husserl and Ingarden on the relations between autonomous and (...) intentional objects. In particular we develop a phenomenology of mathematical works, which has the stratified intentional structure discovered by Ingarden in his study of the literary work. (shrink)

The aim of this article is to extend the explanatory power of Martin Thrupp’s legacy within the framework of critical realism. Specifically, it argues that critical realism’s methodological complement, the morphogenetic approach, provides a metatheoretical toolkit that can deepen and expand Thrupp’s realist analysis of school contexts. The article elaborates on how the morphogenetic approach offers a stratified, temporally phased view of causality that integrates structure, agency, and culture (SAC). By foregrounding SAC, it argues for a layered and nuanced (...) understanding of context in education policy analysis, refining Thrupp’s conceptualisation of the constraints and opportunities available to school leaders. The article also delineates how the morphogenetic approach offers greater analytical precision in examining how emergent socio-cultural configurations condition agency and change within global educational systems, particularly through its positing of ‘situational logics’ that predispose agents towards specific courses of action. The final section outlines the potential of the morphogenetic approach for theorising the impact of globalised neoliberalism and managerialism on education, ultimately complementing and sharpening Thrupp’s realist contextualism. The article concludes that Thrupp’s contextual approach can be ‘rebranded’ through the morphogenetic framework, enhancing his realist analysis with a stratified understanding of how global neoliberal forces shape local educational contexts while offering strategies to resist managerialism and promote social justice. (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.

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)

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)

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)

In 1988, Kit Fine published a semantic theory for quantified relevant logics. He referred to this theory as stratified semantics. While it has received some attention in the literature, 1–20, 1992; Mares & Goldblatt, Journal of Symbolic Logic 71, 163–187, 2006), stratified semantics has overall received much less attention than it deserves. There are two plausible reasons for this. First, the only two dedicated treatments of stratified semantics available are, 27–59, 1988; Mares, Studia Logica 51, 1–20, 1992), (...) both of which are quite dense and technically challenging. Second, there are a number of prima facie reasons to be worried about stratified semantics. The purpose of this paper is to revitalize research on stratified semantics. I will do so by giving a ‘user friendly’ presentation of the semantics, and by giving reasons to think that the prima facie reasons to be worried about it are too simplistic. (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)

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 ontology of marketing, particularly the question of what products and brands are, is still largely unexplored. The ontological status of brands hinges on their relationship with products. Idealists about brands see perceptual or cognitive acts of consumers grouped under the heading ‘brand awareness’ or ‘brand image’ as constitutive for the existence of brands so that, in their view, tools of the marketing mix can influence relevant mental dispositions and attitudes. Brand realists, on the other hand, reject the view (...) of brands as mere marks or names and interpret them as emergent products with properties that afford branding in the sense of Gibson’s ecological psychology. Brand strength is a function of the degree to which brands occupy defensible niches in product space. Branding as a process involves changing external or internal boundaries of products. Several arguments are proposed in favor of brand realism. The fragments of an ontology of marketing are developed in a broadly Aristotelian framework. Brand realism has significant implications for a new understanding of issues ranging from the effects of advertising to financial brand valuation, the nature of trademarks, and marketing strategy in general. It permits one to treat brand equity as a real phenomenon not dependent on associations, attitudinal states such as brand loyalty, or spurious constructs such as brand character or personality. (shrink)

Jc Beall has made several contributions to the theory of restricted quantification in relevant logics. This paper examines these contributions and proposes an alternative account of restricted universals. The alternative is not, however, a theory of relevant restricted universals in any real sense. It is, however, a theory of restricted universals phrased in the most plausible general quantificational theory for relevant logics—Kit Fine’s stratified semantics. The motivation both for choosing this semantic framework and for choosing the particular theory of (...) restricted quantification we use is because they are the best way of dealing with these topics from Beall’s theory-building theory picture of logic, establishing a second point of contact with Beall’s work. (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.

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)

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)

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)

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)

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)

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)

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)

Monoclonal antibodies are essential biomedical research and clinical reagents that are produced by companies and research laboratories. The NIAID ImmPort (Immunology Database and Analysis Portal) resource provides a long-term, sustainable data warehouse for immunological data generated by NIAID, DAIT and DMID funded investigators for data archiving and re-use. A variety of immunological data is generated using techniques that rely upon monoclonal antibody reagents, including flow cytometry, immunofluorescence, and ELISA. In order to facilitate querying, integration, and reuse of data, standardized terminology (...) for describing monoclonal antibody reagents and their targets needs to be used for annotating data submitted to ImmPort. (shrink)

This paper investigates the connection between temporal attitudes (attitudes characterised by a concern (or lack thereof) about future and past events), beliefs about temporal ontology (beliefs about the existence of future and past events) and temporal preferences (preferences regarding where in time events are located). Our aim is to probe the connection between these preferences, attitudes, and beliefs, in order to better evaluate the normative status of these preferences. We investigate the hypothesis that there is a three-way association between (...) (a) being present-biased (that is, preferring that positive events are located in the present, and negative events are located in the non-present), (b) believing that past and future events do not exist and (c) tending to have present-focused rather than non-present-focused temporal attitudes. We find no such association. This suggests that insofar as temporal preferences and temporal attitudes are connected to the ways we represent time, they are not connected to the ways we represent temporal ontology; rather, they are more likely connected to the ways we represent relative movement in, or of, time. This has important consequences for, first, explaining why we exhibit these preferences and, second, for their normative evaluation. (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)

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)

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)

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)

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)

The Unified Medical Language System and the Gene Ontology are among the most widely used terminology resources in the biomedical domain. However, when we evaluate them in the light of simple principles for wellconstructed ontologies we find a number of characteristic inadequacies. Employing the theory of granular partitions, a new approach to the understanding of ontologies and of the relationships ontologies bear to instances in reality, we provide an application of this theory in relation to an example drawn from (...) the context of the pathophysiology of hypertension. This exercise is designed to demonstrate how, by taking ontological principles into account we can create more realistic biomedical ontologies which will also bring advantages in terms of efficiency and robustness of associated software applications. (shrink)

I am much indebted to Jacob McNulty, Allegra de Laurentiis and Tony Smith for their generous attention to my book and their insightful remarks. Since I could not possibly do justice to all their concerns, I have unfortunately had to be selective. The issues discussed in this response are organized thematically. In the first section, I discuss why Hegel's logic of essence has to be understood historically; which is to say that the logic of essence provides an ontology that (...) is specific to capitalism. Then, in the second section, I discuss the nature of holism in the logic of essence, and correspondingly, the nature of social holism specific to capitalism. Finally, in the third section, I answer the question: if both Marx's critique of political economy and Hegel's own economic theory in the Philosophy of Right are based on the same logic of essence, why they are so divergent from, and indeed incompatible with, each other. (shrink)

This article explains how social norms can help to distinguish and understand a range of different kinds of social inequality and social hierarchy. My aim is to show how the literature on social norms can provide crucial resources to relational egalitarianism, which has made social equality and inequality into a central topic of contemporary normative political theorizing. The hope is that a more discriminating and detailed picture of different kinds of social inequality will help relational egalitarians move beyond a discussion (...) of the justice or injustice of social equality as a single general category. (shrink)

As engineering applications require management of ever larger volumes of data, ontologies offer the potential to capture, manage, and augment data with the capability for automated reasoning and semantic querying. Unfortunately, considerable barriers hinder wider deployment of ontologies in engineering. Key among these is lack of a shared top-level ontology to unify and organise disparate aspects of the field and coordinate co-development of orthogonal ontologies. As a result, many engineering ontologies are limited to their scope, and functionally difficult to (...) extend or interoperate with other engineering ontologies. This paper demonstrates how the use of a top-level ontology, specifically the Basic Formal Ontology (BFO), greatly facilitates interoperability of multiple engineering-related ontologies. We constructed a system of formal linked ontologies by re-engineering legacy ontologies to be conformant with BFO and developing new BFO-conformant ontologies to capture knowledge in the engineering design, enterprise, human factors, manufacturing, and application domain of additive manufacturing. The resulting Integrated Framework for Additively Manufactured Products (IFAMP), including the body knowledge instantiated on its basis, serve as the basis for a proposed Design with Additive Manufacturing Method (DWAM), which we believe can support the design of innovative products with semantically enhanced ideation tools and enhanced access to application domain knowledge. The method and its facilitation through the ontological framework are demonstrated using a case study in medicine. (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)

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)

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)

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)

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)

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)

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)

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)