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)

One of Plato’s aims in the Phaedrus seems to be to outline an ‘ideal’ form of rhetoric. But it is unclear exactly what the ‘true’ rhetorician really looks like, and what exactly his methods are. More broadly, just how does Plato see the relation between rhetoric and philosophy? I argue, in light of Plato’s epistemology, that the “true craft (techne) of rhetoric” which he describes in the Phaedrus is a regulative, but also an unattainable ideal. Consequently, the mythical palinode in (...) the dialogue is not (as some have claimed) an example of the true techne—and indeed it could not be. But neither is dialectic. Rather, dialectic is the closest approximation of the true techne of rhetoric which can be had; that is to say, dialectic is the best and highest kind of psychagogia (a ‘leading of the soul through words’). Plato’s purpose in describing the “true techne of rhetoric”, then, is not to reform or to rehabilitate rhetoric, but to urge us to abandon it in favor of the philosophical life. One implication of this is that Plato is just as hostile toward rhetoric as he is in the Gorgias. (shrink)

In the Phaedo the character Socrates argues that suicide is morally wrong. This is in fact one of only two places in the entire Platonic corpus where suicide is discussed. It is a brief passage, and a notoriously perplexing one. In this article, I distinguish between two arguments that Socrates gives in support of his claim. I argue that one of them is not to be taken literally, while the other represents the deeper reason for the prohibition of suicide. I (...) further relate the question of suicide to the overarching concerns of the Phaedo as a whole: the nature of our incarnate “imprisonment”, the nature and purpose of philosophy, the philosophical “purification” of the soul, the human pursuit of knowledge, and the nature of the divine. (shrink)

It is commonly thought that there is a connection between love and death. But what can be said philosophically about the nature of that connection (if indeed it exists)? Plato's Symposium suggests at least three possible ways in which love and death might be connected: first, that love entails (or ought to entail) a willingness to die for one’s beloved; second, that love is a desire for (or perhaps itself is) a kind of death; and third, that love is linked (...) to human mortality and the desire for immortality. I argue that each of these three suggestions is problematic, and should not be accepted at face value. I am ultimately skeptical as to whether any one, overriding connection—be it moral or causal or metaphysical—between love and death exists. At the very least, the matter deserves more nuanced and multi-faceted reflection than what we find in the Symposium. (shrink)

Moving beyond the piecemeal approach to the Euthyphro that has dominated much of the previous secondary literature, I aim in this article to understand the dialogue as an integrated whole. I argue that the question of myth underlies the philosophical and dialogical progression of the Euthyphro. It is an adherence to traditional myth that motivates each of Euthyphro’s definitions and that also accounts for their failure. The dialogue thus presents a broad criticism of traditional myth. But, as Socrates’s references to (...) Daedalus and Proteus show, myth can have a positive role and can be used for philosophical purposes. (shrink)

The ending of the Phaedo is one of the most powerful and memorable moments in the entire Platonic corpus. It is not simply the end of a single dialogue, but a depiction of the end of the life of the man (Socrates) who is a looming presence in nearly everything that Plato wrote. In this article I offer an in-depth analysis of the final scene of the Phaedo. I argue that Plato very carefully constructs the scene for the sake of (...) specific philosophical, dramatic, and political ends. Plato uses it to unify the Phaedo as a singular text, while also provoking us to reflect on the nature of our lives, our deaths, and the possibilities and limits of philosophy itself. (shrink)

In the Phaedrus Socrates says that “the greatest goods” come from madness, and even seems to suggest that philosophy itself is a form of madness. But just how strongly should we understand these claims? I argue that Plato is not claiming that the philosopher is literally mad, in the sense of lacking rational self-control or being possessed by a god. Instead, Plato is appropriating the concept of “madness” and redefining it to refer to a unique state of philosophical cognition.

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

This article is an introduction to the first English edition of Karl Kautsky's article series "The American Worker" (Karl Kautsky, “Der amerikanische Arbeiter”, Die neue Zeit, 24. 1905-1906, 1. Bd., 1906, H. 21, S. 676-683, H. 22, S. 717-727, H. 23, S. 740-752, H. 24, S. 773-787), which was a Marxist reply to Werner Somart's book Why Is There No Socialism in the United States? (Werner Sombart, Warum gibt es in den Vereinigten Staaten keinen Sozialismus?, Tübingen: J.C.B. Mohr, (...) 1906). (shrink)

Th is work is a companion piece to "The American Worker," Karl Kautsky's reply to Werner Sombart’s Why Is There No Socialism in the United States? (1906), first published in English in the November 2003 edition of the journal Historial Materialism. In August 1909 Kautsky wrote an article on Samuel Gompers, the president of the American Federation of Labor, on the occasion of the latter's first European tour. Th e article was not only a criticism of Gompers’s anti-socialist "pure-and-simple" (...) unionism but also part of an ongoing battle between the revolutionary wing of German Social Democracy and the German trade-union officials. In this critical English edition we provide the historical background to the document as well as an overview of the issues raised by Gompers' visit to Germany, such as the bureaucratisation and increasing conservatism of the union leadership in both Germany and the United States, the role of the General Commission of Free Trade Unions in the abandonment of Marxism by the German Social-Democratic Party and the socialists’ attitude toward institutions promoting class collaboration like the National Civic Federation. (shrink)

Précis for a book symposium, with contributions from Meg Wallace, Louis deRosset, and Chris Tillman and Joshua Spencer.

This collection of essays explores the metaphysical thesis that the living world is not made up of substantial particles or things, as has often been assumed, but is rather constituted by processes. The biological domain is organised as an interdependent hierarchy of processes, which are stabilised and actively maintained at different timescales. Even entities that intuitively appear to be paradigms of things, such as organisms, are actually better understood as processes. Unlike previous attempts to articulate processual views of biology, which (...) have tended to use Alfred North Whitehead’s panpsychist metaphysics as a foundation, this book takes a naturalistic approach to metaphysics. It submits that the main motivations for replacing an ontology of substances with one of processes are to be found in the empirical findings of science. Biology provides compelling reasons for thinking that the living realm is fundamentally dynamic, and that the existence of things is always conditional on the existence of processes. The phenomenon of life cries out for theories that prioritise processes over things, and it suggests that the central explanandum of biology is not change but rather stability, or more precisely, stability attained through constant change. This edited volume brings together philosophers of science and metaphysicians interested in exploring the consequences of a processual philosophy of biology. The contributors draw on an extremely wide range of biological case studies, and employ a process perspective to cast new light on a number of traditional philosophical problems, such as identity, persistence, and individuality. (shrink)

Choices confront us with questions. How we act depends on our answers to those questions. So the way our beliefs guide our choices is not just a function of their informational content, but also depends systematically on the questions those beliefs address. This paper gives a precise account of the interplay between choices, questions and beliefs, and harnesses this account to obtain a principled approach to the problem of deduction. The result is a novel theory of belief-guided action that explains (...) and predicts the decisions of agents who, like ourselves, fail to be logically omniscient: that is, of agents whose beliefs may not be deductively closed, or even consistent. (Winner of the 2021 Isaac Levi Prize.). (shrink)

Supporters of open borders sometimes argue that the state has no pro tanto right to restrict immigration, because such a right would also entail a right to exclude existing citizens for whatever reasons justify excluding immigrants. These arguments can be defeated by suggesting that people have a right to stay put. I present a new form of the exclusion argument against closed borders which escapes this “right to stay put” reply. I do this by describing a kind of exclusion that (...) has not been discussed in depth, which I call “territorial exclusion.” Territorial exclusion is the process according to which the group that wishes to exclude current citizens secedes from the territory in which those citizens reside. I argue that the wrongness of territorial exclusion explains why there is no pro tanto right for a state to exclude immigrants, because otherwise there would be a pro tanto right for the state to kick people out by seceding from the territory they inhabit. Because kicking people out like this is typically wrong, borders cannot be closed. (shrink)

I defend the cosmopolitan instrumentalist theory of secession, according to which a group has a right to secede only if this would promote cosmopolitan justice. I argue that the theory is preferable to other theories of secession because it is an entailment of cosmopolitanism, which is independently attractive, and because, unlike other theories of secession, it allows us to give the answers we want to give in cases like secession of the rich or secession that would make things worse for (...) minorities. I defend the view against the objections that it allows for colonialism and annexation, that it is not a distinct theory, and that it is impractical. (shrink)

This chapter introduces readers to the view that praise is a form of address, or is communicative in the sense of seeking uptake from its target. The proposal that praise is communicative will seem counterintuitive if we take blame to be our paradigm of what it is for a responsibility-response to be communicative. This is because blame is communicative in a manner that intuitively presupposes some normative failure; it involves calling its target to account (or answer) for some wrongdoing. But, (...) the ‘rightdoer’ already properly regarded the relevant reasons in acting praiseworthily. So, there is nothing for which the praiseworthy agent must similarly account or answer for. How then could praise be communicative in sense of seeking uptake from its target? This chapter develops the view that praise is communicative in that it invites the praiseworthy agent to accept credit by co-valuing their action in the evaluative terms supplied by the praiser. This proposal is defended against three objections, namely that it is descriptively inadequate regarding our actual practices, that it is morally mistaken about when we owe others a response, and that it implies redundant communication. (shrink)

After 50 years of debate, the ethics of aggregation has reached a curious stalemate, with both sides arguing that only their theory treats people as equals. I argue that, on the issue of equality, both sides are wrong. From the premise that “each counts for one,” we cannot derive the conclusion that “more count for more”—or its negation. The familiar arguments from equality to aggregation presuppose more than equality: the Kamm/Scanlon “Balancing Argument” rests on what social choice theorists call “(Positive) (...) Responsiveness,” Kamm’s “Aggregation Argument” assumes that “equal” lives are fungible, and Hsieh et al. have it that spreading goods broadly best approximates equality. In each case, the crucial premise is not equality itself but a further idea that Taurek, I argue, can safely reject. I conclude with a conjecture: there is no theory-neutral argument that settles the question of whether the numbers count. (shrink)

This chapter draws on insights from non-equilibrium thermodynamics to demonstrate the ontological inadequacy of the machine conception of the organism. The thermodynamic character of living systems underlies the importance of metabolism and calls for the adoption of a processual view, exemplified by the Heraclitean metaphor of the stream of life. This alternative conception is explored in its various historical formulations and the extent to which it captures the nature of living systems is examined. Following this, the chapter considers the metaphysical (...) implications of reconceptualizing the organism from complex machine to flowing stream. What do we learn when we reject the mechanical and embrace the processual? Three key lessons for biological ontology are identified. The first is that activity is a necessary condition for existence. The second is that persistence is grounded in the continuous self-maintenance of form. And the third is that order does not entail design. (shrink)

I argue that the phenomenon underlying Bernard Williams’ (1976) “agent-regret” is considerably broader than appreciated by Williams and others. Agent-regret— an anguished response that agents have for harms they have caused, even if faultlessly— I maintain, is a species of a more general response to harms that need not be one’s fault, but which nonetheless impact one’s practical identity in a special way. This broader genus includes as a species what I call “relation-regret”, a pained response to harm caused by (...) a person to whom one is intimately related, as a co-member of a group partly constitutive of one’s practical identity (e.g. one’s family). After providing an account of the moral psychology of relation-regret, I attend to its normative significance, proposing in particular that acceptance of relation-regret provides us with reasons for accepting a novel form of moral luck, namely associative luck: the luck of being vulnerable to responsibility-responses in virtue of one’s attachments to others, despite one’s personal faultlessness. (shrink)

This paper proposes a new account of bounded or minimal doxastic rationality (in the sense of Cherniak 1986), based on the notion that beliefs are answers to questions (à la Yalcin 2018). The core idea is that minimally rational beliefs are linked through thematic connections, rather than entailment relations. Consequently, such beliefs are not deductively closed, but they are closed under parthood (where a part is an entailment that answers a smaller question). And instead of avoiding all inconsistency, minimally rational (...) believers only avoid blatant inconsistencies (where some beliefs are blatantly inconsistent when they contradict one another on a particular question). Rather than cohering into a single overall world view, beliefs are more loosely connected in what is best described as a web of questions. This view of minimally rational belief naturally gives rise to an account of deductive inquiry on which deductive reasoning is a matter of posing new questions. (shrink)

Deleuze argued that a fundamental mutation in the concept of time occurred in Kant. In antiquity, the concept of time was subordinated to the concept of movement: time was a ‘measure’ of movement. In Kant, this relation is inverted: time is no longer subordinated to movement but assumes an autonomy of its own: time becomes "the pure and empty form" of everything that moves and changes. What is essential in the theory of time is not the distinction between objective ‘clock (...) time’ (or physical time) and the subjective experience of ‘time consciousness,’ since both of them measure movements, whether the movement of extensive objects or intensive states. What is fundamental is rather the relation between time and movement, since time can only assume its own concept when it ceases to be subordinate to movement, whether that movement is objective or subjective. This article examines how Kant inverted the relation between time and movement, and how Deleuze’s own theory of time builds on Kant’s revolution and extends it further. (shrink)

We propose to analyze well-known cases of "imaginative resistance" from the philosophical literature (Gendler, Walton, Weatherson) as involving the inference that particular content should be attributed to either: (i) a character rather than the narrator or, (ii) an unreliable, irrational, opinionated, and/or morally deviant "first person" narrator who was originally perceived to be a typical impersonal, omniscient, "effaced" narrator. We model the latter type of attribution in terms of two independently motivated linguistic mechanisms: accommodation of a discourse referent (Lewis, Stalnaker, (...) Kamp) and 'cautious' updating as a model of non-cooperative information exchange (Eckardt). (shrink)

Philosophers debate about which logical system, if any, is the One True Logic. This involves a disagreement concerning the sufficient conditions that may single out the correct logic among various candidates. This paper discusses whether there are necessary conditions for the correct logic; that is, I discuss whether there are features such that if a logic is correct, then it has those features, although having them might not be sufficient to single out the correct logic. Traditional rationalist arguments suggest that (...) the necessary conditions of thought are necessary and sufficient conditions singling out the correct logical and mathematical theories. In the contemporary debate, Chalmers advocates a view along this line. Jago, analogously, suggests that the necessary conditions for thought—or, as he calls them, our basic epistemic expectations—single out a family of logical and mathematical theories. Warren and Williamson, on the other hand, argue that there are no necessary conditions of thought. I argue that there are necessary conditions for thought, and these are necessary but not sufficient conditions to be the correct logic; indeed, these are features that all logics—correct or incorrect—share. No view we can understand is ruled out by the necessary conditions for thought, but we cannot understand quite any view. Human linguistic and conceptual abilities are genetically constrained, and these constraints are our best guide to the boundaries of logic. Arguing for this, I tackle two dogmas of modern rationalism: namely, the view that the biological constraints of human cognition have no bearing on the boundaries of the epistemic space, and the view that the boundaries of thought coincide with the boundaries of language. (shrink)

While the contemporary philosophical literature is replete with discussion of the control or freedom required for moral responsibility, only more recently has substantial attention been devoted to the knowledge or awareness required, otherwise called the epistemic condition. This area of inquiry is rapidly expanding, as are the various positions within it. This chapter introduces two major positions: the reasonable expectation view and the quality of will view. The chapter then explores two dimensions of the epistemic condition that serve as fault (...) lines along which these two views diverge. The first dimension concerns different kinds of ignorance. The second concerns what agents can be directly blameworthy for. The chapter closes by sketching a novel approach that incorporates advantages of opposing positions on this topic. (shrink)

In this paper, I respond to Frank Hofmann’s reply to my (2022) argument against “evidential minimalism” (EM). According to defenders of EM, there is a close connection between evidence and normative reasons for belief: evidence is either itself, or (under certain “minimal” conditions) gives rise to, a normative reason for belief. In my (2022), I argued against EM by showing that there are cases where: (i) S possesses strong evidence E for the truth of p at time t, (ii) all (...) minimal conditions for the normativity of E are met at t, (iii) S doesn’t believe p at t, yet (iv) S isn’t criticizable on account of (i)-(iii) at t. I then appealed to a linking claim connecting criticizability with the existence of normative reasons for belief. Hofmann’s reply invokes a distinction between two different kinds of epistemic criticism: a strong and a weak form. I will argue that Hofmann’s distinction fails to save EM from my argument. (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)

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)

Scientific disagreements are an important catalyst for scientific progress. But what happens when scientists disagree amidst times of crisis, when we need quick yet reliable policy guidance? In this paper we provide a normative account for how scientists facing disagreement in the context of ‘fast science’ should respond, and how policy makers should evaluate such disagreement. Starting from an argumentative, pragma-dialectic account of scientific controversies, we argue for the importance of ‘higher-order evidence’ (HOE) and we specify desiderata for scientifically relevant (...) HOE. We use our account to analyze the controversy about the aerosol transmission of COVID-19. (shrink)

Just War Theory (JWT) replaced an older "warrior code," an approach to war that remains poorly understood and dismissively treated in the philosophical literature. This paper builds on recent work on honor to address these deficiencies. By providing a clear, systematic exposition of "Honor War Theory" (HWT), we can make sense of paradigm instances of warrior psychology and behavior, and understand the warrior code as the martial expression of a broader honor-based ethos that conceives of obligation in terms of fair (...) competition for prestige. Far from being a romantic and outmoded approach to war, HWT accounts for current conflicts and predicts moral intuitions that JWT either rejects or cannot comfortably accommodate. So although it is not recommended as a replacement for JWT, there is good reason think that a fully mature, realistic, and yet properly normative theory of war ethics will incorporate a variety of insights from HWT. (shrink)

This paper seeks to carve out a distinctive category of conspiracy theorist, and to explore the process of becoming a conspiracy theorist of this sort. Those on whom I focus claim their beliefs trace back to simply trusting their senses and experiences in a commonsensical way, citing what they take to be authoritative firsthand evidence or observations. Certain flat Earthers, anti-vaxxers, and UFO conspiracy theorists, for example, describe their beliefs and evidence this way. I first distinguish these conspiracy theorists by (...) contrasting them with another group that has recently received a lot of attention from the media, philosophers, and academics more broadly. I then dig more deeply into the nature of these conspiracy theorists’ epistemic self-understanding, in order to give an account of the process by which one becomes such a conspiracy theorist. I conclude with some takeaways and implications: first, I explore the implications of my account for whether these conspiracy theorists’ beliefs are rational; then, I argue that my account has practical takeaways about counteracting beliefs in misinformation, since strategies appropriate to this kind of conspiracy theorist may not be the same ones that are appropriate for other kinds. (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)

I consider difficult data involving the interaction of attitudes and conditionals, specifically non-doxastic attitude expressions like 'regret'. I first show that felicitous attitude conditionals in "ignorance contexts", where the relevant person doesn't know the antecedent is true, give rise to a number of difficult problems given widely held assumptions in semantics. I then argue that, even so, we should expect these conditionals to be true and reasonable to utter in ignorance contexts, given certain other kinds of attitude construction that tend (...) to involve free relatives like `whatever'. I then use that observation to explain many of the more puzzling aspects of these conditionals, and to show that we should treat felicitous doxastic attitude conditionals differently from felicitous non-doxastic ones. I leave explaining felicitous doxastic attitude conditionals for future work, but offer constraints on a satisfying explanation of them. (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)

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.

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)

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)

This chapter tells the story of how the philosophy of language, as it exists now, grew out of work in the history of analytic philosophy. I pay particular attention to the history of semantics, to debates about propositional content, and to the origins of contemporary pragmatics and speech-act theory. I identify an overarching narrative: Many of the ideas that are now used to understand natural language on its own terms were originally developed not for this purpose, but as methodological tools (...) for diverse philosophical ends. (shrink)

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)

This paper responds to commentaries by Kaiserman and Magidor, and Hawthorne. The case of the infinite clowns can teach us several things.

Majority rule is often regarded as an important democratic principle. But modern democracies divide voters into districts. So if the majority should rule, which majority should rule? Should it be the popular majority, or an electoral majority (i.e., either the majority of voters in the majority of districts, or the majority of voters in districts that contain the majority of the population)? I argue that majority rule requires rule by the popular majority. This view is not novel and may seem (...) obvious. But it is rarely defended, and often rejected. I defend it by arguing that this view about which majority should rule is best supported by the arguments for why the majority should rule, and best avoids the arbitrary and perverse verdicts of rule by electoral majorities. I close by considering the significant practical implications of the view. The Electoral College is often criticized on the basis that the winner of the popular vote doesn’t always win the election. But all district-based democracies have this feature, so all district-based democracies must be reformed if they are to satisfy the principle of majority rule. (shrink)

Based on the Ontology for General Medical Science, we propose definitions for biomarkers of various types of. These definitions provide not only a complete formal representation of what biomarkers are according to the Institute of Medicine (IOM), but also remove the ambiguities and inconsistencies encountered in the documentation provided by the IOM.

Zurvanism was an ancient variant of Zoroastrianism. According to Zurvanism, the great powers of good and evil, Ahura Mazda and Angra Mainyu, were the sons of a greater god Zurvan, associated with time. According to Eudemus of Rhodes, some Persian thinkers, presumably Zurvanists, took there to be three great principles underlying the world: light, darkness, and greatest of all time (or perhaps, according to Eudemus, space). This paper explores what metaphysics might underlie these doctrines, and what contemporary options we have (...) for making sense of a metaphysics where time is the ultimate principle. Among the options explored is the option that despite appearance many of the entities of the concrete world are identical to stretches of time, or are somehow aspects of stretches of time; that they include times as parts, or are included in times as parts; that they are somehow properties of time; or hylomorphic compounds of which time is the matter; that the world is somehow a mixture of time, light, and dark; or that somehow the ends or teloi of everyday objects and processes are to be found among good, evil, and time. (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 virtue of what do we enjoy episodes of pleasure? According to the phenomenological theory of pleasure, we enjoy pleasures in virtue of having certain kinds of phenomenal experiences. According to the attitude theory of pleasure, we enjoy pleasures in virtue of having a certain kind of pro-attitude. In this chapter, we show that the attitude theory faces a dilemma. The attitude that is relevant to pleasure—the desire, liking, or favoring—is either necessarily co-instantiated with certain phenomenology, or not. If the (...) attitude theorist denies that the relevant attitudes are phenomenologically enriched in this sense, then their theory has the problematic implication that pleasure can come radically apart from phenomenology. This leads to a *problem of hedonic inversion*. If the attitude theorist instead affirms that the relevant attitudes are phenomenologically enriched, then they undermine their main objection to the phenomenological theory of pleasure. This is the so-called *heterogeneity problem*, according to which pleasures do not feel alike. Either way, the attitudinal theorist faces a difficult challenge in their ongoing debate with phenomenological theorists. (shrink)