In the late summer of 1998, the authors, a cognitive scientist and a logician, started talking about the relevance of modern mathematical logic to the study of human reasoning, and we have been talking ever since. This book is an interim report of that conversation. It argues that results such as those on the Wason selection task, purportedly showing the irrelevance of formal logic to actual human reasoning, have been widely misinterpreted, mainly because the picture of logic current in psychology (...) and cognitive science is completely mistaken. We aim to give the reader a more accurate picture of mathematical logic and, in doing so, hope to show that logic, properly conceived, is still a very helpful tool in cognitive science. The main thrust of the book is therefore constructive. We give a number of examples in which logical theorizing helps in understanding and modeling observed behavior in reasoning tasks, deviations of that behavior in a psychiatric disorder (autism), and even the roots of that behavior in the evolution of the brain. (shrink)

Festschrift for Michiel van Lambalgen on the occasion of his retirement as professor of logic and cognitive science at the University of Amsterdam.

The theories of belief change developed within the AGM-tradition are not logics in the proper sense, but rather informal axiomatic theories of belief change. Instead of characterizing the models of belief and belief change in a formalized object language, the AGM-approach uses a natural language — ordinary mathematical English — to characterize the mathematical structures that are under study. Recently, however, various authors such as Johan van Benthem and Maarten de Rijke have suggested representing doxastic change within a formal logical (...) language: a dynamic modal logic. Inspired by these suggestions Krister Segerberg has developed a very general logical framework for reasoning about doxastic change: dynamic doxastic logic (DDL). This framework may be seen as an extension of standard Hintikka-style doxastic logic with dynamic operators representing various kinds of transformations of the agent's doxastic state. Basic DDL describes an agent that has opinions about the external world and an ability to change these opinions in the light of new information. Such an agent is non-introspective in the sense that he lacks opinions about his own belief states. Here we are going to discuss various possibilities for developing a dynamic doxastic logic for introspective agents: full DDL or DDL unlimited. The project of constructing such a logic is faced with difficulties due to the fact that the agent’s own doxastic state now becomes a part of the reality that he is trying to explore: when an introspective agent learns more about the world, then the reality he holds beliefs about undergoes a change. But then his introspective (higher-order) beliefs have to be adjusted accordingly. In the paper we shall consider various ways of solving this problem. (shrink)

Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our field—a (...) book would be needed for that. Instead, we have tried to select material that is of interest in its own right or exemplifies noteworthy features in interesting ways. Here are some themes that have guided us throughout the writing: • The back-and-forth between philosophy and modal logic. There has been a good deal of give-and-take in the past. Carnap tried to use his modal logic to throw light on old philosophical questions, thereby inspiring others to continue his work and still others to criticise it. He certainly provoked Quine, who in his turn provided—and continues to provide—a healthy challenge to modal logicians. And Kripke’s and David Lewis’s philosophies are connected, in interesting ways, with their modal logic. Analytic philosophy would have been a lot different without modal logic! • The interpretation problem. The problem of providing a certain modal logic with an intuitive interpretation should not be conflated with the problem of providing a formal system with a model-theoretic semantics. An intuitively appealing model-theoretic semantics may be an important step towards solving the interpretation problem, but only a step. One may compare this situation with that in probability theory, where definitions of concepts like ‘outcome space’ and ‘random variable’ are orthogonal to questions about “interpretations” of the concept of probability. • The value of formalisation. Modal logic sets standards of precision, which are a challenge to—and sometimes a model for—philosophy. Classical philosophical questions can be sharpened and seen from a new perspective when formulated in a framework of modal logic. On the other hand, representing old questions in a formal garb has its dangers, such as simplification and distortion. • Why modal logic rather than classical (first or higher order) logic? The idioms of modal logic—today there are many!—seem better to correspond to human ways of thinking than ordinary extensional logic. (Cf. Chomsky’s conjecture that the NP + VP pattern is wired into the human brain.) In his An Essay in Modal Logic (1951) von Wright distinguished between four kinds of modalities: alethic (modes of truth: necessity, possibility and impossibility), epistemic (modes of being known: known to be true, known to be false, undecided), deontic (modes of obligation: obligatory, permitted, forbidden) and existential (modes of existence: universality, existence, emptiness). The existential modalities are not usually counted as modalities, but the other three categories are exemplified in three sections into which this chapter is divided. Section 1 is devoted to alethic modal logic and reviews some main themes at the heart of philosophical modal logic. Sections 2 and 3 deal with topics in epistemic logic and deontic logic, respectively, and are meant to illustrate two different uses that modal logic or indeed any logic can have: it may be applied to already existing (non-logical) theory, or it can be used to develop new theory. (shrink)

In earlier papers (Lindström & Rabinowicz, 1989. 1990), we proposed a generalization of the AGM approach to belief revision. Our proposal was to view belief revision as a relation rather thanas a function on theories (or belief sets). The idea was to allow for there being several equally reasonable revisions of a theory with a given proposition. In the present paper, we show that the relational approach is the natural result of generalizing in a certain way an approach to belief (...) revision due to Adam Grove. In his (1988) paper, Grove presents two closely related modelings of functional belief revision, one in terms of a family of "spheres" around the agent's theory G and the other in terms of an epistemic entrenchment ordering of propositions. The "sphere"-terminology is natural when one looks upon theories and propositions as being represented by sets of possible worlds. Grove's spheres may be thought of as possible "fallback" theories relative to the agent's original theory: theories that he may reach by deleting propositions that are not "sufficiently" entrenched (according to standards of sufficient entrenchment of varying stringency). To put it differently, fallbacks are theories that are closed upwards under entrenchment The entrenchment ordering can be recovered from the family of fallbacks by the definition: A is at least as entrenched as B iff A belongs to every fallback to which B belongs. To revise a theory T with a proposition A, we go to the smallest sphere that contain A-worlds and intersect it with A. The relational notion of belief revision that we are interested in, results from weakening epistemic entrenchment by not assuming it to be connected. I.e., we want to allow that some propositions may be incomparable with respect to epistemic entrenchment. As a result, the family of fallbacks around a given theory will no longer have to be nested. This change opens up the possibility for several different ways of revising a theory with a given proposition. (shrink)

In this paper I consider two paradoxes that arise in connection with the concept of demonstrability, or absolute provability. I assume—for the sake of the argument—that there is an intuitive notion of demonstrability, which should not be conflated with the concept of formal deducibility in a (formal) system or the relativized concept of provability from certain axioms. Demonstrability is an epistemic concept: the rough idea is that a sentence is demonstrable if it is provable from knowable basic (“self-evident”) premises by (...) means of simple logical steps. A statement that is demonstrable is also knowable and a statement that is actually demonstrated is known to be true. By casting doubt upon apparently central principles governing the concept of demonstrability, the paradoxes of demonstrability presented here tend to undermine the concept itself—or at least our understanding of it. As long as we cannot find a diagnosis and a cure for the paradoxes, it seems that the coherence of the concepts of demonstrability and demonstrable knowledge are put in question. There are of course ways of putting the paradoxes in quarantine, for example by imposing a hierarchy of languages a` la Tarski, or a ramified hierarchy of propositions and propositional functions a` la Russell. These measures, however, helpful as they may be in avoiding contradictions, do not seem to solve the underlying conceptual problems. Although structurally similar to the semantic paradoxes, the paradoxes discussed in this paper involve epistemic notions: “demonstrability”, “knowability”, “knowledge”... These notions are “factive” (e.g., if A is demonstrable, then A is true), but similar paradoxes arise in connection with “nonfactive” notions like “believes”, “says”, “asserts”.3 There is no consensus in the literature concerning the analysis of the notions involved—often referred to as “propositional attitudes”—or concerning the treatment of the paradoxes they give rise to. (shrink)

Enligt ett realistiskt synsätt kan ett påstående vara sant trots att det inte ens i princip är möjligt att veta att det är sant. En sanningsteoretisk antirealist kan inte godta denna möjlighet utan accepterar en eller annan version av Dummetts vetbarhetsprincip: (K) Om ett påstående är sant, så måste det i princip vara möjligt att veta att det är sant. Det kan dock förefalla rimligt, även för en antirealist, att gå̊ med på̊ att det kan finnas sanningar som ingen faktiskt (...) vet (har vetat, eller kommer att veta) är sanna. Man kan därför tänka sig att en antirealist skulle acceptera principen (K) utan att därför gå med på den till synes starkare principen: (SK) Om ett påstående är sant, så måste det faktiskt finnas någon som vet att det är sant. Ett mycket omdiskuterat argument – som ytterst går tillbaka till Alonzo Church, men som först publicerades i en uppsats av Frederic Fitch i Journal of Symbolic Logic 1963 – tycks emellertid visa att principen (K) implicerar principen (SK). Anta nämligen att (K) är sann, medan (SK) inte är det. Men om (SK) är falsk, så finns det ett påstående som är sant men som ingen faktiskt vet är sant. Anta nu att p är ett sådant påstående. Låt Kp betyda att någon vet att p är sant. Det galler alltså̊ att p är sant samtidigt som Kp inte är det. Betrakta nu påståendet (p ∧ −Kp). Enligt antagandet är detta påstående sant. Enligt (K) måste det då vara möjligt att någon vet att (p ∧ −Kp). D.v.s., det måste vara möjligt att påståendet K(p ∧ −Kp) är sant. Men i så fall är det också̊ möjligt att påståendet Kp ∧ K−Kp är sant, vilket i sin tur implicerar att det är möjligt att Kp ∧ −Kp är sant, vilket ju är absurt. Således kan inte (K) vara sann samtidigt som (SK) är falsk. Vi tycks således kunna sluta oss till att (K) implicerar (SK). I uppsatsen diskuterar jag några olika sätt att undgå̊ Church-Fitch paradoxala slutsats. Ett tillvägagångssätt är att ersätta kunskapsoperatorn med en hierarki av kunskapspredikat. Ett annat är baserat på distinktionen mellan faktisk och potentiell kunskap och ett förkastande av den vanliga modallogiska formaliseringen av principen (K). Den senare typen av lösning betraktas både från ett realistiskt och ett icke-realistiskt perspektiv. Utifrån denna analys kommer jag fram till slutsatsen att vi, vare sig vi är realister eller antirealister rörande sanning, kan sluta oroa oss för vetbarhetsparadoxen och ändå uppskatta Church-Fitchs argument. (shrink)

This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred ones. A (...) proposition α is a nonmonotonic consequence of a set of propositions Γ iff α holds in all the most preferred Γ-states. In the literature on revealed preference theory, there are a number of well-known theorems concerning the representability of selection functions, satisfying certain properties, in terms of underlying preference relations. Such theorems are utilized here to give corresponding representation theorems for nonmonotonic inference operations. At the end of the paper, the connection between nonmonotonic inference and belief revision, in the sense of Alchourrón, Gärdenfors, and Makinson, is explored. In this connection, infinitary belief revision operations that allow for the revision of a theory with a possibly infinite set of propositions are introduced and characterized axiomatically. (shrink)

As emphasized by Alonzo Church and David Kaplan (Church 1974, Kaplan 1975), the philosophies of language of Frege and Russell incorporate quite different methods of semantic analysis with different basic concepts and different ontologies. Accordingly we distinguish between a Fregean and a Russellian tradition in intensional semantics. The purpose of this paper is to pursue the Russellian alternative and to provide a language of intensional logic with a model-theoretic semantics. We also discuss the so-called Russell-Myhill paradox that threatens simple Russellian (...) type theory if propositions satisfies very strict principles of individuation. One way of avoiding the paradox is to adopt a ramified rather than a simple theory of types. (shrink)

Årets Hägerströmföreläsningar i Uppsala gavs i februari av den norske filosofen Dagfinn Føllesdal. Ämnet var "Mening og Erfaring". Dagfinn Føllesdal doktorerade 1961 vid Harvard med Willard Van Quine som handledare på en avhandling om kvantifierad modallogik. Han blev internationellt känd främst för studier om Husserls fenomenologi och dess förhållande till Frege samt för sina arbeten om Quines språkfilosofi. Allt sedan 60-talet har Føllesdal delat sin tid mellan Oslouniversitetet och Stanforduniversitetet i Kalifornien. I sina föreläsningar diskuterade Føllesdal meningsbegreppet med anknytning till (...) teorier formulerade av sådana tidigare Hägerströmföreläsare som Quine, Davidson och Kripke. En utgångspunkt för framställningen var Quines empiristiska syn på språket: Allt vi kan lära om omvärlden och varandra, inklusive språket, är grundat på socialt tillgänglig evidens. Enligt Quines uppfattning är språket väsentligen ett socialt fenomen. Detta innebär att: (i) språket har blivit till genom en social process; (ii) individens inlärning av språket sker på basen av socialt tillgänglig information; och (iii) användningen av språket är en social process. Den centrala frågeställningen som diskuterades i föreläsningarna var: Hur skall vi utifrån en empiristisk syn på språket förstå mening och kommunikation? Quine var den förste att på ett helt explicit sätt formulera denna problemställning. (shrink)

Quassim Cassam has argued that psychological and epistemological analyses of conspiracy theories threaten to overlook the political nature of such theories. According to Cassam, conspiracy theories are a form of political propaganda. I develop a limited critique of Cassam's analysis.This paper advances two core theses. First, acceptance of conspiracy theories requires a rejection of epistemic authority that renders conspiracy theorists susceptible to co-option by certain political programs while insulating such programs from criticism. I argue that the contrarian nature of conspiracy (...) theories partially accounts for the prominence of such theories in populist movements.Second, the contrarian nature of conspiracy theories partially accounts for their attractiveness, especially among those to whom populism already appeals. I argue that for those who resent what appears from their perspective as the shaping of the epistemic landscape by alien perspectives, conspiracy theorizing may facilitate the reassertion of epistemic autonomy. (shrink)

We discuss various possibilities for developing a dynamic doxastic logic (DDL) for introspective agents: agents who have the ability to form higher-order beliefs. Such agents can reflect upon and change their minds about their own beliefs. The project of constructing such a logic, full DDL or DDL unlimited, is ridden with difficulties due to the fact that the agent's own doxastic state now becomes a part of the reality he is trying to explore. When an introspective agent learns more about (...) the world (and himself), the reality he holds beliefs about undergoes a change in its doxastic part, which means that his introspective beliefs have to be adjusted accordingly. (shrink)

In this paper, I shall consider the challenge that Quine posed in 1947 to the advocates of quantified modal logic to provide an explanation, or interpretation, of modal notions that is intuitively clear, allows “quantifying in”, and does not presuppose, mysterious, intensional entities. The modal concepts that Quine and his contemporaries, e.g. Carnap and Ruth Barcan Marcus, were primarily concerned with in the 1940’s were the notions of (broadly) logical, or analytical, necessity and possibility, rather than the metaphysical modalities that (...) have since become popular, largely due to the influence of Kripke. In the 1950’s modal logicians responded to Quine’s challenge by providing quantified modal logic with model-theoretic semantics of various types. In doing so they also, explicitly or implicitly addressed Quine’s interpretation problem. Here I shall consider the approaches developed by Carnap in the late 1940’s, and by Kanger, Hintikka, Montague, and Kripke in the 1950’s, and discuss to what extent these approaches were successful in meeting Quine’s doubts about the intelligibility of quantified modal logic. (shrink)

In this paper we distinguish between various kinds of doxastic theories. One distinction is between informal and formal doxastic theories. AGM-type theories of belief change are of the former kind, while Hintikka’s logic of knowledge and belief is of the latter. Then we distinguish between static theories that study the unchanging beliefs of a certain agent and dynamic theories that investigate not only the constraints that can reasonably be imposed on the doxastic states of a rational agent but also rationality (...) constraints on the changes of doxastic state that may occur in such agents. An additional distinction is that between non-introspective theories and introspective ones. Non-introspective theories investigate agents that have opinions about the external world but no higher-order opinions about their own doxasticnstates. Standard AGM-type theories as well as the currently existing versions of Segerberg’s dynamic doxastic logic (DDL) are non-introspective. Hintikka-style doxastic logic is of course introspective but it is a static theory. Thus, the challenge remains to devise doxastic theories that are both dynamic and introspective. We outline the semantics for truly introspective dynamic doxastic logic, i.e., a dynamic doxastic logic that allows us to describe agents who have both the ability to form higher-order beliefs and to reflect upon and change their minds about their own (higher-order) beliefs. This extension of DDL demands that we give up the Preservation condition on revision. We make some suggestions as to how such a non-preservative revision operation can be constructed. We also consider extending DDL with conditionals satisfying the Ramsey test and show that Gärdenfors’ well-known impossibility result applies to such a framework. Also in this case, Preservation has to be given up. (shrink)

It is widely accepted that there is a visual field, but the analogous notion of an auditory field is rejected by many philosophers on the grounds that the metaphysics or phenomenology of audition lack the necessary spatial or phenomenological structure. In this paper, I argue that many of the common objections to the existence of an auditory field are misguided and that, contrary to a tradition of philosophical scepticism about the spatiality of auditory experience, it is as richly spatial as (...) visual experience—and in some ways even more so. By carefully considering the spatiality and boundedness of audition, along with how sounds or their sources are experienced as occurring within the surrounding acoustic environment, we can gain a better understanding of (i) our auditory experience of space and (ii) the conditions for the existence of spatial sensory fields in general in a way that does not privilege vision over the other senses. (shrink)

The main objective of this paper is to examine how theories of truth and reference that are in a broad sense Fregean in character are threatened by antinomies; in particular by the Epimenides paradox and versions of the so-called Russell-Myhill antinomy, an intensional analogue of Russell’s more well-known paradox for extensions. Frege’s ontology of propositions and senses has recently received renewed interest in connection with minimalist theories that take propositions (thoughts) and senses (concepts) as the primary bearers of truth and (...) reference. In this paper, I will present a rigorous version of Frege’s theory of sense and denotation and show that it leads to antinomies. I am also going to discuss ways of modifying Frege’s semantical and ontological framework in order to avoid the paradoxes. In this connection, I explore the possibility of giving up the Fregean assumption of a universal domain of absolutely all objects, containing in addition to extensional objects also abstract intensional ones like propositions and singular concepts. I outline a cumulative hierarchy of Fregean propositions and senses, in analogy with Gödel’s hierarchy of constructible sets. In this hierarchy, there is no domain of all objects. Instead, every domain of objects is extendible with new objects that, on pain of contradiction, cannot belong to the given domain. According to this approach, there is no domain containing absolutely all propositions or absolutely all senses. (shrink)

Existing analyses of disinformation tend to embrace the view that disinformation is intended or otherwise functions to mislead its audience, that is, to produce false beliefs. I argue that this view is doubly mistaken. First, while paradigmatic disinformation campaigns aim to produce false beliefs in an audience, disinformation may in some cases be intended only to prevent its audience from forming true beliefs. Second, purveyors of disinformation need not intend to have any effect at all on their audience’s beliefs, aiming (...) instead to manipulate an audience’s behavior through alteration of sub-doxastic states. Ultimately, I argue that attention to such non-paradigmatic forms of disinformation is essential to understanding the threat disinformation poses and why this threat is so difficult to counter. (shrink)

Aristotle’s words in the Metaphysics: “to say of what is that it is, or of what is not that it is not, is true” are often understood as indicating a correspondence view of truth: a statement is true if it corresponds to something in the world that makes it true. Aristotle’s words can also be interpreted in a deflationary, i.e., metaphysically less loaded, way. According to the latter view, the concept of truth is contained in platitudes like: ‘It is true (...) that snow is white iff snow is white’, ‘It is true that neutrinos have mass iff neutrinos have mass’, etc. Our understanding of the concept of truth is exhausted by these and similar equivalences. This is all there is to truth. In his book Truth (Second edition 1998), Paul Horwich develops minimalism, a special variant of the deflationary view. According to Horwich’s minimalism, truth is an indefinable property of propositions characterized by what he calls the minimal theory, i.e., all (nonparadoxical) propositions of the form: It is true that p if and only if p. Although the idea of minimalism is simple and straightforward, the proper formulation of Horwich’s theory is no simple matter. In this paper, I shall discuss some of the difficulties of a logical nature that arise. First, I discuss problems that arise when we try to give a rigorous characterization of the theory without presupposing a prior understanding of the notion of truth. Next I turn to Horwich’s treatment of the Liar paradox and a paradox about the totality of all propositions that was first formulated by Russell (1903). My conclusion is that Horwich’s minimal theory cannot deal with these difficulties in an adequate way, and that it has to be revised in fundamental ways in order to do so. Once such revisions have been carried out the theory may, however, have lost some of its appealing simplicity. (shrink)

Many common arguments for physicalism begin with the principle that the cosmos is “causally closed.” But how good are the arguments for causal closure itself? I argue that the deductive, a priori arguments on behalf of causal closure tend to beg the question. The extant inductive arguments fare no better. They commit a sampling error or a non-sequitur, or else offer conclusions that remain compatible with causal openness. In short, we have no good arguments that the physical world is causally (...) closed. (shrink)

This paper describes the ways in which trolls and bots impede the acquisition of knowledge online. I distinguish between three ways in which trolls and bots can impede knowledge acquisition, namely, by deceiving, by encouraging misplaced skepticism, and by interfering with the acquisition of warrant concerning persons and content encountered online. I argue that these threats are difficult to resist simultaneously. I argue, further, that the threat that trolls and bots pose to knowledge acquisition goes beyond the mere threat of (...) online misinformation, or the more familiar threat posed by liars offline. Trolls and bots are, in effect, fake persons. Consequently, trolls and bots can systemically interfere with knowledge acquisition by manipulating the signals whereby individuals acquire knowledge from one another online. I conclude with a brief discussion of some possible remedies for the problem of fake persons. (shrink)

This article considers an interpretative model for the study of Heraclitus, which was first put forward by Alexander Mourelatos in 1973, and draws upon a related model put forward by Julius Moravcsik beginning in 1983. I further develop this combined model and provide a motivation for an interpretation of Heraclitus. This is also of interest for modern metaphysics due to the recurrence of structurally similar problems, including the ‘colour exclusion’ problem that was faced by Wittgenstein. Further, I employ the model (...) to shed new light on Heraclitus’ image of the river, while relating potential readings to various contemporary metaphysical views. (shrink)

Jerrold J. Katz often explained his semantic theory by way of an analogy with physical atomism and an attendant analogy with chemistry. In this chapter, I track the origin and uses of these analogies by Katz, both in explaining and defending his decompositional semantic theory, through the various phases of his work throughout his career.

The epistemic virtues and vices are typically defined in terms of effects or motivations related to the epistemic states of their possessors. However, philosophers have recently begun to consider _other-regarding_ epistemic virtues, traits oriented toward the epistemic flourishing of others. In a similar vein, this paper discusses _outward-facing_ epistemic vices, properties oriented toward the epistemic languishing of others. I argue for the existence of both reliabilist and responsibilist outward-facing vices, and illustrate how such vices negatively bear on the epistemic prospects (...) of others. I pay special attention to how outward-facing epistemic vices may manifest in online activities that promote the epistemic languishing of others by negatively influencing the online epistemic environment. (shrink)

I offer an examination of a core element in the reflectiveness of Heraclitus’ thought, namely, his rebuke of polymathy . In doing so, I provide a response to a recent claim that Heraclitus should not be considered to be a philosopher, by attending to his paradigmatically philosophical traits. Regarding Heraclitus’ attitude to that naïve form of ‘wisdom’, i.e., polymathy, I argue that he does not advise avoiding experience of many things, rather, he advises rejecting experience of things as merely many (...) independent things in their manifoldness , and, instead, to understand their unity and thereby to unify our knowledge of them. (shrink)

“There is no use in trying,” said Alice; “one can’t believe impossible things.” “I dare say you haven’t had much practice,” said the Queen. “When I was your age, I always did it for half an hour a day. Why, sometimes I’ve believed as many as six impossible things before breakfast”. Lewis Carroll, Through the Looking Glass. -/- It is a rather common view among philosophers that one cannot, properly speaking, be said to believe, conceive, imagine, hope for, or seek (...) what is impossible. -/- Some philosophers, for instance George Berkeley and the early Wittgenstein, thought that logically contradictory propositions lack cognitive meaning (informational content) and cannot, therefore, be thought or believed. Philosophers who do not go as far as Berkeley and Wittgenstein in denying that impossible propositions or states of affairs are thinkable, may still claim that it is impossible to rationally believe an impossible proposition. On a classical “Cartesian” view of belief, belief is a purely mental state of the agent holding true a proposition p that she “grasps” and is directly acquainted with. But if the agent is directly acquainted with an impossible proposition, then, presumably, she must know that it is impossible. But surely no rational agent can hold true a proposition that she knows is impossible. Hence, no rational agent can believe an impossible proposition. Thus it seems that on the Cartesian view of propositional attitudes as inner mental states in which proposition are immediately apprehended by the mind, it is impossible for a rational agent to believe, imagine or conceive an impossible proposition. -/- Ruth Barcan Marcus (1983) has suggested that a belief attribution is defeated once it is discovered that the proposition, or state of affairs that is believed is impossible. According to her intuition, just as knowledge implies truth, belief implies possibility. -/- It is commonplace that people claim to believe propositions that later turn out to be impossible. According to Barcan Marcus, the correct thing to say in such a situation is not: I once believed that A but I don’t believe it any longer since I have come to realize that it is impossible that A. What one should say is instead: It once appeared to me that I believed that A, but I did not, since it is impossible that A. Thus, Barcan Marcus defends what we might call Alice’s thesis: Necessarily, for any proposition p and any subject x, if x believes p, then p is possible. -/- Alice’s thesis that it is impossible to hold impossible beliefs, seems to come into conflict with our ordinary practices of attributing beliefs. Consider a mathematical example. Some mathematicians believe that CH (the continuum hypothesis) is true and others believe that it is false. But if CH is true, then it is necessarily true; and if it is false, then it is necessarily false. Regardless of whether CH is true or false, the conclusion seems to be that there are mathematicians who believe impossible propositions. -/- Examples of apparent beliefs in impossible propositions outside of mathematics are also easy to come by. Consider, for example, Kripke’s (1999) story of the Frenchman Pierre who without realizing it has two different names ‘London’ and ‘Londres’ for the same city, London. After having arrived in London, Pierre may assent to ‘Londres is beautiful and London is not beautiful’ without being in any way irrational. It seems reasonably to infer from this that Pierre believes that Londres is beautiful and London is not beautiful. But since ‘Londres’ and ‘London’ are rigid designators for the same city, it seems to follow from this that Pierre believes the inconsistent proposition that we may express as ‘London is both beautiful and not beautiful’. (shrink)

The present research extends previous functional accounts of counterfactual thinking by incorporating the notion of reflective and evaluative processing. Participants generated counterfactuals about their anagram performance, after which their persistence and performance on a second set of anagrams was measured. Evaluative processing of upward counterfactuals elicited a larger increase in persistence and better performance than did reflective processing of upward counterfactuals, whereas reflective processing of downward counterfactuals elicited a larger increase in persistence and better performance than did evaluative processing of (...) downward counterfactuals. Moreover, path analyses indicated that whereas the relationship between counterfactual thinking and persistence was accounted for by emotional responses following upward and downward counterfactual generation, the relationship between counterfactual thinking and performance was accounted for by enhanced persistence following reflective processing of downward counterfactuals, but was accounted for by both enhanced persistence and strategic thinking following evaluative processing of upward counterfactuals. (shrink)

The dual role of olfaction in both smelling and tasting, i.e. flavour perception, makes it an important test case for philosophical theories of sensory individuation. Indeed, the psychologist Paul Rozin claimed that olfaction is a “dual sense”, leading some scientists and philosophers to propose that we have not one, but two senses of smell: orthonasal and retronasal olfaction. In this paper I consider how best to understand Rozin’s claim, and upon what grounds one might judge there to be one or (...) two distinct olfactory modalities. I conclude that while Rozin may be right that humans have dual occurrences of an olfactory ‘sense’, the concept of a sense-modality, and hence the ‘sense’ of smell, is ambiguous between two different notions: a physiological sensory channel and an experiential modality, along the lines suggested by J. J. Gibson. Furthermore, recognising that these are complementary rather than competing conceptions of a sense-modality enables the formulation of a powerful ‘dual-concept’ framework for posing and addressing questions concerning the complex architecture of human multisensory experience. (shrink)

This paper defends the use of imaginary cases in normative theorizing. Imaginary cases are used as a part of an argument and should be assessed in terms of the role they play within arguments. The paper identifies five ways in which they are used and then uses some of the best examples to bring out how they contribute to debates. While not directly akin to empirical experiments, criticisms of imaginary cases can be represented in terms of the well‐known distinction between (...) internal and external validity in social science experiments. While imaginary cases can suffer from internal and external validity problems, these do not constitute a decisive critique of their use as a method of analysis. Criticisms of imaginary cases should detail the precise form in which they are used, and why any particular use is invalid, internally or externally, in the context of the argument for which the case is presented. (shrink)

Counterfactual thinking involves the imagination of non-factual alternatives to reality. We investigated the spontaneous generation of both upward counterfactuals, which improve on reality, and downward counterfactuals, which worsen reality. All subjects gained $5 playing a computer-simulated blackjack game. However, this outcome was framed to be perceived as either a win, a neutral event, or a loss. "Loss" frames produced more upward and fewer downward counterfactuals than did either "win" or "neutral" frames, but the overall prevalence of counterfactual thinking did not (...) vary with outcome valence. In addition, subjects who expected to play the game again made more upward counterfactuals and were less satisfied with the outcome than were subjects who did not expect to play again. However, once subjects saw the cards from which they could have selected had they "hit" again (two winning cards and two losing cards), all subjects generated primarily upward counterfactuals and showed a corresponding decrease in satisfaction. These results implicate both cognitive and motivational factors in the generation of counterfactuals and tell us something about the functional value of counterfactual thinking: downward counterfactuals provide comfort; upward counterfactuals prepare one for the future. (shrink)

In some lottery situations, the probability that your ticket's a loser can get very close to 1. Suppose, for instance, that yours is one of 20 million tickets, only one of which is a winner. Still, it seems that (1) You don't know yours is a loser and (2) You're in no position to flat-out assert that your ticket is a loser. "It's probably a loser," "It's all but certain that it's a loser," or even, "It's quite certain that it's (...) a loser" seem quite alright to say, but, it seems, you're in no position to declare simply, "It's a loser." (1) and (2) are closely related phenomena. In fact, I'll take it as a working hypothesis that the reason "It's a loser" is unassertable is that (a) You don't seem to know that your ticket's a loser, and (b) In flat-out asserting some proposition, you represent yourself as knowing it.1 This working hypothesis will enable me to address these two phenomena together, moving back and forth freely between them. I leave it to those who reject the hypothesis to sort out those considerations which properly apply to the issue of knowledge from those germane to that of assertability. Things are quite different when you report the results of last night's basketball game. Suppose your only source is your morning newspaper, which did not carry a story about the 1 game, but simply listed the score, "Knicks 83, at Bulls 95," under "Yesterday's Results." Now, it doesn't happen very frequently, but, as we all should suspect, newspapers do misreport scores from time to time. On several occasions, my paper has transposed a result, attributing to each team the score of its opponent. In fact, that your paper's got the present result wrong seems quite a bit more probable than that you've won the lottery of the above paragraph. Still, when asked, "Did the Bulls win yesterday?", "Probably" and "In all likelihood" seem quite unnecessary. "Yes, they did," seems just fine.. (shrink)

This article reviews research on counterfactual, social, and temporal comparisons and proposes a Reflection and Evaluation Model (REM) as an organizing framework. At the heart of the model is the assertion that 2 psychologically distinct modes of mental simulation operate during comparative thinking: reflection, an experiential (“as if”) mode of thinking characterized by vividly simulating that information about the comparison standard is true of, or part of, the self; and evaluation, an evaluative mode of thinking characterized by the use of (...) information about the standard as a reference point against which to evaluate one’s present standing. Reflection occurs when information about the standard is included in one’s self-construal, and evaluation occurs when such information is excluded. The result of reflection is that standard–consistent cognitions about the self become highly accessible, thereby yielding affective assimilation; whereas the result of evaluation is that comparison information is used as a standard against which one’s present standing is evaluated, thereby yielding affective contrast. The resulting affect leads to either an increase or decrease in behavioral persistence as a function of the type of task with which one is engaged, and a combination of comparison-derived causal inferences and regulatory focus strategies direct one toward adopting specific future action plans. (shrink)

Encouraging people to consider multiple alternatives appears to be a useful debiasing technique for reducing many biases (explanation, hindsight, and overconfidence), if the generation of alternatives is experienced as easy. The present research tests whether these alternative generation procedures induce a mental simulation mind-set (cf. Galinsky & Moskowitz, 2000), such that debiasing in one domain transfers to debias judgments in unrelated domains. The results indeed demonstrated that easy alternative generation tasks not only debiased judgments in the same domain but also (...) generalized to debias judgments in unrelated domains, provided that participants were low in the need for structure. The alternative generation tasks (even when they were easy to perform) showed no evidence of activating a mental simulation mind-set in individuals high in need for structure, as these individuals displayed no transfer effects. Implications of the results for understanding the role of the need for structure, ease of generation, and mental simulation mind-set activation for debiasing are discussed. (shrink)

Three studies examined the motivational implications of thinking about how things could have been worse. It was hypothesized that when these downward counterfactuals yield negative affect, through consideration of the possibility of a negative outcome, motivation to change and improve would be increased (the wake-up call). When downward counterfactuals yield positive affect, through diminishing the impact of a potentially negative outcome, motivation to change and improve should be reduced (the Pangloss effect). Results from three studies supported these hypotheses. Studies 1 (...) and 2 showed that a manipulation of the counterfactual made about an investment influenced decisions toward that investment. Study 3 showed that students’ academic motivation was influenced by a manipulation of the type of downward counterfactual they made after an exam and that affect mediated the relationship between the counterfactual and motivation. (shrink)

Previous research has suggested that an effective strategy for debiasing judgments is to have participants "consider the opposite." The present research proposes that considering any plausible alternative outcome for an event, not just the opposite outcome, leads participants to simulate multiple alternatives, resulting in debiased judgments. Three experiments tested this hypothesis using an explanation task paradigm. Participants in all studies were asked to explain either 1 hypothetical outcome (single explanation conditions) or 2 hypothetical outcomes (multiple explanation conditions) to an event; (...) after the explanation task, participants made likelihood judgments. The results of Studies 1 and 2 indicated that debiasing occurred in all multiple explanation conditions, including those that did not involve the opposite outcome. Furthermore, the findings indicated that debiased judgments resulted from participants' spontaneous consideration of additional alternatives in making their likelihood judgments. The results of Study 3 also identified the perceived plausibility of the explained alternative as an important moderating variable in debiasing. (shrink)

Deepfakes pose a multi-faceted threat to the acquisition of knowledge. It is widely hoped that technological solutions—in the form of artificially intelligent systems for detecting deepfakes—will help to address this threat. I argue that the prospects for purely technological solutions to the problem of deepfakes are dim. Especially given the evolving nature of the threat, technological solutions cannot be expected to prevent deception at the hands of deepfakes, or to preserve the authority of video footage. Moreover, the success of such (...) technologies depends on institutional trust that is in short supply. Finally, outsourcing the discrimination between the real and the fake to automated, largely opaque systems runs the risk of undermining epistemic autonomy. (shrink)

This paper identifies and elucidates the underappreciated phenomenon of epistemic domination. Epistemic domination is the nonmutual capacity of one party to control the evidence available to another. Where this capacity is exercised, especially by parties that are ill-intentioned or ill-informed, the dominated party may have difficulty attaining epistemically valuable states. I begin with a discussion of epistemic domination and how it is possible. I then highlight three negative consequences that may result from epistemic domination.

Philosophers who study conspiracy theories have increasingly addressed the questions of where conspiracy theories come from, what such theories do, and what to do about them. This essay serves as a commentary on the answers to these questions offered by contributors to this special issue.

Exploring the metaphysics of time, this book examines key questions about the nature of time. It begins by examining the distinction between the two main theories of time, the static view and the tensed view, arguing that the temporal properties of ‘past’, ‘present’ and ‘future’ are not in fact properties of events. Other topics also discussed include fatalism, the ‘open’ future, death and dying, whether there are logical impediments to travelling in time, and the metaphysical implications of precognition. Revised and (...) expanded second edition . (shrink)

Counterfactual thinking—the capacity to reflect on what would, could, or should have been if events had transpired differently—is a pervasive, yet seemingly paradoxical human tendency. On the one hand, counterfactual thoughts can be comforting and inspiring (Carroll & Shepperd, Chapter 28), but on the other they can be anxiety provoking and depressing (Zeelenberg & Pieters, Chapter 27). Likewise, such thoughts can illuminate pathways toward better future outcomes (Wong, Galinsky, & Kray, Chapter 11), yet they can also promote confusion and lead (...) us astray (Sanna, Schwarz, & Kennedy, Chapter 13). The first part of this chapter focuses on work that supports the prevailing Zeitgeist in the counterfactual thinking literature: Counterfactual thinking is beneficial. The second part of the chapter, however, strikes a more cautionary tone by reviewing work that describes some deleterious consequences of counterfactual thinking. We conclude by offering a tentative reconciliation of these conflicting perspectives and suggesting directions for future research. (shrink)

The goal of the current chapter is to discuss how counterfactual thinking serves a more general sense-making function and to delineate the mechanisms by which this may occur. To demonstrate the meaning as sense-making function of counterfactual thinking, we (Lindberg & Markman, 2012) selected a historical event that was likely to be compelling to most student participants, yet not one with which most students would be familiar. This allowed for the manipulation of event details for the purpose of examining underlying (...) cognitive mechanisms believed to influence the sense-making process. Two sets of studies were conducted. The current work lends further support for the sense-making function of counterfactual thinking. (shrink)