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)

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)

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.

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)

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)

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.

This paper generalizes the preface paradox beyond the conjunctive aggregation of beliefs and constructs an analogous paradox for deontic reasoning. The analysis of the deontic case suggests a systematic restriction of intuitive rules for reasoning with obligations. This proposal can be transferred to the epistemic case: it avoids the preface and the lottery paradox and saves one of the two directions of the Lockean Thesis (i.e., high credence is sufficient, but not necessary for rational belief). The (...) resulting account compares favorably to competing proposals; in particular, we can formulate the rules of correct doxastic reasoning without reference to probabilistic features of the involved propositions. (shrink)

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)

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.

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)

According to Kierkegaard, truth is superimposed on the objective character that encompasses historical investigation and speculative exercise, dialoguing with subjectivity and the limit-condition of interiority. Focusing on such existential-hermeneutic principle, the article points out spirituality as an epistemic-existential experience involving truth as a paradox in Kierkegaard, that overlaps the logical-discursive mediation and implies a dialectical-subjective construction that transcends reason historical-objective. Thus, characterizing spirituality as an epistemic-existential experience that contains non-rational evidence, the article resorts to Rudolf Otto's phenomenology (...) to underline the sacred and its absolute distinction from natural reality and its perceptible character, emphasizing the non-rational element and its supra-rational nature in the numinous, which escapes logical-rational processes and converges to the apprehension of the rational and the non-rational in the notion of Divinity. Therefore, if the relationship with God overlaps subjectivity and objectivity and overcomes the aforementioned epistemic structural scheme, the article, based on the philosophical theology of Paul Tillich, focuses on the concept of Spiritual Presence and on life without ambiguity, which implies the union transcendent and correlates agape and gnosis in an ecstatic-religious movement that encompasses the self-manifestation, self-revelation and self-communication of the Absolute and Transcendent. (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.

I will explore the paradoxical nature of epistemic access. By critiquing the traditional conception of mental states that are labelled as ’knowledge’, I demonstrate the susceptibility of these states to an infinite regress, thus, challenging their existence and validity. I scrutinise the assumption that an epistemic agent can have complete epistemic access to all facts about a given object while simultaneously being ignorant of certain truths that impact the very knowledge claims about the object. I further analyse (...) the implications of this paradox when attempting to fine-grain the parameters of epistemic access, which happens to reveal the vacuity of such definitions and the inevitability of the regress. (shrink)

I describe epistemic versions of the contrast between causal and conventionally probabilistic decision theory, including an epistemic version of Newcomb's paradox.

Fitch's knowability paradox shows that for each unknown truth there is also an unknowable truth, a result which has been thought both odd in itself and at odds with views which impose epistemic constraints on truth and/or meaningfulness. Here a solution is considered which has received little attention in the debate but which carries prima facie plausibility. The decidability solution is to accept that Fitch sentences are unknowably true but deny the significance of this on the grounds that (...) Fitch sentences are nevertheless decidable. The decidability solution is particularly attractive for those whose primary concern is an epistemic constraint on meaningfulness (‘verificationists’). For those whose main concern is truth (‘anti-realists’), the situation is more complex: Melia takes the solution to exonerate anti-realism completely; Williamson sees it as completely irrelevant. The truth lies between these two extremes: there is one broad anti-realist commitment to which the solution does not apply, but there is also one, the “fundamental tenet” of anti-realism according to Dummett, to which it does. (shrink)

Epistemic modal operators give rise to something very like, but also very unlike, Moore's paradox. I set out the puzzling phenomena, explain why a standard relational semantics for these operators cannot handle them, and recommend an alternative semantics. A pragmatics appropriate to the semantics is developed and interactions between the semantics, the pragmatics, and the definition of consequence are investigated. The semantics is then extended to probability operators. Some problems and prospects for probabilistic representations of content and context (...) are explored. (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)

Conciliatory theories of disagreement require that one lower one’s confidence in a belief in the face of disagreement from an epistemic peer. One question about which people might disagree is who should qualify as an epistemic peer and who should not. But when putative epistemic peers disagree about epistemic peerhood itself, then Conciliationism makes contradictory demands and paradoxes arise.

Moore’s Paradox is a test case for any formal theory of belief. In Knowledge and Belief, Hintikka developed a multimodal logic for statements that express sentences containing the epistemic notions of knowledge and belief. His account purports to offer an explanation of the paradox. In this paper I argue that Hintikka’s interpretation of one of the doxastic operators is philosophically problematic and leads to an unnecessarily strong logical system. I offer a weaker alternative that captures in a (...) more accurate way our logical intuitions about the notion of belief without sacrificing the possibility of providing an explanation for problematic cases such as Moore’s Paradox. (shrink)

The discrepancy between individual women and the stereotypes attributed to the group as a ‎whole has become progressively greater and more explicit over the course of history. The stereotypes remain the same age-old ‎allegations whilst the ‎developments in the occupations of women and the traits they have opportunity to express have increased the distance between women and those ascribed traits. Stereotypes’ abstention from revision in light of contrary evidence constitutes an epistemic paradox for it entails conflict between the (...) stereotypical knowledge and empirical evidence, as well as between the stereotypical knowledge and other empirical knowledges. This paradox of stubbornness also raises the question as to the epistemic source of stereotypes. For, people at young ages encounter evidence which should have formed a more complex knowledge regarding women rather than the pervasive stereotypical knowledge. It is this extremity of absurdness of stereotypes regarding women that is utile to understanding stereotypes as a whole. The epistemic paradox that is engrained in all stereotypes is exposed uncompromisingly by this group. The paradox cannot be dismissed with excuses of having a small basis of evidence, such as may be said regarding other social groups with which one may have had minimal or no contact. Thus, stereotypes of women provide a limit case to understanding the epistemology of this paradoxical form of knowledge. The traits and epistemic phenomena which render stereotypes epistemically puzzling and intriguing is the relationship between knowledges. Stereotypical knowledge regarding women as a group conflict with one’s experience-founded knowledges of particular women, deeming the corporate body of knowledge incoherent. Quine’s theory of knowledge, with its holistic empirical approach endorsing conceptual schemes, provides fertile ground for this analysis. The novelty in his account is his establishment of the criteria of coherency, which shifts the focal point of epistemic inquiry away from the adequacy of individual knowledges with empirical evidence to the intra-knowledge relationships themselves. In his empiricism, Quine rather examines the interactions between knowledges and the overarching coherence of the body of knowledge as a holistic unit. Quine creates place in his account for mechanism which provide for the epistemic incongruences of stubbornness and conflict found between stereotypical knowledges and empirical evidence. These very mechanisms are what this paper requests to examine. Quine, ultimately, formulates knowledge as a collectively held fabric consisting of relations and of posits – socially constructed mechanisms which are empirically-irreducible and implemented pragmatically for the organisation of empirical evidence. According to Quine, the fabric formation is a conceptual scheme sourced in social heritage. People are bestowed with an eclectic framework of ‎knowledge to pragmatically merge between an inherited, collective conceptual scheme and the personally experienced empirical evidence. This paper will delve into Quine’s fabric of knowledge, its relations, and inner-mechanisms. The finding of stereotypes to be an age-old posit entrenched pragmatically – thus stubbornly – in the collective conceptual scheme, will explain the epistemic paradoxes they entail and offer insight to their revision in light of empiric reality and its women. (shrink)

Clayton Littlejohn claims that the permissibility solution to the lottery paradox requires an implausible principle in order to explain why epistemic permissions don't agglomerate. This paper argues that an uncontentious principle suffices to explain this. It also discusses another objection of Littlejohn's, according to which we’re not permitted to believe lottery propositions because we know that we’re not in a position to know them.

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)

This paper generalises the classical Condorcet jury theorem from majority voting over two options to plurality voting over multiple options. The paper further discusses the debate between epistemic and procedural democracy and situates its formal results in that debate. The paper finally compares a number of different social choice procedures for many-option choices in terms of their epistemic merits. An appendix explores the implications of some of the present mathematical results for the question of how probable majority cycles (...) (as in Condorcet's paradox) are in large electorates. (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)

This article tackles an epistemic puzzle formulated by R. Smullyan that we call the ‘Surprise Deception Paradox'. On the morning of April 1st 1925, his brother announced that he would deceive him during the day, but apparently nothing happened. Since R. Smullyan waited all day to be deceived by some action, he was actually deceived, but by the lack of an action, that is to say by omission. Afterwards, Smullyan felt immediately puzzled: because he expected to be deceived, (...) he was not deceived; but since he was not deceived the way he expected, he was actually deceived. We use dynamic belief revision logic to look more clearly into this puzzle. We argue that Smullyan's reasoning is not a self-referential paradox but shares common features with the more famous Surprise Examination Paradox. In Smullyan's riddle, we show that a misleading default mechanism makes R. Smullyan surprised by the deception he has been preyed to. We also use this solution to discuss whether such defaults, compared to other forms of truth-telling deception, may qualify as lies or not. (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)

According to the principle of Conjunction Closure, if one has justification for believing each of a set of propositions, one has justification for believing their conjunction. The lottery and preface paradoxes can both be seen as posing challenges for Closure, but leave open familiar strategies for preserving the principle. While this is all relatively well-trodden ground, a new Closure-challenging paradox has recently emerged, in two somewhat different forms, due to Backes :3773–3787, 2019a) and Praolini :715–726, 2019). This paradox (...) synthesises elements of the lottery and the preface and is designed to close off the familiar Closure-preserving strategies. By appealing to a normic theory of justification, I will defend Closure in the face of this new paradox. Along the way I will draw more general conclusions about justification, normalcy and defeat, which bear upon what Backes :2877–2895, 2019b) has dubbed the ‘easy defeat’ problem for the normic theory. (shrink)

In this essay I defend a solution to a skeptical paradox. The paradox I focus on concerns epistemic justification (rather than knowledge), and skeptical scenarios that entail that most of our ordinary beliefs about the external world are false. This familiar skeptical paradox hinges on a “closure” principle. The solution is to restrict closure, despite its first appearing as a fully general principle, so that it can no longer give rise to the paradox. This has (...) some extra advantages. First, it suggests a general strategy that provides solutions to other versions of the paradox, not just those that depend on closure. Second, it clarifies the relation between the paradox and other kinds of skeptical problem. (shrink)

This essay concerns the question of how we make genuine epistemic progress through conceptual analysis. Our way into this issue will be through consideration of the paradox of analysis. The paradox challenges us to explain how a given statement can make a substantive contribution to our knowledge, even while it purports merely to make explicit what one’s grasp of the concept under scrutiny consists in. The paradox is often treated primarily as a semantic puzzle. However, in (...) “Sect. 1” I argue that the paradox raises a more fundamental epistemic problem, and in “Sects.1 and 2” I argue that semantic proposals—even ones designed to capture the Fregean link between meaning and epistemic significance—fail to resolve that problem. Seeing our way towards a real solution to the paradox requires more than semantics; we also need to understand how the process of analysis can yield justification for accepting a candidate conceptual analysis. I present an account of this process, and explain how it resolves the paradox, in “Sect. 3”. I conclude in “Sect. 4” by considering the implications for the present account concerning the goal of conceptual analysis, and by arguing that the apparent scarcity of short and finite illuminating analyses in philosophically interesting cases provides no grounds for pessimism concerning the possibility of philosophical progress through conceptual analysis. (shrink)

If I were to say, “Agnes does not know that it is raining, but it is,” this seems like a perfectly coherent way of describing Agnes’s epistemic position. If I were to add, “And I don’t know if it is, either,” this seems quite strange. In this chapter, we shall look at some statements that seem, in some sense, contradictory, even though it seems that these statements can express propositions that are contingently true or false. Moore thought it was (...) paradoxical that statements that can express true propositions or contingently false propositions should nevertheless seem absurd like this. If we can account for the absurdity, we shall solve Moore’s Paradox. In this chapter, we shall look at Moore’s proposals and more recent discussions of Moorean absurd thought and speech. (shrink)

The coordinated attack scenario and the electronic mail game are two paradoxes of common knowledge. In simple mathematical models of these scenarios, the agents represented by the models can coordinate only if they have common knowledge that they will. As a result, the models predict that the agents will not coordinate in situations where it would be rational to coordinate. I argue that we should resolve this conflict between the models and facts about what it would be rational to do (...) by rejecting common knowledge assumptions implicit in the models. I focus on the assumption that the agents have common knowledge that they are rational, and provide models to show that denying this assumption suffices for a resolution of the paradoxes. I describe how my resolution of the paradoxes fits into a general story about the relationship between rationality in situations involving a single agent and rationality in situations involving many agents. (shrink)

This paper fills a gap in the existing metaphilosophical research on paradoxes byfocusing on the role of scenarios. Typical philosophical paradoxes contain a scenariodescription whose contribution to paradoxes remains unexplored. I argue that sce-narios are examples or instantiations of the abstract schema of paradoxes. As such,scenarios contribute to paradoxes on two levels. First, they make the argument moreconcrete, thus enhancing the dialectical force of paradoxes and facilitating their under-standing, especially for non-experts. This function is external to the paradox itself, (...) buthas important practical implications for the use of paradoxes and their effect on philo-sophical debates, and it contributes to explaining why philosophical paradoxes areusually introduced by a scenario. Second, and more crucially, scenarios are essentialto the epistemic dimension of paradoxes. By definition, paradoxes have two neces-sary components: the argumentative structure and the plausibility/implausibility ofthe premises/conclusion. By providing examples of the abstract schema, scenarioscontribute to making the premises plausible. In particular, scenarios are the source ofplausibility and justification for those premises that contain an empirically groundedassertion of existence. Examples of such paradoxes are the Sorites paradox, the Lot-tery paradox, and the Grue paradox. Contrary to the dialectical role, the epistemicfunction of scenarios is indispensable, as it connects paradoxes to the real world andunderscores their significance in specific debates. (shrink)

This paper considers two novel Bayesian responses to a well-known skeptical paradox. The paradox consists of three intuitions: first, given appropriate sense experience, we have justification for accepting the relevant proposition about the external world; second, we have justification for expanding the body of accepted propositions through known entailment; third, we do not have justification for accepting that we are not disembodied souls in an immaterial world deceived by an evil demon. The first response we consider rejects the (...) third intuition and proposes an explanation of why we have a faulty intuition. The second response, which we favor, accommodates all three intuitions; it reconciles the first and the third intuition by the dual component model of justification, and defends the second intuition by distinguishing two principles of epistemic closure. (shrink)

In the preface paradox the posited author is supposed to know both that every sentence in a book is true and that not every sentence in that book is true. But, this result is paradoxically contradictory. The paradoxicality exhibited in such cases arises chiefly out of the recognition that large-scale and difficult tasks like verifying the truth of large sets of sentences typically involve errors even given our best efforts to be epistemically diligent. This paper introduces an argument designed (...) to resolve the preface paradox so understood by appeal to the safety condition on knowledge. (shrink)

This article shows that there is a liar-like paradox that arises for rational credence that relies only on very weak logical and credal principles. The paradox depends on a weak rational reflection principle, logical principles governing conjunction, and principles governing the relationship between rational credence and proof. To respond to this paradox, we must either reject even very weak rational reflection principles or reject some highly plausible logical or credal principle.

This paper argues that justification is accessible in the sense that one has justification to believe a proposition if and only if one has higher-order justification to believe that one has justification to believe that proposition. I argue that the accessibility of justification is required for explaining what is wrong with believing Moorean conjunctions of the form, ‘p and I do not have justification to believe that p.’.

To resolve the lottery paradox, the “no-justification account” proposes that one is not justified in believing that one's lottery ticket is a loser. The no-justification account commits to what I call “the Harman-style skepticism”. In reply, proponents of the no-justification account typically downplay the Harman-style skepticism. In this paper, I argue that the no-justification reply to the Harman-style skepticism is untenable. Moreover, I argue that the no-justification account is epistemically ad hoc. My arguments are based on a rather surprising (...) finding that the no-justification account implies that people living in Taiwan typically suffer from the Harman-style skepticism. (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an (...) agent to enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

Humility is a paradoxical virtue. This should come as no great surprise. It doesn’t take much explanation for one to realize that if someone is boasting about how humble he is, then he probably is not humble. In fact, as we shall see, the paradoxical nature of humility has a long history, going back to at least Thomas Aquinas in the thirteenth century. While it may not be a novel claim that there exists an apparent paradox of humility, I (...) will argue that there is more than one humility paradox, perhaps as many as five: the epistemic paradox, the paradox of self-attribution, the inculcation paradox, the agentic paradox, and the axiological paradox. All these paradoxes are distinct, yet seemingly intertwined. Upon examining them each in turn, we will be left with a Gordian knot of humility paradoxes. (shrink)

According to the permissibility solution to the lottery paradox, the paradox can be solved if we conceive of epistemic justification as a species of permissibility. Clayton Littlejohn has objected that the permissibility solution draws on a sufficient condition for permissible belief that has implausible consequences and that the solution conflicts with our lack of knowledge that a given lottery ticket will lose. The paper defends the permissibility solution against Littlejohn's objections.

This short autodidactic paper compactly introduces the epistemic algorithmic computation (EaC) paradox, a novel analogy to the Turing paradox. Firstly, it is elucidated why in the deepfake era, crafting a provisional solution to the EaC paradox may be beneficent as it may shed more light on one ingrained consequence of the prevailing algorithmic supremacy paradigm: the retrospective obsolescence of the entire biosphere in the game of life precipitated by algorithms instantiated on inert matter. Secondly, the paper (...) analyzes and deconstructs the EaC paradox elucidating why it is contingent on a mirage that can be dissolved by interpreting it as a manifestation of what one could call the epistemic Zeno-effect. There exists at least one computational task where the minimal latency of algorithmic computation would lead to epistemic stagnation – leading to an advantage for slower non-algorithmic computational alternatives. Peculiarly, the latter may be caused by the very lawfulness of nature subsuming both cellular and conscious supremacy. (shrink)

Harman’s lottery paradox, generalized by Vogel to a number of other cases, involves a curious pattern of intuitive knowledge ascriptions: certain propositions seem easier to know than various higher-probability propositions that are recognized to follow from them. For example, it seems easier to judge that someone knows his car is now on Avenue A, where he parked it an hour ago, than to judge that he knows that it is not the case that his car has been stolen and (...) driven away in the last hour. Contextualists have taken this pattern of intuitions as evidence that ‘knows’ does not always denote the same relationship; subject-sensitive invariantists have taken this pattern of intuitions as evidence that non-traditional factors such as practical interests figure in knowledge; still others have argued that the Harman Vogel pattern gives us a reason to abandon the principle that knowledge is closed under known entailment. This paper argues that there is a psychological explanation of the strange pattern of intuitions, grounded in the manner in which we shift between an automatic or heuristic mode of judgment and a controlled or systematic mode. Understanding the psychology behind the pattern of intuitions enables us to see that the pattern gives us no reason to abandon traditional intellectualist invariantism. The psychological account of the paradox also yields new resources for clarifying and defending the single premise closure principle for knowledge ascriptions. (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)

One type of argument to sceptical paradox proceeds by making a case that a certain kind of metaphysically “heavyweight or “cornerstone” proposition is beyond all possible evidence and hence may not be known or justifiably believed. Crispin Wright has argued that we can concede that our acceptance of these propositions is evidentially risky and still remain rationally entitled to those of our ordinary knowledge claims that are seemingly threatened by that concession. A problem for Wright’s proposal is the so-called (...) Leaching worry: if we are merely rationally entitled to accept the cornerstones without evidence, how can we achieve evidence-based knowledge of the multitude of quotidian propositions that we think we know, which require the cornerstones to be true? This paper presents a rigorous, novel explication of this worry within a Bayesian framework, and offers the Entitlement theorist two distinct responses. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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 \textbf{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 and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-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 $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-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 \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{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 \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{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 \textbf{8} examines the interaction between Elohim's 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 $\Omega$-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 \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher 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 two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{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 interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents 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 in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{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)

Quine's holistic empiricist account of scientific inquiry can be characterized by three constitutive principles: *noncontradiction*, *universal revisability* and *pragmatic ordering*. We show that these constitutive principles cannot be regarded as statements within a holistic empiricist's scientific theory of the world. This claim is a corollary of our refutation of Katz's [1998, 2002] argument that holistic empiricism suffers from what he calls the Revisability Paradox. According to Katz, Quine's empiricism is incoherent because its constitutive principles cannot themselves be rationally revised. (...) Using Gärdenfors and Makinson's logic of belief revision based on epistemic entrenchment, we argue that Katz wrongly assumes that the constitutive principles are *statements* within a holistic empiricist's theory of the world. Instead, we show that constitutive principles are best seen as *properties* of a holistic empiricist's theory of scientific inquiry and we submit that, without Katz's mistaken assumption, the paradox cannot be formulated. We argue that our perspective on the status of constitutive principles is perfectly in line with Quinean orthodoxy. In conclusion, we compare our findings with van Fraassen's [2002] argument that we should think of empiricism as a stance, rather than as a doctrine. (shrink)

The sciences occasionally generate discoveries that undermine their own assumptions. Two such discoveries are characterized here: the discovery of apophenia by cognitive psychology and the discovery that physical systems cannot be locally bounded within quantum theory. It is shown that such discoveries have a common structure and that this common structure is an instance of Priest’s well-known Inclosure Schema. This demonstrates that science itself is dialetheic: it generates limit paradoxes. How science proceeds despite this fact is briefly discussed, as is (...) the connection between our results and the realism-antirealism debate. We conclude by suggesting a position of epistemic modesty. (shrink)

Wittgenstein's paradoxical theses that unproved propositions are meaningless, proofs form new concepts and rules, and contradictions are of limited concern, led to a variety of interpretations, most of them centered on rule-following skepticism. We argue, with the help of C. S. Peirce's distinction between corollarial and theorematic proofs, that his intuitions are better explained by resistance to what we call conceptual omniscience, treating meaning as fixed content specified in advance. We interpret the distinction in the context of modern epistemic (...) logic and semantic information theory, and show how removing conceptual omniscience helps resolve Wittgenstein's paradoxes and explain the puzzle of deduction, its ability to generate new knowledge and meaning. (shrink)

In this conceptual paper, the traditional conceptualization of sustainable entrepreneurship is challenged because of a fundamental tension between processes involved in sustainable development and processes involved in entrepreneurship: the concept of sustainable business models contains a paradox, because sustainability involves the reduction of information asymmetries, whereas entrepreneurship involves enhanced and secured levels of information asymmetries. We therefore propose a new and integrated theory of sustainable entrepreneurship that overcomes this paradox. The basic argument is that environmental problems have to (...) be conceptualized as wicked problems or sustainability-related ecosystem failures. Because all actors involved in the entrepreneurial process are characterized by their epistemic insufficiency regarding the solving of these problems, the role of information in the sustainable entrepreneurial process changes. On the one hand, the reduction of information asymmetries primarily aims to enable actors to become critical of sustainable entrepreneurs’ actual business models. On the other hand, the epistemic insufficiency of sustainable entrepreneurs guarantees that information asymmetries remain as a source of new sustainable business opportunities. Three further characteristics of sustainable entrepreneurs are distinguished: sustainability and entrepreneurship-related risk-taking; sustainability and entrepreneurship-related self-efficacy; and the development of satisficing and open-ended solutions, together with multiple stakeholders. (shrink)