Meillassoux defines “correlationism” as the view that we can only access the mutual dependence of thought and being—specifically, subjectivity and objectivity—which he attributes to Heidegger. This attribution is inapt. It is only by accessing being—via existential analysis—that we can properly distinguish beings like subjects and objects. I propose that Meillassoux’s misattribution ignores the ontological difference that drives Heidegger’s project. First, I demonstrate the inadequacy of Meillassoux’s account of correlationism as a criticism of Heidegger and dispense with an objection. (...) Second, I argue that Meillassoux’s neglect of the ontological difference stems from a question-begging appeal to transcendental realism, which is at odds with Heidegger’s twin claims for a variety of transcendental idealism in Being and Time. Third, I offer a reflection on three general marks of transcendental idealism. (shrink)

The aim of this article is to explore the ontological difference within Parmenides’s poem “Peri physeōs,” with a specific focus on line B 2.3, which reads: “exists, and it is not possible not to exist” (estin te kai hōs ouk esti mē einai). By interpreting “ouk esti” as a negative judgment and “mē einai” as a negative predication, I argue that this line already conceals the essence of the ontological difference, insofar as being is not an (...) entity, and entities are not-being. This interpretation draws on Plato’s notion of negation and difference as discussed in "The Sophist," as well as on Kantian infinite judgment. The distinction between these two negations enables the development of the concept of a meontological difference between“non-being” and “non-entities,” which lies at the core of the ontological difference between being and entities, and also illuminates Heidegger’s pairing of Ereignis and Enteignis. Additionally, I argue that Heidegger’s interpretation of Heraclitus in light of truth as alethēia relies on a similar double-negativity. Finally, I show the illuminating potential of examining the ontological difference in Parmenides by analyzing Heidegger’s 1949 preface to the third edition of the treatise “On the Essence of Ground” (1929). (shrink)

The article analyzes Heidegger's critique of Aristotle's bipartite approach to being and entities in the genesis of Western metaphysics. Heidegger challenges Aristotle's analysis, arguing that the integration of entities as a whole and particular entities in physis led to a disregard for ontological difference. The German philosopher proposed that the bifurcation of being resulted in the metaphysical tradition becoming an "ontotheology." In contrast, Heidegger, through phenomenological hermeneutics, reintroduced the question of being, emphasizing the understanding of beings through the (...) pre-logical way Dasein exists in the world, without relying on an eternal and immutable foundation. (shrink)

Chapter 3 of an e-book 'Handbook for Logotherapists' 2024 (Niiles-Mäki Anne). Institute for Purpose-centered Philosophy Finland.

Within Hegel's system of science, judgement(Urteil)is thought's original dividing from identity into difference. In the same context, judgement is also an act of predication where “subject” must be understood in both a grammatical and psychical sense. Thus, judgement expresses a language act that is a self-positing into the difference of being. This article looks at two examples where Hegel's ontological notion of judgement obtains, then finds, the roots of this notion in Hölderlin and Fichte.

Ontological pluralism is the view that there are different fundamental ways of being. Trenton Merricks has recently raised three objections to combining pluralism with a generic way of being enjoyed by absolutely everything there is: first, that the resulting view contradicts the pluralist’s core intuition; second, that it is especially vulnerable to the charge—due to Peter van Inwagen—that it posits a difference in being where there is simply a difference in kind; and, third, that it is in (...) tension with various historically influential motivations for pluralism. I reply to each of these objections in turn. My replies will help to bring out the true nature of the pluralist’s basic commitments. (shrink)

Metascientific ontology differs from philosophical ontologies in its objectives, objects and methods. By an examination of the ontological theories of Mario Bunge, we will show their main objective is a unified representation of the world as known through the sciences, that their objects of study are scientific concepts, and that their methods do not differ from those that one expects to find in any rational activity. Metascientific ontology is therefore not transcendent because it does not seek to represent non-concrete (...) objects alien to the world we inhabit and to the sciences that study it, and therefore does not need special faculties and methods to carry out its research. Metascientific ontology is a general scientific discourse on the world because it was designed by and for the sciences. (shrink)

Performative accounts of personhood argue that group agents are persons, fit to be held responsible within the social sphere. Nonetheless, these accounts want to retain a moral distinction between group and individual persons. That: Group-persons can be responsible for their actions qua persons, but that group-persons might nonetheless not have rights equivalent to those of human persons. I present an argument which makes sense of this disanalogy, without recourse to normative claims or additional ontological commitments. I instead ground rights (...) in the different relations in which performative persons stand in relation to one another. (shrink)

In many different ontological debates, anti-arbitrariness considerations push one towards two opposing extremes. For example, in debates about mereology, one may be pushed towards a maximal ontology (mereological universalism) or a minimal ontology (mereological nihilism), because any intermediate view seems objectionably arbitrary. However, it is usually thought that anti-arbitrariness considerations on their own cannot decide between these maximal or minimal views. I will argue that this is a mistake. Anti-arbitrariness arguments may be used to motivate a certain popular thesis (...) in the philosophy of mathematics that rules out the maximalist view in many different ontological debates. (shrink)

Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which we illustrate by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ontologies. We discuss critically different accounts of ontological form in the literature. Of ontological form, we propose a character- neutral relational account. In this (...) metatheory, ontological forms of entities are their standings in internal relations whose holding is neutral on the character of their relata. These relations are “formal ontological relations”. Entities belong to ontological categories because they stand in the same formal ontological relations. We hold a nominalist relationalism about ontological categories and forms. We conclude by showing that our metatheory is useful for understanding categorial fundamentality/non- fundamentality, different formal ontologies, and for unifying metaphysical questions. (shrink)

Statistics play a critical role in biological and clinical research. However, most reports of scientific results in the published literature make it difficult for the reader to reproduce the statistical analyses performed in achieving those results because they provide inadequate documentation of the statistical tests and algorithms applied. The Ontology of Biological and Clinical Statistics (OBCS) is put forward here as a step towards solving this problem. Terms in OBCS, including ‘data collection’, ‘data transformation in statistics’, ‘data visualization’, ‘statistical data (...) analysis’, and ‘drawing a conclusion based on data’, cover the major types of statistical processes used in basic biological research and clinical outcome studies. OBCS is aligned with the Basic Formal Ontology (BFO) and extends the Ontology of Biomedical Investigations (OBI), an OBO (Open Biological and Biomedical Ontologies) Foundry ontology supported by over 20 research communities. We discuss two examples illustrating how the ontology is being applied. In the first (biological) use case, we describe how OBCS was applied to represent the high throughput microarray data analysis of immunological transcriptional profiles in human subjects vaccinated with an influenza vaccine. In the second (clinical outcomes) use case, we applied OBCS to represent the processing of electronic health care data to determine the associations between hospital staffing levels and patient mortality. Our case studies were designed to show how OBCS can be used for the consistent representation of statistical analysis pipelines under two different research paradigms. By representing statistics-related terms and their relations in a rigorous fashion, OBCS facilitates standard data analysis and integration, and supports reproducible biological and clinical research. (shrink)

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of (...) particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called 'ontologies,' for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They are often idiosyncratically structured, accessible only to those who (...) created them, and unable to serve as inputs for automated reasoning. This volume shows, in a nontechnical way and using examples from medicine and biology, how the rigorous application of theories and insights from philosophical ontology can improve the ontologies upon which information management depends. (shrink)

Ontological pluralism is the view that there are different ways to exist. It is a position with deep roots in the history of philosophy, and in which there has been a recent resurgence of interest. In contemporary presentations, it is stated in terms of fundamental languages: as the view that such languages contain more than one quantifier. For example, one ranging over abstract objects, and another over concrete ones. A natural worry, however, is that the languages proposed by the (...) pluralist are mere notational variants of those proposed by the monist, in which case the debate between the two positions would not seem to be substantive. Jason Turner has given an ingenious response to this worry, in terms of a principle that he calls ‘logical realism’. This paper offers a counter-response on behalf of the ‘notationalist’. I argue that, properly applied, the principle of logical realism is no threat to the claim that the languages in question are notational variants. Indeed, there seems to be every reason to think that they are. (shrink)

This essay provides an opinionated survey of some recent developments in the literature on ontological dependence. Some of the most popular definitions of ontological dependence are formulated in modal terms; others in non-modal terms (e.g., in terms of the explanatory connective, ‘because’, or in terms of a non-modal conception of essence); some (viz., the existential construals of ontological dependence) emphasise requirements that must be met in order for an entity to exist; others (viz., the essentialist construals) focus (...) on conditions that must be satisfied in order for an entity to be the very entity it is at each time at which it exists; some are rigid, in the sense that they concern a relation between particular entities; others are generic, in the sense that they involve only a relation between an entity and some entities or other, which bear certain characteristics. I identify three potential measures of success with respect to which these different definitions of ontological dependence can be evaluated and consider the question of how well they in fact meet these desiderata. I end by noting that certain challenges face even the most promising essentialist construals of ontological dependence. (shrink)

The thesis of methodological individualism in social science is commonly divided into two different claims—explanatory individualism and ontological individualism. Ontological individualism is the thesis that facts about individuals exhaustively determine social facts. Initially taken to be a claim about the identity of groups with sets of individuals or their properties, ontological individualism has more recently been understood as a global supervenience claim. While explanatory individualism has remained controversial, ontological individualism thus understood is almost universally accepted. In (...) this paper I argue that ontological individualism is false. Only if the thesis is weakened to the point that it is equivalent to physicalism can it be true, but then it fails to be a thesis about the determination of social facts by facts about individual persons. Even when individualistic facts are expanded to include people’s local environments and practices, I shall argue, those still underdetermine the social facts that obtain. If true, this has implications for explanation as well as ontology. I first consider arguments against the local supervenience of social facts on facts about individuals, correcting some flaws in existing arguments and affirming that local supervenience fails for a broad set of social properties. I subsequently apply a similar approach to defeat a particularly weak form of global supervenience, and consider potential responses. Finally, I explore why it is that people have taken ontological individualism to be true. (shrink)

Humans think and communicate in very flexible and schematic ways, and a Spatial Data Infrastructure (SDI) for the Amazon and associated information system ontologies should reflect this flexibility and the adaptive nature of human cognition in order to achieve semantic interoperability. In this paper I offer a conceptual investigation of SDI and explore the nature of cultural schemas as expressions of indigenous ontologies and the challenges of semantic interoperability across cultures. Cultural schemas are, in essence, our ontologies, but they are (...) markedly different than classical formal ontologies. They shape our ontological commitments to what exists in the world as well as the ways in which we approach and engage the world. And while they help structure our understanding of the world in which we are embedded, they are associative and flexible. They help to focus our attention to particular details of our experiences and give them salience, yet they cannot be simply reduced to a series of extracted features. They allow us to make meaning of the contextualized, cultural experience in which we are always immersed. An SDI is a shared social-technological-informational structure that, if it is to be useful and successful for sustainability in the Amazon, must incorporate and use indigenous cultural schemas. Indigenous communities must have the ability to contribute to the collection of geospatial data and their contributions recognized as legitimate forms of knowledge. In order for the SDI to work, it must recognize the larger cultural landscape to which cultural schemas can connect to the ready-to-hand elements of salient cultural experiences. (shrink)

Current approaches to formal representation in biomedicine are characterized by their focus on either the static or the dynamic aspects of biological reality. We here outline a theory that combines both perspectives and at the same time tackles the by no means trivial issue of their coherent integration. Our position is that a good ontology must be capable of accounting for reality both synchronically (as it exists at a time) and diachronically (as it unfolds through time), but that these are (...) two quite different tasks, whose simultaneous realization is by no means trivial. The paper is structured as follows. We begin by laying out the methodological and philosophical background of our approach. We then summarize the structure and elements of the Basic Formal Ontology on which it rests, in particular the SNAP ontology of objects and the SPAN ontology of processes. Finally, we apply the general framework to the specific domain of biomedicine. (shrink)

What is the ontology of collective action? I have in mind three connected questions. 1. Do the truth conditions of action sentences about groups require there to be group agents over and above individual agents? 2. Is there a difference, in this connection, between action sentences about informal groups that use plural noun phrases, such as ‘We pushed the car’ and ‘The women left the party early’, and action sentences about formal or institutional groups that use singular noun phrases, (...) such as ‘The United States declared war on Japan on December 8th, 1941’ and ‘The Supreme Court ruled that segregation is unconstitutional in 1954 in Brown vs. Board of Education’? 3. Under what conditions does it make sense to speak of a group doing something together, and what, if anything, is a collective action? In this paper, I argue that a) understanding action sentences about groups does not commit us to the existence of group agents per se, but only to the existence of individual agents; b) there is no difference in this regard between sentences which attribute actions to informal groups on the one hand and institutional groups on the other; c) collective action can be both intentional and unintentional; d) any random group of agents each of whom does something is also a group which does something together; e) while there is a sense in which groups per se perform no primitive collective actions, and therefore no actions at all, f) there is a sensible extension of talk of actions to groups, though it should be treated strictly speaking, like talk of group agents, as a façon de parler, for g) the only agents per se are individuals and the only actions are theirs. -/-. (shrink)

I develop ontological pluralism about non-being, the view that there are multiple ways, kinds, or modes of non-being. I suggest that the view is both more plausible and defensible than it first seems, and that it has many useful applications across a wide variety of metaphysical and explanatory problems. After drawing out the relationship between pluralism about being and pluralism about non-being, I discuss quantificational strategies for the pluralist about non-being. I examine historical precedent for the view. Finally, I (...) suggest that pluralism about non-being has explanatory power across a variety of domains, and that the view can account for differences between nonexistent past and future times, between omissions and absences, and between different kinds of fictional objects. (shrink)

In this paper I argue that the central issue in Heidegger’s path of thought from Being and Time to Contributions and beyond is what he will later call “the matter itself”: neither the meaning of being nor the analysis of Dasein but a transformational encounter in the margins of fundamental ontology. Heidegger’s account of temporality and transcendence from the late 1920s is a clue to the transformation, but it is not until the completion of fundamental ontology in the naming of (...) ontological difference that he arrives at a crisis which performs the transformation and announces the “overturning.” This interpretation revolves around a reading of Heidegger’s 1929 treatise “On the Essence of Ground” in which the text and subsequent marginal notes prepare the transition from Being and Time to Contributions, from Sein to Seyn, and from ontological difference to its appropriation. Thus we find that the language of Ereignis beginning in the 1930s and whatever we might call the “turn” signal the doing of justice to the original task from Being and Time. (shrink)

Basic Formal Ontology (BFO) is a top-level ontology consisting of thirty-six classes, designed to support information integration, retrieval, and analysis across all domains of scientific investigation, presently employed in over 350 ontology projects around the world. BFO is a genuine top-level ontology, containing no terms particular to material domains, such as physics, medicine, or psychology. In this paper, we demonstrate how a series of cases illustrating common types of change may be represented by universals, defined classes, and relations employing the (...) BFO framework. We provide discussion of these cases to provide a template for other ontologists using BFO, as well as to facilitate comparison with the strategies proposed by ontologists using different top-level ontologies. (shrink)

Medical terminology collects and organizes the many different kinds of terms employed in the biomedical domain both by practitioners and also in the course of biomedical research. In addition to serving as labels for biomedical classes, these names reflect the organizational principles of biomedical vocabularies and ontologies. Some names represent invariant features (classes, universals) of biomedical reality (i.e., they are a matter for ontology). Other names, however, convey also how this reality is perceived, measured, and understood by health professionals (i.e., (...) they belong to the domain of epistemology). We analyze terms from several biomedical vocabularies in order to throw light on the interactions between ontological and epistemological components of these terminologies. We identify four cases: 1) terms containing classification criteria, 2) terms reflecting detectability, modality, uncertainty, and vagueness, 3) terms created in order to obtain a complete partition of a given domain, and 4) terms reflecting mere fiat boundaries. We show that epistemology-loaded terms are pervasive in biomedical vocabularies, that the “classes” they name often do not comply with sound classification principles, and that they are therefore likely to cause problems in the evolution and alignment of terminologies and associated ontologies. (shrink)

When we ask what natural kinds are, there are two different things we might have in mind. The first, which I’ll call the taxonomy question, is what distinguishes a category which is a natural kind from an arbitrary class. The second, which I’ll call the ontology question, is what manner of stuff there is that realizes the category. Many philosophers have systematically conflated the two questions. The confusion is exhibited both by essentialists and by philosophers who pose their accounts in (...) terms of similarity. It also leads to misreading philosophers who do make the distinction. Distinguishing the questions allows for a more subtle understanding of both natural kinds and their underlying metaphysics. (shrink)

Increasingly, in data-intensive areas of the life sciences, experimental results are being described in algorithmically useful ways with the help of ontologies. Such ontologies are authored and maintained by scientists to support the retrieval, integration and analysis of their data. The proposition to be defended here is that ontologies of this type – the Gene Ontology (GO) being the most conspicuous example – are a part of science. Initial evidence for the truth of this proposition (which some will find self-evident) (...) is the increasing recognition of the importance of empirically-based methods of evaluation to the ontology development work being undertaken in support of scientific research. Ontologies created by scientists must, of course, be associated with implementations satisfying the requirements of software engineering. But the ontologies are not themselves engineering artifacts, and to conceive them as such brings grievous consequences. Rather, ontologies such as the GO are in different respects comparable to scientific theories, to scientific databases, and to scientific journal publications. Such a view implies a new conception of what is involved in the authoring, maintenance and application of ontologies in scientific contexts, and therewith also a new approach to the evaluation of ontologies and to the training of ontologists. (shrink)

In a development that has still been hardly noticed by philosophers, a conception of ontology has been advanced in recent years in a series of extra-philosophical disciplines as researchers in linguistics, psychology, geography and anthropology have sought to elicit the ontological commitments (‘ontologies’, in the plural) of different cultures or disciplines. Exploiting the terminology of Quine, researchers in psychology and anthropology have sought to establish what individual human subjects, or entire human cultures, are committed to, ontologically, in their everyday (...) cognition, in much the same way in which philosophers of science have attempted to elicit the ontological commitments of the natural sciences. Thus they have engaged in inquiries designed to establish how folk ontologies (or folk biologies, folk theories of physics, folk psychologies, and so on) develop through infancy and childhood, or to establish the degree to which given elements of folk ontologies reflect universal features of the human cognitive system. In a parallel development, researchers in biomedicine developed what they called 'ontologies' as controlled vocabularies to ensure interoperability of the way in which, for example, genomic data is described in different biological disciplines. We describe in what follows some of the relations between these efforts and the more traditional concerns of philosophers. (shrink)

This paper motivates taking seriously the possibility that brains are basically protean: that they make use of neural structures in inventive, on-the-fly improvisations to suit circumstance and context. Accordingly, we should not always expect cognition to divide into functionally stable neural parts and pieces. We begin by reviewing recent work in cognitive ontology that highlights the inadequacy of traditional neuroscientific approaches when it comes to divining the function and structure of cognition. Cathy J. Price and Karl J. Friston, and Colin (...) Klein identify the limitations of relying on forward and reverse inferences to cast light on the relation between cognitive functions and neural structures. There is reason to prefer Klein’s approach to that of Price and Friston’s. But Klein’s approach is neurocentric - it assumes that we ought to look solely at neural contexts to fix cognitive ontology. Using recent work on mindreading as a case study, we motivate adopting a radically different approach to cognitive ontology. Promoting the Protean Brain Hypothesis, we posit the possibility that we may need to look beyond the brain when deciding which functions are being performed in acts of cognition and in understanding how the brain contributes to such acts by adapting to circumstance. (shrink)

The problem of merging several ontologies has important applications in the Semantic Web, medical ontology engineering and other domains where information from several distinct sources needs to be integrated in a coherent manner.We propose to view ontology merging as a problem of social choice, i.e. as a problem of aggregating the input of a set of individuals into an adequate collective decision. That is, we propose to view ontology merging as ontology aggregation. As a first step in this direction, we (...) formulate several desirable properties for ontology aggregators, we identify the incompatibility of some of these properties, and we define and analyse several simple aggregation procedures. Our approach is closely related to work in judgment aggregation, but with the crucial difference that we adopt an open world assumption, by distinguishing between facts not included in an agent’s ontology and facts explicitly negated in an agent’s ontology. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate in such processes. For this purpose we distinguish between meta-ontology and token ontologies. Token ontologies fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in distinct though compatible systems of categories. The meta-ontological level then describes the relationships between the different token (...) ontologies. In a SNAP (snapshot) ontology we have enduring entities such as substances, qualities, roles, functions as these exist to be inventoried at a given moment of time. In a SPAN ontology we have perduring entities such as processes and their parts and aggregates. We argue that both kinds of ontological theory are required, together with the metaontology which joins them together, in order to give a non-reductionistic account of both static and dynamic aspects of the geospatial world. (shrink)

In this paper ontological implications of the Barcan formula and its converse will be discussed at the conceptual and technical level. The thesis that will be defended is that sentential moods are not ontologically neutral since the rejection of ontological implications of Barcan formula and its converse is a condition of a possibility of the imperative mood. The paper is divided into four sections. In the first section a systematization of semantical systems of quantified modal logic is introduced (...) for the purpose of making explicit their ontological presuppositions. In this context Jadacki's ontological difference between being and existence is discussed and analyzed within the framework of hereby proposed system of quantified modal logic. The second section discusses ontological implications of the Barcan formula and its converse within the system accommodating the difference between being and existence. The third section presents a proof of incompatibility of the Barcan formula and its converse with the use of imperatives. In the concluding section, a thesis on logical pragmatics foreclosing the dilemma between necessitism and contingentism is put forward and defended against some objections. (shrink)

We present the details of a methodology for quality assurance in large medical terminologies and describe three algorithms that can help terminology developers and users to identify potential mistakes. The methodology is based in part on linguistic criteria and in part on logical and ontological principles governing sound classifications. We conclude by outlining the results of applying the methodology in the form of a taxonomy different types of errors and potential errors detected in SNOMED-CT.

Since 2002 we have been testing and refining a methodology for ontology development that is now being used by multiple groups of researchers in different life science domains. Gary Merrill, in a recent paper in this journal, describes some of the reasons why this methodology has been found attractive by researchers in the biological and biomedical sciences. At the same time he assails the methodology on philosophical grounds, focusing specifically on our recommendation that ontologies developed for scientific purposes should be (...) constructed in such a way that their terms are seen as referring to what we call universals or types in reality. As we show, Merrill’s critique is of little relevance to the success of our realist project, since it not only reveals no actual errors in our work but also criticizes views on universals that we do not in fact hold. However, it nonetheless provides us with a valuable opportunity to clarify the realist methodology, and to show how some of its principles are being applied, especially within the framework of the OBO (Open Biomedical Ontologies) Foundry initiative. (shrink)

In this dissertation I examine the ontological and systematic basis of Hegel’s social and political philosophy. I argue that the structures of the will, discussed in paragraphs five through seven of the Philosophy of Right, present the key for understanding the goal and the argumentative structure of that work. Hegel characterizes the will in terms of the oppositions between the universal and the particular, the infinite and the finite, and the indeterminate and the determinate. Ultimately, he argues that we (...) must grasp the will as the unity of these oppositional moments. The Philosophy of Right presents an extended attempt to grasp this unity. -/- In order to central problem presented by the structure of the will, I argue that we must first recognize the will as the highest instantiation of the more general structures that constitute the notion. On my interpretation, the term ‘notion’ designates Hegel’s doctrine of substance. More specifically, this term presents his conception of substance in terms of categories normally associated with human subjectivity, in terms of representation and purposive action. -/- The will presents the highest or truest instantiation of the notion. Various notions can be ranked along a spectrum in accordance with their degree of success at resolving the basic problem facing all objects – namely the problem of integrating or essentially relating identity and difference through self-constituting activity. The unification of identity and difference presents the central problem or paradox of Hegel’s philosophy. It is a paradox that takes many forms. In this dissertation, I show how change, the structure of judgment, and the nature of the object all exhibit this paradox. I also show how Hegel’s doctrine of the notion develops as a direct response to this paradox. Additionally, I argue that Hegel’s account of the structure of the will – as the unity of the universal and the particular, the unity of the infinite and the finite, and the unity of the indeterminate and the determinate – presents the highest manifestation of the paradox that arises when we seek to explain the unity of identity and difference. (shrink)

Ontology has been proposed as a solution to the 'Tower of Babel' problem that threatens the semantic interoperability of information systems constructed independently for the same domain. In information systems research and applications, ontologies are often implemented by formalizing the meanings of words from natural languages. However, words in different natural languages sometimes subdivide the same domain of reality in terms of different conceptual categories. If the words and their associated concepts in two natural languages, or even in two terminological (...) traditions within the same language, do not have common referents in the real world, an ontology based on word meanings will inherit the 'Tower of Babel' problem from the languages involved, rather than solve it. In this paper we present evidence from a preliminary comparison of landscape terms in English with those in the Yindjibarndi language of northwestern Australia demonstrating that this problem is not just hypothetical. Some possible solutions are suggested. (shrink)

In this paper we begin categorizing a plurality of possible worlds on the basis of permitting or not permitting ontologically different things to be causally connected. We build the work on the dual principle that all universes are causally closed either because no universe causes anything outside itself or because no universe has anything in it that is caused by another universe.

There are a number of existing classifications and staging schemes for carcinomas, one of the most frequently used being the TNM classification. Such classifications represent classes of entities which exist at various anatomical levels of granularity. We argue that in order to apply such representations to the Electronic Health Records one needs sound ontologies which take into consideration the diversity of the domains which are involved in clinical bioinformatics. Here we outline a formal theory for addressing these issues in a (...) way that the ontologies can be used to support inferences relating to entities which exist at different anatomical levels of granularity. Our case study is the colon carcinoma, one of the most common carcinomas prevalent within the European population. (shrink)

Genres inform our appreciative practices. What it takes for a work to be a good work of comedy is different than what it takes for a work to be a good work of horror, and a failure to recognize this will lead to a failure to appreciate comedies or works of horror particularly well. Likewise, it is not uncommon to hear people say that a film or novel is a good work, but not a good work of x (where x (...) is the genre of that work). A work can be good all things considered, but genre membership provides us with an additional set of evaluative criteria over and above those of the medium, which colors how we interpret and appreciate the work. Given this importance, it is not surprising that philosophers of art have been interested in providing an account of what, exactly, a genre is. Despite this interest, there is not widespread agreement about what it takes for something to be a genre, nor what kinds of considerations are relevant in determining whether a work is a member of that genre. Beyond this, we might also want to know to what degree we ought to consider genre in evaluating a work of art and why it should matter at all. Here, I explore the variety of recent theories that philosophers have taken up on the topic of genre and why we should ultimately think of genres as artistic practices rather than the alternatives. (shrink)

Quality assurance in large terminologies is a difficult issue. We present two algorithms that can help terminology developers and users to identify potential mistakes. We demon­strate the methodology by outlining the different types of mistakes that are found when the algorithms are applied to SNOMED-CT. On the basis of the results, we argue that both formal logical and linguistic tools should be used in the development and quality-assurance process of large terminologies.

The desideratum of semantic interoperability has been intensively discussed in medical informatics circles in recent years. Originally, experts assumed that this issue could be sufficiently addressed by insisting simply on the application of shared clinical terminologies or clinical information models. However, the use of the term ‘ontology’ has been steadily increasing more recently. We discuss criteria for distinguishing clinical ontologies from clinical terminologies and information models. Then, we briefly present the role clinical ontologies play in two multicentric research projects. Finally, (...) we discuss the interactions between these different kinds of knowledge representation artifacts and the stakeholders involved in developing interoperational real-world clinical applications. We provide ontology engineering examples from two EU-funded projects. (shrink)

In this Introduction, we begin with two relatively uncontroversial matters: the broad contours of the history of discussion of ontological arguments, and the major topics that require discussion in connection with ontological arguments. We then move on to consideration of the much more difficult task of the characterisation of ontological arguments—i.e. the task of saying exactly what ontological arguments are and explaining how they differ from, say, cosmological, teleological, and moral arguments for the existence of God—and (...) then the equally contested question of the provision of general objections to ontological arguments, including, in particular, attempts to show that there could not possibly be a successful ontological argument. Finally, we consider some often-neglected questions about how to assess the merits of arguments, with a particular eye on the assessment of the merits of ontological arguments. (shrink)

The central question of ontology has long been thought to be ‘What is there?’. The central way of answering it has been to consider which entities we must posit as part of a best total explanatory theory. This paper argues against this ‘explanatory’ conception of metaphysics, by showing that it relies on an unarticulated assumption that all the terms at issue in these metaphysical debates serve an explanatory function. Making use of work in systemic functional linguistics enables us to identify (...) the many different functions played by terms of interest in metaphysics. And that makes it clear that ‘contribution of explanatory power’ should be rejected as an across-the-board criterion in ontology. This work in functional linguistics also enables us to see why it is useful to have a language that entitles us to use redundant inferences to introduce terms for properties, numbers, and the like, giving us new reason to accept ‘easy’ inferences that there are such things. As a result, we should give up thinking that ‘what is there?’ provides a deep and interesting question for a discipline called ‘ontology’ to answer, and give up thinking that the task for ontology is to determine which entities to ‘posit’ as part of a best total explanatory theory. (shrink)

Kris McDaniel has recently proposed an interpretation of the distinction between conventional truth and ultimate truth, as that distinction is made within Abhidharma metaphysics. According to McDaniel's proposal, the distinction between conventional truth and ultimate truth is closely connected with a similar distinction between conventional existence and ultimate existence. What is more, the distinction between conventional existence and ultimate existence should be interpreted along ontological pluralist lines: the difference between things that ultimately exist and things that merely conventionally (...) exist amounts to a difference in the modes of being enjoyed by the things in question.One... (shrink)

While representation learning techniques have shown great promise in application to a number of different NLP tasks, they have had little impact on the problem of ontology matching. Unlike past work that has focused on feature engineering, we present a novel representation learning approach that is tailored to the ontology matching task. Our approach is based on embedding ontological terms in a high-dimensional Euclidean space. This embedding is derived on the basis of a novel phrase retrofitting strategy through which (...) semantic similarity information becomes inscribed onto fields of pre-trained word vectors. The resulting framework also incorporates a novel outlier detection mechanism based on a denoising autoencoder that is shown to improve performance. An ontology matching system derived using the proposed framework achieved an F-score of 94% on an alignment scenario involving the Adult Mouse Anatomical Dictionary and the Foundational Model of Anatomy ontology (FMA) as targets. This compares favorably with the best performing systems on the Ontology Alignment Evaluation Initiative anatomy challenge. We performed additional experiments on aligning FMA to NCI Thesaurus and to SNOMED CT based on a reference alignment extracted from the UMLS Metathesaurus. Our system obtained overall F-scores of 93.2% and 89.2% for these experiments, thus achieving state-of-the-art results. (shrink)

We present an ontology of pain and of other pain-related phenomena, building on the definition of pain provided by the International Association for the Study of Pain (IASP). Our strategy is to identify an evolutionarily basic canonical pain phenomenon, involving unpleasant sensory and emotional experience based causally in localized tissue damage that is concordant with that experience. We then show how different variant cases of this canonical pain phenomenon can be distinguished, including pain that is elevated relative to peripheral trauma, (...) pain that is caused neuropathically (thus with no necessary peripheral stimulus), and pain reports arising through deception either of self or of others. We describe how our approach can answer some of the objections raised against the IASP definition, and sketch how it can be used to support more sophisticated discrimination of different types of pain resulting in improved data analysis that can help in advancing pain research. (shrink)

As available intelligence data and information expand in both quantity and variety, new techniques must be deployed for search and analytics. One technique involves the semantic enhancement of data through the creation of what are called ‘ontologies’ or ‘controlled vocabularies.’ When multiple different bodies of heterogeneous data are tagged by means of terms from common ontologies, then these data become linked together in ways which allow more effective retrieval and integration. We describe a simple case study to show how these (...) benefits are being achieved, and we describe our strategy for developing a suite of ontologies to serve the needs of the war-fighter in the ever more complex battlespace environments of the future. (shrink)

How do we find what is clinically significant in the swarms of data being generated by today’s diagnostic technologies? As electronic records become ever more prevalent – and digital imaging and genomic, proteomic, salivaomics, metabalomics, pharmacogenomics, phenomics and transcriptomics techniques become commonplace – fdifferent clinical and biological disciplines are facing up to the need to put their data houses in order to avoid the consequences of an uncontrolled explosion of different ways of describing information. We describe a new strategy to (...) advance the consistency of data in the dental research community. The strategy is based on the idea that existing systems for data collection in dental research will continue to be used, but proposes a methodology in which past, present and future data will be described using a consensus-based controlled structured vocabulary called the Ontology for Dental Research (ODR). (shrink)

In contemporary discussions on identity, difference and subjectivity, the thinking of Judith Butler has played a significant role, viewing identity as a problematic question of how the subject is constituted by historical structures of power that deprives it of original ownness and substantiality. As this situation for Butler stems neither from a historical occurrence, nor is clearly ontological, the question of the origin of this problem of identity and power remains. Through the thinking of Martin Heidegger, the present (...) study develops the argument that this problem indicates the completion of subject metaphysics, not its overcoming. When identity is thought and lived in terms of subjectivity, power will be its condition. This argument is first developed through a comparison of Butler’s and Heidegger’s respective appropriations of He-gel’s philosophy, together with an independent account of Hegel’s thinking. For Hegel, identi-ty involves a strive for being as a mediation of subjectivity and objectivity, where conscious-ness incorporates both beyond their split. According to Butler, this is impossible, as subjectivi-ty and objectivity are multiple, temporal and shared. For Heidegger however, the problem lies in the very thought of being as a connection of subjectivity and objectivity, and the under-standing of the human as the ground of this reconciliation. I will thereafter examine Heidegger’s “The Principle of Identity” (1957) as a response to this metaphysical comprehen-sion of identity. Here, Heidegger develops his notion of a belonging-together of man and be-ing, as a Sameness grounded in an enduring of the ontological difference between being and beings. In holding out this difference, man discovers that his primary belonging is that to the very being of his existence as such, rather than beings of subjective or objective kind. The no-tion of belonging-together is closely connected to the notion of the event (Ereignis), signify-ing Sameness as occurrence. The study covers Butler’s central writings up to 2006, Hegel’s Encyclopedia Logic, Science of Logic and Phenomenology of Spirit, as well as the whole of Heidegger’s late thought on this topic from the 30’s and onward together with a selection of his earlier works, among them Being and Time. (shrink)

The theory of granular partitions (TGP) is a new approach to the understanding of ontologies and other classificatory systems. The paper explores the use of this new theory in the treatment of task-based clinical guidelines as a means for better understanding the relations between different clinical tasks, both within the framework of a single guideline and between related guidelines. We used as our starting point a DAML+OIL-based ontology for the WHO guideline for hypertension management, comparing this with related guidelines and (...) attempting to show that TGP provides a flexible and highly expressive basis for the manipulation of ontologies of a sort which might be useful in providing more adequate Computer Interpretable Guideline Models (CIGMs) in the future. (shrink)