In discussions about whether the Principle of the Identity of Indiscernibles is compatible with structuralist ontologies of mathematics, it is usually assumed that individual objects are subject to criteria of identity which somehow account for the identity of the individuals. Much of this debate concerns structures that admit of non-trivial automorphisms. We consider cases from graph theory that violate even weak formulations of PII. We argue that (i) the identity or difference of places in a structure is not to be (...) accounted for by anything other than the structure itself and that (ii) mathematical practice provides evidence for this view. We want to thank Leon Horsten, Jeff Ketland, Øystein Linnebo, John Mayberry, Richard Pettigrew, and Philip Welch for valuable comments on drafts of this paper. We are especially grateful to Fraser MacBride for correcting our interpretation of two of his papers and for other helpful comments. CiteULike Connotea Del.icio.us What's this? (shrink)

What sort of thing is film? Before we can answer this question, we’ll have to first determine which things count as “films” in the relevant sense and work out what we ought to look for in an acceptable answer. There is little consensus among philosophers of film on any stage of this process. Here I make the case for a particular understanding of “film” to investigate as well as a particular set of criteria to use in that investigation. I then (...) apply those criteria to a number of available candidate theories. In the end, I do not offer an answer to our question so much as an approach to it, along with some strategies for future research. (shrink)

Jody Azzouni argues that whilst it is indeterminate what the criteria for existence are, there is a criterion that has been collectively adopted to use ‘exist’ that we can employ to argue for positions in ontology. I raise and defend a novel objection to Azzouni: his view has the counterintuitive consequence that the facts regarding what exists can and will change when users of the word ‘exist’ change what criteria they associate with its usage. Considering three responses, I argue Azzouni (...) has best reason to take one that ultimately renders unsuccessful his arguments against mathematical abstracta. (shrink)

The phenomenon of rigid designation - in particular, de jure rigidity - is typically treated metaphysically. The picture is: reference is gained in a way that puts no constraints on what an object in other worlds, or counterfactual situations must be like, in order to be the referent of that term, other than 'being this thing'. This allows 'pure metaphysical' investigation into, and discovery of 'the nature' of the referent. It is argued that this presupposes a 'privileged' ontology, of a (...) sort that is far from obvious. An alternative picture of rigidity is sketched, terms have associated criteria of identity and criteria of application for counterfactual situations. A term is rigid when these coincide. Aside from being a better account of rigidity, it also undermines the picture of rigid terms allowing us to 'metaphysically' investigate the nature of the referent: matters of identity and essence for the referent are settled by these semantic constraints (though it can be done in a way that allows are a posteriori necessities). (shrink)

When is there no fact of the matter about a metaphysical question? When multiple candidate meanings are equally eligible, in David Lewis's sense, and fit equally well with ordinary usage. Thus given certain ontological schemes, there is no fact of the matter whether the criterion of personal identity over time is physical or psychological. But given other ontological schemes there is a fact of the matter; and there is a fact of the matter about which ontological scheme (...) is correct. (shrink)

Although many information system ontologies (ISOs) claim to be parsimonious, the notion of parsimony seems to influence the debate on ISOs only at the level of vague and uncritical assumption. To challenge this trend, the paper aims to clarify what it means for ISOs to be parsimonious. Specifically, section 2 shows that parsimony in computer science generally concerns software design and, together with elegance, is one of the two aspects of the broader notion of simplicity. Section 3 transforms the main (...) claims of parsimony in software design into claims about the content of ISOs, the combination of which is hereafter called “parsimony of content”—where “content” refers only to the content of ISOs. Sections 4-7 discuss the application of this parsimony to the design of ISOs, and outline different kinds (and combinations) of parsimony of content. Finally, section 8 considers whether parsimony of content could provide some criteria both for selecting and/or classifying the contents of ISOs and for choosing between different and equally consistent ISOs. (shrink)

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

When experimental philosophers carry out studies on thought experiments, some participants are excluded based on certain exclusion criteria, mirroring standard social science vignette methodology. This involves excluding people that do not pay attention or who miscomprehend the scenario presented in thought experiments. However, experimental philosophy studies sometimes exclude an alarmingly high number of participants. We argue that this threatens the external and internal validity of the conclusions being drawn and we show how a simple visualization of thought experiments can reduce (...) exclusion rates significantly. Furthermore, we argue that focus should not merely be on how many are excluded, but also why they are excluded, and we highlight the role of comprehension questions in this regard. Philosophical thought experiments often rely on the acceptance of certain key premises that may be regarded contestable, and asking comprehension questions involving such key assumptions could be problematic as that may result in some participants being inadvertently excluded from the study, potentially creating a selection bias. (shrink)

When experimental philosophers carry out studies on thought experiments, some participants are excluded based on certain exclusion criteria, mirroring standard social science vignette methodology. This involves excluding people that do not pay attention or who miscomprehend the scenario presented in thought experiments. However, experimental philosophy studies sometimes exclude an alarmingly high number of participants. We argue that this threatens the external and internal validity of the conclusions being drawn and we show how a simple visualization of thought experiments can reduce (...) exclusion rates significantly. Furthermore, we argue that focus should not merely be on how many are excluded, but also why they are excluded, and we highlight the role of comprehension questions in this regard. Philosophical thought experiments often rely on the acceptance of certain key premises that may be regarded contestable, and asking comprehension questions involving such key assumptions could be problematic as that may result in some participants being inadvertently excluded from the study, potentially creating a selection bias. (shrink)

Mainstream moral theories deal with situations in which the outcome of each possible action is well-determined and knowable. In order to make ethics relevant for problems of risk and uncertainty, moral theories have to be extended so that they cover actions whose outcomes are not determinable beforehand. One approach to this extension problem is to develop methods for appraising probabilistic combinations of outcomes. This approach is investigated and shown not to solve the problem. An alternative approach is then developed. Its (...) starting-point is that everyone has a prima facie moral right not to be exposed to risk. However, this right can be overridden if the risk-exposure is part of an equitable system for risk-taking that works to the advantage of the individual risk-exposed person. (shrink)

Aims: The Research Diagnostic Criteria for Temporomandi¬bular Disorders (RDC/TMD) Axis I diagnostic algorithms were demonstrated to be reliable but below target sensitivity and specificity. Empirical data supported Axis I algorithm revisions that were valid. Axis II instruments were shown to be both reliable and valid. An international consensus workshop was convened to obtain recommendations and finalization of new Axis I diagnostic algorithms and new Axis II instruments. Methods: A comprehensive search of published TMD diagnostic literature was followed by review and (...) consensus via a formal structured process by a panel of experts for revision of the RDC/TMD. Results: The recommended Diagnostic Criteria for TMD (DC/TMD) Axis I protocol includes both a valid screener for pain diagnoses and valid criteria for the most common pain-related TMDs and for one intra-articular disorder. The Axis II protocol retains selected RDC/TMD screening instruments augmented with new instruments to better assess the interactions between pain and psychosocial functioning. A comprehensive classification system is also presented. Conclusion: The recommended evidence-based DC/TMD protocol is appropriate for use in both the clinical and research settings. Simple Axis I and II screening tests augmented by validated Axis I and Axis II instruments allow for identification of simple to complex TMD patients. (shrink)

Feminist philosophy has recently become recognised as a self-standing philosophical sub-discipline. Still, metaphysics has remained largely dismissive of feminist insights. Here I make the case for the value of feminist insights in metaphysics: taking them seriously makes a difference to our ontological theory choice and feminist philosophy can provide helpful methodological tools to regiment ontological theories. My examination goes as follows. Contemporary ontology is not done via conceptual analysis, but via quasi-scientific means. This takes different ontological positions (...) to be competing hypotheses about reality’s fundamental structure that are then assessed with a loose battery of criteria for theory choice. Such criteria make up the constitutive values of ontology. These values are distinguished from contextual values of a practice: the political and moral values embedded in the social context of inquiry.. (shrink)

This chapter contains sections titled: A Range of Views Criteria of Assessment The Road to a Solution.

Legal codes, such as the Uniform Commercial Code (UCC) examined in this article, are good points of entry for AI and ontology work because of their more straightforward adaptability to relationship linking and rules-based encoding. However, approaches relying on encoding solely on formal code structure are incomplete, missing the rich experience of practitioner expertise that identifies key relationships and decision criteria often supplied by experienced practitioners and process experts from various disciplines (e.g., sociology, political economics, logistics, operations research). This research (...) focuses on the UCC because it transcends the limitations of a formal code, functioning essentially as a composite. AI work can benefit from real-world codes like the UCC, which are essentially formal codes enlightened from a more realistic experience-base from centuries of development in international commercial transactions settings. This paper then describes our initial work in converting an expert system on the U.S. law governing the sale of goods from Article II of the Uniform Commercial Code (UCC), into a knowledge-based system using the Web Ontology Language OWL. (shrink)

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

Our experience of objects is very rich. We perceive objects as possessing individuation conditions. This, however, is a projection of our senses and thinking. Azzouni shows the resulting austere metaphysics tames many ancient philosophical problems about constitution, as well as contemporary puzzles about reductionism.

In their paper “Sixteen Days” Barry Smith and Berit Brogaard try to answer the question: when does a human being begin to exist? In this paper we will address some methodological issues connected with this exercise in ontology. We shall begin by sketching the argument of “Sixteen Days”. We shall then attempt to characterize what is special about the ontological realism of “Sixteen Days” as contrasted to the linguistic constructivism which represents the more dominant current in contemporary analytic philosophy. (...) This will allow us to infer guidelines for assessing the quality of ontological theories of various types. We shall argue that ontological parsimony, groundedness, faithfulness to ordinary language, consistency with science, coherence, and fruitfulness are at least part of the adequacy criteria for such theories. These criteria will then be applied to the theory presented in “Sixteen Days”, and they will lead us to some revisions of this theory as well as to some reflections on its ethical implications. (shrink)

I argue that, despite van Inwagen’s pessimism about the task, it is worth looking for answers to his General Composition Question. Such answers or ‘principles of composition’ tell us about the relationship between an object and its parts. I compare principles of composition with criteria of identity, arguing that, just as different sorts of thing satisfy different criteria of identity, they may satisfy different principles of composition. Variety in criteria of identity is not taken to reflect ontological variety in (...) the identity relation; I discuss whether variety in principles of composition should be taken to reflect ontological variety in the composition relation. (shrink)

Engineering is often said to be ‘scientific’, but the nature of knowledge in engineering is different to science. Engineering has a different ontological basis—its theories address different entities and are judged by different criteria. In this paper I use Popper’s three worlds ontological framework to propose a model of engineering theories, and provide an abstract logical view of engineering theories analogous to the deductive-nomological view of scientific theories. These models frame three key elements from definitions of engineering: requirements, (...) designs of artefacts, and theories for reasoning about how artefacts will meet requirements. In a subsequent paper I use this ontological basis to explore methodological issues in the growth of engineering knowledge from the perspective of critical rationalism. (shrink)

Formal Ontology in Information Systems is the flagship conference of the International Association for Ontology and its Applications. Its interdisciplinary research focus lies at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general.As in previous years, FOIS 2014 was a nexus of interdisciplinary research and communication. The current (...) proceedings is divided into four main sections, dealing with: foundations; processes, agency and dispositions; methods and tools; and applications. The last of these covers a broad spectrum of areas, including in particular biology and medicine, engineering, and economy. For the first time in its history, the conference hosted a special track: an ontology competition, the aim of which was to encourage authors to make their ontologies publicly available and to allow them to be evaluated according to a set of predetermined criteria. Papers discussing these ontologies can also be found in this volume.The book will be of interest to all those whose work involves the application of ontologies, and who are looking for a current overview of developments in formal ontology. (shrink)

We examine to what extent an adequate ontology of technical artefacts can be based on existing general accounts of the relation between higher-order objects and their material basis. We consider two of these accounts: supervenience and constitution. We take as our starting point the thesis that artefacts have a ‘dual nature’, that is, that they are both material bodies and functional objects. We present two criteria for an adequate ontology of artefacts, ‘Underdetermination’ and ‘Realizability Constraints’ , which address aspects of (...) the dual nature thesis. Assessing supervenience accounts, we find them either wanting with respect to these criteria or insufficiently informative. Next, we argue that a recent application of Lynne Rudder Baker’s constitution view to artefacts cannot meet our criteria, although the broader view leaves room for improvement. Based on our evaluation of the most promising candidates, we conclude that so far general metaphysical views fail to address the most salient features of artefacts. Although they can account for the fact that artefacts have a ‘dual nature’, they do not offer the conceptual resources needed to describe the relation between these natures; this relation raises a hard problem in metaphysics.Keywords: Metaphysics; Artefact; Supervenience; Constitution; Underdetermination. (shrink)

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

Identity criteria are used to confer ontological respectability: Only entities with clearly determined identity criteria are ontologically acceptable. From a logical point of view, identity criteria should mirror the identity relation in being reflexive, symmetrical, and transitive. However, this logical constraint is only rarely met. More precisely, in some cases, the relation representing the identity condition fails to be transitive. We consider the proposals given so far to give logical adequacy to inadequate identity conditions. We focus on the most (...) refined proposal and expand its formal framework by taking into account two further aspects that we consider essential in the application of identity criteria to obtain logical adequacy: contexts and granular levels. (shrink)

For Quine, the ontological commitments of a discourse are what fall under its (objectual) quantifiers. The recent literature, however, is beginning to move away from this picture. There are direct challenges to Quine's criterion, and there are also attempts to provide alternatives. Azzouni suggests that the ontological commitments of a discourse should be determined by an existence predicate instead. The availability of this alternative forces an adjudication between Qune's criterion and the predicate approach to ontological commitment. I (...) argue that to adjudicate between these criteria for ontological commitment, we need first to adjudicate between criteria for what exists. (shrink)

An impressive variety of theories of ontology of musical works has been offered in the last fifty years. Recently, the ontologists have been paying more attention to methodological issues, in particular, the problem of determining criteria of a good theory. Although different methodological approaches involve different views on the importance and exact role of intuitiveness of a theory, most philosophers writing on the ontology of music agree that intuitiveness and compliance with musical practice play an important part when judging theories. (...) A multitude of diverse claims exist regarding folk intuitions and matters of musical practice in the literature on the ontology of musical works. In this review paper, a systematized collection of about one hundred empirical claims extracted from the theoretical literature is presented. All of the empirical claims are categorized thematically. The paper also includes a short discussion on the role of appeals to common intuitions in methodological literature, as well as some suggestions for future research. (shrink)

When we use a directly referential expression to denote an object, do we incur an ontological commitment to that object, as Russell and Barcan Marcus held? Not according to Quine, whose regimented language has only variables as denoting expressions, but no constants to model direct reference. I make a case for a more liberal conception of ontological commitment—more wide-ranging than Quine’s—which allows for commitment to individuals, with an improved logical language of regimentation. The reason for Quine’s prohibition on (...) commitment to individuals, I argue, is that his choice of regimented language is heavily informed by his holist epistemology, in which objects are introduced via a description of their explanatory role. But non-holists can coherently attempt to commit to individuals using directly referential expressions, modelled in a formal language as constants. While holding on to the insight that a logical language is a helpful medium for ontology, I propose instead a more permissive language of regimentation, one expanded to permit the use of constants to record attempts to commit to individuals, which allows us to make sense of non-holist theories with alternative name-based or name-and-variable-based criteria of ontological commitment as well as Quinean theories. (shrink)

This article discusses explanatory theories of normative concepts and argues for a set of criteria of adequacy by which such theories may be evaluated. The criteria offered fall into four categories: ontological, theoretical, pragmatic, and moral. After defending the criteria and discussing their relative weighting, this article uses them to prune the set of available explanatory theories of oppression. Functionalist theories, including Hegelian recognition theory and Foucauldian social theory, are rejected, as are psychoanalytic theory and social dominance theory. Finally, (...) the article defends structural rational choice theory as the most promising methodology for explaining oppression. Key Words: oppression • explanation • rational choice theory. (shrink)

In this paper, I defend modal dimensionalism against the objection that it is ontologically and ideologically heavy. First, I briefly outline the theory and the objection against it. The objection relies on the widely accepted view that ontological and ideological parsimony are operational criteria when comparing metaphysical theories. Second, I outline the conventional distinction between ontology and ideology in the metaphysical tradition. Third, I challenge a particular kind of parsimony: reduction by identification. Fourth, even if reduction by identification is (...) accepted, I show that theories that pursue this often minimize differences, and that such minimization paves the way to epistemic underdetermination. Finally, I demonstrate that some theories in modal metaphysics also suffer from difference minimization and should thus not be measured on the ontology/ideology scale. (shrink)

This paper explores some variants and aspects of multi-quantificational criteria of existence, examining these in the context of the debate between monism and pluralism in analytical philosophy. Assuming familiarity with the findings to date, we seek to apply to these the newly introduced concepts of “substitution” and “substitutional model”. Possible applications of formal theories involving multiple types of existential quantifier are highlighted, together with their methods of construction. These considerations then lead to a thesis asserting the irrelevance of both multi-quantificational (...) criteria and assumptions involving quantificational ontology to the debate between monism and pluralism in ontology. Many quantifiers cannot properly distinguish different modes of existence–as we aim to show by furnishing a general method for constructing counter-examples to any theory that assumes that different types of existential quantifier correspond to different modes of existence. (shrink)

Philosophy as a “way of life” is singularly unsatisfactory as a definition of the subject. Inspired by Kant, we examine six alternative formulations: philosophy may be seen as (1) a search for the conditions governing possible experience, (2) an attempt to derive ultimate categories of ontological or else psychological analysis, (3) the discovery (or erection) of synthetic a priori truths, coupled with making the notion of “S.A.P.” coherent, (4) resolving fundamental antinomies of thought, (5) finding, and/or explicating, the role (...) of regulative principles in human enterprises, (6) “reconstructing” the domain of other disciplines, as Kant does throughout the three Critiques. We conclude with a synoptic suggestion about philosophy as self-criticism (of propositions normally accepted unthinkingly), and ponder its implications for the status of the profession. (shrink)

Central to Elements is an assay of the attributional union properties and relations have with their subjects, a topic historically left metaphorical. The work critiques eight Aristotelian assumptions concerning attribute dependence and ‘inherence’, per se subjects, attributes as agent-organizers, and unity-by-a-shared-one. Groups of these assumptions are seen to yield contradiction, vicious regress, or other problems. This analysis, joined with insights from an assay of ubiquitous structure, motivate ten theses explicating attribution and its primary ontic status. The theses detail: attributes proper (...) as individuated instances, structure as instance-generated facts and their two forms of composition, the conditioning role and universal nature of instances’ component intensions, the primacy of attribute instances for generating all forms of composition and complex entities, and identity and indiscernibility criteria for the latter. Principal is the insight that attribution is intension-determined combinatorial agency. It is its systematizing implications that provide solutions to classic problems, e.g., Composition, Individuation, and Universals, and in net generate a comprehensive one-category structuralist ontology. (shrink)

The U.S. presidential election of 2000 was crucially decided in Florida. And, in Florida, the election hinged crucially on a peculiar sort of question: Does this ballot have a hole? “Yes, it does”, so the ballot is valid and ought to be counted. “No it doesn’t”, and the ballot must be discarded. If only one could tell! Where were the hole experts when we needed them? Eventually the matter was thwarted by the Supreme Court and we all gave up. But (...) we did learn something. We learned that even the destiny of a Presidential Election, if not more, might ultimately depend on one’s criteria for identifying holes—not their material surroundings, which everyone could detect, but the holes themselves. (shrink)

Philosophy as a “way of life” is singularly unsatisfactory as a definition of the subject. Inspired by Kant, we examine six alternative formulations: philosophy may be seen as (1) a search for the conditions governing possible experience, (2) an attempt to derive ultimate categories of ontological or else psychological analysis, (3) the discovery (or erection) of synthetic a priori truths, coupled with making the notion of “S.A.P.” coherent, (4) resolving fundamental antinomies of thought, (5) finding, and/or explicating, the role (...) of regulative principles in human enterprises, (6) “reconstructing” the domain of other disciplines, as Kant does throughout the three Critiques. We conclude with a synoptic suggestion about philosophy as self-criticism (of propositions normally accepted unthinkingly), and ponder its implications for the status of the profession. (shrink)

According to recent suggestions within the global pragmatism discussion, metaethical debate must be fundamentally re-framed. Instead of carving out metaethical differences in representational terms, it has been argued that metaethics should be given an inferentialist footing. In this paper, I put inferentialist metaethics to the test by subjecting it to the following two criteria for success: Inferentialist metaethicists must be able to save the metaethical differences between moral realism and expressivism, and do so in a way that employs understandings of (...) these metaethical accounts which would be acceptable to moral realists or expressivists who endorse an inferentialist theory of meaning. Two results follow from my discussion. The first concerns inferentialist metaethics more narrowly, casting doubts on inferentialists’ ability to fulfil the two criteria for success by showing that proposed metaethical demarcation attempts either meet the first criterion but violate the second, or pass the second criterion but fail the first. The second upshot pertains to the global pragmatism debate more widely, pressing the point that inferentialists have not as yet provided a convincing account of ontological commitment. (shrink)

In debates about criteria for human death, several camps have emerged, the main two focusing on either loss of the "organism as a whole" (the mainstream view) or loss of consciousness or "personhood." Controversies also rage over the proper definition of "irreversible" in criteria for death. The situation is reminiscent of the proverbial blind men palpating an elephant; each describes the creature according to the part he can touch. Similarly, each camp grasps some aspect of the complex reality of death. (...) The personhood camp, in contrast to the mainstream "organism" camp, recognizes that a human organism can still be a biological living whole even without brain function. The mainstream camp, in contrast to the personhood camp, recognizes that a person can be permanently, even irreversibly unconscious, and still be a living person so long as his/her body is alive. The author proposes that hylomorphic dualism incorporates both these key insights. But to complete the picture of the entire "death elephant," a fundamental paradigm shift is needed to make sense of other seemingly conflicting insights. The author proposes a "semantic bisection" of the concept of death, analogous to the traditional distinction at the beginning of life between "conception" and "birth." To avoid the semantic baggage associated with the term "death," the two new death-related concepts are referred to as "passing away" (or "deceased") and "deanimation," corresponding, respectively, to sociolegal ceasing-to-be (mirror image of birth) and ontological/theological ceasing-to-be of the bodily organism (mirror image of conception). Regarding criteria, the distinguishing feature is whether the cessation of function is permanent (passing away) or irreversible (deanimation). If the "dead donor rule" were renamed the "deceased donor rule" (both acronyms felicitously being "DDR"), the ethics of organ transplantation from non–heart-beating donors could, in principle, be validly governed by the DDR, even though the donors are not yet ontologically "deanimated." Thus, the paradigm shift satisfies both those who insist on maintaining the DDR and those who claim that it has all along been receiving only lip service and should be explicitly loosened to include those who are "as good as dead." Even so, a number of practical caveats remain to be worked out for non–heart-beating protocols. (shrink)

Although researchers in psychiatry have been trying for decades to elucidate the pathophysiology underlying mental disorders, relatively little progress has been made. One explanation for this failure is that diagnostic categories in psychiatry are unlikely to track underlying neurological mechanisms. Because of this, the US National Institutes of Mental Health has recently developed a novel ontology to guide research in biological psychiatry: the Research Domain Criteria. In this paper, I argue that while RDoC may lead to better neuroscientific explanations for (...) mental disorders, it is unlikely that this new knowledge will then lead to an improved diagnostic system. I therefore suggest that researchers in psychiatry should work toward the development of two new ontologies: one for research and one for clinical practice. (shrink)

The philosophical literature understands ontological priority in two ways, in terms of dependence, and in terms of degrees-of-being. These views are not reconcilable in any straightforward manner. However, they can be reconciled indirectly, if both are seen as instances of higher-level concept that is a modification of John Duns Scotus' notion of essential order. The result is a theory of ontological priority that takes the form of a list of membership criteria for the class of "ontological priority (...) relations", of which dependence and degrees-of-being are just two examples. (shrink)

This is a slightly opinionated review of three main factions in metaontology: Quineans, Carnapians, and Meinongians. Emphasis is given to the last camp, as the metaontological aspect of Meinongianism has been underappreciated. The final section then offers some general remarks about the legitimacy of ontology, touching on ideas I have developed in other publications.

Are identity criteria grounding principles? The recent debate over this issue seems to indicate a definitively negative answer. Recognising various objections to identity criteria as grounds for identity facts, one may wonder whether the former are capable of playing any salient role in ontology. I argue in this paper that they are, provided that one interprets them not as ontological explanations of identity facts but as ontological specifications thereof. I attempt to elaborate this view in terms of the (...) well-establish distinction between determinables and their determinates, where identity criteria are to play the role of the determinates and the relation of identity is to be their determinable. (shrink)

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

This paper is a rejoinder to a critique by richard hull in a previous issue. hull denied the legitimacy of moving from the thesis that there are certain one-to-one correlations between mental and physical properties to the thesis that the mental and physical are one and the same. i argue that the move can be justified if it is taken not as deductive but as inductive. given the right sort of correlations, it may be fruitful to conceive of the mental (...) as identical with the physical. (shrink)

Following W.V. Quine’s lead, many metaphysicians consider ontology to be concerned primarily with existential questions of the form, “What is there?”. Moreover, if the position advanced by Rudolf Carnap, in his seminal essay, “Empiricism, Semantics, and Ontology ”, is correct, then many of these existential ontological questions ought to be classified as either trivially answerable or as “pseudo-questions”. One may justifiably wonder, however, whether the Quinean and Carnapian perspective on ontology really does justice to many of the most central (...) concerns of this discipline. This chapter argues, by considering a particular ontological dispute between two different kinds of trope theorists, that some of the most interesting and important debates which properly belong to the study of being, whether we call it “metaphysics” or “ ontology ”, do not concern existential questions at all; rather, such disputes in some cases focus on non-existential disagreements over questions of fundamentality. (shrink)

Ontological categories form a network of ties of dependence. In this regard, the richest source of distinctions consists in the medieval discussion on the divisions of being. After a preliminary examination of some of those divisions, the paper pays attention to Roman Ingarden’s criteria for classifying the various types of ontological dependence. The following are the main conclusions that can be drawn from this exercise. Ingarden suggests that (1) the most general principles framing the categories of particulars are (...) based on couples of mutually opposed principles; (2) the most general among these couples of principles appear to be based on three different types of modalities; (3) subsequent couples of opposed principles do not seem to require the introduction of further types of modalities, and (4) the overall typology shows that there are three spheres of being, respectively composed of ideal entities, real entities and intentional entities as contents of psychological acts. (shrink)

Ontology played a very large role in Quine’s philosophy and was one of his major preoccupations from the early 30’s to the end of his life. His work on ontology provided a basic framework for most of the discussions of ontology in analytic philosophy in the second half of the Twentieth Century. There are three main themes (and several sub-themes) that Quine developed in his work. The first is ontological commitment: What are the existential commitments of a theory? The (...) second is ontological reduction: How can an ontology be reduced to (or substituted by) another? And what is the most economical ontology that can be obtained for certain given purposes? The third is criteria of identity: When are entities of some kind (sets, properties, material objects, propositions, meanings, etc.) the same or different? In this paper I discuss Quine’s development of these three themes and some of the problems that were aised in connection with his work. (shrink)