I offer a new, limited solution to divine hiddenness based on a particular epistemic paradox: sometimes, knowing about a desired outcome or relevant features of that desired outcome would prevent the outcome in question from occurring. I call these cases epistemically self-defeating situations. This solution, in essence, says that divine hiddenness or silence is a necessary feature of at least some morally excellent or desirable states of affairs. Given the nature of the paradox, an omniscient being cannot completely eliminate (...) hiddenness, just as an omnipotent being cannot create a rock so heavy that they cannot lift it. Epistemically self-defeating situations provide an undercutting defeater for the assumption that any nonresistant nonbeliever could always, at any time, be in conscious relationship with a perfectly loving God. Thankfully, silence is a temporary feature of epistemically self-defeating situations: once the outcome is achieved, agents can know in full. (shrink)

Paradoxes have played an important role both in philosophy and in mathematics and paradox resolution is an important topic in both fields. Paradox resolution is deeply important because if such resolution cannot be achieved, we are threatened with the charge of debilitating irrationality. This is supposed to be the case for the following reason. Paradoxes consist of jointly contradictory sets of statements that are individually plausible or believable. These facts about paradoxes then give rise to a deeply (...) troubling epistemic problem. Specifically, if one believes all of the constitutive propositions that make up a paradox, then one is apparently committed to belief in every proposition. This is the result of the principle of classical logical known as ex contradictione (sequitur) quodlibetthat anything and everything follows from a contradiction, and the plausible idea that belief is closed under logical or material implication (i.e. the epistemic closure principle). But, it is manifestly and profoundly irrational to believe every proposition and so the presence of even one contradiction in one’s doxa appears to result in what seems to be total irrationality. This problem is the problem of paradox-induced explosion. In this paper it will be argued that in many cases this problem can plausibly be avoided in a purely epistemic manner, without having either to resort to non-classical logics for belief (e.g. paraconsistent logics) or to the denial of the standard closure principle for beliefs. The manner in which this result can be achieved depends on drawing an important distinction between the propositional attitude of belief and the weaker attitude of acceptance such that paradox constituting propositions are accepted but not believed. Paradox-induced explosion is then avoided by noting that while belief may well be closed under material implication or even under logical implication, these sorts of weaker commitments are not subject to closure principles of those sorts. So, this possibility provides us with a less radical way to deal with the existence of paradoxes and it preserves the idea that intelligent agents can actually entertain paradoxes. (shrink)

An epistemic paradox detailed under Modal Logic.

The four primary epistemic paradoxes are the lottery, preface, knowability, and surprise examination paradoxes. The lottery paradox begins by imagining a fair lottery with a thousand tickets in it. Each ticket is so unlikely to win that we are justified in believing that it will lose.

SummaryA satisfactory analysis of the well‐known Hangman Paradox is not known to us. Two theses:1. The logical solution of the Hangman Paradox is easy and disappointing.2. The origins of the paradox are manifold and inexhaustible. We analyse particularly perspicuous tuneless version of the paradox due to Hollis .In a sequel which is to appear in Dialectica we analyse two versions of the original Hangman Paradox. Vorbemerkung: Der zweite Autor verdankt Henri Lauener menschlich und philosophisch mehr als dieser Artikel zeigen wird. (...) Es ist mir selten oder nie gelungen, Henri Lauener für eine meiner philosophischen Positionen zu pewinnen, aber ich glaube mich darin mit ihm einig, dass es sich lohnt, Formalismen ernst zu nehmen, um ihre Grenzen zu erkennen. (shrink)

This paper provides a new solution to the epistemic paradox of belief-instability, a problem of rational choice which has recently received considerable attention (versions of the problem have been discussed by — among others — Tyler Burge, Earl Conee, and Roy Sorensen). The problem involves an ideally rational agent who has good reason to believe the truth of something of the form:[Ap] p if and only if it is not the case that I accept or believe p.

In his papers ‘Semantic Paradox ’ and ‘The Liar Paradox: Tangles and Chains,’ Tyler Burge provides a hierarchical solution to the Liar paradox. And in his paper ‘Epistemic Paradox ’ Burge extends his hierarchy approach to the epistemic paradox of belief instability, which I shall explain shortly. Although Burge's views on the Liar paradox have been widely criticized, his views on the paradox of belief instability have not received notable attention. In this paper I shall argue that Burge's (...) proposal is inadequate as a solution to the paradox of belief instability. For this purpose, I shall criticize Burge's claim that a circular evaluation of a thought is impossible, which is crucial for his proposal. The question of whether or not a circular evaluation of belief is possible is of its own philosophical interest as well. (shrink)

Epistemic theories of truth, such as those presumed to be typical for anti-realism, can be characterised as saying that what is true can be known in principle: p → ◊Kp. However, with statements of the form “p & ¬Kp”, a contradiction arises if they are both true and known. Analysis of the nature of the paradox shows that such statements refute epistemic theories of truth only if the the anti-realist motivation for epistemic theories of truth is not (...) taken into account. The motivation in a link of understandability ans meaningful- ness suggests to change the above principle and to restrict the theory to logically simple sentences, in which case the paradox does not arise. This suggestion also allows to see the deep philosophical problems for anti-realism those counterexamples are pointing at. (shrink)

Does traditional Christianity involve paradoxical doctrines, that is, doctrines that present the appearance (at least) of logical inconsistency? If so, what is the nature of these paradoxes and why do they arise? What is the relationship between "paradox" and "mystery" in theological theorizing? And what are the implications for the rationality, or otherwise, of orthodox Christian beliefs? In Paradox in Christian Theology, James Anderson argues that the doctrines of the Trinity and the incarnation, as derived from Scripture and formulated (...) in the ecumenical creeds, are indeed paradoxical. But this conclusion, he contends, need not imply that Christians who believe these doctrines are irrational in doing so. In support of this claim, Anderson develops and defends a model of understanding paradoxical Christian doctrines according to which the presence of such doctrines is unsurprising and adherence to paradoxical doctrines cannot be considered as a serious intellectual obstacle to belief in Christianity. The case presented in this book has significant implications for the practice of systematic theology, biblical exegesis, and Christian apologetics. (shrink)

This short paper offers a skeptical solution to Åqvist's paradox of epistemic obligation. The solution is based on the contention that in SDL/KDT logics the externalist features of knowledge, about which we cannot have obligations, are obscured.

The article suggests a reading of the term ‘epistemic account of truth’ which runs contrary to a widespread consensus with regard to what epistemic accounts are meant to provide, namely a definition of truth in epistemic terms. Section 1. introduces a variety of possible epistemic accounts that differ with regard to the strength of the epistemic constraints they impose on truth. Section 2. introduces the paradox of knowability and presents a slightly reconstructed version of a (...) related argument brought forward by Wolfgang Künne. I accept the paradox and Künnes argument as sound objections to all the different epistemic accounts which are committed to one of the various constraints on truth introduced in section 1. Section 3. offers a modified epistemic constraint which, or so I argue, is immune to the paradox of knowability and plausible on independent grounds. (shrink)

Epistemic logic in the tradition of Hintikka provides, as one of its many applications, a toolkit for the precise analysis of certain epistemological problems. In recent years, dynamic epistemic logic has expanded this toolkit. Dynamic epistemic logic has been used in analyses of well-known epistemic “paradoxes”, such as the Paradox of the Surprise Examination and Fitch’s Paradox of Knowability, and related epistemic phenomena, such as what Hintikka called the “anti-performatory effect” of Moorean announcements. In (...) this paper, we explore a variation on basic dynamic epistemic logic—what we call sequential epistemic logic—and argue that it allows more faithful and fine-grained analyses of those epistemological topics. (shrink)

By pooling together exhaustive analyses of certain philosophical paradoxes, we can prove a series of fascinating results regarding philosophical progress, agreement on substantive philosophical claims, knockdown arguments in philosophy, the wisdom of philosophical belief, the epistemic status of metaphysics, and the power of philosophy to refute common sense. As examples, this Element examines the Sorites Paradox, the Liar Paradox, and the Problem of the Many – although many other paradoxes can do the trick too.

In this essay I present a new version of the Paradox of the Knower and show that this new paradox vitiates a certain argument against epistemic closure. I then prove a theorem that relates the new paradox to epistemological scepticism. I conclude by assessing the use of the Knower in arguments against syntactical treatments of knowledge.

Why can testimony alone be enough for findings of liability? Why statistical evidence alone can’t? These questions underpin the “Proof Paradox” (Redmayne 2008, Enoch et al. 2012). Many epistemologists have attempted to explain this paradox from a purely epistemic perspective. I call it the “Epistemic Project”. In this paper, I take a step back from this recent trend. Stemming from considerations about the nature and role of standards of proof, I define three requirements that any successful account in (...) line with the Epistemic Project should meet. I then consider three recent epistemic accounts on which the standard is met when the evidence rules out modal risk (Pritchard 2018), normic risk (Ebert et al. 2020), or relevant alternatives (Gardiner 2019 2020). I argue that none of these accounts meets all the requirements. Finally, I offer reasons to be pessimistic about the prospects of having a successful epistemic explanation of the paradox. I suggest the discussion on the proof paradox would benefit from undergoing a ‘value-turn’. (shrink)

The present work is motivated by two questions. (1) What should an intuitionistic epistemic logic look like? (2) How should one interpret the knowledge operator in a Kripke-model for it? In what follows we outline an answer to (2) and give a model-theoretic definition of the operator K. This will shed some light also on (1), since it turns out that K, defined as we do, fulfills the properties of a necessity operator for a normal modal logic. The interest (...) of our construction also lies in a better insight into the intuitionistic solution to Fitch's paradox, which is discussed in the third section. In particular we examine, in the light of our definition, De Vidi and Solomon's proposal of formulating the verification thesis as Φ → ¬¬KΦ. We show, as our main result, that this definition excapes the paradox, though it is validated only under restrictive conditions on the models. (shrink)

This essay corrects an error in the presentation of the Paradox of the Knowledge-Plus Knower, which is the variant of Kaplan and Montague’s Knower Paradox presented in C. Cross 2001: ‘The Paradox of the Knower without Epistemic Closure,’ MIND, 110, pp. 319–33. The correction adds a universally quantified transitivity principle for derivability as an additional assumption leading to paradox. This correction does not affect the status of the Knowledge-Plus paradox as a rebuttal to an argument against epistemic closure, (...) since the quantified transitivity principle is true in the standard model of arithmetic and therefore innocuous. (shrink)

Chalmers and Hájek argue that on an epistemic reading of Ramsey’s test for the rational acceptability of conditionals, it is faulty. They claim that applying the test to each of a certain pair of conditionals requires one to think that one is omniscient or infallible, unless one forms irrational Moore-paradoxical beliefs. I show that this claim is false. The epistemic Ramsey test is indeed faulty. Applying it requires that one think of anyone as all-believing and if one is (...) rational, to think of anyone as infallible-if-rational. But this is not because of Moore-paradoxical beliefs. Rather it is because applying the test requires a certain supposition about conscious belief. It is important to understand the nature of this supposition. (shrink)

The lottery paradox can be solved if epistemic justification is assumed to be a species of permissibility. Given this assumption, the starting point of the paradox can be formulated as the claim that, for each lottery ticket, I am permitted to believe that it will lose. This claim is ambiguous between two readings, depending on the scope of ‘permitted’. On one reading, the claim is false; on another, it is true, but, owing to the general failure of permissibility to (...) agglomerate, does not generate the paradox. The solution generalizes to formulations of the paradox in terms of rational acceptability and doxastic rationality. (shrink)

Epistemic logic in the tradition of Hintikka provides, as one of its many applications, a toolkit for the precise analysis of certain epistemological problems. In recent years, dynamic epistemic logic has expanded this toolkit. Dynamic epistemic logic has been used in analyses of well-known epistemic “paradoxes”, such as the Paradox of the Surprise Examination and Fitch’s Paradox of Knowability, and related epistemic phenomena, such as what Hintikka called the “anti-performatory effect” of Moorean announcements. In (...) this paper, we explore a variation on basic dynamic epistemic logic—what we call sequential epistemic logic—and argue that it allows more faithful and fine-grained analyses of those epistemological topics. (shrink)

We shall evaluate two strategies for motivating the view that knowledge is the norm of belief. The first draws on observations concerning belief's aim and the parallels between belief and assertion. The second appeals to observations concerning Moore's Paradox. Neither of these strategies gives us good reason to accept the knowledge account. The considerations offered in support of this account motivate only the weaker account on which truth is the fundamental norm of belief.

Thomas Kroedel argues that the lottery paradox can be solved by identifying epistemic justification with epistemic permissibility rather than epistemic obligation. According to his permissibility solution, we are permitted to believe of each lottery ticket that it will lose, but since permissions do not agglomerate, it does not follow that we are permitted to have all of these beliefs together, and therefore it also does not follow that we are permitted to believe that all tickets will lose. (...) I present two objections to this solution. First, even if justification itself amounts to no more than epistemic permissibility, the lottery paradox recurs at the level of doxastic obligations unless one adopts an extremely permissive view about suspension of belief that is in tension with our practice of doxastic criticism. Second, even if there are no obligations to believe lottery propositions, the permissibility solution fails because epistemic permissions typically agglomerate, and the lottery case provides no exception to this rule. (shrink)

Intellectually disabled students face particular barriers to epistemic participation within K–16 educational contexts. While negative forms of bias against intellectually disabled people play an important role in creating these barriers, this paper suggests that it is often because of the best intentions of educators and peers that intellectually disabled students are vulnerable to forms of epistemic injustice. The author outlines a form of epistemic injustice that operates through an educational practice widely regarded as serving the interests of (...) intellectually disabled students. ‘Epistemic ability profiling’ involves the identification of the epistemic consequences of disability in the service of promoting students’ best interests, or to create opportunities for their participation in epistemic communities. Epistemic ability profiling is a double-edged sword: it is important that educators understand and attend to the ways in which differences in ability shape students’ epistemic agency, and yet epistemic ability profiling operates against the background of a conceptually ableist conceptual terrain. As a result, epistemic ability profiling runs the risk of legitimating structural forms of injustice against intellectually disabled people. (shrink)

In “The Paradox of the Knower without Epistemic Closure”, MIND 110:319-33, 2001, I develop a version of the Knower Paradox which does not assume epistemic closure, and I use it to argue that the original Knower Paradox does not support an argument against epistemic closure. In “The Paradox of the Knower without Epistemic Closure?”, MIND 113:95-107, 2004, Gabriel Uzquiano, using his own result, argues that my rebuttal to the anti-closure argument is not successful. I respond here (...) by arguing that in order to use Uzquiano’s result in an argument against closure, one must assume an implausible skepticism about arithmetic. (shrink)

I hope to show that each of 1, 2, and 3 are plausible, yet we can derive 4: 1. It is epistemically permissible to believe that our preferred views in multi-proposition disputes are true, or at least more likely true than not. 2. If it is epistemically permissible to believe that our preferred views in multi-proposition disputes are true, or at least more likely true than not, then it is epistemically permissible for us to believe that we are über (...) class='Hi'>epistemic superiors to our disagreeing colleagues in multi-proposition disputes. 3. It is not epistemically permissible to believe that we are über epistemic superiors to our disagreeing colleagues in multi-proposition disputes. 4. At least one of 1, 2, or 3, is false. (shrink)

A minimal constraint on normative reasons seems to be that if some fact is a reason for an agent to φ (act, believe, or feel), the agent could come to know that fact. This constraint is threatened by a well-known type of counterexamples. Self-effacing reasons are facts that intuitively constitute reasons for an agent to φ, but that if they were to become known, they would cease to be reasons for that agent. The challenge posed by self-effacing reasons bears important (...) structural similarities with a range of epistemic paradoxes, most notably the Knowability Paradox. In this article, we investigate the similarities and differences between the two arguments. Moreover, we assess whether some of the approaches to the Knowability Paradox could help solve the challenge posed by self-effacing reasons. We argue that at least two popular approaches to the paradox can be turned into promising strategies for addressing the self-effacing reasons problem. (shrink)

If it is certain that performing an observation to determine whether P is true will in no way influence whether P is tme, then the proposition that the observation is performed ought to be probabilistically independent of P. Applying the notion of "observation" liberally, so that a wide variety of actions are treated as observations, this proposed new principle of belief revision yields the result that simple utihty maximization gives the correct solution to the Fisher smoking paradox and the two-box (...) solution to Newcomb's paradox. Contrary intuitions are explained as arising from mistakenly treating subjective probability as a measure of the intensity of conscious assent, whereas it ought to be regarded as measuring dispositions to action. (shrink)

If it is certain that performing an observation to determine whether P is true will in no way influence whether P is tme, then the proposition that the observation is performed ought to be probabilistically independent of P. Applying the notion of "observation" liberally, so that a wide variety of actions are treated as observations, this proposed new principle of belief revision yields the result that simple utihty maximization gives the correct solution to the Fisher smoking paradox and the two-box (...) solution to Newcomb's paradox. Contrary intuitions are explained as arising from mistakenly treating subjective probability as a measure of the intensity of conscious assent, whereas it ought to be regarded as measuring dispositions to action. (shrink)

I give an interpretation according to which Meno’s paradox is an epistemic regress problem. The paradox is an argument for skepticism assuming that (1) acquired knowledge about an object X requires prior knowledge about what X is and (2) any knowledge must be acquired. (1) is a principle about having reasons for knowledge and about the epistemic priority of knowledge about what X is. (1) and (2) jointly imply a regress-generating principle which implies that knowledge always requires an (...) infinite sequence of known reasons. Plato’s response to the problem is to accept (1) but reject (2): some knowledge is innate. He argues from this to the conclusion that the soul is immortal. This argument can be understood as a response to an Eleatic problem about the possibility of coming into being that turns on a regress-generating causal principle analogous to the regress-generating principle presupposed by Meno’s paradox. (shrink)

Many have the intuition that the right response to the Lottery Paradox is to deny that one can justifiably believe of even a single lottery ticket that it will lose. The paper shows that from any theory of justification that solves the paradox in accordance with this intuition, a theory not of that kind can be derived that also solves the paradox but is more conducive to our epistemic goal than the former. It is argued that currently there is (...) no valid reason not to give preference to the derived accounts over the accounts from which they come. (shrink)

The paper is concerned with the epistemological status of testimony and the question of what may confer justification on true testimonial beliefs and enable us to call such beliefs knowledge. In particular, it addresses certain anti-reductionist arguments in the epistemology of testimony and their incompatibility with the grammatical categories of egophoricity (conjunct/disjunct marking) and evidentiality (information source marking) present in the architecture of natural languages. First, the tradition of epistemological individualism and its rationale are discussed, as well as certain attempts (...) within this tradition to include testimony-based beliefs in the body of legitimate and rational beliefs. The next section is concerned with the anti-reductionist approach to testimonial beliefs and some arguments supporting ‘the credulity principle’ grounded in Thomas Reid's philosophy of common sense. The last two sections show how the anti-reductionist argumentation is threatened with an insoluble dilemma when considered in the context of languages with the grammatical categories of egophoricity (conjunct/disjunct marking) and evidentiality (information source marking). Special attention is paid to the justificatory role of egophoric and evidential marking; how these grammatical categories may influence the process of belief formation, and consequently, how this bears upon the nature of justification for testimonial beliefs. The final conclusion of the paper is that the anti-reductionist claim concerning the directness and non-inferential nature of testimonial knowledge is bound to meet objections grounded in the structure of many natural languages. This leads to a paradox: in discussion with reductionism, anti-reductionists do seek support for their arguments in common sense beliefs reflected in everyday language, and, on the other hand, their claims are incompatible with the linguistic data found in a number of natural languages. (shrink)

This paper defends the heretical view that, at least in some cases, we ought to assign legal liability based on purely statistical evidence. The argument draws on prominent civil law litigation concerning pharmaceutical negligence and asbestos-poisoning. The overall aim is to illustrate moral pitfalls that result from supposing that it is never appropriate to rely on bare statistics when settling a legal dispute.

The ancient puzzle of the Liar was shown by Tarski to be a genuine paradox or antinomy. I show, analogously, that certain puzzles of contemporary game theory are genuinely paradoxical, i.e., certain very plausible principles of rationality, which are in fact presupposed by game theorists, are inconsistent as naively formulated. ;I use Godel theory to construct three versions of this new paradox, in which the role of 'true' in the Liar paradox is played, respectively, by 'provable', 'self-evident', and 'justifiable'. I (...) also construct in modal operator logic a paradox involving reflexive empirical reasoning. Unlike the paradox of the Liar, the paradox of reflexive reasoning does not depend on self-reference. ;I consider various solutions to the Liar paradox and evaluate how well these solutions cope with the paradox of reflexive reasoning. I then formalize the solution to the paradoxes which I favor: the indexical-hierarchical approach, first sketched out by Charles Parsons and Tyler Burge. In this solution, occurrences of the predicate 'true' in sentence-tokens are contextually relativized to levels of a hierarchy. Drawing also on some brief remarks of Bertrand Russell and Charles Parsons, I develop an account of the kind of schematic generality needed for this theory to be statable. ;Finally, I demonstrate that the principles shown to be paradoxical are in fact presupposed by contemporary game theorists in their reliance on the notion of common knowledge or, more precisely, mutual belief. I create novel analyses of and corresponding solutions to several recalcitrant puzzles within game theory, including the "chain-store paradox". (shrink)

The Knower Paradox has had a brief but eventful history, and principles of epistemic closure (which say that a subject automatically knows any proposition she knows to be materially implied, or logically entailed, by a proposition she already knows) have been the subject of tremendous debate in epistemic logic and epistemology more generally, especially because the fate of standard arguments for and against skepticism seems to turn on the fate of closure. As far as I can tell, however, (...) no one working in either area has emphasized the result I emphasize in this paper: the Knower Paradox just falsifies even the most widely accepted general principles of epistemic closure. After establishing that result, I discuss five of its more important consequences. (shrink)

1) We will begin by offering a short introduction to Epistemic Logic and presenting Fitch’s paradox in an epistemic‑modal logic. (2) Then, we will proceed to presenting three Epistemic Temporal logical frameworks creat‑ ed by Hoshi (2009) : TPAL (Temporal Public Announcement Logic), TAPAL (Temporal Arbitrary Public Announcement Logic) and TPAL+P ! (Temporal Public Announcement Logic with Labeled Past Operators). We will show how Hoshi stated the Verificationist Thesis in the language of TAPAL and analyze his argument (...) on why this version of it is immune from paradox. (3) Edgington (1985) offered an interpretation of the Verificationist Thesis that blocks Fitch’s paradox and we will propose a way to formulate it in a TAPAL‑based lan‑ guage. The language we will use is a combination of TAPAL and TPAL+P ! with an Indefinite (Unlabeled) Past Operator (TAPAL+P !+P). Using indexed satisfi‑ ability relations (as introduced in (Wang 2010 ; 2011)) we will offer a prospec ‑ tive semantics for this language. We will investigate whether the tentative re‑ formulation of Edgington’s Verificationist Thesis in TAPAL+P !+P is free from paradox and adequate to Edgington’s ideas on how „all truths are knowable“ should be interpreted. (shrink)

It has been claimed that if statistical power and p-values are both used to measure the strength of our evidence for the null-hypothesis when the results of our tests are not significant, then they can also be used to derive inconsistent epistemic judgements as we compare two different experiments. Those problematic derivations are known as power approach paradoxes. The consensus is that we can avoid them if we abandon the idea that statistical power can measure the strength of (...) our evidence. In this paper however, I put forward a different solution. I argue that every power approach paradox rests on an equivocation on "strong evidence". The main idea is that we need to make a careful distinction between the evidence provided by the quality of the test and the evidence provided by the outcome of the test. Both provide different types of evidence and their respective strength are to be evaluated differently. (shrink)