The paper presents the outlines of an ontology of plans and guidelines, which is then used as the basis for a framework for implementing guideline-based systems for the management of workflow in health care organizations. The framework has a number of special features, above all in that it enables us to represent in formal terms assignments of work-items both to individuals and to teams and to tailor guideline to specific contexts of application in health care organizations. It is designed also (...) to enable implementations to do justice to the fact that the processes carried out in health care organizations may deviate in different ways from the norms set forth in corresponding guideline definitions. This means that implementations built in conformity with the framework will be marked by a type of flexibility that might make them more likely to be accepted by healthcare professionals than are standard guideline-based management systems. (shrink)

Here we present what we believe is a novel account of what languages are, along with an axiomatically rich representation of languages and language-related data that is based on this account. We propose an account of languages as aggregates of dispositions distributed across aggregates of persons, and in doing so we address linguistic competences and the processes that realize them. This paves the way for representing additional types of language-related entities. Like demographic data of other sorts, data about languages may (...) be of use to researchers in a number of areas, including biomedical research. Data on the languages used in clinical encounters are typically included in medical records, and capture an important factor in patient-provider interactions. Like many types of patient and demographic data, data on a person’s preferred and primary languages are organized in different ways by different systems. This can be a barrier to data integration. We believe that a robust framework for representing language in general and preferred and primary language in particular – which has been lacking in ontologies thus far – can promote more successful integration of language-related data from disparate data sources. (shrink)

REMARKS ON EVOLUTION AND TIME-SCALES, Graham Cairns-Smith; HODGSON'S BLACK BOX, Thomas Clark; DO HODGSON'S PROPOSITIONS UNIQUELY CHARACTERIZE FREE WILL?, Ravi Gomatam; WHAT SHOULD WE RETAIN FROM A PLAIN PERSON'S CONCEPT OF FREE WILL?, Gilberto Gomes; ISOLATING DISPARATE CHALLENGES TO HODGSON'S ACCOUNT OF FREE WILL, Liberty Jaswal; FREE AGENCY AND LAWS OF NATURE, Robert Kane; SCIENCE VERSUS REALIZATION OF VALUE, NOT DETERMINISM VERSUS CHOICE, Nicholas Maxwell; COMMENTS ON HODGSON, J.J.C. Smart; THE VIEW FROM WITHIN, Sean Spence; COMMENTARY ON HODGSON, Henry (...) Stapp. (shrink)

When Adam Smith published his celebrated writings on economics and moral philosophy he famously referred to the operation of an invisible hand. Adam Smith's Political Philosophy makes visible the invisible hand by examining its significance in Smith's political philosophy and relating it to similar concepts used by other philosophers, revealing a distinctive approach to social theory that stresses the significance of the unintended consequences of human action. This book introduces greater conceptual clarity to the discussion of the (...) invisible hand and the related concept of unintended order in the work of Smith and in political theory more generally. By examining the application of spontaneous order ideas in the work of Smith, Hume, Hayek and Popper, Adam Smith's Political Philosophy traces similarities in approach and from these builds a conceptual, composite model of an invisible hand argument. While setting out a clear model of the idea of spontaneous order the book also builds the case for using the idea of spontaneous order as an explanatory social theory, with chapters on its application in the fields of science, moral philosophy, law and government. (shrink)

This review essay assesses Michael Jackson’s ongoing project of staging an encounter between anthropology and philosophy in two books: Lifeworlds (2013) and As Wide as the World Is Wise (2016). Considering his philosophical enrichment of ethnographic theory and method, this essay addresses foundational questions about the prospects and practices of interdisciplinary engagement. It also suggests future avenues for continued dialogue between philosophy and anthropology.

The Protein Ontology (PRO; http://proconsortium.org) formally defines protein entities and explicitly represents their major forms and interrelations. Protein entities represented in PRO corresponding to single amino acid chains are categorized by level of specificity into family, gene, sequence and modification metaclasses, and there is a separate metaclass for protein complexes. All metaclasses also have organism-specific derivatives. PRO complements established sequence databases such as UniProtKB, and interoperates with other biomedical and biological ontologies such as the Gene Ontology (GO). PRO relates to (...) UniProtKB in that PRO’s organism-specific classes of proteins encoded by a specific gene correspond to entities documented in UniProtKB entries. PRO relates to the GO in that PRO’s representations of organism-specific protein complexes are subclasses of the organism-agnostic protein complex terms in the GO Cellular Component Ontology. The past few years have seen growth and changes to the PRO, as well as new points of access to the data and new applications of PRO in immunology and proteomics. Here we describe some of these developments. (shrink)

Biomedical ontologies are emerging as critical tools in genomic and proteomic research where complex data in disparate resources need to be integrated. A number of ontologies exist that describe the properties that can be attributed to proteins; for example, protein functions are described by Gene Ontology, while human diseases are described by Disease Ontology. There is, however, a gap in the current set of ontologies—one that describes the protein entities themselves and their relationships. We have designed a PRotein Ontology (PRO) (...) to facilitate protein annotation and to guide new experiments. The components of PRO extend from the classification of proteins on the basis of evolutionary relationships to the representation of the multiple protein forms of a gene (products generated by genetic variation, alternative splicing, proteolytic cleavage, and other post-translational modification). PRO will allow the specification of relationships between PRO, GO and other OBO Foundry ontologies. Here we describe the initial development of PRO, illustrated using human proteins from the TGF-beta signaling pathway. (shrink)

In recent years, sequencing technologies have enabled the identification of a wide range of non-coding RNAs (ncRNAs). Unfortunately, annotation and integration of ncRNA data has lagged behind their identification. Given the large quantity of information being obtained in this area, there emerges an urgent need to integrate what is being discovered by a broad range of relevant communities. To this end, the Non-Coding RNA Ontology (NCRO) is being developed to provide a systematically structured and precisely defined controlled vocabulary for the (...) domain of ncRNAs, thereby facilitating the discovery, curation, analysis, exchange, and reasoning of data about structures of ncRNAs, their molecular and cellular functions, and their impacts upon phenotypes. The goal of NCRO is to serve as a common resource for annotations of diverse research in a way that will significantly enhance integrative and comparative analysis of the myriad resources currently housed in disparate sources. It is our belief that the NCRO ontology can perform an important role in the comprehensive unification of ncRNA biology and, indeed, fill a critical gap in both the Open Biological and Biomedical Ontologies (OBO) Library and the National Center for Biomedical Ontology (NCBO) BioPortal. Our initial focus is on the ontological representation of small regulatory ncRNAs, which we see as the first step in providing a resource for the annotation of data about all forms of ncRNAs. The NCRO ontology is free and open to all users. (shrink)

Klein’s account of epistemic justification, infinitism, supplies a novel solution to the regress problem. We argue that concentrating on the normative aspect of justification exposes a number of unpalatable consequences for infinitism, all of which warrant rejecting the position. As an intermediary step, we develop a stronger version of the ‘finite minds’ objection.

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

The computational genomics community has come increasingly to rely on the methodology of creating annotations of scientific literature using terms from controlled structured vocabularies such as the Gene Ontology (GO). We here address the question of what such annotations signify and of how they are created by working biologists. Our goal is to promote a better understanding of how the results of experiments are captured in annotations in the hope that this will lead to better representations of biological reality through (...) both the annotation process and ontology development, and in more informed use of the GO resources by experimental scientists. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

Ontology is a burgeoning field, involving researchers from the computer science, philosophy, data and software engineering, logic, linguistics, and terminology domains. Many ontology-related terms with precise meanings in one of these domains have different meanings in others. Our purpose here is to initiate a path towards disambiguation of such terms. We draw primarily on the literature of biomedical informatics, not least because the problems caused by unclear or ambiguous use of terms have been there most thoroughly addressed. We advance a (...) proposal resting on a distinction of three levels too often run together in biomedical ontology research: 1. the level of reality; 2. the level of cognitive representations of this reality; 3. the level of textual and graphical artifacts. We propose a reference terminology for ontology research and development that is designed to serve as common hub into which the several competing disciplinary terminologies can be mapped. We then justify our terminological choices through a critical treatment of the ‘concept orientation’ in biomedical terminology research. (shrink)

This paper applies the ontological framework developed by Roman Ingarden in his Controversy over the Existence of the World to the domain of mathematics, concluding with some remarks on parallels between the mode of existence of mathematical entities on the one hand and of values on the other.

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

The National Center for Biomedical Ontology is now in its seventh year. The goals of this National Center for Biomedical Computing are to: create and maintain a repository of biomedical ontologies and terminologies; build tools and web services to enable the use of ontologies and terminologies in clinical and translational research; educate their trainees and the scientific community broadly about biomedical ontology and ontology-based technology and best practices; and collaborate with a variety of groups who develop and use ontologies and (...) terminologies in biomedicine. The centerpiece of the National Center for Biomedical Ontology is a web-based resource known as BioPortal. BioPortal makes available for research in computationally useful forms more than 270 of the world's biomedical ontologies and terminologies, and supports a wide range of web services that enable investigators to use the ontologies to annotate and retrieve data, to generate value sets and special-purpose lexicons, and to perform advanced analytics on a wide range of biomedical data. (shrink)

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

The COVID-19 pandemic revealed numerous weaknesses in pandemic preparedness and response, including underfunding, inadequate surveillance, and inequitable distribution of countermeasures. To overcome these weaknesses for future pandemics, WHO released a zero draft of a pandemic treaty in February, 2023, and subsequently a revised bureau's text in May, 2023. COVID-19 made clear that pandemic prevention, preparedness, and response reflect choices and value judgements. These decisions are therefore not a purely scientific or technical exercise, but are fundamentally grounded in ethics. The latest (...) treaty draft reflects these ethical considerations by including a section entitled Guiding Principles and Approaches. Most of these principles are ethical—they establish core values that undergird the treaty. Unfortunately, the treaty draft's set of principles are numerous, overlapping, and show inadequate coherence and consistency. We propose two improvements to this section of the draft pandemic treaty. First, key guiding ethical principles should be clearer and more precise than they currently are. Second, the link between ethical principles and policy implementation should be clearly established and define boundaries on acceptable interpretation, ensuring that signatories abide by these principles. (shrink)

Human cognitive acts are directed towards entities of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. A categorial scheme for the objects of human cognition should be (1) critical and realistic. Cognitive subjects are liable to error, even to systematic error of the sort that is manifested by believers in the Pantheon of Olympian gods. Thus not all putative object-directed acts should be recognized as having objects of their own. (...) Broadly, the objects towards which human cognition is directed should be parts of reality in a sense that is at least consistent with the truths of natural science. But such a scheme should also be (2) comprehensive: it should do justice to each sort of object on its own terms, and not attempt to eliminate objects of one sort in favour of objects of other, more favoured sorts. Linguistic and other forms of idealism, as well as Meinongian theories, which assign to each and every referring expression or intentional act an object tailored to fit, yield categorial schemes which fail to satisfy (1). Physicalistic and other forms of reductionism yield categorial schemes which fail to satisfy (2). What follows is a categorial scheme that is both critically realistic and comprehensive. Thus it enjoys some of the benefits of linguistic idealism and physicalism, without (or so it is hoped) the corresponding disadvantages of each. (shrink)

(Report assembled for the Workshop of the AMIA Working Group on Formal Biomedical Knowledge Representation in connection with AMIA Symposium, Washington DC, 2005.) Best practices in ontology building for biomedicine have been frequently discussed in recent years. However there is a range of seemingly disparate views represented by experts in the field. These views not only reflect the different uses to which ontologies are put, but also the experiences and disciplinary background of these experts themselves. We asked six questions related (...) to biomedical ontologies to what we believe is a representative sample of ontologists in the biomedical field and came to a number conclusions which we believe can help provide an insight into the practical problems which ontology builders face today. (shrink)

We discuss recent progress in the development of cognitive ontologies and summarize three challenges in the coordinated development and application of these resources. Challenge 1 is to adopt a standardized definition for cognitive processes. We describe three possibilities and recommend one that is consistent with the standard view in cognitive and biomedical sciences. Challenge 2 is harmonization. Gaps and conflicts in representation must be resolved so that these resources can be combined for mark-up and interpretation of multi-modal data. Finally, Challenge (...) 3 is to test the utility of these resources for large-scale annotation of data, search and query, and knowledge discovery and integration. As term definitions are tested and revised, harmonization should enable coordinated updates across ontologies. However, the true test of these definitions will be in their community-wide adoption which will test whether they support valid inferences about psychological and neuroscientific data. (shrink)

The perceptual psychologist J. J. Gibson embraces a radically externalistic view of mind and action. We have, for Gibson, not a Cartesian mind or soul, with its interior theater of contents and the consequent problem of explaining how this mind or soul and its psychological environment can succeed in grasping physical objects external to itself. Rather, we have a perceiving, acting organism, whose perceptions and actions are always already tuned to the parts and moments, the things and surfaces, of its (...) external environment. We describe how on this basis Gibson sought to develop a realist science of environments which will be ‘consistent with physics, mechanics, optics, acoustics, and chemistry’. (shrink)

In her ‘On the apparent paradox of ideal theory’, Laura Valentini combines three supposedly plausible premises to derive the paradoxical result that ideal theory is both unable to, and indispensable for, guiding action. Her strategy is to undermine one of the three premises by arguing that there are good and bad kinds of ideal theory, and only the bad kinds are vulnerable to the strongest version of their opponents’ attack. By undermining one of the three premises she releases ideal theorists (...) from the paradox, which is as follows. (1) Any sound theory of justice is action-guiding. (2) Any sound theory of justice is ideal. (3) Any ideal theory fails to be action-guiding. Here I shall respond to Valentini in two ways. First, I shall show that both (1) and (2) are false. The falsity of either is sufficient to release ideal theorists from the paradox. Second, I shall show that Valentini’s response to (3) can be extended, because her bad kinds of ideal theory do not necessarily fail to guide action. The cumulative effect of my arguments further strengthens Valentini’s support of ideal theory. I will deal with premises (1) and (2) in Sections I and II, and (3) in Section III. (shrink)

Recent work by Peijnenburg, Atkinson, and Herzberg suggests that infinitists who accept a probabilistic construal of justification can overcome significant challenges to their position by attending to mathematical treatments of infinite probabilistic regresses. In this essay, it is argued that care must be taken when assessing the significance of these formal results. Though valuable lessons can be drawn from these mathematical exercises (many of which are not disputed here), the essay argues that it is entirely unclear that the form of (...) infinitism that results meets a basic requirement: namely, providing an account of infinite chains of propositions qua reasons made available to agents. (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)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

When governments collect data relating to economic activity they commonly employ a distinction between goods and services. Both goods and services have economic value. Goods (cars, houses, bottles of milk) are, very roughly, independent continuants which can be alienated (sold, gifted, rented, and so forth). Services (hairdressing, gardening, teaching) are, again very roughly, occurrents. They are occurrents which are further often said to be marked by the fact that production and consumption coincide. Social services under both headings typically involve combinations (...) of service provision. The patterns in question are primarily those of the family (where the patterns to be maintained or restored are, roughly, those characteristic of a healthy family life) and of the child (patterns characteristic of healthy development, provided by child protective services, who work to prevent child abuse). (shrink)

The truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist terms. (...) In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (shrink)

Despite a large and multifaceted effort to understand the vast landscape of phenotypic data, their current form inhibits productive data analysis. The lack of a community-wide, consensus-based, human- and machine-interpretable language for describing phenotypes and their genomic and environmental contexts is perhaps the most pressing scientific bottleneck to integration across many key fields in biology, including genomics, systems biology, development, medicine, evolution, ecology, and systematics. Here we survey the current phenomics landscape, including data resources and handling, and the progress that (...) has been made to accurately capture relevant data descriptions for phenotypes. We present an example of the kind of integration across domains that computable phenotypes would enable, and we call upon the broader biology community, publishers, and relevant funding agencies to support efforts to surmount today's data barriers and facilitate analytical reproducibility. (shrink)

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)

The paper is an exercise in descriptive ontology, with specific applications to problems in the geographical sphere. It presents a general typology of spatial boundaries, based in particular on an opposition between bona fide or physical boundaries on the one hand, and fiat or human-demarcation-induced boundaries on the other. Cross-cutting this opposition are further oppositions in the realm of boundaries, for example between: crisp and indeterminate, complete and incomplete, enduring and transient, symmetrical and asymmetrical. The resulting typology generates a corresponding (...) categorization of the different sorts of objects which (complete) boundaries determine or demarcate. The theory is applied first of all in the areas of geography and of administrative and property law. Indications are then given as to how the typology may be applied also in other fields where physical and fiat boundaries are at work, including the field of cognitive linguistics and the related field of the ontology of truth. (shrink)

A survey of theories of part, whole and dependence from Aristotle to the Gestalt psychologists, with special attention to Husserl’s Third Logical Investigation “On the Theory of Parts and Wholes”.

In a recent paper in this journal Duncan Pritchard responds to an objection to the modal account of risk pressed by Ebert, Smith and Durbach ( 2020 ). In this paper, I expand upon the objection and argue that it still stands. I go on to consider a more general question raised by this exchange – whether risk is ‘objective’, or whether it is something that varies from one perspective to another.

This review focuses on the Ogdoas scholastica by Jacob Lorhard, published in 1606. The importance of this document turns on the fact that it contains what is almost certainly the first published occurrence of the term “ontology.” The body of the work consists in a series of diagrams called “diagraphs.” Relevant features of this compendium of diagraphs are: 1. that it does not in fact contain the word “ontology,” and 2. that Lorhard himself was not responsible for its content.

In this paper I draw attention to a peculiar epistemic feature exhibited by certain deductively valid inferences. Certain deductively valid inferences are unable to enhance the reliability of one's belief that the conclusion is true—in a sense that will be fully explained. As I shall show, this feature is demonstrably present in certain philosophically significant inferences—such as GE Moore's notorious 'proof' of the existence of the external world. I suggest that this peculiar epistemic feature might be correlated with the much (...) discussed phenomenon that Crispin Wright and Martin Davies have called 'transmission failure'—the apparent failure, on the part of some deductively valid inferences to transmit one's justification for believing the premises. (shrink)

This article constructively retrieves St. Anselm of Canterbury’s theory of retributive justice and provides a defense of what can be called the retributive model of hell. In the first part of this article, we develop the place of retributive punishment in Anselm’s thinking and discuss how and when retributive punishment is a good thing. In the second part, we apply Anselm’s thinking on retributive justice to the problem of hell and provide a defense of how hell, defined as a state (...) of receiving retributive, damnatory, and irreversible punishment, is good. We then address a series of objections. Despite some criticism that both Anselm and the retributive model of hell receive in the contemporary literature, Anselm’s account of retributive justice can make unique and constructive contributions to the contemporary discussion of hell; by retrieving and applying Anselm’s thought to the problem of hell, we intend to kill two birds with one stone. (shrink)

In this paper I explore some ideas inspired by Federico Picinali’s Justice In-Between: A Study of Intermediate Criminal Verdicts. Picinali makes a case for the introduction of intermediate options in criminal trials – verdicts with consequences that are harsher than an acquittal, but not so harsh as a conviction. From a certain perspective, the absence of intermediate options in criminal trials is puzzling – out of kilter with much of our everyday decision-making and, perhaps, with the recommendations of expected utility (...) theory. I will argue, however, that the lack of intermediate options is much less puzzling when put in the context of our ordinary practices of blame and non-legal punishment. (shrink)

Report on Dagstuhl Seminar 07132, Schloss Dagstuhl, March 27-30 , 2007.

Certain states in the Global North have responded to refugees seeking safety on their territories through harmful practices of border violence, detention, encampment and containment that serve to prevent and deter refugee arrivals. These practices are ostensibly justified through an appeal to a right to control borders. This paper therefore assesses whether these harmful practices can indeed be morally justified by a state’s right to control borders. It analyses whether Christopher Heath Wellman’s account of a state’s right to freedom of (...) association, which represents the most restrictive account of a state’s right to control borders available in the literature, can extend to justify current harmful practices against refugees. If not, then no available justification will be able to do so, and thus contemporary harmful practices used against refugees cannot be justified by a state’s right to control borders. (shrink)

In our book, Why Machines Will Never Rule the World, Jobst Landgrebe and I argue that we can engineer machines that can emulate the behaviours only of simple systems, which means: only of those systems whose behaviour we can predict mathematically. The human brain is an example of a complex system, and thus its behaviour cannot be emulated by a machine. We use this argument to debunk the claims of those who believe that large language models are poised to achieve (...) a level of intelligence that will equal or even surpass that of the human brain. The essay was published under the title "Why Machines Will Never Rule the World". (shrink)

Research has indicated that microRNAs (miRNAs), a special class of non-coding RNAs (ncRNAs), can perform important roles in different biological and pathological processes. miRNAs’ functions are realized by regulating their respective target genes (targets). It is thus critical to identify and analyze miRNA-target interactions for a better understanding and delineation of miRNAs’ functions. However, conventional knowledge discovery and acquisition methods have many limitations. Fortunately, semantic technologies that are based on domain ontologies can render great assistance in this regard. In our (...) previous investigations, we developed a miRNA domain-specific application ontology, Ontology for MIcroRNA Target (OMIT), to provide the community with common data elements and data exchange standards in the miRNA research. This paper describes (1) our continuing efforts in the OMIT ontology development and (2) the application of the OMIT to enable a semantic approach for knowledge capture of miRNA-target interactions. (shrink)

We have now reached the point at which cloud computing and other types of advanced infrastructure are bringing about a situation in which knowledge objects can be delivered in an efficient manner to hose who need to consume them. And just as highways were the infrastructure necessary for a manufacturing economy, serving as the arteries along which raw materials and manufactured goods coming in from all directions could flow, so we believe that ontologies will in the future provide an important (...) pillar in the infrastructure that is necessary for the accurate and safe delivery of all varieties of knowledge. (shrink)

In this essay, I evaluate four central metaethical readings of Spinoza’s moral philosophy in the literature: unqualified anti-realism, qualified anti-realism, qualified realism, and unqualified realism. More specifically, I discuss the metaethical readings of Charles Jarrett (unqualified anti-realism), Matthew Kisner (qualified anti-realism), Jon Miller (qualified realism), and Andrew Youpa (unqualified realism), each of which captures core aspects of this debate. My conclusions are that (1) Spinoza is neither an unqualified anti-realist nor an unqualified realist and (2) Spinoza’s ethical framework represents a (...) qualified synthesis of realist (naturalistic) and anti-realist (affective) features. (shrink)

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and modified forms. Initially focused on proteins found in human, mouse and Escherichia coli, PRO now includes representations of protein complexes. The PRO Consortium works in concert with the developers of other biomedical ontologies and protein knowledge bases to provide the ability to formally organize and integrate representations of precise protein forms so as to enhance accessibility to results of protein (...) research. PRO (http://pir.georgetown.edu/pro) is part of the Open Biomedical Ontologies (OBO) Foundry. (shrink)

This synthesis of 5 prominent conflict management paradigms uses power differential as the single most contributing variable to their process and outcome of conflict. Efforts of scholars to integrate or synthesize conflict paradigms have been unsuccessful or clumsy by the scholars’ own assessments. The 5 selected paradigms represent an interdisciplinary set of normative and descriptive paradigms from different social contexts and intellectual frameworks. The 5 share the common traits of rival goals, three levels of socially constructed power differential, and outcomes (...) relative to the total value of the rival goal. An inverse relationship between power differential and the total value of conflict outcomes is supported by all 5 paradigms and empirical data. Explanatory metatheory is the methodology used for synthesis. An increase in power differential results in a decrease in total value of the rival goal. Power differential is constructed using Max Weber’s ideal-type method. The power differentials are abstracted from the paradigms themselves. Empirical work form secondary sources and case studies complete the analysis. (shrink)

Identification of non-coding RNAs (ncRNAs) has been significantly enhanced due to the rapid advancement in sequencing technologies. On the other hand, semantic annotation of ncRNA data lag behind their identification, and there is a great need to effectively integrate discovery from relevant communities. To this end, the Non-Coding RNA Ontology (NCRO) is being developed to provide a precisely defined ncRNA controlled vocabulary, which can fill a specific and highly needed niche in unification of ncRNA biology.

Searle’s tool for understanding culture, law and society is the opposition between brute reality and institutional reality, or in other words between: observer-independent features of the world, such as force, mass and gravitational attraction, and observer-relative features of the world, such as money, property, marriage and government. The question posed here is: under which of these two headings do moral concepts fall? This is an important question because there are moral facts – for example pertaining to guilt and responsibility – (...) which hover uncomfortably close to the boundary between the observer-relative and the observer-independent. By means of a thought experiment involving an imagined Chinese society in which guilt is determined by the random throwing of sticks, I seek to show that moral concepts threaten the foundations of Searle’s philosophy of social reality. (shrink)