This paper presents a comprehensive analysis of the SEIRS COVID-19 pandemic model with saturated incidence rate. By modifying the existing model and proposing a new simplified version, we investigate the dynamics of disease transmission, including the impact of saturation terms on disease spread. Through stability analysis at disease-free and endemic equilibria, we aim to enhance understanding of the spread of COVID-19 and inform effective control strategies. Drawing on mathematical models and epidemiological insights, this study contributes to the ongoing efforts to (...) combat the global pandemic. (shrink)

Investigation of a puzzle concerning complete yet authorless artworks.

Argument that full grounds modally entail what they ground.

Defense of incompletable grounding and discussion of implications for ontological economy.

General discussion of grounding, including its formal features, relations to other notions, and applications.

The Information Artifact Ontology (IAO) was created to serve as a domain‐neutral resource for the representation of types of information content entities (ICEs) such as documents, data‐bases, and digital im‐ages. We identify a series of problems with the current version of the IAO and suggest solutions designed to advance our understanding of the relations between ICEs and associated cognitive representations in the minds of human subjects. This requires embedding IAO in a larger framework of ontologies, including most importantly the Mental (...) Func‐tioning Ontology (MFO). It also requires a careful treatment of the aboutness relations between ICEs and associated cognitive representa‐tions and their targets in reality, which implies in turn a new treatment of the relation of truthmaking. (shrink)

If SNOMED CT is to serve as a biomedical reference terminology, then steps must be taken to ensure comparability of information formulated using successive versions. New releases are therefore shipped with a history mechanism. We assessed the adequacy of this mechanism for its treatment of the distinction between changes occurring on the side of entities in reality and changes in our understanding thereof. We found that these two types are only partially distinguished and that a more detailed study is required (...) to propose clear recommendations for enhancement along at least the following lines: (1) explicit representation of the provenance of a class; (2) separation of the time-period during which a component is stated valid in SNOMED CT from the period it is (or has been) valid in reality, and (3) redesign of the historical relationships table to give users better assistance for recovery in case of introduced mistakes. (shrink)

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

Our primary aim in this paper is to sketch a cognitive evolutionary approach for developing explanations of social change that is anchored on the psychological mechanisms underlying normative cognition and the transmission of social norms. We throw the relevant features of this approach into relief by comparing it with the self-fulfilling social expectations account developed by Bicchieri and colleagues. After describing both accounts, we argue that the two approaches are largely compatible, but that the cognitive evolutionary approach is well- suited (...) to encompass much of the social expectations view, whose focus on a narrow range of norms comes at the expense of the breadth the cognitive evolutionary approach can provide. (shrink)

Discussion of the challenge that acquaintance with the nature of experience poses to physicalism.

Moral perceptualism is the theory that perception and perceptual experience is attuned to moral features in our environment. This idea has received renewed attention in the last 15–20 years, for its potential to do theoretical work in moral epistemology and moral psychology. In this paper, I review the main motivations and arguments for moral perceptualism, the variety of theories that go under the heading of “moral perception,” and the three biggest challenges to moral perception. https://youtu.be/9cc_1zykq80.

Discussion of partial grounds that aren't parts of full grounds; definition of full grounding in terms of partial grounding.

Discussion of a metaphysical sense of 'inheritance' and cognate notions relevant to fundamentality.

The aim of this paper is to introduce, elucidate and defend the usefulness of a variant of grounding, or metaphysical explanation, that has the feature that the grounds explain of some states of affairs that one of them obtains without explaining which one obtains. I will dub this variant arbitrary grounding. After informally elucidating the basic idea in the first section, I will provide three metaphysical hypotheses that are best formulated in terms of arbitrary grounding in the second section. The (...) third section will be concerned with the relation between arbitrary grounding and non-arbitrary grounding. The fourth section will compare arbitrary grounding to two extant proposals in the literature. (shrink)

Moral perception has made something of a comeback in recent work on moral epistemology. Many traditional objections to the view have been argued to fail upon closer inspection. But it remains an open question just how far moral perception might extend. In this paper, I provide the beginnings of an answer to this question by assessing the relationship between the metaphysical structure of different normative properties and a plausible constraint on which properties are eligible for perceptual awareness which I call (...) the Counterfactual Strengthening Test. Along the way I consider and reject a few other possible constraints on perceptual awareness. I defend the view that moral perception is restricted to the perception of evaluative and pro tanto deontic properties. I conclude with a few gestures toward what this limitation on moral perception may mean for broader moral epistemology. (shrink)

The Swiss psychologist Jean Piaget contends that children below the age of 12 see no necessity for the logical law of non-contradiction. I argue this view is problematic. First of all, Piaget's dialogues with children which are considered supportive of this position are not clearly so. Secondly, Piaget underestimates the necessary nature of following the logical law of non-contradiction in everyday discourse. The mere possibility of saying something significant and informative at all presupposes that the law of non-contradiction is enforced.

Amendment of the Witmer, Butchard, and Trogdon (2005) account of intrinsic properties with the aim of neutrality between competing theories of what is fundamental.

Characterization of a form of explanation involving grounding on the model of mechanistic causal explanation.

Ontology is currently perceived as the solution of first resort for all problems related to biomedical terminology, and the use of description logics is seen as a minimal requirement on adequate ontology-based systems. Contrary to common conceptions, however, description logics alone are not able to prevent incorrect representations; this is because they do not come with a theory indicating what is computed by using them, just as classical arithmetic does not tell us anything about the entities that are added or (...) subtracted. In this paper we shall show that ontology is indeed an essential part of any solution to the problems of medical terminology – but only if it is understood in the right sort of way. Ontological engineering, we shall argue, should in every case go hand in hand with a sound ontological theory. (shrink)

My modest aim in this piece is to frame and illuminate some of the issues surrounding normative motivation, rather than take a firm position on any of them. I begin by clarifying the key terms in my title of this essay, and unpacking some of the assumptions that underpin its question. I then distinguish four kinds of answers one might give. In this short essay I will not be able to properly develop and evaluate an argument for the view that (...) normative motivations are psychologically primitive, but I will have some comments about what such an argument might look like, and what it would have to show. (shrink)

Argument that priority monism is best understood as being a contingent thesis.

Clinical ethics consultants (CECs) are not moral authorities. Standardization of CECs’ professional role does not confer upon them moral authority. Certification of particular CECs does not confer upon them moral authority (nor does it reflect such authority). Or, so we will argue. This article offers a distinctly Orthodox Christian response to those who claim that CECs—or any other academically trained bioethicist—retain moral authority (i.e., an authority to know and recommend the right course of action). This article proceeds in three parts. (...) First, we discuss recent movements toward the certification of CECs in the United States, focusing primarily on proposals and programs put forth by the American Society for Humanities and Bioethics (ASBH). Second, we outline two secular reasons to be concerned about the relevant trends toward certification. For one thing, certification is currently being advanced via political dominance, rather than gaining authority by reliance on rigorous philosophical argument or reason. For another, the trends operate on the assumption that there exists a secular, content-full, canonical, morality. There is no such morality. Next, we argue that Orthodox Christians should resist the current trends toward certification of CECs. Specifically, we unpack ways in which the ASBH’s certification program (and those like it) conflict with Orthodox claims about moral authority and the moral life more generally. We conclude that Orthodox Christians should resist the current certification trends. (shrink)

We performed a qualitative analysis of the Thesaurus in order to assess its conformity with principles of good practice in terminology and ontology design. We used both the on-line browsable version of the Thesaurus and its OWL-representation (version 04.08b, released on August 2, 2004), measuring each in light of the requirements put forward in relevant ISO terminology standards and in light of ontological principles advanced in the recent literature. Version 04.08b of the NCI Thesaurus suffers from the same broad range (...) of problems that have been observed in other biomedical terminologies. For its further development, we recommend the use of a more principled approach that allows the Thesaurus to be tested not just for internal consistency but also for its degree of correspondence to that part of reality which it is designed to represent. (shrink)

Grief research in philosophy agrees that one who grieves grieves over the irreversible loss of someone whom the griever loved deeply, and that someone thus factored centrally into the griever’s sense of purpose and meaning in the world. The analytic literature in general tends to focus its treatments on the paradigm case of grief as the death of a loved one. I want to restrict my account to the paradigm case because the paradigm case most persuades the mind that grief (...) is a past-directed emotion. The phenomenological move I propose will enable us to (1) respect the paradigm case of grief and a broader but still legitimate set of grief-generating states of affairs, (2) liberate grief from the view that grief is past directed or about the past, and thus (3) account for grief in a way that separates it from its closest emotion-neighbor, sorrow, without having to rely on the affective quality of those two emotions.If the passing of the beloved causes the grief but is not what the grief is about, then we can get at the nature of grief by saying its temporal orientation is in the past (the event of the passing), but its temporal meaning is the present and future—the new significance of a world with the pervasive absence that is the world without the beloved. The no-longer of grief is a no-longer oriented by a past (that which is no longer) that is referred a present and future (that which is a no-longer understood as not now as it once was). Looking at the griever’s relation to time can tell us much about the pain and the object of grief, then. As the griever puts the past before himself with a certainty about this world “henceforth,” a look at the griever’s lived sense of the fi nality of the irreversibly lost (1) liberates grief from the tendency in the literature to be reduced to a past-directed emotion, (2) accounts for grief ’s intensity, its affective force or poignancy, and thus (3) enables us to separate grief from sorrow according to its intentionalobject in light of the temporal meaning of these emotions. (shrink)

Non-naturalism is the view that normative properties are response-independent, irreducible to natural properties, and causally inefficacious. An underexplored question for non-naturalism concerns the metasemantics of normative terms. Ideally, the non-naturalist could remain ecumenical, but it appears they cannot. Call this challenge the metasemantic challenge. This chapter suggests that non-naturalists endorse an epistemic account of reference determination of the sort recently defended by Imogen Dickie, with some modifications. An important implication of this account is that, if correct, a fully fleshed out (...) moral epistemology will simultaneously rebut metasemantic objections to non-naturalism. Thus, both the metasemantic and the more widely discussed epistemological challenges in effect amount to one. Before setting out the positive view, the chapter considers why all of the traditional metasemantic theories cause trouble for the non-naturalist. This includes discussions of teleosemantics, conceptual role semantics, as well as Schroeter and Schroeter’s “connectedness” model. (shrink)

Advances in science and technology have added to our insights into the vulnerabilities of human agency as well as to the methods of exploiting them. This has raised the stakes for efforts to clarify the concept and ethics of manipulation. Among these efforts, Robert Noggle’s influencer-centered account of manipulation has been most significant. He defines manipulative acts as those whereby an agent intentionally influences a recipient’s attitudes so that they do not conform as closely as they otherwise would to the (...) pertinent norms and ideals endorsed by the influencer. This provides a relatively simple and in many ways clear definition of manipulation. It sidesteps thorny debates about autonomy, freedom, or practical rationality. It also promises to reveal a conceptual parallel between manipulating and lying, and thus to explain why manipulation is pro tanto wrong. In one respect, however, the account remains ambiguous: It remains unclear whether, and to what extent, it requires that influencers’ beliefs about what is ideal for their recipients to be grounded in some effort on the part of the influencer to identify with or take on the role of her recipient. This paper explains this ambiguity. It argues that influencer-centrism cannot remain indifferent to the validity of an agent’s beliefs about the ideal state of the recipient and provide an identification requirement that would render the whole account plausible and sufficiently determinate. (shrink)

Discussion of atomistic and monistic theses about abstract reality.

This paper develops the metaphysical hypothesis that there are irreducibly collective pluralities, pluralities of objects that do not have a singular object among them. A way to formulate this hypothesis using plural quantification will be proposed and the coherence of irreducibly collective existence will be defended. Furthermore, irreducibly collective existence will be shown to allow for bottomless scenarios that do not involve things standing in relations of parthood. This will create logical space for an anti-atomistic form of mereological nihilism.

Description logics and other formal devices are frequently used as means for preventing or detecting mistakes in ontologies. Some of these devices are also capable of inferring the existence of inter-concept relationships that have not been explicitly entered into an ontology. A prerequisite, however, is that this information can be derived from those formal definitions of concepts and relationships which are included within the ontology. In this paper, we present a novel algorithm that is able to suggest relationships among existing (...) concepts in a formal ontology that are not derivable from such formal definitions. The algorithm exploits cross-lingual information that is implicitly present in the collection of terms used in various languages to denote the concepts and relationships at issue. By using a specific experimental design, we are able to quantify the impact of cross-lingual information in coping with underspecification in formal ontologies. (shrink)

Discussion of grounding-theoretic accounts of truthmaking in terms of the theoretical role of “catching cheaters”.

Defense of a psychological account of what it is for an artwork to be complete.

The Alcibiades I concludes with an arresting image of an eye that sees itself by looking into another eye. Using the dialogue as a whole, I offer a detailed interpretation of this image and I discuss its implications for the question of self-knowledge. The Alcibiades I reveals both what self-knowledge is (knowledge of soul in its particularity and its universality) and how we are to seek it (by way of philosophical dialogue). This makes the pursuit of self-knowledge an inescapably social (...) pursuit. Yet as Socrates cautions us, our ability to gain self-knowledge—and indeed his very account of what it is—are limited. The dialogue is thus challenging us to take the inquiry further, thereby displaying the very matter being discussed. (shrink)

In a recent paper, Tim Henning argues that the result that we should save the greatest number in rescue cases can be established on procedural grounds without making use of the aggregation of interests. He first argues that we ought to respect the affected persons' equal claims to have a say in the rescue decision and that this can only be achieved by the majority rule, which consists in giving each affected person an equal vote. Then he argues for the (...) second claim that if everyone votes in their self-interest, then the greatest number will be saved. I present a class of cases in which the second claim fails. This establishes that even if self-interested voting is assumed, the majority rule does not always lead to the greatest number being saved. (shrink)

Health Level 7 (HL7) is an organization seeking to provide universal standards for the exchange of healthcare information. In a document entitled ‘HL7 Version 3 Standard: Data Types’, the HL7 organization advances descriptions of data types recom- mended for use as identifiers. We will argue that the descriptions supplied provide insufficient guidance as to what exactly the entities are which these data types uniquely identify. Are they real things, such as persons or pieces of equipment? Or are they representations of (...) such real things in information artifacts? We here outline the problems faced by HL7 in providing answers to such questions, problems which arise because of the lack of anything like a coherent ontology in the HL7 standard, and we make some recommendations for future improvements. (shrink)

One important challenge for contingentists is that they seem to be unable to account for the meaning of some apparently meaningful modal discourse that is perfectly intelligible for necessitists. This worry is particularly pressing for higher-order contingentists, contingentists who hold that it is not only contingent which objects there are, but also contingent which semantic values there are for higher-order variables to quantify over. Objections against higher-order contingentism along these lines have been presented in Williamson (Mind 119(475):657–748, 2010; Modal logic (...) as metaphysics, Oxford University Press, 2013, ch. 7), and Fritz and Goodman (Mind 126(504):1063–1108, 2017). This paper presents a way for contingentists to respond to these challenges. The upshot is that the contingentist can account for the meaningfulness of the problematic modal claims by pretending necessitism to be true, but in some cases it turns out to be indeterminate whether they are true. I defend this strategy against the objections against pretence-strategies presented in Fritz and Goodman (Mind 126(504):1063–1108, 2017, §4). Furthermore, I defend the plausibility of the resulting indeterminacy from the contingentist’s perspective. (shrink)

The ongoing digital transformation of almost all areas of human action and agency calls for a readjustment of the norms that regulate these practices. For example, the digitisation of communicative practices poses new challenges to their functioning. This paper explains some of these challenges and argues that they cannot be met by a normative framework that focuses mainly on defensive (free speech and property) rights. In the context of mediated digital communication, the application of such a framework may even have (...) paradoxical consequences. Accordingly, this paper argues for a broader system of communicative rights, understood as rights to meaningful participation in well-functioning communicative practices. (shrink)

Response to Skiles (2009) on Trogdon (2009) on intrinsic properties and fundamentality.

Digital Rights Management (DRM) covers the description, identification, trading, protection, monitoring and tracking of all forms of rights over both tangible and intangible assets. The Digital Object Identifier (DOI) system provides a framework for the persistent identification of entities involved in this domain. Although the system has been very well designed to manage object identifiers, some important questions relating to the creation and assignment of identifiers are left open. The paradigm of a Referent Tracking System (RTS) recently advanced in the (...) healthcare and life sciences environment is able to fill these gaps. This is demonstrated by pointing out inconsistencies in the existing DOI models and by showing how they can be corrected using an RTS. (shrink)

The goal of referent tracking is to create an ever-growing pool of data relating to the entities existing in concrete spatiotemporal reality. In the context of Electronic Healthcare Records (EHRs) the relevant concrete entities are not only particular patients but also their parts, diseases, therapies, lesions, and so forth, insofar as these are salient to diagnosis and treatment. Within a referent tracking system, all such entities are referred to directly and explicitly, something which cannot be achieved when familiar concept-based systems (...) are used in what is called “clinical coding”. In this paper we describe the components of a referent tracking system in an informal way and we outline the procedures that would have to be followed by healthcare personnel in using such a system. We argue that the referent tracking paradigm can be introduced with only minor – though nevertheless ontologically important – technical changes to existing EHR infrastructures, but that it will require a radically different mindset on the part of those involved in clinical coding and terminology development from that which has prevailed hitherto. (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.

Being social creatures in a complex world, we do things together. We act jointly. While cooperation, in its broadest sense, can involve merely getting out of each other’s way, or refusing to deceive other people, it is also essential to human nature that it involves more active forms of collaboration and coordination (Tomasello 2009; Sterelny 2012). We collaborate with others in many ordinary activities which, though at times similar to those of other animals, take unique and diverse cultural and psychological (...) forms in human beings. But we also work closely and interactively with each other in more peculiar and flexible practices which are in distinctive ways both species-specific and culturally and historically contingent: from team sports to shared labour, from committee work to mass demonstrations, from dancing to reminiscing together about old times. (shrink)

While classifications of mental disorders have existed for over one hundred years, it still remains unspecified what terms such as 'mental disorder', 'disease' and 'illness' might actually denote. While ontologies have been called in aid to address this shortfall since the GALEN project of the early 1990s, most attempts thus far have sought to provide a formal description of the structure of some pre-existing terminology or classification, rather than of the corresponding structures and processes on the side of the patient. (...) We here present a view of mental disease that is based on ontological realism and which follows the principles embodied in Basic Formal Ontology and in the application of BFO in the Ontology of General Medical Science. We analyzed statements about what counts as a mental disease provided in the research agenda for the DSM-V, and in Pies' model. The results were used to assess whether the representational units of BFO and OGMS were adequate as foundations for a formal representation of the entities in reality that these statements attempt to describe. We then analyzed the representational units specific to mental disease and provided corresponding definitions. Our key contributions lie in the identification of confusions and conflations in the existing terminology of mental disease and in providing what we believe is a framework for the sort of clear and unambiguous reference to entities on the side of the patient that is needed in order to avoid these confusions in the future. (shrink)

Grounding-theoretic account of the notion of transparency relevant to the explanatory gap between the mental and physical.

Modal dispositionalists hold that dispositions provide the foundation of metaphysical necessity and possibility. According to the kind of modal dispositionalism that can be found in the present literature, a proposition p is possible just in case some things are disposed to be such that p. In the first part of this paper I show that combining this classic form of dispositionalism with the assumptions that the laws of nature are necessary and deterministic and that all dispositions are forward-looking in time (...) leads to the unattractive conclusion that every truth is necessary. I argue that the classic dispositionalist should be troubled by this result and in the second part of the paper I suggest a novel variant of dispositionalism that avoids it. This extended form of dispositionalism allows that some propositions are only indirectly underwritten by dispositions. (shrink)

The phenomena of call-outs and call-ins are fiercely debated. Are they mere instances of virtue signaling? Or can they actually perform social justice work? This paper gains purchase on these questions by focusing on how language users negotiate norms in speech. The authors contend that norm-enacting speech not only makes a norm salient in a context but also creates conversational conditions that motivate adherence to that norm. Recognizing this allows us to define call-outs and call-ins: the act of calling-out brings (...) with it the presupposition that its target's behavior is norm-violating, whereas the act of calling-in simply presupposes its target's willingness to revise their belief. With these definitions at hand, we evaluate whether call-outs and call-ins are suitable tools for combating social injustice. (shrink)

PURPOSE—A substantial fraction of the observations made by clinicians and entered into patient records are expressed by means of negation or by using terms which contain negative qualifiers (as in “absence of pulse” or “surgical procedure not performed”). This seems at first sight to present problems for ontologies, terminologies and data repositories that adhere to a realist view and thus reject any reference to putative non-existing entities. Basic Formal Ontology (BFO) and Referent Tracking (RT) are examples of such paradigms. The (...) purpose of the research here described was to test a proposal to capture negative findings in electronic health record systems based on BFO and RT. METHODS—We analysed a series of negative findings encountered in 748 sentences taken from 41 patient charts. We classified the phenomena described in terms of the various top-level categories and relations defined in BFO, taking into account the role of negation in the corresponding descriptions. We also studied terms from SNOMED-CT containing one or other form of negation. We then explored ways to represent the described phenomena by means of the types of representational units available to realist ontologies such as BFO. RESULTS—We introduced a new family of ‘lacks’ relations into the OBO Relation Ontology. The relation lacks_part, for example, defined in terms of the positive relation part_of, holds between a particular p and a universal U when p has no instance of U as part. Since p and U both exist, assertions involving ‘lacks_part’ and its cognates meet the requirements of positivity. CONCLUSION—By expanding the OBO Relation Ontology, we were able to accommodate nearly all occurrences of negative findings in the sample studied. (shrink)