Artificial explanations: the epistemological interpretation of explanation in AI

In this paper I critically examine the notion of explanation used in artificial intelligence in general, and in the theory of belief revision in particular. I focus on two of the best known accounts in the literature: Pagnucco’s abductive expansion functions and Gärdenfors’ counterfactual analysis. I argue that both accounts are at odds with the way in which this notion has historically been understood in philosophy. They are also at odds with the explanatory strategies used in actual scientific practice. At the end of the paper I outline a set of desiderata for an epistemologically motivated, scientifically informed belief revision model for explanation.     

Response to ‘Somatic Intentionality Bifurcated: A Sellarisan Response to Sachs’s Merleau-Pontyan Account of Intentionality’

ABSTRACT

This article advances a new analysis of stupidity as a distinctive form of cognitive failing. Section 1 outlines some problems in explicating this notion and suggests some desiderata. Section 2 sketches an existing model of stupidity, found in Kant and Flaubert, which serves as a foil for my own view. In Section 3, I introduce my theory: I analyse stupidity as form of conceptual self-hampering, characterised by a specific aetiology and with a range of deleterious effects. In Section 4, I show how this proposal meets the desiderata and I clarify how it diverges from existing accounts. My position is close to a ‘public health approach’, in contrast to the virtue/vice framework employed by Engel or Mulligan.     

Co‐Hyperintensionality

Co‐hyperintensionality, or hyperintensional equivalence, is a relation holding between two or more contents that can be substituted in a hyperintensional context salva veritate. I argue that two strategies used to provide criteria for co‐hyperintensionality (appeal to some form of impossible worlds, or to structural or procedural equivalence of propositions) fail. I argue that there is no generalized notion of co‐hyperintensionality that meets plausible desiderata, by showing that the opposite thesis leads to falsity. As a conclusion, I suggest to take co‐hyperintensionality as a primitive and I provide a general criterion of co‐hyperintensionality whose content depends on each hyperintensional notion we aim to formalize.     

Toward a Purely Axiological Scientific Realism

The axiological tenet of scientific realism, “science seeks true theories,” is generally taken to rest on a corollary epistemological tenet, “we can justifiably believe that our successful theories achieve (or approximate) that aim.” While important debates have centered on, and have led to the refinement of, the epistemological tenet, the axiological tenet has suffered from neglect. I offer what I consider to be needed refinements to the axiological postulate. After showing an intimate relation between the refined postulate and ten theoretical desiderata, I argue that the axiological postulate does not depend on its epistemological counterpart; epistemic humility can accompany us in the quest for truth. Upon contrasting my axiological postulate against the two dominant non-realist alternatives and the standard realist postulate, I contend that its explanatory and justificatory virtues render it, among the axiologies considered, the richest account of the scientific enterprise.     

WHY DOES JUSTIFICATION MATTER?

Abstract: It has been claimed that justification, conceived traditionally in an internalist fashion, is not an epistemologically important property. I argue for the importance of a conception of justification that is completely dependent on the subject's experience, using an analogy to advice. The epistemological importance of a property depends on two desiderata: the extent to which it guarantees the epistemic goal of attaining truth and avoiding falsehood, and the extent to which it depends only on the information available to the believer. The traditional intermalist notion of justification completely satisfies the second desideratum and largely satisfies the first.     

Eliminativism, interventionism and the Overdetermination Argument

In trying to establish the view that there are no non-living macrophysical objects, Trenton Merricks has produced an influential argument—the Overdetermination Argument—against the causal efficacy of composite objects. A serious problem for the Overdetermination Argument is the ambiguity in the notion of overdetermination that is being employed, which is due to the fact that Merricks does not provide any theory of causation to support his claims. Once we adopt a plausible theory of causation, viz. interventionism, problems with the Overdetermination will become evident. After laying out the Overdetermination Argument and examining one extant objection to it, I will explicate the relevant aspects of an interventionist theory of causation and provide a characterization of overdetermination that follows from such an account. From this, I will argue that the Causal Principle that undergirds the Overdetermination Argument is false and hence the argument is invalid; and I claim that the only other available characterization of overdetermination would render a key premise in the argument false. Thus, the Overdetermination Argument fails to provide us with any reason to deny the causal efficacy of macrophysical objects, and therefore provides no reason to doubt their existence.     

Entailment and Bivalence

My purpose in this paper is to argue that the classical notion of entailment is not suitable for non-bivalent logics, to propose an appropriate alternative and to suggest a generalized entailment notion suitable to bivalent and non-bivalent logics alike. In classical two valued logic, one can not infer a false statement from one that is not false, any more than one can infer from a true statement a statement that is not true. In classical logic in fact preserving truth and preserving non-falsity are one and the same thing. They are not the same in non-bivalent logics however and I will argue that the classical notion of entailment that preserves only truth is not strong enough for such a logic. I will show that if we retain the classical notion of entailment in a logic that has three values, true, false and a third value in between, an inconsistency can be derived that can be resolved only by measures that seriously disable the logic. I will show this for a logic designed to allow for semantic presuppositions, then I will show that we get the same result in any three valued logic with the same value ordering. I will finally suggest how the notion of entailment should be generalized so that this problem may be avoided. The strengthened notion of entailment I am proposing is a conservative extension of the classical notion that preserves not only truth but the order of all values in a logic, so that the value of an entailed statement must alway be at least as great as the value of the sequence of statements entailing it. A notion of entailment this strong or stronger will, I believe, be found to be applicable to non-classical logics generally. In the opinion of Dana Scott, no really workable three valued logic has yet been developed. It is hard to disagree with this. A workable three valued logic however could perhaps be developed however, if we had a notion of entailment suitable to non-bivalent logics.     

What do we Want from a Theory of Happiness?

I defend a methodology for theorizing about happiness. I reject three methods: conceptual analysis; scientific naturalism; and the “pure normative adequacy” approach, where the best conception of happiness is the one that best fills a role in moral theory. The concept of happiness is a folk notion employed by laypersons who have various practical interests in the matter, and theories of happiness should respect this fact. I identify four such interests in broad terms and then argue for a set of desiderata that theories of happiness ought to satisfy. The theory of happiness falls within the province of ethics. It should, however, be viewed as autonomous and not merely secondary to moral theory.     

Contraction in Interrogative Belief Revision

In the paper “On the role of the research agenda in epistemic change”, Olsson and Westlund have suggested that the notion of epistemic state employed in the standard framework of belief revision (Alchourrón et al. 1985; G?rdenfors 1988) should be extended to include a representation of the agent’s research agenda (Olsson and Westlund 2006). The resulting framework will here be referred to as interrogative belief revision. In this paper, I attempt to deal with the problem of how research agendas should change in contraction, a problem largely left open by Olsson and Westlund. Two desiderata of an appropriate solution are suggested: one is a principle of continuity, stating that changes in the research agenda should somehow reflect that certain long term research interests are kept fixed. The other desideratum, which is based on part of Olsson and Westlund’s motivation for adding research agendas to the epistemic states, is that we should be able to account for how contraction may serve to open up new, fruitful hypotheses for investigation. In order to achieve these desiderata, I base my solution on a revised version of Olsson and Westlund’s notion of epistemic state.     

Foucault, Feminism, and Informed Choice

The purpose of this paper is to show that the standard notion of informed choice is unacceptable and must be replaced. To do so, I examine Foucault's analysis of people in contemporary society, drawing attention to the ways power relations act upon us, and to the possibility of resistance. I show how feminist moral theory can be enriched by Foucault's analysis. Applying this new understanding of people and moral theory to an analysis of informed choice, I claim that the standard notion of informed choice is unacceptable, in part because it relies on a false conception of people. Its “necessary” features—intention, understanding, and absence of controlling influences—are much more difficult, if not impossible, to obtain than proponents of the standard notion believe. I end by offering direction for creating a new, Foucault-inspired, feminist theory of informed choice.     

Apologia pro Vita‐Fabula Sua: Defending Narrativity and How We Make Sense of Our Lives

This paper attempts to provide a defence for a narrative theory of the self in the face of criticisms from the anti‐narrative camp. It begins by addressing certain uncontroversial premises that both pro‐ and the anti‐narrative camps might be thought to agree on: the status of humans as homo significans or meaning‐makers, the natural form‐finding tendency and certain desiderata for significance and value that we possess, and the raw material of life and its constituents that we proceed from. Whereas the pro‐narrative camp seeks to provide the narrative theory of the self as a valid argument for how we proceed from the raw material of life and undifferentiated experience and these desiderata and tendencies (i.e.: the premises) to a conception of both selfhood and moral responsibility (i.e.: the conclusion), the anti‐narrative camp holds the conclusion to be false and the narrative theory of the self to be invalid. The Parfitian view holds the conception of the self to be ultimately false, whereas the Strawsonian view holds both the conception of the self and the conception of moral responsibility to be ultimately false. The grounds they provide, however, tend to be metaphysical in nature, demonstrating that they have fundamentally misunderstood how the narrative theory of the self functions as a semantic thesis. I will demonstrate certain defects in the metaphysical arguments that anti‐narrativists like Parfit and Strawson have made against what is essentially a semantic thesis about how we make sense of our lives. I will also attempt to shore up the semantic thesis in other relevant aspects.     

Semantic Responsibility

Abstract

In this paper I attempt to develop a notion of responsibility (semantic responsibility) that is to the notion of belief what epistemic responsibility is to the notion of justification. ‘Being semantically responsible’ is shown to involve the fulfilment of cognitive duties which allow the agent to engage in the kind of reason-laden discourses which render her beliefs appropriately sensitive to correction. The concept of semantic responsibility suggests that the notion of belief found in contemporary philosophical debates about content implicitly encompasses radically different classes of beliefs. In what follows I make those different types explicit, and sketch some implications for naturalisation projects in semantics and for accounts of the (putative) non-conceptual content of perceptual experiences.     

A Paradoxical Account of Divine Omnipresence

This essay examines the doctrine of divine omnipresence. I begin by presenting three desiderata for an adequate account of omnipresence. Four accounts are analyzed in light of these desiderata, two in the tradition and two in contemporary philosophical theology. I argue that none succeed in providing an adequate account of divine omnipresence. As an alternative, I offer a paradoxical account of omnipresence, arguing that one can be rational in affirming that what appears to be a doctrine afflicted by apparent contradiction is in fact merely a paradox. I explain what makes affirmations of paradoxical doctrines rational, why omnipresence should be understood as a paradox, and discuss a similar account of omnipresence in the writings of Pseudo-Dionysius the Areopagite.     

The particularity and phenomenology of perceptual experience

I argue that any account of perceptual experience should satisfy the following two desiderata. First, it should account for the particularity of perceptual experience, that is, it should account for the mind-independent object of an experience making a difference to individuating the experience. Second, it should explain the possibility that perceptual relations to distinct environments could yield subjectively indistinguishable experiences. Relational views of perceptual experience can easily satisfy the first but not the second desideratum. Representational views can easily satisfy the second but not the first desideratum. I argue that to satisfy both desiderata perceptual experience is best conceived of as fundamentally both relational and representational. I develop a view of perceptual experience that synthesizes the virtues of relationalism and representationalism, by arguing that perceptual content is constituted by potentially gappy de re modes of presentation.     

Multivalent Semantics for Vagueness and Presupposition

Both the phenomenon of presupposition and that of vagueness have motivated the use of one form or another of trivalent logic, in which a declarative sentence can not only receive the standard values true (1) and false (0), but also a third, non-standard truth-value which is usually understood as ‘undefined’ (#). The goal of this paper is to propose a multivalent framework which can deal simultaneously with presupposition and vagueness, and, more specifically, capture their projection properties as well as their different roles in language. Now, there is a prima facie simple way of doing this, which simply consists in assimilating the two phenomena, and using an appropriate type of trivalent logic. On this view, we just need a compositional system that deals with the ‘undefined’ truth-value, and does not care about whether the source of undefinedness is ‘presuppositional’ or related to vagueness. I will argue that such a simple solution cannot succeed, and point out a number of desiderata that any successful approach must meet. I will then present and discuss two seven-valued semantics, inspired, respectively, by the Strong Kleene semantics and by supervaluationism, which meet these desiderata.     

The metaphysics of groups

If you are a realist about groups (e.g. religious institutions, football teams, the Mafia etc.) there are three main theories of what to identify groups with. I offer reasons for thinking that two of those theories (groups as sui generis entities and groups as mereological fusions) fail to meet important desiderata. The third option is to identify groups with sets, which meets all of the desiderata if only we take care over which sets they are identified with. I then canvass some possible objections to that third theory, and explain how to avoid them.     

On defining “mental disorder”: Purposes and conditions of adequacy

All definitions of mental disorder are backed up by arguments that rely on general criteria (e.g., that a definition should be consistent with ordinary language). These desiderata are rarely explicitly stated, and there has been no systematic discussion of how different definitions should be assessed. To arrive at a well-founded list of desiderata, we need to know the purpose of a definition. I argue that this purpose must be practical; it should, for example, help us determine who is entitled to publicly funded health care. I then propose eight conditions of adequacy that can be used to assess competing definitions (e.g., the ordinary language condition, the coherence condition, and the condition of normative adequacy). These conditions pull in different directions, however, and we must decide which are most important. I also suggest that there is no single definition that can help us deal with all the relevant practical issues.     

WHY BIOETHICS NEEDS THE PHILOSOPHY OF MEDICINE: SOME IMPLICATIONS OF REFLECTION ON CONCEPTS OF HEALTH AND DISEASE

Germund Hesslow has argued that concepts of health and disease serve no important scientific, clinical, or ethical function. However, this conclusion depends upon the particular concept of disease he espouses; namely, on Boorse's functional notion. The fact/value split embodied in the functional notion of disease leads to a sharp split between the “science” of medicine and bioethics, making the philosophy of medicine irrelevant for both. By placing this disease concept in the broader context of medical history, I shall show that it does capture an essential part of modern medical ideology. However, it is also a self-contradictory notion. By making explicit the value desiderata of medical nosologies, a reconfiguration of the relation between medicine, bioethics, and the philosophy of medicine is initiated. This, in turn, will involve a recovery of the caring dimensions of medicine, and thus a more humane practice.