The necessity of origin suggests that a person’s identity is determined by the particular pair of gametes from which the person originated. An implication is that speculative scenarios concerning how we might otherwise have been had our gametic origins been different are dismissed as being metaphysically impossible. Given, however, that many of these speculations are intelligible and commonplace in the discourses of competent speakers, it is overhasty to dismiss them as mistakes. This paper offers a way of understanding these speculations (...) that does not commit them to incoherence but aims to make the best sense of what they are expressing. Using the philosophical framework of two‐dimensional semantics, it proposes that the speculative scenarios are best analysed as epistemic possibilities, rather than as metaphysical possibilities. It then explores some implications of this analysis for the ethical challenges associated with the non‐identity problem. (shrink)

My aim in this paper is to give a philosophical analysis of the relationship between contingently available technology and the knowledge that it makes possible. My concern is with what specific subjects can know in practice, given their particular conditions, especially available technology, rather than what can be known “in principle” by a hypothetical entity like Laplace’s Demon. The argument has two parts. In the first, I’ll construct a novel account of epistemic possibility that incorporates two pragmatic conditions: (...) responsibility and practicability. For example, whether subjects can gain knowledge depends in some circumstances on whether they have the capability of gathering relevant evidence. In turn, the possibility of undertaking such investigative activities depends in part on factors like ethical constraints, economical realities, and available technology. In the second part of the paper, I’ll introduce “technological possibility” to analyze the set of actions made possible by available technology. To help motivate the problem and later test my proposal, I’ll focus on a specific historical case, one of the earliest uses of digital electronic computers in a scientific investigation. I conclude that the epistemic possibility of gaining access to scientific knowledge about certain subjects depends (in some cases) on the technological possibility for making responsible investigations. (shrink)

Metaphysically possible worlds have many uses. Epistemically possible worlds promise to be similarly useful, especially in connection with propositions and propositional attitudes. However, I argue that there is a serious threat to the natural accounts of epistemically possible worlds, from a version of Russell’s paradox. I contrast this threat with David Kaplan’s problem for metaphysical possible world semantics: Kaplan’s problem can be straightforwardly rebutted, the problems I raise cannot. I argue that although there may be coherent accounts of epistemically possible (...) worlds with fruitful applications, any such an account must fundamentally compromise the basic idea behind epistemic possibility. (shrink)

A number of authors, including me, have argued that the output of our most complex climate models, that is, of global climate models and Earth system models, should be assessed possibilistically. Worries about the viability of doing so have also been expressed. I examine the assessment of the output of relatively simple climate models in the context of discovery and point out that this assessment is of epistemic possibilities. At the same time, I show that the concept of (...) class='Hi'>epistemic possibility used in the relevant studies does not fit available analyses of this concept. Moreover, I provide an alternative analysis that does fit the studies and broad climate modelling practices as well as meshes with my existing view that climate model assessment should typically be of real possibilities. On my analysis, to assert that a proposition is epistemically possible is to assert that it is not known to be false and is consistent with at least approximate knowledge of the basic way things are. I, finally, consider some of the implications of my discussion for available possibilistic views of climate model assessment and for worries about such views. I conclude that my view helps to address worries about such assessment and permits using the full range of climate models in it. (shrink)

Although epistemic possibility figures in several debates, those debates have had relatively little contact with one another. G. E. Moore focused squarely upon analyzing epistemic uses of the phrase, ‘It’s possible that p’, and in doing so he made two fundamental assumptions. First, he assumed that epistemic possibility statements always express the epistemic position of a community, as opposed to that of an individual speaker. Second, he assumed that all epistemic uses of ‘It’s (...) possible that p’ are analyzable in terms of knowledge, not belief. A number of later theorists, including Keith DeRose, provide alternative accounts of epistemic possibility, while retaining Moore’s two assumptions. Neither assumption has been explicitly challenged, but Jaakko Hintikka’s analysis provides a basis for doing so. Drawing upon Hintikka’s analysis, I argue that some epistemic possibility statements express only the speaker’s individual epistemic state, and that contra DeRose, they are not degenerate community statements but a class in their own right. I further argue that some linguistic contexts are belief- rather than knowledge-based, and in such contexts, what is possible for a speaker depends not upon what she knows, but upon what she believes. (shrink)

According to a recent proposal, the epistemic aim of metaphysics as a discipline is to chart the different viable theories of metaphysical objects of inquiry (e.g. causation, persistence). This paper elaborates on and seeks to improve on that proposal in two related ways. First, drawing on an analogy with how-possibly explanation in science, I argue that we can usefully understand this aim of metaphysics as the charting of epistemically possible answers to metaphysical questions. Second, I argue that in order (...) to account for the epistemic goodness of this aim, one should appeal to the epistemic value it has in virtue of providing resources for non-factive understanding of the objects of metaphysical inquiry.**This paper is forthcoming in a special issue of Argumenta on the Epistemology of Metaphysics**. (shrink)

To reject skepticism and lay the foundation for the certainty of knowledge, Kant raised the question of how synthetic a priori proposition is possible. In his solution, the new content of knowledge comes from the syntheses of experience a posteriori, and the universal necessity of knowledge is guaranteed by it’s a priority. Under the influence of Kant, the concept of a priori and necessity has long been regarded as coextensive. But Saul Kripke believes that this will confuse different philosophical fields: (...) a priori is an epistemological concept, which involves the way or means of acquiring knowledge, and necessity is a metaphysical concept, which involves the possible ways or states of the world. The key point is that, on Kripke, there is no necessary connection between these two fields. He raised some famous examples of the necessary a posteriori. More remarkably, in his explanation of necessary a posteriori, although he did not clearly propose the distinction between epistemic possibility and metaphysical possibility, he had laid the foundation for this distinction. Furthermore, on Manuel Garcia-Carpintero and Josep Macia, when Kripke talks about necessary a posteriori by appealing to two relevant expressions, what he proposed can be taken as kind of ‘blueprint for 2-D accounts’. (Manuel Garcia-Carpintero and Josep Macia, 2006, p.2) There are different forms of two-dimensionalism in semantics. I will focus on David Chalmers’s epistemic version and Scott Soames’ criticism. With the framework of possible world semantics established by Kripke and others, David Chalmers’ epistemic two-dimensionalism deals with the relationship between epistemic and metaphysical modalities from a quite different perspective, and then gives an elegant definition to necessary a posteriori and other modal concepts. Scott Soames criticized two-dimensionalism based on Kripke's modal realism and essentialism, and developed Kripke's account of necessary a posteriori. But according to Chalmers, Soames also uses a two-dimensional system himself to analyze cases of the necessary a posteriori. In the first two part of this paper I will briefly introduce the epistemic two-dimensionalism and specify the similarities between Kripke-Soames and Chalmers when they interpret necessary a posteriori. In the third part I turn to their difference by the analysis of relationship between epistemic possibility and metaphysical possibility which is the key issue for illuminating necessary a posteriori. (shrink)

A Benacerraf–Field challenge is an argument intended to show that common realist theories of a given domain are untenable: such theories make it impossible to explain how we’ve arrived at the truth in that domain, and insofar as a theory makes our reliability in a domain inexplicable, we must either reject that theory or give up the relevant beliefs. But there’s no consensus about what would count here as a satisfactory explanation of our reliability. It’s sometimes suggested that giving such (...) an explanation would involve showing that our beliefs meet some modal condition, but realists have claimed that this sort of modal interpretation of the challenge deprives it of any force: since the facts in question are metaphysically necessary and so obtain in all possible worlds, it’s trivially easy, even given realism, to show that our beliefs have the relevant modal features. Here I show that this claim is mistaken—what motivates a modal interpretation of the challenge in the first place also motivates an understanding of the relevant features in terms of epistemic possibilities rather than metaphysical possibilities, and there are indeed epistemically possible worlds where the facts in question don’t obtain. (shrink)

The Capgras delusion is a condition in which a person believes that an imposter has replaced some close friend or relative. Recent theorists have appealed to Bayesianism to help explain both why a subject with the Capgras delusion adopts this delusional belief and why it persists despite counter-evidence. The Bayesian approach is useful for addressing these questions; however, the main proposal of this essay is that Capgras subjects also have a delusional conception of epistemic possibility, more specifically, they (...) think more things are possible, given what is known, than non-delusional subjects do. I argue that this is a central way in which their thinking departs from ordinary cognition and that it cannot be characterized in Bayesian terms. Thus, in order to fully understand the cognitive processing involved in the Capgras delusion, we must move beyond Bayesianism. 1 The Simple Bayesian Model2 Anomalous Evidence and the Capgras Delusion3 Impaired Reasoning4 Setting Priors5 Epistemic Modality6 Delusions of Possibility7 Delusions of Possibility in Different Contexts8 How Many Factors? (shrink)

In this paper it is argued that the conjunction of linguistic ersatzism, the ontologically deflationary view that possible worlds are maximal and consistent sets of sentences, and possible world semantics, the view that the meaning of a sentence is the set of possible worlds at which it is true, implies that no actual speaker can effectively use virtually any language to successfully communicate information. This result is based on complexity issues that relate to our finite computational ability to deal with (...) large bodies of information and a strong, but well motivated, assumption about the cognitive accessibility of meanings of sentences ersatzers seem to be implicitly committed to. It follows that linguistic ersatzism, possible world semantics, or both must be rejected. (shrink)

There are many ways to understand the meanings of the #MeToo movement. Analyses of its significance have proliferated in popular media; some academic analyses have also recently appeared. Commentary on the philosophical and epistemic significance of the #MeToo movement has been less plentiful. The specific moment of the #MeToo movement in which Dr. Christine Blasey Ford’s testimony garnered a widespread social media response from sexual violence survivors highlighted the power of a particular form of epistemic response, what I (...) call ‘epistemic refusal.’ In breaking our silence, those of us who are sexual violence survivors have used this strategy to refuse the dominant epistemic structures that have kept us tightly in check. Mass informal disclosure of survivor status represented in conjunction with hashtags such as #MeToo, #WhyIDidntReport, and #BelieveHer creates space for epistemic, ethical, and political community between survivors of sexual violence by denying hegemonic epistemic discourses of contemporary rape culture. Regarding Dr. Blasey Ford’s testimony and the social media response it garnered, analysis of three main elements proves particularly illuminating: the nature of mass informal disclosure of sexual violence, what the hashtag #WhyIDidntReport reveals about refusing silence, and what the hashtags #BelieveHer and #BelieveSurvivors can show us about what it takes to begin to overcome epistemic gaslighting. (shrink)

Typically, nudging is a technique for steering the choices of people without giving reasons or using enforcement. In benevolent cases, it is used when people are insufficiently responsive to reason. The nudger triggers automatic cognitive mechanisms – sometimes even biases – in smart ways in order to push irrational people in the right direction. Interestingly, this technique can also be applied to doxastic attitudes. Someone who is doxastically unresponsive to evidence can be nudged into forming true beliefs or doxastic attitudes (...) that are propositionally justified. When doxastic nudging uses non-rational mechanisms, the worry is that nudging cannot result in justified beliefs or knowledge, as the resulting doxastic attitudes lack the right kind of basis. In this paper, I will argue that given the right background views about knowledge, justified beliefs and the relevant processes, epistemic nudging is possible even in these cases. That is, all kinds of nudging can – in appropriate circumstances – produce justified beliefs or knowledge in the nudgee. (shrink)

In “The Possibility of Epistemic Nudging” (2021), I address a phenomenon that is widely neglected in the current literature on nudges: intentional doxastic nudging, i.e. people’s intentional influence over other people’s beliefs, rather than over their choices. I argue that, at least in brute cases, nudging is not giving reasons, but rather bypasses reasoning altogether. More specifically, nudging utilizes psychological heuristics and the nudged person’s biases in smart ways. The goal of my paper is to defend the claim (...) that nudging, even when it bypasses reasoning, can result in justified beliefs and knowledge. As I argue, it takes two things to accomplish this goal: suitable meta-epistemological views and appropriate circumstances. If a broadly reliabilist account of justified beliefs and knowledge is correct, and if the relevant belief-forming methods are externally individuated in the right way, then nudging to knowledge is possible. If, in addition, the nudger is knowledgeable, epistemically benevolent and systematically effective, then nudging to knowledge will become reality. In their replies Neil Levy (2021) and Jonathan Matheson and Valerie Joly Chock (2021), put pressure on my argument from different angles. Levy thinks that a better case can be made for his view that nudging is giving testimonial reasons, and finds my objections to this view unconvincing. Matheson and Joly Chock, on the other hand, point out that acquiring knowledge through nudging (i.e. epistemic nudging) is compatible with evidentialism, even if nudging is not giving reasons. On their view, evidentialism provides an explanation of epistemic nudging that is superior to my own account, which, according to them, also suffers from a number of counterintuitive consequences. I am grateful to my critics for raising these concerns, because considering them deepens our perspective on the target phenomenon, and has made me think harder about the relevant epistemological issues. Nevertheless, I am convinced that my core claims can be defended against these criticisms. (shrink)

The moral error theory, it seems, could be true. The mere possibility of its truth might also seem inconsequential. But it is not. For, I argue, there is a sense in which the moral error theory is possible that generates an argument against both non‐cognitivism and moral naturalism. I argue that it is an epistemic possibility that morality is subject to some form of wholesale error of the kind that would make the moral error theory true. Denying (...) this possibility has three unwelcome consequences such that allowing for and explaining it is an adequacy condition on meta‐ethical theories. Non‐cognitivism and moral naturalism, I argue, cannot capture the epistemic possibility of wholesale moral error and so are false. My argument additionally provides independent reason to accept Derek Parfit's claim that if moral non‐naturalism is false then nothing matters. I conclude that whether wholesale moral error is epistemically possible may be, in Richard Rorty's words, ‘one of those issues which puts everything up for grabs at once’ and that even if so, and even if non‐cognitivists and moral naturalists remain unmoved by an argument based upon it, this only helps to highlight the significance of my argument. (shrink)

Indicative judgments pertain to what is true. Epistemic modal judgments pertain to what must or might be true relative to a body of information. A standard view is that epistemic modals implicitly quantify over alternative possibilities, or ways things could turn out. On this view, a proposition must be true just in case it is true in all the possibilities consistent with the available information, and a proposition might be true just in case it is true in at (...) least one possibility consistent with the available information. I report three experiments testing this view of epistemic modals. The results show that although modal judgments are sensitive to information about alternative possibilities, the standard quantification theory mischaracterizes the ordinary meaning of modals. I then report two more experiments testing the hypothesis that epistemic modals express willingness to attribute knowledge based on the available information. The results support this hypothesis. The results also show that the difference between “inside” and “outside” probabilistic information, familiar from the judgment and decision-making literature, affects epistemic modal judgments. (shrink)

In “The Possibility of Epistemic Nudging” (2021), Thomas Grundmann examines nudging as applied to doxastic attitudes. Grundmann argues that given the right presuppositions about knowledge, justified beliefs, and the relevant belief-forming processes, doxastic nudging can result in justified beliefs and even knowledge in the nudgee. In this short response we will raise some critical concerns for Grundmann’s project as well as open up a path for epistemic nudges (nudges that result in justified beliefs or knowledge) that Grundmann (...) too quickly dismisses. (shrink)

When considering the question of possible transformation and disappearance of scientific objects, it is useful to distinguish between epistemic and technical objects. This paper presents preliminary observations and offers a typology of obsolescence. It is based on several case studies drawn from the history of life sciences. The paper proceeds as follows: first, the dynamics of epistemic objects is considered through the examples of Carl Correns’ study of “xenia”, Alfred Kühn’s work on physiological developmental genetics, and Paul Zamecnik’s (...) research on the protein biosynthesis. Second, the phasing out of technical objects is then separately discussed and illustrated by the example of radioactive tracing in biology – until recently, an established technique of visualization. (shrink)

When a proposition might be the case, for all an agent knows, we can say that the proposition is epistemically possible for the agent. In the standard possible worlds framework, we analyze modal claims using quantification over possible worlds. It is natural to expect that something similar can be done for modal claims involving epistemic possibility. The main aim of this paper is to investigate the prospects of constructing a space of worlds—epistemic space—that allows us to model (...) what is epistemically possible for ordinary, non-ideally rational agents like you and me. I will argue that the prospects look dim for successfully constructing such a space. In turn, this will make a case for the claim that we cannot use the standard possible worlds framework to model what is epistemically possible for ordinary agents. (shrink)

Gaining information can be modelled as a narrowing of epistemic space . Intuitively, becoming informed that such-and-such is the case rules out certain scenarios or would-be possibilities. Chalmers’s account of epistemic space treats it as a space of a priori possibility and so has trouble in dealing with the information which we intuitively feel can be gained from logical inference. I propose a more inclusive notion of epistemic space, based on Priest’s notion of open worlds yet (...) which contains only those epistemic scenarios which are not obviously impossible. Whether something is obvious is not always a determinate matter and so the resulting picture is of an epistemic space with fuzzy boundaries. (shrink)

Some how-possibly explanations have epistemic value because they are epistemically possible; we cannot rule out their truth. One paradoxical implication of that proposal is that epistemic value may be obtained from mere ignorance. For the less we know, then the more is epistemically possible. This chapter examines a particular class of problematic epistemically possible how-possibly explanations, viz. *epistemically opaque* how-possibly explanations. Those are how-possibly explanations justified by an epistemically opaque process. How could epistemically opaque how-possibly explanations have (...) class='Hi'>epistemic value if they result from a process about which we lack knowledge or understanding? This chapter proposes three different strategies to salvage epistemic value from epistemic opacity, namely salvaging value from 1) functional transparency, 2) modal operator interpretation, and 3) pursuitworthiness. It illustrates using cases from deep neural network modeling. (shrink)

Epistemic burdens – the nature and extent of our ignorance (that and how) with respect to various courses of action – serve to determine our incentive structures. Courses of action that seem to bear impossibly heavy epistemic burdens are typically not counted as options in an actor’s menu, while courses of action that seem to bear comparatively heavy epistemic burdens are systematically discounted in an actor’s menu relative to options that appear less epistemically burdensome. That ignorance serves (...) to determine what counts as an option means that epistemic considerations are logically prior to moral, prudential, and economic considerations: in order to have moral, prudential, or economic obligations, one must have options, and epistemic burdens serve to determine our options. One cannot have obligations without doing some epistemic work. We defend this claim on introspective grounds. We also consider how epistemic burdens distort surrogate decision-making. The unique epistemology of surrogate cases makes the priority of the epistemic readily apparent. We then argue that anyone who accepts a principle similar to ought implies can is committed to the logical priority of the epistemic. We also consider and reject several possible counterarguments. -/- . (shrink)

Epistemic akrasia arises when one holds a belief even though one judges it to be irrational or unjustified. While there is some debate about whether epistemic akrasia is possible, this paper will assume for the sake of argument that it is in order to consider whether it can be rational. The paper will show that it can. More precisely, cases can arise in which both the belief one judges to be irrational and one’s judgment of it are epistemically (...) rational in the sense that both are supported by sufficient evidence. (shrink)

Information is often modelled as a set of relevant possibilities, treated as logically possible worlds. However, this has the unintuitive consequence that the logical consequences of an agent's information cannot be informative for that agent. There are many scenarios in which such consequences are clearly informative for the agent in question. Attempts to weaken the logic underlying each possible world are misguided. Instead, I provide a genuinely psychological notion of epistemic possibility and show how it can be captured (...) in a formal model, which I call a fan. I then show how to use fans to build formal models of being informed, as well as knowledge, belief and information update. (shrink)

Farbod Akhlaghi (2021) argues that noncognitivists and naturalists cannot explain the epistemic possibility of wholesale moral error. This would show that noncognitivism and naturalism are false. I argue that noncognitivists and naturalists have no trouble explaining the epistemic possibility of wholesale moral error and that the requirement to explain this possibility is plausible only on one particular conception of epistemic possibility.

One’s involvement with the world seems limited merely to things as they are; hence, modal knowledge—knowledge of what could be or must be simpliciter—should be perplexing. Traditionally, the notion of conceivability has been regarded as crucial to an account of modal knowledge. I believe one has a good deal of such knowledge (though perhaps less than others presume one has). I maintain, however, that conceiving is utterly idle in acquiring modal knowledge: the conceivability of a proposition can provide no evidence (...) whatsoever that what it represents is possible. To show this, I first examine the basis of modal knowledge. I consider what conceivability in general is supposed to be and argue, in light of the preceding considerations, that conceivability is not epistemically efficacious, in the sense of providing evidence, on any proposed specific account. I then maintain that there could be no account of conceivability on which it is epistemically efficacious, that the very idea of the conceivability of a proposition being evidential is misguided. I conclude with some brief recommendations for pursuing a satisfactory modal epistemology. (shrink)

Many epistemologists call themselves ‘fallibilists’. But many philosophers of language hold that the meaning of epistemic usages of ‘possible’ ensures a close knowledge- possibility link : a subject’s utterance of ‘it’s possible that not-p’ is true only if the subject does not know that p. This seems to suggest that whatever the core insight behind fallibilism is, it can’t be that a subject could have knowledge which is, for them, possibly false. I argue that, on the contrary, subjects (...) can have such possibly false knowledge. My ultimate aim, then, is to vindicate a very robust form of fallibilism. Uniquely, however, the account I offer does this while also allowing that concessive knowledge attributions – sentences of the form “I know that p, but it’s possible that not-p” – are not only infelicitous but actually false whenever uttered. The account predicts this result without conceding KPL. I argue that my account has the resources to explain some related cases for which the KPL account yields the wrong predictions. Taken as a whole, the linguistic data not only do not support the proposal that subjects cannot have possibly false knowledge, but indeed positively favor the proposal that they can. (shrink)

There is a lot that we don’t know. That means that there are a lot of possibilities that are, epistemically speaking, open. For instance, we don’t know whether it rained in Seattle yesterday. So, for us at least, there is an epistemic possibility where it rained in Seattle yesterday, and one where it did not. It’s tempting to give a very simple analysis of epistemic possibility: • A possibility is an epistemic possibility if (...) we do not know that it does not obtain. But this is problematic for a few reasons. One issue, one that we’ll come back to, concerns the first two words. The analysis appears to quantify over possibilities. But what are they? As we said, that will become a large issue pretty soon, so let’s set it aside for now. A more immediate problem is that it isn’t clear what it is to have de re attitudes towards possibilities, such that we know a particular possibility does or doesn’t obtain. Let’s try rephrasing our analysis so that it avoids this complication. (shrink)

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

Epistemic invariantism, or invariantism for short, is the position that the proposition expressed by knowledge sentences does not vary with the epistemic standard of the context in which these sentences can be used. At least one of the major challenges for invariantism is to explain our intuitions about scenarios such as the so-called bank cases. These cases elicit intuitions to the effect that the truth-value of knowledge sentences varies with the epistemic standard of the context in which (...) these sentences can be used. In this paper, I will defend invariantism against this challenge by advocating the following, somewhat deflationary account of the bank case intuitions: Readers of the bank cases assign different truth-values to the knowledge claims in the bank cases because they interpret these scenarios such that the epistemic position of the subject in question differs between the high and the low standards case. To substantiate this account, I will argue, first, that the bank cases are underspecified even with respect to features that should uncontroversially be relevant for the epistemic position of the subject in question. Second, I will argue that readers of the bank cases will fill in these features differently in the low and the high standards case. In particular, I will argue that there is a variety of reasons to think that the fact that an error-possibility is mentioned in the high standards case will lead readers to assume that this error-possibility is supposed to be likely in the high standards case. (shrink)

Epistemic internalism, by stressing the indispensability of the subject’s perspective, strikes many as plausible at first blush. However, many people have tended to reject the position because certain kinds of beliefs have been thought to pose special problems for epistemic internalism. For example, internalists tend to hold that so long as a justifier is available to the subject either immediately or upon introspection, it can serve to justify beliefs. Many have thought it obvious that no such view can (...) be correct, as it has been alleged that internalism cannot account for the possibility of the justification of beliefs stored in memory. -/- My aim in this paper is to offer a response that explains how memory justification is possible in a way that is consistent with epistemic internalism and an awareness condition on justification. Specifically, I will explore the plausibility of various options open to internalists, including both foundationalist and non-foundationalist approaches to the structure of justification. I intend to show that despite other difficult challenges that epistemic internalism might face, memory belief poses no special problems that the resources of internalism cannot adequately address. (shrink)

Duncan Pritchard has argued that luck is fundamentally a modal notion: an event is lucky when it occurs in the actual world, but does not occur in more than half of the relevant nearby possible worlds. Jennifer Lackey has provided counterexamples to accounts which, like Pritchard’s, only allow for the existence of improbable lucky events. Neil Levy has responded to Lackey by offering a modal account of luck which attempts to respect the intuition that some lucky events occur in more (...) than half of the relevant nearby possible worlds. But his account rejects that events which are as likely as those in Lackey’s examples are lucky. Instead, they are merely fortunate. I argue that Levy’s argument to this effect fails. I then offer a substitute account of the improbability condition which respects this intuition. This condition says that the relevant notion of probability for luck is epistemic. (shrink)

Temporal epistemic logics are known, from results of Halpern and Vardi, to have a wide range of complexities of the satisfiability problem: from PSPACE, through non-elementary, to highly undecidable. These complexities depend on the choice of some key parameters specifying, inter alia, possible interactions between time and knowledge, such as synchrony and agents' abilities for learning and recall. In this work we develop practically implementable tableau-based decision procedures for deciding satisfiability in single-agent synchronous temporal-epistemic logics with interactions between (...) time and knowledge. We discuss some complications that occur, even in the single-agent case, when interactions between time and knowledge are assumed and show how the method of incremental tableaux can be adapted to work in EXPSPACE, respectively 2EXPTIME, for these logics, thereby also matching the upper bounds obtained for them by Halpern and Vardi. (shrink)

‘Epistemic exploitation occurs when privileged persons compel marginalised knowers to educate them [and others] about the nature of their oppression’ (Berenstain, 2016, p. 569). This paper scrutinizes some of the purported wrongs underpinning this practice, so that educators might be better equipped to understand and avoid or mitigate harms which may result from such interventions. First, building on the work of Berenstain and Davis (2016), we argue that when privileged persons (in this context, educators) repeatedly compel marginalised or oppressed (...) knowers, to not only to educate them, but indeed others, about the nature of their oppression, they risk subjecting them to further epistemic-moral harms. This is due to the likelihood that at least some of their audience will assign them less/more credibility than they deserve based on pre-existing identity-based prejudices. Second, though some of these requests to ‘educate’ or ‘learn more’ masquerade as seemingly virtuous or innocuous epistemic inquiries, privileged persons underestimate or remain ignorant of secondary harms which stem from internalized epistemic obligations, oppressive double-binds (Hirji, 2021), and attendant emotional burdens oppressed knowers carry in relation to the ever-present possibility of ameliorating oppressor mindsets. After surveying each context-specific harm briefly, we then turn to an applied reading of how these exploitative practices sometimes culminate in something we refer to as ‘ontic burnout’, a form of interminable explanatory fatigue brought on by repeated requests to educate the privileged about what it means to be oppressed. (shrink)

Epistemic logics based on the possible worlds semantics suffer from the problem of logical omniscience, whereby agents are described as knowing all logical consequences of what they know, including all tautologies. This problem is doubly challenging: on the one hand, agents should be treated as logically non-omniscient, and on the other hand, as moderately logically competent. Many responses to logical omniscience fail to meet this double challenge because the concepts of knowledge and reasoning are not properly separated. In this (...) paper, I present a dynamic logic of knowledge that models an agent’s epistemic state as it evolves over the course of reasoning. I show that the logic does not sacrifice logical competence on the altar of logical non- omniscience. (shrink)

In disagreements about trivial matters, it often seems appropriate for disputing parties to adopt a ‘middle ground’ view about the disputed matter. But in disputes about more substantial controversies (e.g. in ethics, religion, or politics) this sort of doxastic conduct can seem viciously acquiescent. How should we distinguish between the two kinds of cases, and thereby account for our divergent intuitions about how we ought to respond to them? One possibility is to say that ceding ground in a trivial (...) dispute is appropriate because the disputing parties are usually epistemic peers within the relevant domain, whereas in a more substantial disagreement the disputing parties rarely, if ever, qualify as epistemic peers, and so ‘sticking to one’s guns’ is usually the appropriate doxastic response. My aim in this paper is to explain why this way of drawing the desired distinction is ultimately problematic, even if it seems promising at first blush. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large (...) cardinal axioms, undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

ABSTRACTRecent debate over the semantics and pragmatics of epistemic modals has focused on intuitions about cross-contextual truth-value assessments. In this paper, we advocate a different approach to evaluating theories of epistemic modals. Our strategy focuses on judgments of the incompatibility of two different epistemic possibility claims, or two different truth value assessments of a single epistemic possibility claim. We subject the predictions of existing theories to empirical scrutiny, and argue that existing contextualist and relativist (...) theories are unable to account for the full pattern of observed judgments. As a way of illustrating the theoretical upshot of these results, we conclude by developing a novel theory of epistemic modals that is able to predict the results. (shrink)

It has often been noticed that conciliatory views of disagreement are "self-undermining" in a certain way: advocates of such views cannot consistently maintain them when other philosophers disagree. This leads to apparent problems of instability and even inconsistency. Does self-undermining, then, show conciliationism untenable? If so, the untenablity would extend not only to almost all views of disagreement, but to a wide range of other views supporting what one might call epistemic modesty: roughly, the idea that getting evidence that (...) one has made an epistemic error in arriving at one’s opinion may require adjusting that opinion. This paper argues that the phenomenon of self-undermining does not disclose any defect in views mandating epistemic modesty. Instead, it highlights an uncomfortable but natural consequence of reflecting on one's own possible epistemic imperfections, a sort of reflection that tends to cause epistemic ideals to conflict. (shrink)

This paper focuses on Martin Montminy’s recent attempt to show that assertion and practical reasoning are necessarily governed by the same epistemic norm (“Why assertion and practical reasoning must be governed by the same epistemic norm”, Pacific Philosophical Quarterly [2013]). I show that the attempt fails. I finish by considering the upshot for the recent debate concerning the connection between the epistemic norms of assertion and practical reasoning.

This paper proposes a conceptual framework for evaluating how social networking platforms fare as epistemic environments for human users. I begin by proposing a situated concept of epistemic agency as fundamental for evaluating epistemic environments. Next, I show that algorithmic personalisation of information makes social networking platforms problematic for users’ epistemic agency because these platforms do not allow users to adapt their behaviour sufficiently. Using the tracing principle inspired by the ethics of self-driving cars, I operationalise (...) it here and identify three requirements that automated epistemic environments need to fulfil: (a) the users need to be afforded a range of skilled actions; (b) users need to be sensitive to the possibility to use their skills; (c) the habits built when adapting to the platform should not undermine the user’s pre-existing skills. I then argue that these requirements are almost impossible to fulfil all at the same time on current SN platforms; yet nevertheless, we need to pay attention to these whenever we evaluate an epistemic environment with automatic features. Finally, as an illustration, I show how Twitter, a popular social networking platform, will fare regarding these requirements. (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.

In this paper, we focus on the propensity toward identifying natural kinds with successful scientific categories in contemporary discussions of natural kinds within the philosophy of science. Success in this case is understood as the fulfillment of epistemic interests or goals in a given field of scientific research. The prevailing view is that, in order to have a theory of natural kinds that successfully captures current scientific practice, the relevant epistemic interests are the current interests of scientists working (...) in a particular field. In contrast, we concur with the Franklin-Hall (2015) that a wider range of possible interests needs to be taken into account, in order to avoid making natural kinds too dependent on the current stage of research. But unlike Franklin-Hall who suggests looking for an intersection between the interests and goals of current epistemic agents and our neighboring epistemic agents (the categorical bottleneck view), we advocate the view that all these different interests and goals need to be taken into account, and thus our view takes into account a much wider range of categories. (shrink)

This essay aims to vindicate the thesis that cognitive computational properties are abstract objects implemented in physical systems. I avail of Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory, in order to specify an abstraction principle for epistemic (hyper-)intensions. The homotopic abstraction principle for epistemic (hyper-)intensions provides an epistemic conduit for our knowledge of (hyper-)intensions as abstract objects. Higher observational type theory might be one way to make first-order abstraction principles defined via inference rules, (...) although not higher-order abstraction principles, computable. The truth of my first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable i.e. Turing computable and the Turing machine being physically implementable. Epistemic modality and hyperintensionality can thus be shown to be both a compelling and a materially adequate candidate for the fundamental structure of mental representational states, comprising a fragment of the language of thought. (shrink)

The idea that knowledge can be extended by inference from what is known seems highly plausible. Yet, as shown by familiar preface paradox and lottery-type cases, the possibility of aggregating uncertainty casts doubt on its tenability. We show that these considerations go much further than previously recognized and significantly restrict the kinds of closure ordinary theories of knowledge can endorse. Meeting the challenge of uncertainty aggregation requires either the restriction of knowledge-extending inferences to single premises, or eliminating epistemic (...) uncertainty in known premises. The first strategy, while effective, retains little of the original idea—conclusions even of modus ponens inferences from known premises are not always known. We then look at the second strategy, inspecting the most elaborate and promising attempt to secure the epistemic role of basic inferences, namely Timothy Williamson’s safety theory of knowledge. We argue that while it indeed has the merit of allowing basic inferences such as modus ponens to extend knowledge, Williamson’s theory faces formidable difficulties. These difficulties, moreover, arise from the very feature responsible for its virtue- the infallibilism of knowledge. (shrink)

Epistemically akratic agents believe both p and that believing p is irrational for them. Some of the costs of thinking that epistemic akrasia can be rational are clear. It is hypocritical, and outright weird, to have beliefs that we consider irrational, let alone to reason with or act on those beliefs. However, as Maria Lasonen-Aarnio (2020) and Brian Weatherson (2019) have argued, the weirdness of akrasia does not obviously tell against its rationality. Here I argue that views permitting (...) class='Hi'>epistemic akrasia fare worse than previously thought. These views imply that we should sometimes have beliefs that we know for certain are either irrational or false. And while having a belief that we know to be irrational is straightforwardly irrational, the additional possibility that the belief may be false cannot make having it any more rational. (shrink)

​I use network models to simulate social learning situations in which the dominant group ignores or devalues testimony from the marginalized group. I find that the marginalized group ends up with several epistemic advantages due to testimonial ignoration and devaluation. The results provide one possible explanation for a key claim of standpoint epistemology, the inversion thesis, by casting it as a consequence of another key claim of the theory, the unidirectional failure of testimonial reciprocity. Moreover, the results complicate the (...) understanding and application of previously discovered network epistemology effects, notably the Zollman effect (Zollman 2007, 2010). (shrink)

In this position paper, we argue that careless reliance on AI to answer our questions and to judge our output is a violation of Grice’s Maxim of Quality as well as a violation of Lemoine’s legal Maxim of Innocence, performing an (unwarranted) authority fallacy, and while lacking assessment signals, committing Type II errors that result from fallacies of the inverse. What is missing in the focus on output and results of AI-generated and AI-evaluated content is, apart from paying proper tribute, (...) the demand to follow a person’s thought process (or a machine’s decision processes). In deliberately avoiding Neural Networks that cannot explain how they come to their conclusions, we introduce logic-symbolic inference to handle any possible epistemics any human or artificial information processor may have. Our system can deal with various belief systems and shows how decisions may differ for what is true, false, realistic, unrealistic, literal, or anomalous. As is, stota AI such as ChatGPT is a sorcerer’s apprentice. (shrink)

Information providing and gathering increasingly involve technologies like search ‎engines, which actively shape their epistemic surroundings. Yet, a satisfying account ‎of the epistemic responsibilities associated with them does not exist. We analyze ‎automatically generated search suggestions from the perspective of social ‎epistemology to illustrate how epistemic responsibilities associated with a ‎technology can be derived and assigned. Drawing on our previously developed ‎theoretical framework that connects responsible epistemic behavior to ‎practicability, we address two questions: first, given the (...) different technological ‎possibilities available to searchers, the search technology, and search providers, ‎who should bear which responsibilities? Second, given the technology’s ‎epistemically relevant features and potential harms, how should search terms be ‎autocompleted? Our analysis reveals that epistemic responsibility lies mostly with ‎search providers, which should eliminate three categories of autosuggestions: those ‎that result from organized attacks, those that perpetuate damaging stereotypes, and ‎those that associate negative characteristics with specific individuals.‎. (shrink)

Certain situations seem to call for acknowledging the possibility that one’s own beliefs are biased or distorted. On the other hand, certain sorts of epistemic self-doubts (such as ‘I believe it’s raining, but it’s not’) seem paradoxical. And some have put forth epistemic principles requiring rational agents to regard their own credences as so-called ‘expert functions’. This paper examines the question of whether rationality requires agents to respect their own credences in a way in which they need (...) not respect the credences of others. (shrink)