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)

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 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)

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.

When an agent suffers in their capacity as a knower, they are a victim of epistemic injustice. Varieties of epistemic injustices have been theorised. A salient feature across these theories is that perpetrators and victims of epistemic injustice belong to different social groups. In this paper, I argue for a form of epistemic injustice that could occur between members of the same social group. This is a form of epistemic injustice where the knower is first a victim of historical and (...) continuing oppression. Secondly, they internalise and appreciate the systems that harm them as a knower. This is possible because the victim subscribes to perniciously formed epistemic systems. This form of epistemic injustice is a valuable explanatory tool for non-standard and obscure instances of epistemic injustice where the victim a) accepts and appreciates the injustice they experience and b) is even the seeming perpetrator of the injustice against themselves. (shrink)

There has recently been a focus on the question of statue removalism. This concerns what to do with public history statues that honour or otherwise celebrate ethically bad historical figures. The specific wrongs of these statues have been understood in terms of derogatory speech, inapt honours, or supporting bad ideologies. In this paper I understand these bad public history statues as history, and identify a distinctive class of public history-specific wrongs. Specifically, public history plays an important identity-shaping role, and bad (...) public history can commit specifically ontic injustice. Understanding bad public history in terms of ontic injustice helps understand not just to address bad public history statues, but also understand the value of public history more broadly. (shrink)

Why should we decolonise knowledge? One popular rationale is that colonialism has set up a single perspective as epistemically authoritative over many equally legitimate ones, and this is a form of...

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)

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.

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.

Instances of epistemic injustice elicit resistance, anger, despair, frustration or cognate emotional responses from their victims. This sort of response to the epistemic injustices that accompanied historical systems of oppression such as colonialism, for example, is normal. However, if their victims have internalised these oppressive situations, we could get the counterintuitive response of appreciation. In this paper, I argue for the phenomenon of appreciative silencing to make sense of instances like this. This is a form of epistemic silencing that happens (...) when the accepted hegemonic intuitions of the oppressed are formed/influenced by the ideologies of the oppressors over time. Here, we have a resilient, oppressive and hegemonic epistemic system. Put together, it creates a variant of epistemic injustice and silencing that is obscure since its victims are neither resistant nor aware of the injustice they face but are appreciative. (shrink)

Electronic Health Records (EHRs) are organized around two kinds of statements: those reporting observations made, and those reporting acts performed. In neither case does the record involve any direct reference to what such statements are actually about. They record not: what is happening on the side of the patient, but rather: what is said about what is happening. While the need for a unique patient identifier is generally recognized, we argue that we should now move to an EHR regime in (...) which all clinically salient particulars – from the concrete disorder on the side of the patient and the body parts in which it occurs to the concrete treatments given – should be uniquely identified. This will allow us to achieve interoperability among different systems of records at the level where it really matters: in regard to what is happening in the real world. It will also allow us to keep track of particular disorders and of the effects of particular treatments in a precise and unambiguous way. We discuss the ontological and epistemological aspects of our claim and describe a scenario for implementation within EHR systems. (shrink)

Journal of Applied Philosophy, EarlyView.

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)

What are the implications for agency – and in particular, the idea of acting for reasons – if we are to take seriously the notion of collective responsibility? My thesis is that some cases of individuals subject to a collective form of responsibility and blame will force us to make sense of how it is that an individual can be entitled to collective reasons for action, i.e. entitled to a reason had in the first place by a plurality of individuals (...) together rather than any one of them alone. This entitlement makes it possible for the collective reason to be a reason for which one acts, even if one’s contribution on its own makes little or no difference in the collective effort. Although a full defense of this entitlement cannot be undertaken here, I will gesture at how this might work by suggesting that intentions function to preserve reasons for action. . (shrink)

The goal of the OBO (Open Biomedical Ontologies) Foundry initiative is to create and maintain an evolving collection of non-overlapping interoperable ontologies that will offer unambiguous representations of the types of entities in biological and biomedical reality. These ontologies are designed to serve non-redundant annotation of data and scientific text. To achieve these ends, the Foundry imposes strict requirements upon the ontologies eligible for inclusion. While these requirements are not met by most existing biomedical terminologies, the latter may nonetheless support (...) the Foundry’s goal of consistent and non-redundant annotation if appropriate mappings of data annotated with their aid can be achieved. To construct such mappings in reliable fashion, however, it is necessary to analyze terminological resources from an ontologically realistic perspective in such a way as to identify the exact import of the ‘concepts’ and associated terms which they contain. We propose a framework for such analysis that is designed to maximize the degree to which legacy terminologies and the data coded with their aid can be successfully used for information-driven clinical and translational research. (shrink)

The paradigm of referent tracking is based on a realist presupposition which rejects so-called negative entities (congenital absent nipple, and the like) as spurious. How, then, can a referent tracking-based Electronic Health Record deal with what are standardly called ‘negative findings’? To answer this question we carried out an analysis of some 748 sentences drawn from patient charts and containing some form of negation. Our analysis shows that to deal with these sentences we need to introduce a new ontological relationship (...) between a particular and a universal, which holds when no instance of the universal has a specific qualified ontological relation with the particular. This relation is found to be able to accommodate nearly all occurrences of negative findings in the examined sample, in ways which involve no reference to negative entities. (shrink)

Referent tracking (RT) is a new paradigm, based on unique identification, for representing and keeping track of particulars. It was first introduced to support the entry and retrieval of data in electronic health records (EHRs). Its purpose is to avoid the ambiguity that arises when statements in an EHR refer to disorders or other entities on the side of the patient exclusively by means of compound descriptions utilizing general terms such as ‘pimple on nose’ or ‘small left breast tumor’. In (...) this paper, we describe the theoretical foundations of this paradigm and show how it is being applied to the solution of analogous problems of ambiguous identification in the fields of digital rights management, corporate memories and decision algorithms. (shrink)

Definitive diagnosis of malaria requires the demonstration through laboratory tests of the presence within the patient of malaria parasites or their components. Since malaria parasites can be present even in the absence of malaria manifestations, and since symptoms of malaria can be manifested even in the absence of malaria parasites, malaria diagnosis raises important issues for the adequate understanding of disease, etiology and diagnosis. One approach to the resolution of these issues adopts a realist view, according to which the needed (...) clarifications will be derived from a careful representation of the entities on the side of the patient which form the ultimate truthmakers for clinical statements. We here address a challenge to this realist approach relating to the diagnosis of malaria, and show how this challenge can be resolved by appeal to Basic Formal Ontology (BFO) and to the Ontology for General Medical Science (OGMS) constructed in its terms. (shrink)

For corporate memory and enterprise ontology systems to be maximally useful, they must be freed from certain barriers placed around them by traditional knowledge management paradigms. This means, above all, that they must mirror more faithfully those portions of reality which are salient to the workings of the enterprise, including the changes that occur with the passage of time. The purpose of this chapter is to demonstrate how theories based on philosophical realism can contribute to this objective. We discuss how (...) realism-based ontologies (capturing what is generic) combined with referent tracking (capturing what is specific) can play a key role in building the robust and useful corporate memories of the future. (shrink)

While Plantinga has famously argued that acceptance of neo-Darwinian theory commits one to the rejection of naturalism, Plantinga’s argument is vulnerable to an objection developed by Evan Fales. Not only does Fales’ objection undermine Plantinga’s original argument, it establishes a general challenge which any attempt to revitalize Plantinga’s argument must overcome. After briefly laying out the contours of this challenge, we attempt to meet it by arguing that because a purely naturalistic account of our etiology cannot explain the correlation between (...) our preference for simplicity and simplicity’s ability to serve as a veridical method of theory selection, the scientific realist is committed to the rejection of naturalism. (shrink)

My concern here is to motivate some theses in the philosophy of mind concerning the interpersonal character of intentions. I will do so by investigating aspects of shared agency. The main point will be that when acting together with others one must be able to act directly on the intention of another or others in a way that is relevantly similar to the manner in which an agent acts on his or her own intentions. What exactly this means will become (...) clearer once we understand what it is to act directly on one’s own intentions. But I take it to be a fundamental assumption of the prevailing individualism of the theory of action— one at the core of its conception of the separateness of individuals— that one person cannot act directly on another’s intention. I agree that there is an important way in which we are or can be separate and autonomous thinkers and agents. But the way the individualist tries to capture this separateness is misguided. (shrink)

Ontological realism aims at the development of high quality ontologies that faithfully represent what is general in reality and to use these ontologies to render heterogeneous data collections comparable. To achieve this second goal for clinical research datasets presupposes not merely (1) that the requisite ontologies already exist, but also (2) that the datasets in question are faithful to reality in the dual sense that (a) they denote only particulars and relationships between particulars that do in fact exist and (b) (...) they do this in terms of the types and type-level relationships described in these ontologies. While much attention has been devoted to (1), work on (2), which is the topic of this paper, is comparatively rare. Using Referent Tracking as basis, we describe a technical data wrangling strategy which consists in creating for each dataset a template that, when applied to each particular record in the dataset, leads to the generation of a collection of Referent Tracking Tuples (RTT) built out of unique identifiers for the entities described by means of the data items in the record. The proposed strategy is based on (i) the distinction between data and what data are about, and (ii) the explicit descriptions of portions of reality which RTTs provide and which range not only over the particulars described by data items in a dataset, but also over these data items themselves. This last feature allows us to describe particulars that are only implicitly referred to by the dataset; to provide information about correspondences between data items in a dataset; and to assert which data items are unjustifiably or redundantly present in or absent from the dataset. The approach has been tested on a dataset collected from patients seeking treatment for orofacial pain at two German universities and made available for the NIDCR-funded OPMQoL project. (shrink)

The integration of information resources in the life sciences is one of the most challenging problems facing bioinformatics today. We describe how Language and Computing nv, originally a developer of ontology-based natural language understanding systems for the healthcare domain, is developing a framework for the integration of structured data with unstructured information contained in natural language texts. L&C’s LinkSuite™ combines the flexibility of a modular software architecture with an ontology based on rigorous philosophical and logical principles that is designed to (...) comprehend the basic formal relationships that structure both reality and the ways humans perceive and communicate about reality. (shrink)

Accepting a promise is normatively significant in that it helps to secure promissory obligation. But what is it for B to accept A’s promise to φ? It is in part for B to intend A’s φ-ing. Thinking of acceptance in this way allows us to appeal to the distinctive role of intentions in practical reasoning and action to better understand the agency exercised by the promisee. The proposal also accounts for rational constraints on acceptance, and the so-called directedness of promissory (...) obligation. Finally, the proposal, conjoined with Cognitivism about intentions, addresses recent criticism of Scanlon’s expectation-based view of promissory obligation. (shrink)

One way to detect, monitor and prevent adverse events with the help of Information Technology is by using ontologies capable of representing three levels of reality: what is the case, what is believed about reality, and what is represented. We report on how Basic Formal Ontology and Referent Tracking exhibit this capability and how they are used to develop an adverse event ontology and related data annotation scheme for the European ReMINE project.

Equipped with the ultimate query answering system, computers would finally be in a position to address all our information needs in a natural way. In this paper, we describe how Language and Computing nv (L&C), a developer of ontology-based natural language understanding systems for the healthcare domain, is working towards the ultimate Question Answering (QA) System for healthcare workers. L&C’s company strategy in this area is to design in a step-by-step fashion the essential components of such a system, each component (...) being designed to solve some one part of the total problem and at the same time reflect well-defined needs on the prat of our customers. We compare our strategy with the research roadmap proposed by the Question Answering Committee of the National Institute of Standards and Technology (NIST), paying special attention to the role of ontology. (shrink)

Semantic interoperability can be defined as the ability of two or more computer systems to exchange information in such a way that the meaning of that information can be automatically interpreted by the receiving system accurately enough to produce useful results to the end users of both systems. Several activities are currently being performed by a variety of stakeholders to achieve semantic interoperability in healthcare. Many of these activities are not beneficial, because they place too great a focus on business (...) aspects and not enough on involvement of the right sorts of researchers, in particular those that are able to see how the data and information relate to the entities of concern on the side of the patient. The lack of a central focus on the patient, and the associated focus on ‘concepts’, have spawned a variety of mutually incompatible terminologies exhibiting non-resolvable overlap. The predominance of the healthcare IT industry in the writing and selection of semantic interoperability standards mitigates against the benefits that standards, when well designed, can bring about. (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 way to detect, monitor and prevent adverse events with the help of Information Technology is by using ontologies capable of representing three levels of reality: what is the case, what is believed about reality, and what is represented. We report on how Basic Formal Ontology and Referent Tracking exhibit this capability and how they are used to develop an adverse event ontology and related data annotation scheme for the European ReMINE project.

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)

What makes public history more than just another hill to fight over in culture war politics? In this paper I propose a novel way of understanding the political significance of how public history creates and shapes identities: a contractarian one. I argue that public history can be sensibly understood as representing groups as a society’s contracting parties. One particular value of the contractarian approach is that it helps to elucidate the phenomenon of “signing on,” where a marginalized or oppressed group (...) is offered membership in a society without the social order being meaningfully changed. (shrink)

Ontologies are today being applied in almost every field to support the alignment and retrieval of data of distributed provenance. Here we focus on new ontological work on dance and on related cultural phenomena belonging to what UNESCO calls the “intangible heritage.” Currently data and information about dance, including video data, are stored in an uncontrolled variety of ad hoc ways. This serves not only to prevent retrieval, comparison and analysis of the data, but may also impinge on our ability (...) to preserve the data that already exists. Here we explore recent technological developments that are designed to counteract such problems by allowing information to be retrieved across disciplinary, cultural, linguistic and technological boundaries. Software applications such as the ones envisaged here will enable speedier recovery of data and facilitate its analysis in ways that will assist both archiving of and research on dance. (shrink)

Shared activity is often simply willed into existence by individuals. This poses a problem. Philosophical reflection suggests that shared activity involves a distinctive, interlocking structure of intentions. But it is not obvious how one can form the intention necessary for shared activity without settling what fellow participants will do and thereby compromising their agency and autonomy. One response to this problem suggests that an individual can have the requisite intention if she makes the appropriate predictions about fellow participants. I argue (...) that implementing this predictive strategy risks derailing practical reasoning and preventing one from forming the intention. My alternative proposal for reconciling shared activity with autonomy appeals to the idea of acting directly on another's intention. In particular, I appeal to the entitlement one sometimes has to another's practical judgment, and the corresponding authority the other sometimes has to settle what one is to do. (shrink)

I have developed transcendental arguments to refute several versions of Nick Bostrom’s simulation hypothesis. I called some of these arguments the SIM-style argument. In this paper, I have four main aims. First, I employ the SIM-style argument to remedy a defect in Hilary Putnam’s Brain-in-vat argument. Second, I show that the most radical skepticism, which Tim Button called the nightmarish Cartesian skepticism, can be refuted by the SIM-style argument or by another transcendental argument I develop here. Third, I compare my (...) approach to radical skepticisms with Donald Davidson’s, as it is often regarded as an exemplar of transcendental arguments. Fourth, I explain how the prominent objections, mainly developed by Barry Stroud, to transcendental arguments can incur two undesirable results: psychologism and Kantian skepticism. (shrink)

As a site of colonial conquest, sub-Saharan Africa has experienced colonialism’s historic and continuing harms. One of the aspects of this harm is epistemic. In the analytic philosophical tradition, this harm can partly be theorised in line with the literature on epistemic injustice, although it does not fit squarely. I show this by arguing for what can be understood as a colonial state’s specific manifestation of epistemic injustice. This manifestation takes into account the historical context of colonisation and the continuing (...) coloniality of sub-Saharan African countries. From this, I argue for an approach to remediating this epistemic injustice that relies on the fair-minded pursuit of knowledge. This approach, I briefly argue, gains valuable insights from African epistemological traditions and can be beneficial to other epistemic injustice instances that result specifically from historical cases of oppression. (shrink)

One important thesis Ásta defends in Categories We Live By is that social properties and categories are somehow dependent on our thoughts, attitudes, or practices—that they are inventions of the mind, projected onto the world. Another important aspect of her view is that the social properties are related to certain base properties; an individual is placed in a category when the relevant base properties are thought to hold of them. I see the relationship between the social and the base as (...) connected to the problem of explaining how the social properties are sufficiently stable so as to be taken seriously, both in theoretical endeavors as well as in practical matters of how we relate to each other. In this light, I identify stability constraints for an adequate account of social categories. I argue that certain distinctive aspects of Ásta's conferralist view of social categories, such as the radical contextualism in her account of gender, undermine the stability of categories and are at odds with taking social categories seriously. I end with the suggestion that a distinctive “sheltered” form of normativity might help us do justice to Ásta's insights while avoiding some of the destabilizing elements of conferralism. (shrink)

Nick Bostrom considered a number of simulations and contended that the probability that we are living in one of them is high or at least nonzero. I present arguments to refute the claim that we are or might be in any one of them. -/- Here is a highly dense reasoning why we are not in the simulation: -/- Suppose Simon is in the simulation, and he entertains the idea that he is in the simulation. And he thinks about the (...) word 'apple'. But since he is always in the simulation, he has never interacted with an actual apple, which the word 'apple' refers to. -/- Then Simon must think that "if I am in the simulation, then I never interact with an actual apple, and my understanding about the word 'apple' can only be given by the simulator. And this means I never exercise my reason to gain the understanding about the word 'apple', and never exercise my reason to apply the word 'apple'. Consequently, since what I am thinking right now (namely, this entire thought within the double quotation marks) involves the word 'apple', I am not using reason to think what I am thinking." -/- By denying he is using reason to think, Simon is being incoherent in thinking the preceding thought. To avoid being incoherent, Simon must reject the idea that he is in the simulation. -/- For the similar reason, if we think we are in the simulation, we are being incoherent. More simply, to think that we are in the simulation is to be incoherent. Therefore we cannot actually think that we are in the simulation. Hence, we are not in the simulation. -/- The whole paper is to flesh out the reasoning above. (shrink)

You and I are going to die. We are aware that it is going to happen, but not exactly when—in which there is relief, but also anxiety. What happens to us when we know with some precision what our last day will be? In this text, we discern the process of our own death, once we have reliable information about the approximate moment of the cessation of our life. Tú y yo vamos a morir. Estamos al tanto de que va (...) a ocurrir, pero no exactamente cuándo —en lo cual hay alivio, pero también angustia—. ¿Qué nos ocurre al saber con cierta precisión cuál será nuestro último día? En este texto, discernimos el proceso de nuestra propia muerte, una vez que tenemos información confiable sobre el momento aproximado del cese de nuestra vida. (shrink)

Moral perceptualism is the view that perceptual experience is attuned to pick up on moral features in our environment, just as it is attuned to pick up on mundane features of an environment like textures, shapes, colors, pitches, and timbres. One important family of views that incorporate moral perception are those of virtue theorists and sensibility theorists. On these views, one central ability of the virtuous agent is her sensitivity to morally relevant features of situations, where this sensitivity is often (...) spoken of in perceptual terms. However, sensibility theorists have often not been careful to specify how to understand their claims about moral sensibilities as perceptual. In this paper, we distinguish between what we call Attentional Moral Perception and Contentful Moral Perception. We argue that sensibility theorists should endorse Attentional Moral Perception, because it has very powerful empirical evidence in its favor, and it can play all of the explanatory roles that the sensibility theorist needs in her theory of moral sensibilities. (shrink)

Black holes are extremely relativistic objects. Physical processes around them occur in a regime where the gravitational field is extremely intense. Under such conditions, our representations of space, time, gravity, and thermodynamics are pushed to their limits. In such a situation philosophical issues naturally arise. In this chapter I review some philosophical questions related to black holes. In particular, the relevance of black holes for the metaphysical dispute between presentists and eternalists, the origin of the second law of thermodynamics and (...) its relation to black holes, the problem of information, black holes and hypercomputing, the nature of determinisim, and the breakdown of predictability in black hole space-times. I maintain that black hole physics can be used to illuminate some important problems in the border between science and philosophy, either epistemology and ontology. (shrink)

Philosophical accounts of humour standardly account for humour in terms of what happens within a person. On these internalist accounts, humour is to be understood in terms of cognition, perception, and sensation. These accounts, while valuable, are poorly-situated to engage the social functions of humour. They have difficulty engaging why we value humour, why we use it define ourselves and our friendships, and why it may be essential to our self-esteem. In opposition to these internal accounts, I offer a social (...) account of humour. This account approaches humour as a social practice. It foregrounds laughter and participation, and thereby gives an account of humour that helps to understand why we value humour, why we use it as we do, and why we use it to define our relationship to the world. (shrink)

Does trust play a significant role in the appreciation of art? If so, how does it operate? We argue that it does, and that the mechanics of trust operate both at a general and a particular level. After outlining the general notion of ‘art-trust’—the notion sketched is consistent with most notions of trust on the market—and considering certain objections to the model proposed, we consider specific examples to show in some detail that the experience of works of art, and the (...) attribution of art-relevant properties or characterisations to works of art, very often involves the notion of trust; in such cases—perhaps most or even, implicitly, all—the question ‘Do I trust the artist (or art-maker)?’, is inescapable. (shrink)

Several theorists have defended that unpleasantness can be explained by appealing to (intrinsic, simultaneous, de re) desires for certain experiences not to be occurring. In a nutshell, experiences are unpleasant because we do not want them, and not vice versa. A common criticism for this approach takes the form of a Euthyphro dilemma. Even if there is a solution for this criticism, I argue that this type of approach is limited in two important ways. It cannot provide an explanation for: (...) i) the motivation, from a psychological conscious point of view, nor ii) a non-instrumental justification, for having the relevant desires. The lack of these explanations is relevant since these are precisely the type clarifications that we would expect from a theory about unpleasantness. (shrink)

What is it for a duty or obligation to be directed? Thinking about paradigmatic cases such as the obligations generated by promises will take us only so far in answering this question. This paper starts by surveying several approaches for understanding directed duties, as well as the challenges they face. It turns out that shared agency features something similar to the directedness of duties. This suggests an account of directedness in terms of shared agency – specifically, in terms of the (...) so-called practical intimacy that holds between individuals when they act together. The final section addresses a challenge to the shared agency approach posed by legal wronging in tort law. (shrink)

The intentions of others often enter into your practical reasoning, even when you’re acting on your own. Given all the agents around you, you’ll come to grief if what they’re up to is never a consideration in what you decide to do and how you do it. There are occasions, however, when the intentions of another figure in your practical reasoning in a particularly intimate and decisive fashion. I will speak of there being on such occasions a practical intersubjectivity of (...) intentions holding between you and the other individual. I will try to identify this practical intersubjectivity, and to take some preliminary steps toward giving a philosophical account of it. Occasions of practical intersubjectivity are usually those where individuals share agency, or do things jointly, such as when they walk together, kiss, or paint a house together. I will not assume that all instances of practical intersubjectivity are instances of shared agency. But the converse is true: any instance of shared agency involves a practical intersubjectivity holding between the participants. An account of shared agency is inadequate if it fails to handle practical intersubjectivity. The paper is structured as follows. In section 1, I present an example to illustrate this idea of practical intersubjectivity, at least as it appears in the context of shared agency. Practical intersubjectivity is a normative phenomenon, and it is on this basis that in section 2 I distinguish it from the mere coordination of intentions some have recognized as essential for shared activity. The task of section 3 is to show how practical intersubjectivity cannot be adequately described in terms of ordinary intentions familiar from the study of individual agency. Such approaches fail to handle the rational dynamics of intention revision when practical.. (shrink)