I describe Smith's very modest aims and argue that there is an over-expenditure of sophisticated philosophy of language to defend a common sense realism about relatively recent science.

A diagnostic process is an investigative process that takes a clinical picture as input and outputs a diagnosis. We propose a method for distinguishing diagnoses that are warranted from those that are not, based on the cognitive processes of which they are the outputs. Processes designed and vetted to reliably produce correct diagnoses will output what we shall call ‘warranted diagnoses’. The latter are diagnoses that should be trusted even if they later turn out to have been wrong. Our work (...) is based on the recently developed Cognitive Process Ontology and further develops the Ontology of General Medical Science. It also has applications in fields such as intelligence, forensics, and predictive maintenance, all of which rely on vetted processes designed to secure the reliability of their outputs. (shrink)

Where humans can manipulate and integrate the information they receive in subtle and ever changing ways from context to context, computers need structured and context-free background information of a sort which ontologies can help to provide. A domain ontology captures the stable, highly general and commonly accepted core knowledge for an application domain. The domain at issue here is that of the life sciences, in particular molecular biology and bioinformatics. Contemporary life science research includes components drawn from physics, chemistry, mathematics, (...) medicine and many other areas, and all of these dimensions, as well as fundamental philosophical issues, must be taken into account in the construction of a domain ontology. Here we describe the basic features of domain ontologies in the life sciences and show how they can be used. (shrink)

This is a reply to de Sousa's 'Emotional Truth', in which he argues that emotions can be objective, as propositional truths are. I say that it is better to distinguish between truth and accuracy, and agree with de Sousa to the extent of arguing that emotions can be more or less accurate, that is, based on the facts as they are.

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

Many existing biomedical vocabulary standards rest on incomplete, inconsistent or confused accounts of basic terms pertaining to diseases, diagnoses, and clinical phenotypes. Here we outline what we believe to be a logically and biologically coherent framework for the representation of such entities and of the relations between them. We defend a view of disease as involving in every case some physical basis within the organism that bears a disposition toward the execution of pathological processes. We present our view in the (...) form of a list of terms and definitions designed to provide a consistent starting point for the representation of both disease and diagnosis in information systems in the future. (shrink)

Experiments are actions, performed in order to gain information. Like other acts, there are virtues of performing them well. I discuss one virtue of experimentation, that of knowing how to trade its information-gaining potential against other goods.

I assess Churchland's views on folk psychology and conceptual thinking, with particular emphasis on the connection between these topics.

We propose a domain-level ontology of plays for the facilitation of play-based collaborative autonomy among unmanned and manned-unmanned aircraft teams in the Army’s Unmanned Aircraft System (UAS) mission domain. We define a play as a type of plan that prescribes some pattern of intentional acts that are intended to reliably result in some goal in some competitive context, and which specifies one or more roles that are realized by those prescribed intentional acts. The ontology is well suited to be extended (...) to other types of military and nonmilitary unmanned vehicle operations. (shrink)

Philosophy and Phenomenological Research, Volume 104, Issue 3, Page 728-746, May 2022.

I discuss a large number of emotions that are relevant to performance at epistemic tasks. My central concern is the possibility that it is not the emotions that are most relevant to success of these tasks but associated virtues. I present cases in which it does seem to be the emotions rather than the virtues that are doing the work. I end of the paper by mentioning the connections between desirable and undesirable epistemic emotions.

I give ways of comparing the disvalue of death and of pain by comparing each to other evils.

Ontologies describe reality in specific domains in ways that can bridge various disciplines and languages. They allow easier access and integration of information that is collected by different groups. Ontologies are currently used in the biomedical sciences, geography, and law. A Biomedical Ethics Ontology would benefit members of ethics committees who deal with protocols and consent forms spanning numerous fields of inquiry. There already exists the Ontology for Biomedical Investigations (OBI); the proposed BMEO would interoperate with OBI, creating a powerful (...) information tool. We define a domain ontology and begin to construct a BMEO, focused on the process of evaluating human research protocols. Finally, we show how our BMEO can have practical applications for ethics committees. This paper describes ongoing research and a strategy for its broader continuation and cooperation. (shrink)

Hesse and Pettit present somewhat different reconstructions of Rorty’s suggestions about the discipline that might survive the collapse of foundationalistic epistemology. They both treat Rorty’s argument very respectfully, as opening the way to an interesting new possibility. I think that they are both too charitable to him; I think that there are a lot of bad arguments in Philosophy and the Mirror of Nature, and a quantity of simple silliness. This is not to say that the openings up of the (...) subject that Hesse and Pettit derive from Rorty are not genuinely attractive. What I would challenge is the suggestion that they are forced upon us by the collapse of the rest of the subject. I see no reason to believe this. (shrink)

This paper begins with a discussion the role of less-than-admirable epistemic emotions in our respectable, indeed admirable inquiries: nosiness, obsessiveness, wishful thinking, denial, partisanship. The explanation for their desirable effect is Mandevillian: because of the division of epistemic labour individual epistemic vices can lead to shared knowledge. In fact it is sometimes essential to it.

We give a general description of a class of contrastive constructions, intended to capture what is common to contrastive knowledge, belief, hope, fear, understanding and other cases where one expresses a propositional attitude in terms of “rather than”. The crucial element is the agent's incapacity to distinguish some possibilities from others. Contrastivity requires a course-graining of the set of possible worlds. As a result, contrastivity will usually cut across logical consequence, so that an agent can have an attitude to p (...) rather than q but not to r rather than q , where r is a logical consequence of p . We relate these ideas to some general issues about thought, such as the question of whether all possibilities that can be distinguished in emotion can be distinguished in belief. (shrink)

A critical exposition of plans to colonize other planets , especially Mars, and their costs. The final chapter links with issues about the value and future of human life. See the extended summary uploaded to this site.

reviews of Dennett & McGinn on consciousness for an unsophisticated audience.

I argue that considerations about computational complexity show that all finite agents need characteristics like those that have been called epistemic virtues. The necessity of these virtues follows in part from the nonexistence of shortcuts, or efficient ways of finding shortcuts, to cognitively expensive routines. It follows that agents must possess the capacities – metavirtues –of developing in advance the cognitive virtues they will need when time and memory are at a premium.

I relate plural quantification, and predicate logic where predicates do not need a fixed number of argument places, to the part-whole relation. For more on these themes see later work by Boolos, Lewis, and Oliver & Smiley.

I discuss Goodman's claim that when 'all As are Bs' is a law then the counterfactual 'if a were an A, it would be a B' is tue. I give counterexamples, and link the failure of the connection to the contrast between higher level and lower level laws.

I argue that folk psychology does not serve the purpose of facilitating prediction of others' behaviour but if facilitating cooperative action. (See my subsequent book *The Importance of Being Understood*.

I praise Bratman's minimal account of shared agency, while expressing some doubts about the explanatory force of his central concepts and some puzzlement about what he means by norms.

It is proposed that our memory is made up of individual, unconnected Records, to each of which is attached a Heading. Retrieval of a Record can only be accomplished by addressing the attached Heading, the contents of which cannot itself be retrieved. Each Heading is made up of a mixture of content in more or less literal form and context, the latter including specification of environment and of internal states (e.g. drug states and mood). This view of memory allows an (...) easy account of a number of natural memory phenomena as well as a variety of laboratory findings such as the differences between recall and recognition. The theory further proposes that Headed Records can neither be deleted nor modified. Data apparently against such a hypothesis can be accounted for in terms of the retrieval process. (shrink)

It is in a way easier to imagine evil actions than we often suppose, but what it is thus relatively easy to do is not what we want to understand about evil. To argue for this conclusion I distin- guish between imagining why someone did something and imagining how they could have done it, and I try to grasp partial understanding, in part by distinguishing different imaginative pers- pectives we can have on an act. When we do this we see (...) an often unnoticed asymmetry: we do not put the same demands on our understanding of wrongdoing as on that of most everyday, morally acceptable, actions. (shrink)

In this paper, I challenge the recent consensus that global versions of theological voluntarism—on which all moral facts are explained by God’s action—fail, because only local versions—on which only a proper subset of moral facts are so explained—can successfully avoid the objection that theological voluntarism entails that God’s actions are arbitrary. I argue that global theological voluntarism can equally well avoid such arbitrariness. This does not mean that global theological voluntarism should be accepted, but that the primary advantage philosophers have (...) taken local views to have over global views is, in fact, no advantage at all. (shrink)

I consider Glimcher's claim to have given an account of mental functioning that is at once neurological and decision-theoretical. I am skeptical, but remark on some good ideas of Glimcher's.

I describe a way of handling comparative adjectives "a is P-er than b", in terms of degrees "a has P to degree d". I defend this approach against attacks due to C J F Williams in an article in the same issue of *Analysis*, by tracing his objections to the assumption that degrees must be linearly ordered. Since this abstract is written years later, I can mention that some of the ideas were taken further in my Hypercomparatives. Synthese 111, 1997, (...) 97-114 . (shrink)

Poverty has traditionally been conceived of as a state of deprivation. To be poor is to lack something essential to human flourishing. How that something is understood—in terms of welfare, resources, or capabilities—and how it is measured—in absolute terms or relative to a social standard—has been the subject of much debate within the development literature. In this paper, I put forward an account of poverty rooted in the philosophy of action. I argue that poverty essentially involves being in a context (...) in which a reasonable agent’s future-directed agency is systemically undermined. Centering this dimension of poverty allows us to attend to aspects of poverty that are easily overlooked on existing accounts. (shrink)

Goffman’s (1959) dramaturgical identity theory requires modification when theorising about presentations of self on social media. This chapter contributes to these efforts, refining a conception of digital identities by differentiating them from ‘corporatised identities’. Armed with this new distinction, I ultimately argue that social media platforms’ production of corporatised identities undermines their users’ autonomy and digital well-being. This follows from the disentanglement of several commonly conflated concepts. Firstly, I distinguish two kinds of presentation of self that I collectively refer to (...) as ‘expressions of digital identity’. These digital performances (boyd 2007) and digital artefacts (Hogan 2010) are distinct, but often confused. Secondly, I contend this confusion results in the subsequent conflation of corporatised identities – poor approximations of actual digital identities, inferred and extrapolated by algorithms from individuals’ expressions of digital identity – with digital identities proper. Finally, and to demonstrate the normative implications of these clarifications, I utilise MacKenzie’s (2014, 2019) interpretation of relational autonomy to propose that designing social media sites around the production of corporatised identities, at the expense of encouraging genuine performances of digital identities, has undermined multiple dimensions of this vital liberal value. In particular, the pluralistic range of authentic preferences that should structure flourishing human lives are being flattened and replaced by commercial, consumerist preferences. For these reasons, amongst others, I contend that digital identities should once again come to drive individuals’ actions on social media sites. Only upon doing so can individuals’ autonomy, and control over their digital identities, be rendered compatible with social media. (shrink)

An introductory logic textbook where the central concept is not deduction but search and logical form. (Deduction - logical consequence - drops out as a special case. TIt is meant for a class-based rather than a lecture-based course, and for students with general interests.

I present three invented languages, in order to support a claim that vagueness and demonstrativity are related. One of them handles vagueness like English handles demonstratives, the second handles demonstratives like English handles vagueness, and the third combines the resources of the first two. The argument depends on the claim that all three can be learned and used by anyone who can speak English.

Evolutionary debunking arguments claim that evolution has influenced our moral faculties in such a way that, if moral realism is true, then we have no positive moral knowledge. I present several popular objections to the standard version of this argument, then give a new EDA that has clear advantages in responding to these objections. Whereas the Standard EDA argues that evolution has selected for many moral beliefs with certain contents, this New EDA claims that evolution has selected for one belief: (...) belief in the claim that categorical reasons exist. If moral realism is true, then this claim is entailed by all positive moral claims, and belief in it is defeated due to evolutionary influence. This entails that if realism is true, then we have no positive moral knowledge. While there may be objections against this New EDA, it is much stronger than the Standard EDA, and one realists ought to worry about. (shrink)

Is there such a thing as bounded rationality? I first try to make sense of the question, and then to suggest which of the disambiguated versions might have answers. We need an account of bounded rationality that takes account of detailed contingent facts about the ways in which human beings fail to perform as we might ideally want to. But we should not think in terms of rules or norms which define good responses to an individual's limitations, but rather in (...) terms of desiderata, situations that limited agents can hope to achieve, and corresponding virtues of achieving them. We should not take formal theories defining optimal behavior in watered-down bounded form, even though they can impose enormous computational or cognitive demands. (shrink)

I give reasons stemming from the nature of narrative thinking why two-antecedent conditionals, most naturally expressed as "Suppose A. Suppose moreover B. Then C" the two antecedents play different roles. I formalise this idea with a two-dimensional similarity relation between possible worlds.

I discuss ways in which the linguistic form of mathimatics helps us think mathematically.

I discuss the possibility that there is no intrinsic unity to the capacities which are bundled under the label "folk psychology". Cooperative skills, attributional skills, and predictive skills may be scattered as parts of other non--psychological capacities. I discuss how some forms of social life bring these different skills together. I end with some remarks on how abilities that are not unified in their essential mechanisms may still form a rough practical unity. (Remark: the paper is conjectural. It describes a (...) possibility to take seriously rather than a conclusion of which I am convinced.). (shrink)

According to Marr's theory of vision, computational processes of early vision rely for their success on certain "natural constraints" in the physical environment. I examine the implications of this feature of Marr's theory for the question whether psychological states supervene on neural states. It is reasonable to hold that Marr's theory is nonindividualistic in that, given the role of natural constraints, distinct computational theories of the same neural processes may be justified in different environments. But to avoid trivializing computational explanations, (...) theories must respect methodological solipsism in the sense that within a theory there cannot be differences in content without a corresponding difference in neural states. (shrink)

Of Chisholm’s many signal contributions to analytic metaphysics, perhaps the most important is his treatment of boundaries, a category of entity that has been neglected, to say the least, in the history of ontology. We can gain some preliminary idea of the sorts of problems which the Chisholmian ontology of boundaries is designed to solve, if we consider the following Zeno-inspired thought-experiment.

I compare our idioms for quantifying into belief contexts to our idioms for quantifying into intention contexts. The latter is complicated by the fact that there is always a discrepancy between the action as intended and the action as performed. The article contains - this is written long after it appeared - an early version of a tracking or sensitivity analysis of the relation between a thought and its object.

I reply to Willing's criticism of my 'if I were a dry well-made match', and along the way uncover a puzzle about counterfactuals rather like Geach's donkey sentence problem.

a review of Tooley's Causation: a realist approach*, with emphasis on his use of probability and Ramsey sentences.

I discuss Quine's claim that anyone denying what we now take to be a logical truth would be using logical words in a novel way. I trace this to a confusions between outright denial and failure to assert, and assertion of a negation. (This abstract is written from memory decades after the article.).

In his recent book Error Theory: History, Critique, Defence, Jonas Olson attempts to revive the argument from queerness originally made famous by J.L. Mackie. In this paper, we do three things. First, we eliminate four untenable formulations of the argument. Second, we argue that the most plausible formulation is one that depends crucially upon considerations of parsimony. Finally, we evaluate this formulation of the argument. We conclude that it is unproblematic for proponents of moral non-naturalism—the target of the argument from (...) queerness. (shrink)