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)

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)

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)

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)

Patterns and pattern ontologies are a powerful way for pragmatists to address metaphysical issues by rejecting a false dichotomy between pluralism and realism. However, there is a common misconception about patterns that I call the philosophically perverse patterns (PPP) problem. Here, critics of patterns invent perverse examples that meet the metaphysical criteria to count as patterns. I defuse this concern by showing how PPP misunderstands what the pragmatist metaphysics of patterns is supposed to accomplish: the bare definition should not rule (...) out, or in, substantive examples of patterns that instead should involve methodological considerations. I use this response to the PPP problem to show how the metaphysical definition of 'pattern' allows the pragmatist to capture the rich intricacies of ontologies in the sciences and yields two illustrative norms by which methodology can be guided in developing or refining ontologies: cohesion and coherence. (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)

The problem of natural kind is considered to be a complicated problem in philosophy as it is linked to the problem of essence on the one hand and the problem of individuals on the other. While nominalists refuse to accept universals in their ontology, realists believe in natural kinds and endeavor to justify classification of things by appealing to existence of natural kinds and their essential properties. In the first part of this paper we briefly survey two kinds of criteria (...) for being a natural kind. In the second part we will evaluated the proposed criteria. Finally we conclude by the following six criteria: Reality and absoluteness, possessing of full essence, hierarchy, changelessness, categorization and contribution to identical theory. (shrink)

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)

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)

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)

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.

In this paper we introduce some logical and philosophical refinements to OntoClean, first by developing some formal constraints on identity criteria, secondly by specifying a kind of identity criteria, two level identity criteria, whose role is to explain an identity among some entities referring to some other, more basic, entities. Using such refinement we add a formal constraint to the stock of OntoClean meta-constraints (OC+). We, then, observe that two level identity criteria have an intuitive reading in terms of dependence (...) of a kind of entities on some other entities, possibly specified in terms of a grounding relation. Are identity criteria grounding principles? In the second part of the paper we discuss this option. (shrink)

In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this gap, (...) we present in this paper a theory for representing ontologies in a dependently typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

I consider what I hope are increasingly sophisticated versions of ontological argument, beginning from simple definitional forms, through three versions to be found in Anselm, with their recent interpretations by Malcolm, Plantinga, Klima and Lowe. I try to show why none of these work by investigating both the different senses of necessary existence and the conditions under which logically necessary existence can be brought to bear. Although none of these arguments work, I think that they lead to interesting reflections (...) on the nature of definition, on the conditions for possessing the property of necessary existence and point towards a different, neo-Platonic ground for God’s meeting the criteria for being logically necessary. (shrink)

In this thesis, I explore how a fictionalist approach can be applied to social ontology, especially for conferred kinds, in the context of action explanation and prediction by comparing this view with various realist views. Chapter 1 is concerned with clarifying constitution accounts and the criteria for comparison. Chapter 2 gives three different kinds of problems against this realist view, which makes this view less credible. Chapter 3 introduces conferralist accounts. Chapter 4 will deal with the question of whether conferralist (...) accounts can solve these problems. I will argue that even if the second problem is solved, the first and third problems still arise in conferralism. In Chapter 5, I propose a fictionalist social ontology. Thus, in Chapter 6, I argue that social fictionalism solves the problems in question. (shrink)

Using a ‘reformulation of Bell’s theorem’, Waegell and McQueen (2020) argue that any empirically adequate theory that is local and does not involve retro-causation or fine-tuning must be a many-worlds theory. They go on to analyze several prominent many-worlds interpretations and conclude that non-separable many-worlds theories whose ontology is given by the wavefunction involve superluminal causation, while separable many-worlds theories (e.g. Waegell, 2021; Deutsch and Hayden 2000) do not. I put forward three claims. (A) I challenge their argument for relying (...) on a non-trivial, unquestioned assumption about elements of reality which allows Healey’s approach (Healey, 2017b) to evade their claim. In an attempt to respond to (A), Waegell and McQueen may restrict their claim to theories which satisfy such an assumption, however, I also argue that (B) their argument fails to prove even the so weakened claim, as exemplified by theories that are both non-separable and local. Finally, (C) by arguing for the locality of the decoherence-based Everettian approach (Wallace, 2012) I refute Waegell and McQueen’s claim that wavefunction-based ontologies, and more generally non-separable ontologies, involve superluminal causation. I close with some doubtful remarks about separable Everettian interpretations as compared to non-separable ones. (shrink)

[Abstract] Suppose that the Big Bang was the first singularity in the history of the cosmos. Then it would be plausible to presume that the availability of the strong general intelligence should mark the second singularity for the natural human race. The human race needs to be prepared to make it sure that if a singularity robot becomes a person, the robotic person should be a blessing for the humankind rather than a curse. Toward this direction I would scrutinize the (...) implication of the hypothesis that the singularity robot is a member of the human society. I will ask how the robot is equipped to satisfy the ontological criteria such as accountability, consciousness, identity, by demonstrating a possibility that it has the epistemological capacities like conceptual role semantic understanding and non-monotonous inference, and by probing whether it can behave in the way human moral visions expect it to. -/- [Table of contents] 1. Opening: Singularity robots are coming 1) Singularity robots of strong general intelligence 2) A singularity robot is a member of the human community 2. Ontological interpretation of singularity robot 1) Responsibility: thinking, understanding, belief 2) Consciousness: three characteristics – zombie, enjoyment, sympathy 3) Identity: I, body, autonomy, unity 3. Epistmological prospects of singularity robot 1) Semantics of general intelligence: conceptual role semantics 2) Logic for general intelligence: non-monotonous logic 4. Moral horizon of singularity robot 1) When a singularity robot becomes a robot person 2) Humanity independence: singularity robot is a user of human languages 5. Concluding: preemptive humanities. (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 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)

The recent advances in Large Language Models (LLMs) and their deployment in social settings prompt an important philosophical question: are LLMs social agents? This question finds its roots in the broader exploration of what engenders sociality. Since AI systems like chatbots, carebots, and sexbots are expanding the pre-theoretical boundaries of our social ontology, philosophers have two options. One is to deny LLMs membership in our social ontology on theoretical grounds by claiming something along the lines that only organic or X-type (...) creatures belong in our social world. Second, expand our ontological boundaries. I take the second route and claim LLMs implemented as social chatbots are social agents. Utilizing Brian Epstein's concepts of grounding and anchoring, alongside Dee Peyton's criteria for what makes a property social, I posit that the capacity for conversations is a social property. Further, within a framework where social agency is considered multi-dimensional, akin to agency, possessing a social property is sufficient for attaining social agency. Thus establishing chatbots as social agents. A helpful concept here is Levels of Abstraction (LoA). The LoA framework allows for extracting relevant and important information from the target domain (the social world). For example, the property of being a 'boy' and the capacity for conversation are social properties; hence, they are part of the social domain. LLMs have the capacity for conversations. So, if we focus on the conversational-LoA and not the gender-LoA, then LLMs occupy a dimension of sociality (i.e., conversational dimensions). (shrink)

One of the most interesting aspects of Leibniz's philosophy is the distinction between "art" and "nature"; the core of this matter is the possibility (or even the impossibility) of distinguishing as clearly as possible between two ontological domains: on one hand the products of technique (such as "artificial machines"), on the other hand all the beings that can be defined as natural ("natural machines"). The question raised in this paper is if it is possibile to build ontological criteria (...) which can be clear enough to distinguish between the products of nature and those of technique in the field of the "res" that they are. (shrink)

Metaphysicians who are aware of modern physics usually follow Putnam (1967) in arguing that Special Theory of Relativity is incompatible with the view that what exists is only what exists now or presently. Partisans of presentism (the motto ‘only present things exist’) had very difficult times since, and no presentist theory of time seems to have been able to satisfactorily counter the objection raised from Special Relativity. One of the strategies offered to the presentist consists in relativizing existence to inertial (...) frames. This unfashionable strategy has been accused of counterfeiting, since the meaning of the concept of existence would be incompatible with its relativization. Therefore, existence could only be relativistically invariant. In this paper, I shall examine whether such an accusation hits its target, and I will do this by examining whether the different criteria of existence that have been suggested by the Philosophical Tradition from Plato onwards imply that existence cannot be relativized. (shrink)

In this paper I argue against what I label as "Lightweight interpretation of ontological disputes". This interpretation criteria sees ontological disputes as metalinguistic negotiations concerning the pursuing of practical objectives. I have developed an argument, called "That's not the issue", which shows that this interpretation criteria is inapplicable to most ontological disputes.

Several have denied that there is, specifically, a criterion of identity for persons and some deny that there are, for any kind, diachronic criteria of identity. I argue, however, that there are no criteria of identity, either synchronic or diachronic, for any kind whatsoever. I begin by elaborating the notion of a criterion of identity in order to clarify what exactly is being denied when I maintain there are none. I examine the motivation of those who qualify in some way (...) the general claim that there are synchronic and diachronic criteria of identity for every kind, then present my direct and categorical argument against such criteria. I next evaluate the objections of those who argue that rejecting criteria of identity has untenable results. These objections are ineffective, each based on the incorrect assumption that if there is no criterion of identity for a kind, the identity of an instance of that kind is independent of its qualities. I conclude by considering some of the upshots of rejecting criteria of identity and the insight doing so provides into things in general and the limits of ontological inquiry. (shrink)

Some tools introduced by Linnebo to show that mathematical entities are thin objects can also be applied to non-mathematical entities, which have been thought to be thin as well for a variety of reasons. In this paper, I discuss some difficulties and opportunities concerning the application of abstraction and interpretational modalities to mereological sums. In particular, I show that on one hand some prima facie attractive candidates for the role of an explanatory plural abstraction principle for mereological sums (in terms (...) of pluralities of summed entities) are not really explanatory; on the other hand, singular abstraction principles (in terms of single summed entities) are materially inadequate. Nonetheless, explanatory criteria of identity and conditions of existence for mereological sums are provided by classical extensional mereology independent of abstraction principles. Thus, given classical extensional mereology, the reasons why, according to Linnebo, mathematical abstracted entities are thin also hold for mereological sums. Finally, I contend that interpretational modalities can be used to characterise the process by which a subject adds sums of previously admitted entities to the domain of quantification. (shrink)

The cosmos may well be perceived as chiefly power respecting its unfathomable vastness and amount of energy, and under this form referred to the cyclic model and to its self-referentiality. The levels of power to therein inhere are accordingly meant to be subject to a drastic variation. These can be quantified according to physical-metaphysical criteria propounded as Quanta of Power. Their imperceptible value is deemed to define the amount of actual ontological power to be found in each relevant event, (...) nature or situation: The more the presence of Quanta of Power, the more the capability of power found intrinsic to such an event, nature or situation. While at a nonhuman level they focalize on the Big Bang and the Big Crunch in causing one another (and in thus proving, conceptually, one cosmic entity), touching the anthropic principle the process at issue reaches its crowning moment in an ultimate superhuman frame. (shrink)

Nonrelativistic quantum mechanics (QM) works perfectly well for all practical purposes. Once one admits, however, that a successful scientific theory is supposed not only to make predictions but also to tell us a story about the world in which we live, a philosophical problem emerges: in the specific case of QM, it is not possible to associate with the theory a unique scientific image of the world; there are several images. The fact that the theory may be compatible with distinct (...) ontologies, and that those ontologies may themselves be associated with a plurality of metaphysical approaches, gives rise to the problem of metaphysical underdetermination. This paper concludes that the available metametaphysical criteria fail to deliver objectivity in theory choice, and it puts forward its own criterion based on a tension between two methods of metaphysical inquiry: one that is closely related to science and another that is not. (shrink)

The ontological pictures underpinning David Lewis's Parts of Classes and On the Plurality of Worlds are in some tension. One tension concerns whether the sets and classes of Parts of Classes can be found in Lewis's modal space, since they cannot in general be parts of any possible world. The second is that the atoms that are the mathematical ontology of Parts of Classes seem to meet the criteria for being possible worlds themselves, and so fail to be the (...) material Parts of Classes needs. Two different responses to these tensions are discussed: one is unappealing in several ways but keeps more of Lewis's doctrines, while the other requires some modifications to the system of Parts of Classes. (shrink)

When I read this paragraph about her book: -/- In Form, Matter, Substance, Kathrin Koslicki develops a contemporary defence of the Aristotelian doctrine of hylomorphism. According to this approach, objects are compounds of matter (hule) and form (morphe or eidos) and a living organism is not exhausted by the body, cells, organs, tissue, and the like that compose it. Koslicki argues that a hylomorphic analysis of concrete particular objects is well equipped to compete with alternative approaches when measured against a (...) wide range of criteria of success. However, a plausible application of the doctrine of hylomorphism to the special case of concrete particular objects hinges on how hylomorphists conceive of the matter composing a concrete particular object, its form, and the hylomorphic relations which hold between a matter-form compound, its matter and its form. Koslicki offers detailed answers to the questions surrounding this approach to the metaphysics of concrete particular objects. As a result, matter-form compounds emerge as occupying the privileged ontological status traditionally associated with substances, despite their metaphysical complexity, due to their high degree of unity. (shrink)

Organisations are computing systems. The university’s sports centre is a computing system for managing sports teams and facilities. The tenure committee is a computing system for assigning tenure status. Despite an increasing number of publications in group ontology, the computational nature of organisations has not been recognised. The present paper is the first in this debate to propose a theory of organisations as groups structured for computing. I begin by describing the current situation in group ontology and by spelling out (...) the thesis in more detail. I then present the example of a sports centre to illustrate why one might intuitively think of organisations as computing systems. To substantiate the thesis, I introduce Piccinini’s restrictive analysis of physical computation. As I show, organisations meet all criteria for being computing systems. Organisations are structured groups with the function of manipulating medium-independent vehicles according to rules. Furthermore, I argue for the modal claim that this is a necessary feature of organisations. Having sketched the computational account of organisations, I compare it to other proposals in the literature. (shrink)

In his “Farewell to Substance: A Differentiated Leave-Taking”, Peter Simons reaches the provocative conclusion that the concept of substance, as it is employed by metaphysicians, has become obsolete, since in the end there may be nothing at all which answers to it. No harm is done, Simons allows, if we continue to retain an everyday notion of substance, as long as we are aware of the limitations of this practice: there is no reason in general to expect that what is (...) salient from our specifically human point of view will retain a special place in light of our most considered scientific and metaphysical theories of the world. In this paper, I argue that, contrary to Simons’ pessimistic outlook, the concept of substance continues to retain its importance for metaphysics. Among the primary explanatory roles played by the concept of substance in metaphysics is its use in designating certain kinds of entities as occupying a privileged position relative to a particular ontology. But disputes over substancehood can also target the criteria themselves relative to which an ontologically privileged position is awarded to certain taxonomic categories. In these uses, we see the concept of substance employed in an absolute, a relational and a comparative sense, to designate items as substances simpliciter, as the substances of something else, or as more or less deserving of substance status. (shrink)

It is my intention in this article to present some consequences of Quine’s thesis on the dependence of ontology on ideology (Quine, 1980), seeking an argument for my own thesis on the dependence (theoretical) existence of entities on identity type or ontology dependence on logic and language.If Quine's thesis is correct, then we can expand the resolution of this conclusion and say that ontology depends on the identity or on identification of the "identity criteria for conceptual schemes" (Davidson, 2001) which (...) is constructed in the theory. Consequently I will speak about types of identity which adapts choice of ontology and of which depends ontology of a theory. Here I want to connect the different types of use of the term identity in Aristotle's writings and the different types of predications that are based on them with the concept of identity as the equivalence of symbols in modern logic. I want to reinterpret Quine's statement: "There is no entity without identity " in the form of imlication "What (kind of) identity such (kind of ) entity." . (shrink)

What does it take for Islam and science to engage in a genuine conversation with each other? This essay is an attempt to answer this question by clarifying the conditions which make having such a conversation possible and plausible. I will first distinguish between three notions of conversation: the trivial conversation (which requires sharing a common language and the meaning of its ordinary expressions), superficial conversation (in which although the language is shared, the communicators fail to share the meaning of (...) their theoretical terms), and genuine conversation (which implies sharing the language and the meaning of ordinary as well as theoretical terms). I will then argue that our real concern with regard to the exchange between Islam and science is to be to specify the conditions under which their proponents can engage in a genuine conversation with each other and that such a conversation to take place essentially requires sharing a common ontology. Following Quine, I will argue that Muslims, like the followers of any religion, would have no other choice but to work from within science. Doing so, however, would not prevent Muslims from having a genuine conversation with the proponents of other worldviews because when the shared ontology fails to offer any potentially testable answer to our remaining questions about the world, the Islamic viewpoint can appear as a genuine alternative among other underdetermined ones, deciding between which would be a matter of pragmatic criteria. (shrink)

Criteria of acceptability for mathematical proofs are field-dependent. In topology, though not in most other domains, it is sometimes acceptable to appeal to visual intuition to support inferential steps. In previous work :829–842, 2014; Lolli, Panza, Venturi From logic to practice, Springer, Berlin, 2015; Larvor Mathematical cultures, Springer, Berlin, 2016) my co-author and I aimed at spelling out how topological proofs work on their own terms, without appealing to formal proofs which might be associated with them. In this article, I (...) address two criticisms that have been raised in Tatton-Brown against our approach: that it leads to a form of relativism according to which validity is equated with social agreement and that it implies an antiformalizability thesis according to which it is not the case that all rigorous mathematical proofs can be formalized. I reject both criticisms and suggest that our previous case studies provide insight into the plausibility of two related but quite different theses. (shrink)

Graham Harman judges science and common sense in terms of the crude philosophical criteria of another age and finds them lacking in knowledge of reality. He posits a shadowy "withdrawn" realm of real objects in order to explain the discrepancies between his naive abstract model of knowledge as access and the concrete reality of the sciences. Works such as THE QUADRUPLE OBJECT, THE THIRD TABLE and BELLS AND WHISTLES, like the whole of his philosophy, are the record of Harman noticing (...) the discrepancies, but refusing to revise the model. His solution is a dead-end, the timid, nostalgic, and fundamentally misleading propounding of an antiquated epistemology under the cover of a "new" ontology. (shrink)

ABSTRACT The idea that two words can be instances of the same word is a central intuition in our conception of language. This fact underlies many of the claims that we make about how we communicate, and how we understand each other. Given this, irrespective of what we think words are, it is common to think that any putative ontology of words, must be able to explain this feature of language. That is, we need to provide criteria of identity for (...) word-types which allow us to individuate words such that it can be the case that two particular word-instances are instances of the same word-type. One solution, recently further developed by Irmak, holds that words are individuated by their history. In this paper, I argue that this view either fails to account for our intuitions about word identity, or is too vague to be a plausible answer to the problem of word individuation. (shrink)

In this paper, I list various kinds of ‘plurality’ in philosophical investigations. By plurality, I mean a plurality of methodological criteria which we apply to philosophical phenomena and which are very often incompatible with each other. Any philosophical phenomenon can be approached from different methodological viewpoints and result in utterly different ontological and ideological commitments. In other words, I assume that one philosophical problem can have different solutions which depend on different methodological and theoretical presuppositions. Instead of considering this (...) feature of philosophical theories as a problem, I take this plurality as a natural meta-philosophical result. As an example, I consider impossible phenomena and ways of treating them systematically. (shrink)

The central aim of this article is to specify the ontological nature of constitutive mechanistic phenomena. After identifying three criteria of adequacy that any plausible approach to constitutive mechanistic phenomena must satisfy, we present four different suggestions, found in the mechanistic literature, of what mechanistic phenomena might be. We argue that none of these suggestions meets the criteria of adequacy. According to our analysis, constitutive mechanistic phenomena are best understood as what we will call ‘object-involving occurrents’. Furthermore, on the (...) basis of this notion, we will clarify what distinguishes constitutive mechanistic explanations from etiological ones. 1 Introduction 2 Criteria of Adequacy 2.1 Descriptive adequacy 2.2 Constitutive–etiological distinction 2.3 Constitution 3 The Ontological Nature of Constitutive Mechanistic Phenomena 3.1 Phenomena as input–output relations 3.2 Phenomena as end states 3.3 Phenomena as dispositions 3.4 Phenomena as behaviours 4 Phenomena as Object-Involving Occurrents 4.1 What object-involving occurrents are and why we need them 4.2 The object in the phenomenon 4.3 The adequacy of option 5 Conclusion. (shrink)

Russellian Panpsychism or Panpsychist Russellian Monism (PRM) presents a new perspective on the ontological status of phenomenal consciousness, acknowledging its reality at the fundamental level of existence. Diverging from physicalism, PRM upholds the existence of phenomenal consciousness without disrupting the uniformity of nature, a departure from dualism. PRM posits a symbiotic relationship between mental and physical entities, asserting that the former provides intrinsic foundations for the latter, which are structural. This raises a pivotal inquiry: how does PRM reconcile these (...) distinct realms? Is it a form of property dualism, recognizing two fundamental entity categories, or does it propose the primacy of mental properties with physical reducibility? Examining prevalent interpretations of PRM as dualistic or idealistic, this paper contends that neither aligns with PRM’s criteria for ontological monism, where only one fundamental entity type exists. Instead, it advocates for a dual-aspect monism framework, portraying the mental and physical as two authentic facets of a singular entity or property. Through a thorough analysis, the paper demonstrates how this dual-aspect interpretation harmonizes with PRM’s foundational principles, providing a robust resolution to the mental-physical dichotomy while upholding ontological monism. The conclusion explores the implications and contributions of this framework to the metaphysical discourse on consciousness. (shrink)

The biological race debate is at an impasse. Issues surrounding hereditarianism aside, there is little empirical disagreement left between race naturalists and anti-realists about biological race. The disagreement is now primarily semantic. This would seem to uniquely qualify philosophers to contribute to the biological race debate. However, philosophers of race are reluctant to focus on semantics, largely because of their worries about the ‘flight to reference’. In this paper, I show how philosophers can contribute to the debate without taking the (...) flight to reference. Drawing on the theory of reference literature and the history of meaning change in science, I develop some criteria for dealing with cases where there is uncertainty about reference. I then apply these criteria to the biological race debate. All of the criteria I develop for eliminating putative kinds are met in the case of ‘race’ as understood by twentieth century geneticist Theodosius Dobzhansky and his contemporary proponents, suggesting that we should eliminate it from our biological ontology. (shrink)

Mechanisms are said to consist of two kinds of components, entities and activities. In the first half of this chapter, I examine what entities and activities are, how they relate to well-known ontological categories, such as processes or dispositions, and how entities and activities relate to each other (e.g., can one be reduced to the other or are they mutually dependent?). The second part of this chapter analyzes different criteria for individuating the components of mechanisms and discusses how real (...) the boundaries of mechanisms are. (shrink)

Individuals of many animal species are said to have a personality. It has been shown that some individuals are bolder than other individuals of the same species, or more sociable or more aggressive. In this paper, we analyse what it means to say that an animal has a personality. We clarify what an animal personality is, that is, its ontology, and how different personality concepts relate to each other, and we examine how personality traits are identified in biological practice. Our (...) analysis shows that biologists often study specific personality traits, such as boldness, sociability or aggressiveness, rather than personalities in general. We claim that personality traits are best understood as dispositions and that they are operationally defined in terms of certain sets of behaviours, which are studied in specific experimental set-ups. Furthermore, we develop an integrative philosophical account that specifies and formalises three criteria for identifying personality traits, which are used in biological practice. For an individual animal to have a personality trait it must, first, behave differently than others. Second, these behavioural differences must be stable over a certain time, and third, they must be consistent in different contexts. (shrink)

The relationship between abstract formal procedures and the activities of actual physical systems has proved to be surprisingly subtle and controversial, and there are a number of competing accounts of when a physical system can be properly said to implement a mathematical formalism and hence perform a computation. I defend an account wherein computational descriptions of physical systems are high-level normative interpretations motivated by our pragmatic concerns. Furthermore, the criteria of utility and success vary according to our diverse purposes and (...) pragmatic goals. Hence there is no independent or uniform fact to the matter, and I advance the ‘anti-realist’ conclusion that computational descriptions of physical systems are not founded upon deep ontological distinctions, but rather upon interest-relative human conventions. Hence physical computation is a ‘conventional’ rather than a ‘natural’ kind. (shrink)

Inspired by Bas van Fraassen’s Stance Empiricism, Anjan Chakravartty has developed a pluralistic account of what he calls epistemic stances towards scientific ontology. In this paper, I examine whether Chakravartty’s stance pluralism can exclude epistemic stances that licence pseudo-scientific practices like those found in Scientology. I argue that it cannot. Chakravartty’s stance pluralism is therefore prone to a form of debilitating relativism. I consequently argue that we need (1) some ground or constraint in relation to which epistemic stances can be (...) ranked by degrees, and (2) some way to demarcate science from pseudo-science so that we know what epistemic stances are about. Regarding (1), I argue that empirical detectability can serve as the ground in relation to which epistemic stances are ranked by degrees. Regarding (2), I argue for ranking sciences on a continuum according to established institutional criteria, rather than attempting to draw a strict demarcation. (shrink)

In this article, I present a new interpretation of the pro-life view on the status of early human embryos. In my understanding, this position is based not on presumptions about the ontological status of embryos and their developmental capabilities but on the specific criteria of rational decisions under uncertainty and on a cautious response to the ambiguous status of embryos. This view, which uses the decision theory model of moral reasoning, promises to reconcile the uncertainty about the ontological (...) status of embryos with the certainty about normative obligations. I will demonstrate that my interpretation of the pro-life view, although seeming to be stronger than the standard one, has limited scope and cannot be used to limit destructive research on human embryos. (shrink)

The question of transtemporal identity of objects in general and persons in particular is an important issue in both philosophy and psychology. While the focus of philosophers traditionally was on questions of the nature of identity relation and criteria that allow to settle ontological issues about identity, psychologists are mostly concerned with how people think about identity, and how they track identity of objects and people through time. In this article, we critically engage with widespread use of inferring folk (...) judgments of identity from study participants’ use of proper names in response to experimental vignettes. We provide reasons to doubt that using this method one can reliably infer judgments of numerical identity over time and transformations. We also critically examine allegedly-Kripkean justification of this method and find it lacking. Merely assuming that names are rigid designators will not help. A study participant’s use of proper names can be taken to track the participant’s identity judgments only if supported by the participant’s belief that names used in the scenario are used rigidly. (shrink)

The aim of this paper is to propose a systematic classification of emotions which can also characterize their nature. The first challenge we address is the submission of clear criteria for a theory of emotions that determine which mental phenomena are emotions and which are not. We suggest that emotions as a subclass of mental states are determined by their functional roles. The second and main challenge is the presentation of a classification and theory of emotions that can account for (...) all existing varieties. We argue that we must classify emotions according to four developmental stages: 1. pre-emotions as unfocussed expressive emotion states, 2. basic emotions, 3. primary cognitive emotions, and 4. secondary cognitive emotions. We suggest four types of basic emotions (fear, anger, joy and sadness) which are systematically differentiated into a diversity of more complex emotions during emotional development. The classification distinguishes between basic and non-basic emotions and our multi-factorial account considers cognitive, experiential, physiological and behavioral parameters as relevant for constituting an emotion. However, each emotion type is constituted by a typical pattern according to which some features may be more significant than others. Emotions differ strongly where these patterns of features are concerned, while their essential functional roles are the same. We argue that emotions form a unified ontological category that is coherent and can be well defined by their characteristic functional roles. Our account of emotions is supported by data from developmental psychology, neurobiology, evolutionary biology and sociology. (shrink)

Natural kinds, real kinds, or, following J.S Mill simply, Kinds, are thought to be an important asset for scientific realists in the non-fundamental (or “special”) sciences. Essential natures are less in vogue. I show that the realist would do well to couple her Kinds with essential natures in order to strengthen their epistemic and ontological credentials. I argue that these essential natures need not however be intrinsic to the Kind’s members; they may be historical. I concentrate on assessing the (...) merits of historical essential natures in a paradigm case of Kinds in the non-fundamental sciences: species. I specify two basic jobs for essential natures: 1) offering individuation criteria, and 2) providing a causal explanation of the Kind’s multiple projectable properties. I argue that at least in the case of species historical essences are fit for both tasks. The principled resistance to Kinds with historical essences should also be cleared. (shrink)

The aim of this paper was to prove that reduction of social, cultural and spiritual explanation of religion, to the purely biological one, is unattainable, and what is more, that such efforts are redundant and give threat to the quality of science, as well as to the quality of religious beliefs. With regard to elementary methodological scientific criteria, the examples of limitation in biological investigating and explaining of religion was shown. Subsequently, the paper presents a few important logical mistakes (pseudoarguments) (...) as examples of ontological underinterpretation of scientific facts. Finally, the discourse concentrates on the threats (to science and religion) that are associated with biological investigation of religion. (shrink)