The traditional approach to explanation in cognitive neuroscience is realist about psychological constructs, and treats them as explanatory. On the “standard framework,” cognitive neuroscientists explain behavior as the result of the instantiation of psychological functions in brain activity. This strategy is questioned by results suggesting the distribution of function in the brain, the multifunctionality of individual parts of the brain, and the overlap in neural realization of purportedly distinct psychological constructs. One response to this in the field has been to (...) employ the tools of databasing and machine learning to attempt to find and quantify specific correlations between psychological kinds such as ‘memory’ or ‘attention’ (or sub-kinds thereof) and patterns of activity in the brain. I assess the status and prospects of these projects. I argue that current proponents of the project are vague about their aims, vis-à-vis the standard framework, sometimes suggesting substantiation of the framework, sometimes suggesting retaining the framework but revising the ontology of mental constructs, and sometimes suggesting abandonment of the framework. I argue that extant results from within the projects fail to substantiate the standard framework, and propose an alternative. On my view, psychological constructs should not be viewed as explanantia, but instead as heuristic concepts that help us uncover ways that behaviors can vary and the ways that the brain implements those distinctions. I then discuss the normative upshot of these views for databasing and brain mapping projects. (shrink)

Evidence-based medicine relies on the execution of clinical practice guidelines and protocols. A great deal of of effort has been invested in the development of various tools which automate the representation and execution of the recommendations contained within such guidelines and protocols by creating Computer Interpretable Guideline Models (CIGMs). Context-based task ontologies (CTOs), based on standard terminology systems like UMLS, form one of the core components of such a model. We have created DAML+OIL-based CTOs for the tasks mentioned in (...) the WHO guideline for hypertension management, drawing comparisons also with other related guidelines. The advantages of CTOs include: contextualization of ontologies, providing ontologies tailored to specific aspects of the phenomena of interest, dividing the complexity involved in creating ontologies into different levels, providing a methodology by means of which the task recommendations contained within guidelines can be integrated into the clinical practices of a health care set-up. (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)

This article clarifies three principles that should guide the development of any cognitive ontology. First, that an adequate cognitive ontology depends essentially on an adequate task ontology; second, that the goal of developing a cognitive ontology is independent of the goal of finding neural implementations of the processes referred to in the ontology; and third, that cognitive ontologies are neutral regarding the metaphysical relationship between cognitive and neural processes.

Foundational relations play an important role in the ontological foundations of conceptual modeling. Their investigation has been theoretically addressed in philosophical/ontological theories, and empirically offered in foundational ontologies (FOs). FOs are comprehensive theories that model the world as top-level entities and relations. Empirically, for modelers aiming to use foundational relations without an urge for entity types, FOs seem to be complex to comprehend, comply with, and integrate in practice. And since the practice of these relations is critical for conceptual modeling (...) tasks, we present an approach that builds a well-founded entity-type free relations theory within a first-order-logic formalization, besides large complex FOs. The theory contributes to a minimal set of foundational ontological relations (FORT) by importing extant theories (mereotopology and location) and (re-)formalizing other relations (dependence, membership, constitution, and entity-location), while no FO has compromised this set. (shrink)

There seems to be some movement towards an ontological turn in the philosophy of education. The purpose of this chapter is to contribute this current debate by framing what the ontology for the philosophy of education could be and what it could offer. Some current writings in this movement will shortly reviewed and criticized because of too narrow and shallow understanding of ontology and missing ontological seriousness. Then the task of ontology will be concretized to the (...) solving of some fundamental basic problems of philosophy of education. Solution to these problems will be sketched by introducing an alternative ontological theory developed originally by C. B Martin. This solution is closely connected to the theme of this book because it is essentially the ontology of interaction. Finally it will be noted that one cannot draw too straight practical conclusions from an ontological theory but in addition at least semiotic analysis of human interaction is needed. (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)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I (...) discuss ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

The rapidly increasing wealth of genomic data has driven the development of tools to assist in the task of representing and processing information about genes, their products and their functions. One of the most important of these tools is the Gene Ontology (GO), which is being developed in tandem with work on a variety of bioinformatics databases. An examination of the structure of GO, however, reveals a number of problems, which we believe can be resolved by taking account (...) of certain organizing principles drawn from philosophical ontology. We shall explore the results of applying such principles to GO with a view to improving GO’s consistency and coherence and thus its future applicability in the automated processing of biological data. (shrink)

In this paper, I develop a criticism to a method for metaontology, namely, the idea that a discourse’s or theory’s ontological commitments can be read off its sentences’ truth- conditions. Firstly, I will put forward this idea’s basis and, secondly, I will present the way Quine subscribed to it. However, I distinguish between two readings of Quine’s famous ontological criterion, and I center the focus on the one currently dubbed “ontological minimalism”, a kind of modern Ockhamism applied to the mentioned (...) metaontological view. I show that this view has a certain application via Quinean thesis of reference inscrutability but that it is not possible to press that application any further and, in particular, not for the ambitious metaontological task some authors try to employ. The conclusion may sound promising: having shown the impossibility of a semantic ontological criterion, intentionalist or subjectivist ones should be explored. (shrink)

Philosophers of science commonly connect ontology and science, stating that these disciplines maintain a two-way relationship: on the one hand, we can extract ontology from scientific theories; on the other hand, ontology provides the realistic content of our scientific theories. In this article, we will critically examine the process of naturalizing ontology, i.e., confining the work of ontologists merely to the task of pointing out which entities certain theories commit themselves to. We will use non-relativistic (...) quantum mechanics as a case study. We begin by distinguishing two roles for ontology: the first would be characterized by cataloging existing entities according to quantum mechanics; the second would be characterized by establishing more general ontological categories in which existing entities must be classified. We argue that only the first step is available for a naturalistic approach; the second step not being open for determination or anchoring in science. Finally, we also argue that metaphysics is still a step beyond ontology, not contained in either of the two tasks of ontology, being thus even farther from science. (shrink)

Enterprise Risk Management involves the process of identification, evaluation, treatment, and communication regarding risks throughout the enterprise. To support the tasks associated with this process, several frameworks and modeling languages have been proposed, such as the Risk and Security Overlay (RSO) of ArchiMate. An ontological investigation of this artifact would reveal its adequacy, capabilities, and limitations w.r.t. the domain of risk and security. Based on that, a language redesign can be proposed as a refinement. Such analysis and redesign have been (...) executed for the risk elements of the RSO grounded in the Common Ontology of Value and Risk. The next step along this line of research is to address the following research problems: What would be the outcome of an ontological analysis of security-related elements of the RSO? That is, can we identify other semantic deficiencies in the RSO through an ontological analysis? Once such an analysis is provided, can we redesign the security elements of the RSO accordingly, in order to produce an improved artifact? Here, with the aid of the Reference Ontology for Security Engineering (ROSE) and the ontological theory of prevention behind it, we address the remaining gap by proceeding with an ontological analysis of the security-related constructs of the RSO. The outcome of this assessment is an ontology-based redesign of the ArchiMate language regarding security modeling. In a nutshell, we report the following contributions: (1) an ontological analysis of the RSO that identifies six limitations concerning security modeling; (2) because of the key role of the notion of prevention in security modeling, the introduction of the ontological theory of prevention in ArchiMate; (3) a well-founded redesign of security elements of ArchiMate; and (4) ontology-based security modeling patterns that are logical consequences of our proposal of redesign due to its underlying ontology of security. As a form of evaluation, we show that our proposal can describe risk treatment options, according to ISO 31000. Finally, besides presenting multiple examples, we proceed with a real-world illustrative application taken from the cybersecurity domain. (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)

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)

Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies while preserving as much of the original knowledge as possible increases. Most previous approaches to this task are based on removing a few axioms from the ontology to regain consistency. We propose a new method based on weakening these axioms to (...) make them less restrictive, employing the use of refinement operators. We introduce the theoretical framework for weakening DL ontologies, propose algorithms to repair ontologies based on the framework, and provide an analysis of the computational complexity. Through an empirical analysis made over real-life ontologies, we show that our approach preserves significantly more of the original knowledge of the ontology than removing axioms. (shrink)

The task of this chapter is to investigate and assess Grossmann’s view of the ontological status of categories. It has two dimensions. Because Grossmann does not offer a full discussion of the ontology of categories, we first need to present an interpretation of his view. Our point of departure is Grossmann’s claim that a category is a fundamental property of being (which implies that he holds view 3 above). Our second task is to assess the adequacy of (...) his view. We do this by raising some problems with Grossmann’s account, offering as an alternative view a version of 4 above, and defending it against what we construe as Grossmann’s possible counter-arguments. We argue that the best way to view categories themselves is as ontologically neutral insofar as this opens the way for particular categories to be linguistic entities, mental acts, or properties of extra-mental things. This requires, in turn, a qualified defense of two views rejected by Grossmann—common natures and modes of being. (shrink)

Managing complex disaster situations is a challenging task because of the large number of actors involved and the critical nature of the events themselves. In particular, the different terminologies and technical vocabularies that are being exchanged among Emergency Responders may lead to misunderstandings. Maintaining a shared semantics for exchanged data is a major challenge. To help to overcome these issues, we elaborate a modular suite of ontologies called POLARISCO that formalizes the complex knowledge of the ERs. Such a shared (...) vocabulary resolves inconsistent terminologies and promotes semantic interoperability among ERs. In this work, we discuss developing POLARISCO as an extension of Basic Formal Ontology and the Common Core Ontologies. We conclude by presenting a real use-case to check the efficiency and applicability of the proposed ontology. (shrink)

The aim of this essay is to consider the nature of the philosophical task and of the conditions of its possibility according to Parmenides and Plato. With these thinkers, the task of the philosopher necessitates a propaedeutic activity that makes the doing of philosophy possible; that is, both Parmenides and Plato identify the need for a philosophical education that would alleviate the obstacles that would make philosophy impossible to practise, ensuring and accounting for the possibility of philosophical practice. (...) The impossibility of philosophical practice concerns the philosopher’s claim and obligation to occupy a place (τόπος) from which to contemplate being. The problem becomes conspicuous, for the first time, in the first lines of the first fragment of the first text of pure ontology: in the proemium of Parmenides’ poem. I will argue that the proemium has a crucial philosophical function that binds it integrally to the argument of the poem. This function consists in the implementation of a philosophical propaedeutic that makes possible the articulation of the goddess’s critique. The need for a propaedeutic stems from the nature of the project that lies ahead, that is, the project of the youth’s education. Such education takes the form of the delimitation of the realm of the beings that νοῦς can concern itself with. (shrink)

Recent years have seen rapid progress in the development of ontologies as semantic models intended to capture and represent aspects of the real world. There is, however, great variation in the quality of ontologies. If ontologies are to become progressively better in the future, more rigorously developed, and more appropriately compared, then a systematic discipline of ontology evaluation must be created to ensure quality of content and methodology. Systematic methods for ontology evaluation will take into account representation of (...) individual ontologies, performance (in terms of accuracy, domain coverage and the efficiency and quality of automated reasoning using the ontologies) on tasks for which the ontology is designed and used, degree of alignment with other ontologies and their compatibility with automated reasoning. A sound and systematic approach to ontology evaluation is required to transform ontology engineering into a true scientific and engineering discipline. This chapter discusses issues and problems in ontology evaluation, describes some current strategies, and suggests some approaches that might be useful in the future. (shrink)

This paper advances a general argument, inspired by some remarks of Davidson, to show that appeal to meanings as entities in the theory of meaning is neither necessary nor sufficient for carrying out the tasks of the theory of meaning. The crucial point is that appeal to meaning as entities fails to provide us with an understanding of any expression of a language except insofar as we pick it out with an expression we understand which we tacitly recognize to be (...) a translation of the term whose meaning we want to illuminate by the appeal to assigning to it a meaning. The meaning drops out as irrelevant: the work is done, and can only be done, by matching terms already understood with terms they translate. (shrink)

Social phenomena—quite like mental states in the philosophy of mind—are often regarded as potential troublemakers from the start, particularly if they are approached with certain explanatory commitments, such as naturalism or social individualism, already in place. In this paper, we argue that such explanatory constraints should be at least initially bracketed if we are to arrive at an adequate non-biased description of social phenomena. Legitimate explanatory projects, or so we maintain, such as those of making the social world fit within (...) the natural world with the help of, e.g., collective intentionality, social individualism, and the like, should neither exclude nor influence the prior description of social phenomena. Just as we need a description of the mental that is not biased, for example, by (anti)physicalist constraints, we need a description of the social that is not biased, for example, by (anti)individualist or (anti)naturalist commitments. Descriptive social ontology, as we shall conceive of it, is not incompatible with the adoption of explanatory frameworks in social ontology; rather, the descriptive task, according to our conception, ought to be recognized as prior to the explanatory project in the order of inquiry. If social phenomena are, for example, to be reduced to nonsocial (e.g., psychological or physical) phenomena, we need first to understand clearly what the social candidates for the reduction in question are. While such descriptive or naive approaches have been influential in general metaphysics (see Fine 2017), they have so far not been prominent in analytic social ontology (though things are different outside of analytic philosophy, see esp. Reinach (1913). In what follows, we shall outline the contours of a descriptive approach by arguing, first, that description and explanation need to be distinguished as two distinct ways of engaging with social phenomena. Secondly, we defend the claim that the descriptive project ought to be regarded as prior to the explanatory project in the order of inquiry. We begin, in Section 2, by considering two different ways of engaging with mental phenomena: a descriptive approach taken by descriptive psychology and an explanatory approach utilized in analytic philosophy of mind. We take these two ways of approaching the study of the mind to be analogous to the distinction we want to draw in social ontology between a descriptive and an explanatory approach to the study of social phenomena. We consider next, in Section 3, how our approach compares to neighboring perspectives that are familiar to us from general metaphysics and philosophy more broadly, such as Aristotle’s emphasis on “saving the appearances”, Strawson’s distinction between descriptive and revisionary metaphysics, as well as Fine’s contrast between na¨ive and foundational metaphysics. In Section 4, we apply the proposed descriptive/explanatory distinction to the domain of social ontology and argue that descriptive social ontology ought to take precedence in the order of inquiry over explanatory social ontology. Finally, in Section 5, we consider and respond to several objections to which our account might seem to be susceptible. (shrink)

The moot point of the Western philosophical rhetoric about free will consists in examining whether the claim of authorship to intentional, deliberative actions fits into or is undermined by a one-way causal framework of determinism. Philosophers who think that reconciliation between the two is possible are known as metaphysical compatibilists. However, there are philosophers populating the other end of the spectrum, known as the metaphysical libertarians, who maintain that claim to intentional agency cannot be sustained unless it is assumed that (...) indeterministic causal processes pervade the action-implementation apparatus employed by the agent. The metaphysical libertarians differ among themselves on the question of whether the indeterministic causal relation exists between the series of intentional states and processes, both conscious and unconscious, and the action, making claim for what has come to be known as the event-causal view, or between the agent and the action, arguing that a sort of agent causation is at work. In this paper, I have tried to propose that certain features of both event-causal and agent-causal libertarian views need to be combined in order to provide a more defendable compatibilist account accommodating deliberative actions with deterministic causation. The ‘‘agent-executed-eventcausal libertarianism’’, the account of agency I have tried to develop here, integrates certain plausible features of the two competing accounts of libertarianism turning them into a consistent whole. I hope to show in the process that the integration of these two variants of libertarianism does not challenge what some accounts of metaphysical compatibilism propose—that there exists a broader deterministic relation between the web of mental and extra-mental components constituting the agent’s dispositional system—the agent’s beliefs, desires, short-term and long-term goals based on them, the acquired social, cultural and religious beliefs, the general and immediate and situational environment in which the agent is placed, etc. on the one hand and the decisions she makes over her lifetime on the basis of these factors. While in the ‘‘Introduction’’ the philosophically assumed anomaly between deterministic causation and the intentional act of deciding has been briefly surveyed, the second section is devoted to the task of bridging the gap between compatibilism and libertarianism. The next section of the paper turns to an analysis of folk-psychological concepts and intuitions about the effects of neurochemical processes and prior mental events on the freedom of making choices. How philosophical insights can be beneficially informed by taking into consideration folk-psychological intuitions has also been discussed, thus setting up the background for such analysis. It has been suggested in the end that support for the proposed theory of intentional agency can be found in the folk-psychological intuitions, when they are taken in the right perspective. (shrink)

O artigo investiga a relação Husserl-Heidegger, para além de suas contribuições à fenomenologia e hermenêutica como novos métodos em filosofia, articulando ontologia e subjetividade, através de um paradigma semânticolingüístico, de forma a delinear qual seria a tarefa hodierna de uma fenomenologia da justiça. The article investigates the Husserl-Heidegger relationship, beyond their historical contributions to both phenomenology and hermeneutics as new methods in philosophy, by articulating ontology and subjectivity through asemantic, linguistic paradigm, so as to delineate the task of (...) a phenomenology of justice. (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)

I argue that current projects in ‘naturalized metaphysics’ fail to be properly naturalistic, and thereby fail in their stated aim to take one’s metaphysics from science. I argue that naturalism must involve the idea of taking science seriously, and that this can only be spelled out in terms of taking not only the theories of science seriously, but also its practice and its socio-linguistic situatedness seriously as well. This accords with naturalism because not doing so draws an artificial (non-natural) distinction (...) between the epistemic products of science as essence, and its socio-linguistic and practical features as accidents. The picture of naturalism which falls out of this is a form of pragmatism. Once this is spelled out, the question becomes, what is the appropriate attitude for the pragmatist/naturalist to have toward ontology? It is not the same as that of traditional metaphysics, since such an attitude (that metaphysical theorizing can make positive epistemic contributions) requires a priori commitments which themselves are (1) not subject to empirical review, and (2) are anthropocentric and so potentially distorted. But the pragmatist/naturalist will not go the opposite way, and say that metaphysics is meaningless either, since (true to their pragmatic commitments) ontology does things for the scientist and the layperson. It is a mistake to reject it wholesale, since the task of asserting what there is, exposing such an ontology to criticism, both empirical and logical, and revising it, has both small-scale and large-scale consequences. On the small-scale, ontologies are a guide for thinking—scientists, engineers, and lay people can and do use models of existence to navigate occurent problems in their day-to-day lives. Whether this is posing research hypotheses, developing protocols for generating new materials, or cooling off a cup of coffee, ontology plays a role. Large-scale consequences are more weighty, and more difficult to see. These large-scale consequences have to do with the aims and values which individuals and societies possess, and their interrelation with ontology. This certainly was at the forefront of the earliest ontologies—the Epicureans and Stoics built their moral philosophy on the basis of what ontology they thought was correct. This sort of practice goes on, unabated, today, though with virtually no overt acknowledgement of this important interdependency. How, for the pragmatist, do we make sense of ontological talk, if we are to eschew traditional metaphysics? Ontology—the naturalist/pragmatist declares—is a tool. Ontology helps us do things, whether it be predict behavior, understand phenomena, blame or forgive someone, and hope or despair about a life after this one (for example). Building an ontology is about building our own concepts, and this, in turn is a negotiation between our beliefs, experiences, and commitments, and the beliefs, experiences, and commitments of with whom we’re discursively engaged. (shrink)

A startling amount of intelligent activity can be controlled without reasoning or thought. By tuning the perceptual system to task relevant properties a creature can cope with relatively sophisticated environments without concepts. There is a limit, however, to how far a creature without concepts can go. Rod Brooks, like many ecologically oriented scientists, argues that the vast majority of intelligent behaviour is concept-free. To evaluate this position I consider what special benefits accrue to concept-using creatures. Concepts are either necessary (...) for certain types of perception, learning, and control, or they make those processes computationally simpler. Once a creature has concepts its capacities are vastly multiplied. (shrink)

Aristotle, in his Metaphysics, not only tries to establish a relationship that is direct, coherent, inter-operational and "precise" between this science, its name as a science, and its object of study, but also begins an indignation that tries to set a science — materially adequate and formally correct — to study τὸ ὂν ᾗ ὂν. In order to complete this task, Aristotle does an in-focus strategy that consists on the diffusion of τὸ ὄν in its categories, that allows Aristotle (...) the possibility of formulate a science ἐπιστήμη to study τὸ ὂν ᾗ ὂν at the same time that supports the diffusion of τὸ ὄν in the "different categories or supreme genres" of τὸ ὄν. Due to this argumentation, Aristotle distinguishes the ἐπιστήμη σοφία of any other type of knowledge: the former is fundamentally an enquiry "about the first causes (πρῶτα αἴτια) and the principles (ἀρχὰς)". With this conception in mind, Aristotle was able to characterize several related forms of the ἐπιστήμη σοφία which, as a whole, eventually allow him to establish a science of the principles and causes "maximally universal and referred to…everything real", and in consequence, to "that that is, as long as something is". In this work, I will try to reconstruct such arguments, and offer some observations and conjectures referred to these notions that plausibly incline the scale in favor of an ontological reading of Aristotle’s Metaphysics, in order to contribute to clarify the confusion that exists between the aim of the discipline with the justification to establish the existence of its own object. (shrink)

The philosophy of science of Patrick Suppes is centered on two important notions that are part of the title of his recent book (Suppes 2002): Representation and Invariance. Representation is important because when we embrace a theory we implicitly choose a way to represent the phenomenon we are studying. Invariance is important because, since invariants are the only things that are constant in a theory, in a way they give the “objective” meaning of that theory. Every scientific theory gives a (...) representation of a class of structures and studies the invariant properties holding in that class of structures. In Suppes’ view, the best way to define this class of structures is via axiomatization. This is because a class of structures is given by a definition, and this same definition establishes which are the properties that a single structure must possess in order to belong to the class. These properties correspond to the axioms of a logical theory. In Suppes’ view, the best way to characterize a scientific structure is by giving a representation theorem for its models and singling out the invariants in the structure. Thus, we can say that the philosophy of science of Patrick Suppes consists in the application of the axiomatic method to scientific disciplines. What I want to argue in this paper is that this application of the axiomatic method is also at the basis of a new approach that is being increasingly applied to the study of computer science and information systems, namely the approach of formal ontologies. The main task of an ontology is that of making explicit the conceptual structure underlying a certain domain. By “making explicit the conceptual structure” we mean singling out the most basic entities populating the domain and writing axioms expressing the main properties of these primitives and the relations holding among them. So, in both cases, the axiomatization is the main tool used to characterize the object of inquiry, being this object scientific theories (in Suppes’ approach), or information systems (for formal ontologies). In the following section I will present the view of Patrick Suppes on the philosophy of science and the axiomatic method, in section 3 I will survey the theoretical issues underlying the work that is being done in formal ontologies and in section 4 I will draw a comparison of these two approaches and explore similarities and differences between them. (shrink)

Despite the recent advances in information and communication technology that have increased our ability to store and circulate information, the task of ensuring that the right sorts of information gets to the right sorts of people remains. We argue that the many efforts underway to develop efficient means for sharing information across healthcare systems and organizations would benefit from a careful analysis of human action in healthcare organizations. This in turn requires that the management of information and knowledge within (...) healthcare organizations be combined with models of resources and processes of patient care that are based on a general ontology of social interaction. The Health Level 7 (HL7) is one of several ANSI-accredited Standards Developing Organizations operating in the healthcare arena. HL7 has advanced a widely used messaging standard that enables healthcare applications to exchange clinical and administrative data in digital form. HL7 focuses on the interface requirements of the entire healthcare system and not exclusively on the requirements of one area of healthcare such as pharmacy, medical devices, imaging or insurance transactions. This has inspired the development of a powerful abstract model of patient care called the Reference Information Model (RIM). The present paper begins with an overview of the core classes of the HL7 (Version 3) RIM and a brief discussion of its “actcentered” view of healthcare. Central to this account is what is called the life cycle of events. A clinical action may progress from defined, through planned and ordered, to executed. These modalities of an action are represented as the mood of the act. We then outline the basis of an ontology of organizations, starting from the theory of speech Acts, and apply this ontology to the HL7 RIM. Special attention is given to the sorts of preconditions that must be satisfied for the successful performance of a speech act and to the sorts of entities to which speech acts give rise (e.g. obligations, claims, commitments, etc.). Finally we draw conclusions for the efficient communication and management of medical information and knowledge within and between healthcare organizations, paying special attention to the role that medical documents play in such organizations. (shrink)

Mental health research faces a suite of unresolved challenges that have contributed to a stagnation of research efforts and treatment innovation. One such challenge is how to reliably and validly account for the subjective side of patient symptomatology, that is, the patient’s inner experiences or patient phenomenology. Providing a structured, standardised semantics for patient phenomenology would enable future research in novel directions. In this contribution, we aim at initiating a standardized approach to patient phenomenology by sketching a tentative formalisation within (...) the framework of an applied ontology, in the broader context of existing open-source Open Biomedical Ontologies resources such as the Mental Functioning Ontology. We further discuss a number of prevailing challenges and observations bearing on this task. (shrink)

Philosophical work on explanation has focused on the following two topics: theories of explanation, intended to enumerate necessary and sufficient conditions for explanation, and inference to the best explanation as the strongest form of justification for ontological or metaphysical claims. I critically examine the most important philosophical work in both of these areas and defend my own conclusions about the connections between explanation and ontology. I argue that all of our inferences about the nature of the world, in (...) class='Hi'>ontology or metaphysics, presuppose criteria for acceptable explanation. I first examine the metaphysics of Plato, Aristotle, and Leibniz, arguing that their metaphysical reasoning was guided by assumptions about the nature of explanation. I also survey some recent work in ontology and find inference to the best explanation offered as the strongest available method of defending existence claims. To conclude this discussion, I offer an original argument for the thesis that all reasoning about existence claims, being nondeductive, presupposes some criteria for acceptable explanations, or a theory of explanation. Carl Hempel and Wesley Salmon have been two of the most influential philosophers offering theories of explanation, and I examine their work with the intention of discovering ontological or metaphysical assumptions shaping their theories of explanation. I argue that Hempel's theory rests on deterministic assumptions, and I argue the Salmon's theory of causality, which he admits supports his theory of explanation, is subject to empiricist criticisms. Theories of explanation typically rest on assumptions about the nature of the world, I argue, and I explain why this is so with an original theory of explanation connecting it to the psychological phenomenon of understanding. We rely on understanding in the identification of explanations, and understanding requires establishing a metaphysical context for an explanandum-event. I end by indicating the possibility of generating vicious justificatory circles through the reciprocal relationship of support between explanation and ontology, and I argue that vicious circles can be avoided only by grounding all ontological reasoning in a fundamental explanatory task of giving order to experience through a system of categories. (shrink)

An important part of the Unified Medical Language System (UMLS) is its Semantic Network, consisting of 134 Semantic Types connected to each other by edges formed by one or more of 54 distinct Relation Types. This Network is however for many purposes overcomplex, and various groups have thus made attempts at simplification. Here we take this work further by simplifying the relations which involve the three Semantic Types – Diagnostic Procedure, Laboratory Procedure and Therapeutic or Preventive Procedure. We define operators (...) which can be used to generate terms instantiating types from this selected set when applied to terms designating certain other Semantic Types, including almost all the terms specifying clinical tasks. Usage of such operators thus provides a useful and economical way of specifying clinical tasks. The operators allow us to define a mapping between those types within the UMLS which do not represent clinical tasks and those which do. This mapping then provides a basis for an ontology of clinical tasks that can be used in the formulation of computer-interpretable clinical guideline models. (shrink)

Charlotte Witt covers a remarkable amount of ground in this concise and elegantly written book. Coming in at under 150 pages, she artfully weaves together Aristotle’s theory of functions with contemporary work on cultural transmission and apprenticeship, ideas about self-creation with theories of aspiration and transformative experience, and reflections on the relationships among social norms and games with thoughts about social roles and the nature of hierarchy. At the heart of it is an elaboration and defense of a thoroughly externalist (...) account of social normativity. Witt takes skilled experts, especially artisans like chefs and carpenters, as paradigm cases for theorizing about social normativity. She uses them to argue that the ultimate source of many normative obligations is found not in the acquiescence, attitudes, or any other features internal to those on whom those obligations fall. Rather, the demands are rooted in the world itself, and flow from specific circumstances, especially from the constraints those circumstances impose on different actors in virtue of the tasks they need to perform. The result is a view that depicts social normativity not just as external to individuals but also unavoidably role specific; what is right for a chef is not necessarily right for a carpenter, and what makes for a good nurse might make for a poor drill sergeant. Witt’s presentation of this package of ideas is both careful and austere, and it makes for a wonderfully thought provoking read. Social Goodness: On the Ontology of Social Norms will reward the careful attention of anyone interested in social ontology, especially the metaphysical foundations of normativity, the nature of social norms, and the relationship between social roles and the self. (shrink)

Nel 1956, in piena guerra fredda, una conferenza di scienziati al Dartmouth College negli Stati Uniti annunciò il lancio di un audace progetto scientifico, l’Intelligenza Artificiale (I.A.). Dopo l’iniziale fallimento degli sforzi della “Hard AI” di produrre un’intelligenza simile a quella umana, alla fine del XX secolo è emerso il movimento della “Soft AI”. Invece di essere orientato a imitare il comportamento umano in relazione a compiti specifici, ha preferito cercare modi alternativi di eseguire i compiti basati sulle particolari funzioni (...) e strutture della macchina. Il fattore decisivo è stata la combinazione della tecnologia di apprendimento automatico con le comunicazioni digitali online, l’incontro tra l’IA e Internet. Le applicazioni dell’IA “soft” sono quelle che vediamo nel mondo dei dispositivi automatici “intelligenti” che informano la nostra vita sociale digitale. Nel seguente articolo mi concentrerò su una particolare applicazione dell’IA per le discussioni online con utenti umani, ChatGPT, per mostrare le implicazioni della tecnologia digitale online nelle modalità storico-sociali dell’esistenza umana. ChatGPT è un’applicazione che combina l’IA con Internet, le possibilità della corrispondenza tra macchine e le potenzialità della tele-comunicazione umana. Il mio approccio si concentra sulle implicazioni fenomenologiche e storico-sociali della proliferazione della tecnologia AI per quanto riguarda la coscienza e la socialità umana. -/- Abstract (english) -/- In 1956, amidst the Cold War, a conference of scientists at Dartmouth College in the United States announced the launch of a bold, scientific project, Artificial Intelligence (A.I.). After the initial failure of “Hard AI” efforts to produce a human-like intelligence, the “Soft AI” movement emerged in the late 20th century. Instead of being oriented towards imitating human behaviour concerning specific tasks, it preferred to seek alternative ways of performing tasks based on the particular functions and structures of the machine. The decisive factor was the combination of Machine Learning technology with Digital Online Communications, the meeting between AI and the Internet. The applications of “Soft” AI are those we see in the world of “smart”, “intelligent” automatic devices that inform our digital social life. In the following article, I will focus on a particular application of AI for online discussions with human users, ChatGPT, in order to show the implications of online digital technology in the social-historical modalities of human existence. ChatGPT is an application that combines AI with the Internet, the possibilities of Machine correspondence with the potentialities of human telecommunications. My approach focuses on the phenomenological and social-historical implications of the proliferation of AI technology as regards human consciousness and sociality. (shrink)

Despite the recent advances in information and communication technology that have increased our ability to store and circulate information, the task remains of ensuring that the right sorts of information reach the right sorts of people. In what follows we defend the thesis that efforts to develop efficient means for sharing information across healthcare systems and organizations would benefit from a careful analysis of human action in healthcare organizations, and that the communication of healthcare information and knowledge needs to (...) rest on a sound ontology of social interaction. We illustrate this thesis in relation to the HL7 RIM, which is one centrally important tool for communication in the healthcare domain. (shrink)

Community has been both celebrated and demonized as a fortress that shelters and defends its members from being exposed to difference. Instead of abandoning community as an antiquated model of relationships that is ill suited for our globalized world, this book turns to the writings of Giorgio Agamben, Roberto Esposito, and Jean-Luc Nancy in search for ways to rethink community in an open and inclusive manner. Greg Bird argues that a central piece of this task is found in how (...) each philosopher rearticulates community not as something that is proper to those who belong and improper to those who are excluded or where inclusion is based on one’s share in common property. We must return to the forgotten dimension of sharing, not as a sharing of things that we can contain and own, but as a process that divides us up and shares us out in community with one another. This book traces this problem through a wide array of fields ranging from biopolitics, communitarianism, existentialism, phenomenology, political economy, radical philosophy, and social theory. (shrink)

My task in this paper is to study Sartre’s ontology as a godless theology. The urgency of defending freedom and responsibility in the face of determinism called for an overarching first principle, a role that God used to play. I first show why such a principle is important and how Sartre filled the void that God had left with a solipsist consciousness. Then I characterize Sartre’s ontology of this consciousness as a “dualist monism”, explaining how it supports (...) his radical conception of freedom. Then, by assessing Sartre’s dualist monism through a theological lens, I disclose an inconsistency in his thought concerning the idea that the in-itself is a deterministic plenitude, which presumes a theos different from consciousness and hence threatens monism. Finally I argue that his inconsistency originates from the finitude of Sartre’s first principle and analyze this finitude by examining the modes of temporality it implies. The entire trajectory problematizes the practice of theo-logy, the idea that a theos stands at the origin of the “logic” (organization or intelligibility) of everything such that all must be conceived under the logos of the theos. While Sartre forcefully criticized the theology of the infinite, his was nonetheless a theology of finitude. (shrink)

‘Thing’ in the titular question should be construed as having the utmost generality. In the relevant sense, a thing just is an entity, an existent, a being. The present task is to say what a thing of any category is. This task is, I believe, the primary one of any comprehensive and systematic metaphysics. Indeed, an answer provides the means for resolving perennial disputes concerning the integrity of the structure in reality—whether some of the relations among things are (...) necessary merely given those relata themselves—and the intricacy of this structure—whether some things are more or less fundamental than others. After considering some reasons for thinking the generality of the titular question makes it unanswerable, I propound the methodology, original inquiry, required to answer it. The key to this methodology is adopting a singular perspective; confronting the world as merely the impetus to inquiry, one can attain an account of what a thing must be. Radical ontology is a systematic metaphysics—broadly Aristotelian, essentialist and nonhierarchical—that develops the consequences of this account. With it, it is possible to move past stalemate in metaphysics by revealing the grounds of a principled choice between seemingly incommensurable worldviews. (shrink)

For the metaphysician, photographs are very puzzling entities indeed. And even from the non-philosopher's intuitive point of view, it is not that clear what sort of thing a photograph is. Typically, if a client wants to purchase a photograph, she can mean very different things by 'buying a photograph' : she can mean to buy a print or a number of prints, or she can mean to buy a negative (when traditional film photographs are concerned) or a file (when digital (...) photography is concerned), or she can mean to buy a right to use a photograph a precisely determined number of times in a number of brochures or on a website, and so on. When facing a new client, I always, without exception, face the problem of explaining to her what it is that she is actually buying – and it is not always clear that she is ever buying a photograph. As a metaphysician, I face a much more difficult challenge : find out to what ontological category photographs belong to. Are they concrete spatio-temporal entities like prints, are they universals since there can be many 'prints-instances' of a same photograph, are they sets or aggregates of prints, or something even different ? This is the task that I wish to undertake in this paper : examine all plausible metaphysical categories to which photographs could belong to, and see which one is the fittest. As we shall see, in this 'survival for the fittest' competition between traditional metaphysical categories, there will be no real winner : several categories will reveal themselves to be enlightening and useful when describing features of what photographs are, but none will prove to be entirely satisfactory. Photographs, it seems, are a sort of borderline entities that share some but not all aspects of several traditional metaphysical categories. Is it then justified to postulate a new ontological category to which photographs would properly belong ? On mainly methodological grounds, I shall argue that it is not, and I will suggest a different way out of this metaphysician's trouble by defending a nihilism about photographs. To put it bluntly, I will defend the claim that photographs do not exist – but I will also argue that this is not a very revisionary or anti-commonsensical claim. (shrink)

On the opposition between de re and de dicto conceptions of vagueness, with special reference to their bearing on the tasks of ontology.

: To address the question “on what there is” raised by Quine, and to accomplish the task of comprehending exhaustively the many ontological units that populate the great province of Being, we propose as an alternative to Puntel’s ontology a new ontology designated as “Structural Ontology” (SO). Such ontology is based on systematic-structural theoretical foundations, but leads to a diverse view in which structured factual units, structural configurations (dynamics), as well as apparent ontological units (objects), (...) all encompassed by the temporal sub-dimension that interconnects them, understood as an internal sub-dimension of the macro-dimension of Being, co-subsist. In this sense, we begin by situating the ontological theme in current philosophical discussion from a Quinean perspective. We then present a concept of truth derived from our reading of puntelian philosophy, which will be the point of connection between language and the world. Subsequently, we show how from the concept of truth, after a brief foray into philosophical semantics, we arrive at the ontological field from the ontological categories of structure and ontological state. Finally, we outline, in its general features, our structural ontology, which includes its own ontological notions that give new directions to philosophical understanding of this great theme. (shrink)

When developing phylogenetic systematics, the entomologist Willi Hennig adopted elements from Nicolai Hartmann’s ontology. In this historical essay I take on the task of documenting this adoption. I argue that in order to build a metaphysical foundation for phylogenetic systematics, Hennig adopted from Hartmann four main metaphysical theses. These are (1) that what is real is what is temporal; (2) that the criterion of individuality is to have duration; (3) that species are supra-individuals; and (4) that there are (...) levels of reality, each of which may be subject to different kinds of law. Reliance on Hartmann’s metaphysics allowed Hennig to ground some of the main theoretical principles of phylogenetic systematics, namely that the biological categories—from the semaphoront to the highest rank—have reality and individuality despite not being universals, and that they form a hierarchy of levels, each of which may require different kinds of explanation. Hartmann’s metaphysics thereby provided a philosophical justification for Hennig’s phylogenetic systematics, both as a theory and as a method of classification. (shrink)

Although it might seem to elicit only a marginal interest for philosophical inquiry, in 20th century continental philosophy the experience of solitude and loneliness were shown to have unexpected importance and gravity. For philosophers such as M. Heidegger, H. Arendt, H.-G. Gadamer or P. Sloterdijk, solitude and loneliness are to be seen, on the one hand, as an ontological determination of our Being and, on the other, as a cause for some of the most worrisome problems of our times such, (...) as the birth of totalitarianism or the phenomenon of self-alienation wide-spread in the Western bureaucratic societies. But none of the philosophers dealing with these matters offers us a clear positive understanding of what solitude and loneliness actually are nor what the task of philosophy should be with regard to these experiences even though they give us to understand that philosophy has one. The present paper tarries upon this question, approaching it from the other end though an investigation of the status of alterity in Heidegger and Gadamer’s philosophy. (shrink)

Wikipedia is a goldmine of information; not just for its many readers, but also for the growing community of researchers who recognize it as a resource of exceptional scale and utility. It represents a vast investment of manual effort and judgment: a huge, constantly evolving tapestry of concepts and relations that is being applied to a host of tasks. This article provides a comprehensive description of this work. It focuses on research that extracts and makes use of the concepts, relations, (...) facts and descriptions found in Wikipedia, and organizes the work into four broad categories: applying Wikipedia to natural language processing; using it to facilitate information retrieval and information extraction; and as a resource for ontology building. The article addresses how Wikipedia is being used as is, how it is being improved and adapted, and how it is being combined with other structures to create entirely new resources. We identify the research groups and individuals involved, and how their work has developed in the last few years. We provide a comprehensive list of the open-source software they have produced. (shrink)

Raimo Tuomela is one of the pioneers of social action theory and has done as much as anyone over the last thirty years to advance the study of social action and collective intentionality. Social Ontology: Collective Intentionality and Group Agents (2013) presents the latest version of his theory and applications to a range of important social phenomena. The book covers so much ground, and so many important topics in detailed discussions, that it would impossible in a short space to (...) do it even partial justice. In this brief note, I will concentrate on a single, though important, theme in the book, namely, the claim that we must give up methodological individualism in the social sciences and embrace instead irreducibly group notions. I wish to defend methodological individualism as up to the theoretical tasks of the social sciences while acknowledging what is distinctive about the social world and collective intentional action. -/- Tuomela frames the question of the adequacy of methodological individualism in terms of a contrast between what he calls the I-mode and the we-mode. He argues that we-mode phenomena are not reducible to I-mode phenomena, and concludes that we must reject methodological individualism. I will argue that the irreducibility of the we-mode to the I-mode, given how the contrast is set up, does not entail the rejection of methodological individualism. In addition, I will argue that the three conditions that Tuomela places on genuine we-mode activities, the group reason, collectivity, and collective commitment conditions, if they are understood in a way that does not beg the question, can plausibly be satisfied by a reductive account. Finally, I will argue that the specific considerations advanced in the book do not give us reason to think that a reductive account cannot be adequate to the descriptive and explanatory requirements of a theory of the social world. (shrink)

One of the tasks of ontology in information science is to support the classification of entities according to their kinds and qualities. We hold that to realize this task as far as entities such as material objects are concerned we need to distinguish four kinds of entities: substance particulars, quality particulars, substance universals, and quality universals. These form, so to speak, an ontological square. We present a formal theory of classification based on this idea, including both a semantics (...) for the theory and a provably sound axiomatization. (shrink)

Pope Benedict XVI argued that it is "necessary and reasonable to raise the question of God through the use of reason" and to understand "theology, as inquiry into the rationality of faith." (Ratzinger 2006) The idea that faith per se can be reconciled with rationality per se presents a delicate analytical task for philosophy of religion, to consistently ground a belief system which is regarded by nonbelievers as inherently ungrounded and inconsistent, without negating any grounding postulates internal to the (...) dogma. Focussing on Abrahamic theism, with special emphasis on Christianity, I interpret the Biblical narrative as a symbolic representation of a universal normative structure grounded in social ontology and the value-commitments intrinsic to agency. (shrink)

Philosophy of science sees itself in the tradition of epistemology, whose epistemological paradigm it adopts and on which it is based, namely the subject-object model of cognition in conjunction with the idea of certainty of knowledge and the claim to the 'critical legitimation' of knowledge. On closer inspection, however, its own development turns out to be a deconstruction of the basic epistemological idea, namely the idea of certainty of knowledge. Without this, however, not only the adherence to the linear subject-object (...) model of cognition, but also the claim to the 'legitimation' of cognition loses its binding force. For philosophy of science this means the opportunity to rethink its own task, i.e. to take a step back from the claim of 'critical legitimation' of scientific knowledge to its unbiased reflection, starting from the real, holistic situation of cognition. It is only in this framework that the fundamental difference between the concepts of cognition, namely the object-related concept of metaphysics (to which epistemology also refers), and the transcendental, cross-referential concept of physics becomes epistemologically comprehensible. And the question also arises as to what our notion of cogniton and our epistemological ideas are all about. It will turn out that these are essentially based on an ontological premise, which in reality is gradually being undermined by physics. In other words, these epistemological ideas themselves are an obstacle to an adequate understanding of physics. (shrink)

For two reasons, physics occupies a preeminent position among the sciences. On the one hand, due to its recognized position as a fundamental science, and on the other hand, due to the characteristic of its obvious certainty of knowledge. For both reasons it is regarded as the paradigm of scientificity par excellence. With its focus on the issue of epistemic certainty, philosophy of science follows in the footsteps of classical epistemology, and this is also the basis of its 'judicial' pretension (...) vis-à-vis physics. Whereas physics is in a strong competitive relationship to philosophy and epistemology with respect to its position as a fundamental science - even on the subject of cognition, as the pretension of 'reductionism' shows. It is the thematic focus on epistemic certainty itself, however, that becomes the root of a profound epistemological misunderstanding of physics. The reason for this is twofold: first, the idea of epistemic certainty as a criterion of 'demarcation' between physics and metaphysics obscures the view of the much deeper heuristic differences between the two kinds of knowledge. The second, related, reason is that epistemology does not ask the question of the reason for the epistemic certainty of physics; instead, it sets itself the task of 'legitimating' physical knowledge, and this, crucially, with reference to the interpretation of the process of cognition. Thus, as a matter of course, all epistemological assumptions about this process – including the common descriptive understanding of knowledge and its ontological premises – flow into the interpretation of physics as a science. Consequently, this undertaking is not only doubtful from the ground up, because it presupposes for its meaningfulness nothing less than certainty of knowledge concerning (the interpretation of) the process of knowledge, thereby relying on mere convictions; moreover, by projecting the descriptive, 'metaphysical' concept of knowledge onto physics, it leads to unsolvable epistemological problems and corresponding resignative conclusions concerning the claim of knowledge of physics. In other words, epistemology itself builds, due to its basic assumptions, a major obstacle for an adequate understanding of physics. Physics' cross-object, deconstructive approach to knowledge implies a completely different, non-descriptive understanding of its concepts, with consequences that extend far beyond itself due to its status as a basic science. (shrink)