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

People are motivated by shared social values that, when held with moral conviction, can serve as compelling mandates capable of facilitating support for ideological violence. The current study examined this dark side of morality by identifying specific cognitive and neural mechanisms associated with beliefs about the appropriateness of sociopolitical violence, and determining the extent to which the engagement of these mechanisms was predicted by moral convictions. Participants reported their moral convictions about a variety of sociopolitical issues prior to undergoing functional (...) MRI scanning. During scanning, they were asked to evaluate the appropriateness of violent protests that were ostensibly congruent or incongruent with their views about sociopolitical issues. Complementary univariate and multivariate analytical strategies comparing neural responses to congruent and incongruent violence identified neural mechanisms implicated in processing salience and in the encoding of subjective value. As predicted, neuro-hemodynamic response was modulated parametrically by individuals’ beliefs about the appropriateness of congruent relative to incongruent sociopolitical violence in ventromedial prefrontal cortex, and by moral conviction in ventral striatum. Overall moral conviction was predicted by neural response to congruent relative to incongruent violence in amygdala. Together, these findings indicate that moral conviction about sociopolitical issues serves to increase their subjective value, overriding natural aversion to interpersonal harm. (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)

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)

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)

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)

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)

The idea that there are five senses dates back to Aristotle, who was one of the first philosophers to examine them systematically. Though it has become conventional wisdom, many scientists and philosophers would argue that this idea is outdated and inaccurate. Indeed, they have given many different answers to this question, ranging from just three (the number of different kinds of physical energy we can detect) to 33 or more senses. Perhaps surprisingly, the issue remains controversial, partly because it is (...) not clear exactly what should count as a ‘sense’. Should proprioception, balance and kinaesthesis, amongst others, be considered additional senses? And if so, how do we figure out how many senses we really have? -/- (Published in Turkish under the title ‘Çok Duyumlu Algi’). (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)

Particularists maintain that conspiracy theories are to be assessed individually, while generalists hold that conspiracy theories may be assessed as a class. This paper seeks to clarify the nature and importance of the debate between particularism and generalism, while offering an argument for a version of generalism. I begin by considering three approaches to the definition of conspiracy theory, and offer reason to prefer an approach that defines conspiracy theories in opposition to the claims of epistemic authorities. I argue that (...) particularists rely on an untenably broad definition of conspiracy theory. Then, I argue that particularism and its counterpart are best understood as constellations of theses, rather than a pair of incompatible theses. While some particularist theses are highly plausible, I argue that one important particularist thesis is false. The argument for this conclusion draws on the history of false conspiracy theories. I then defend this conclusion against a pair of potential objections. (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)

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)

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)

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)

The central point is that the consciousness is an advanced information channel. Consciousness is not the seat of the self or free will. The action is in the sub-consciousness brain systems. Consciousness is a "just so story teller" consciousness collects and correlates scenes into sequential presentations. The function of consciousness is to provide a new information channel between other brain systems. The pre-consciousness communication between brain systems evolved and is limited by the possible pathways, these pathways did not provide the (...) possibility of a historical correlation or integration with a high level pattern of cause and effect at a significantly abstract but focused level. Consciousness provides this pathway. Consciousness provides this pathway by providing a method for the brain to take its existing expressions both visual and auditory and re-create a time line of experiences and conversations that are then re-presented to the rest of the brain through the existing sensory channels at the level of the brain. This is not a feedback loop in the simple sense, but a feedback loop of a rarified and extremely intensely processed, correlated and organized remembering. This allows the brains different functional entities to get information that it could not get from the evolved pre-consciousness internal pathways. These presentation are used by the other brain systems in a manner similar to any sensory input. This perspective would place Consciousness in the position of a cyber reality generator that feeds back to the rest of the brain. (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)

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)

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)

This article links recent work on assimilative and contrastive counterfactual thinking with research on the impact of accountability on judgment and choice. Relative to participants who felt accountable solely for bottom-line performance outcomes, participants who were accountable for their decision-making process (a) had more pronounced differential reactions to clearly winning versus (winning but) nearly losing and to clearly losing versus (losing but) nearly winning; (b) were less satisfied with the quality of their decisions when they nearly lost and more satisfied (...) with the quality of their decisions when they nearly won; and (c) invested less money into investments that nearly failed and more money into investments that nearly succeeded. This pattern is consistent with the hypothesis that process accountability amplified assimilative counterfactual thinking, whereas outcome accountability attenuated it. The evidence underscores the power of contextual features of the decision-making environment to shape key cognitive and affective consequences of upward and downward counterfactual comparisons. (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.

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)

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)

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)

This chapter examines when and how mental simulation--the consideration of alternatives to present reality--produces emotional responses that reflect either contrast or assimilation. The chapter begins with a description of a comparison domain that is most commonly associated with mental simulation--counterfactual thinking. Then the authors consider how mental simulation plays a critical role in determining assimilative and contrastive responses to other type of comparisons. The chapter concludes with a presentation of a model of mental simulation-based comparison processes and describe its relationship (...) to other contemporary comparison models. (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)

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

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)

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)

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.

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)

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)

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)

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)

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)