Epistemic Paradoxes, Misc

In this paper, I present a response to the surprise exam paradox which may be of some use to someone. It is somewhat frightening for me.

The Preface Paradox is often discussed for its implications for rational belief. Much less discussed is a variant of the Preface Paradox for knowledge. In this paper, I argue that the most plausible closure-friendly resolution to the Preface Paradox for Knowledge is to say that in any given context, we do not know much. I call this view “Socraticism”. I argue that Socraticism is the most plausible view on two accounts—(1) this view is compatible with the claim that most of (...) our knowledge ascriptions are true, and (2) provided that (1) is true, the costs of accepting Socraticism are much less than the costs of accepting any other resolution to the Paradox. I argue for (1) in Section 2 by developing a question-sensitive contextualist model for knowledge that shows how Socraticism is compatible with the claim that most of our knowledge ascriptions are true. I also argue how this contextualist model can achieve this result where other contextualist models fail. I then consider other closure-friendly solutions to the paradox in Section 3 and show how accepting those solutions forces us to give up a number of plausible epistemic principles. (shrink)

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)

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.

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 paper, I defend the metalinguistic solution to the problem of mathematical omniscience for the possible-worlds account of propositions by combining it with a computational model of knowledge and belief. The metalinguistic solution states that the objects of belief and ignorance in mathematics are relations between mathematical sentences and what they express. The most pressing problem for the metalinguistic strategy is that it still ascribes too much mathematical knowledge under the standard possible-worlds model of knowledge and belief on which (...) these are closed under entailment. I first argue that Stalnaker's fragmentation strategy is insufficient to solve this problem. I then develop an alternative, computational strategy: I propose a model of mathematical knowledge and belief adapted from the algorithmic model of Halpern et al. which, when combined with the metalinguistic strategy, entails that mathematical knowledge and belief require computational abilities to access metalinguistic information, and thus aren't closed under entailment. As I explain, the computational model generalizes beyond mathematics to a version of the functionalist theory of knowledge and belief that motivates the possible-worlds account in the first place. I conclude that the metalinguistic and computational strategies yield an attractive functionalist, possible-worlds account of mathematical content, knowledge, and inquiry. (shrink)

Is there an interesting relation between the Preface paradox and the Sorites paradox that might be used to illuminate either or both of those paradoxes and the phenomena of rationality and vagueness with which they, respectively, are bound up? In particular, if we consider the analogy alongside a familiar response to the Preface Paradox that employs degrees of belief, does this give any support to the thought that we should adopt some kind of degree-theoretic treatment of vagueness and the sorites? (...) This chapter argues that it does not; indeed exploring the disanalogies contributes to a case against such a treatment of vagueness more generally. Among other views, it considers Edgington’s account of vagueness that employs a probabilistic structure of “verities”. It then contends that appeal to the framework of supervaluationism yields a better guide to reasoning in vague language than the degree-theoretic treatment can sustain. (shrink)

Instability occurs when the very fact of choosing one particular possible option rather than another affects the expected values of those possible options. In decision theory: An act is stable iff given that it is actually performed, its expected utility is maximal. When there is no stable choice available, the resulting instability can seem to pose a dilemma of practical rationality. A structurally very similar kind of instability, which occurs in cases of anti-expertise, can likewise seem to create dilemmas of (...) epistemic rationality. One possible line of response to such cases of instability, suggested by both Jeffrey (1983) and Sorensen (1987), is to insist that a rational agent can simply refuse to accept that such instability applies to herself in the first place. According to this line of thought it can be rational for a subject to discount even very strong empirical evidence that the anti-expertise condition obtains. I present a new variety of anti-expertise condition where no particular empirical stage-setting is required, since the subject can deduce a priori that an anti-expertise condition obtains. This kind of anti-expertise case is therefore not amenable to the line of response that Jeffrey and Sorensen recommend. (shrink)

Is it right to convict a person of a crime on the basis of purely statistical evidence? Many who have considered this question agree that it is not, posing a direct challenge to legal probabilism – the claim that the criminal standard of proof should be understood in terms of a high probability threshold. Some defenders of legal probabilism have, however, held their ground: Schoeman (1987) argues that there are no clear epistemic or moral problems with convictions based on purely (...) statistical evidence, and speculates that our aversion to such convictions may be nothing more than an irrational bias. More recently, Hedden and Colyvan (2019, section VI) describe our reluctance to convict on the basis of purely statistical evidence as an ‘intuition’, but suggest that there may be no ‘in principle’ problem with such convictions (see also Papineau, forthcoming, section 6). In this paper, I argue that there is, in some cases, an in principle problem with a conviction based upon statistical evidence alone – namely, it commits us to a precedent which, if consistently followed through, could lead to the deliberate conviction of an innocent person. I conclude with some reflections on the idea that the criminal justice system should strive to maximise the accuracy of its verdicts – and the related idea that we should each strive to maximise the accuracy of our beliefs. (shrink)

Martin Smith has recently proposed, in this journal, a novel and intriguing approach to puzzles and paradoxes in evidence law arising from the evidential standard of the Preponderance of the Evidence. According to Smith, the relation of normic support provides us with an elegant solution to those puzzles. In this paper I develop a counterexample to Smith’s approach and argue that normic support can neither account for our reluctance to base affirmative verdicts on bare statistical evidence nor resolve the pertinent (...) paradoxes. Normic support is, as a consequence, not a successful epistemic anti-luck condition. (shrink)

This paper elaborates a new solution to the lottery paradox, according to which the paradox arises only when we lump together two distinct states of being confident that p under one general label of ‘belief that p’. The two-state conjecture is defended on the basis of some recent work on gradable adjectives. The conjecture is supported by independent considerations from the impossibility of constructing the lottery paradox both for risk-tolerating states such as being afraid, hoping or hypothesizing, and for risk-averse, (...) certainty-like states. The new proposal is compared to views within the increasingly popular debate opposing dualists to reductionists with respect to the relation between belief and degrees of belief. (shrink)

The strong law of large numbers and considerations concerning additional information strongly suggest that Beauty upon awakening has probability 1/3 to be in a heads-awakening but should still believe the probability that the coin landed heads in the Sunday toss to be 1/2. The problem is that she is in a heads-awakening if and only if the coin landed heads. So, how can she rationally assign different probabilities or credences to propositions she knows imply each other? This is the problem (...) I address in this article. I suggest that ‘p whenever q and vice versa’ may be consistent with p and q having different probabilities if one of them refers to a sample space containing ordinary possible worlds and the other to a sample space containing centred possible worlds, because such spaces may fail to combine into one composite probability space and, as a consequence, ‘whenever’ may not be well defined; such is the main contribution of this article. 1The Sleeping Beauty Game2Groisman’s and Peter Lewis’s Approaches3Discussing Beauty’s Credences4The Principle of Equivalence's Failure5Making Sense of the Principle of Equivalence's Failure6Elga’s and Lewis’s Approaches7ConclusionAppendix. (shrink)

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)

Fitch’s Paradox shows that if every truth is knowable, then every truth is known. Standard diagnoses identify the factivity/negative infallibility of the knowledge operator and Moorean contradictions as the root source of the result. This paper generalises Fitch’s result to show that such diagnoses are mistaken. In place of factivity/negative infallibility, the weaker assumption of any ‘level-bridging principle’ suffices. A consequence is that the result holds for some logics in which the “Moorean contradiction” commonly thought to underlie the result is (...) in fact consistent. This generalised result improves on the current understanding of Fitch’s result and widens the range of modalities of philosophical interest to which the result might be fruitfully applied. Along the way, we also consider a semantic explanation for Fitch’s result which answers a challenge raised by Kvanvig. (shrink)

मैं Wittgenstein और विकासवादी मनोविज्ञान के एक एकीकृत परिप्रेक्ष्य से Noson Yanofsky द्वारा 'कारण की बाहरी सीमा' की एक विस्तृत समीक्षा दे. मैं संकेत मिलता है कि भाषा और गणित में विरोधाभास के रूप में इस तरह के मुद्दों के साथ कठिनाई, अपूर्णता, अनिर्णयीयता, computability, मस्तिष्क और कंप्यूटर आदि के रूप में ब्रह्मांड, सभी विफलता से उठता है उचित में भाषा के हमारे उपयोग को ध्यान से देखने के लिए संदर्भ और इसलिए कैसे भाषा काम करता है के मुद्दों से (...) वैज्ञानिक तथ्य के मुद्दों को अलग करने में विफलता. मैं अधूरापन, paraconsistency और undecidability और गणना करने के लिए सीमा पर Wolpert के काम पर Wittgenstein के विचारों पर चर्चा की. यह योग अप करने के लिए: ब्रह्मांड ब्रुकलीन के अनुसार---अच्छा विज्ञान, नहीं तो अच्छा दर्शन. आधुनिक दो systems दृश्यसे मानव व्यवहार के लिए एक व्यापक अप करने के लिए तारीख रूपरेखा इच्छुक लोगों को मेरी पुस्तक 'दर्शन, मनोविज्ञान, मिनडी और लुडविगमें भाषा की तार्किक संरचना से परामर्श कर सकते हैं Wittgenstein और जॉन Searle '2 एड (2019). मेरे लेखन के अधिक में रुचि रखने वालों को देख सकते हैं 'बात कर रहेबंदर- दर्शन, मनोविज्ञान, विज्ञान, धर्म और राजनीति पर एक बर्बाद ग्रह --लेख और समीक्षा 2006-2019 3 एड (2019) और आत्मघाती यूटोपियान भ्रम 21st मेंसदी 4वें एड (2019) . (shrink)

An influential proposal is that knowledge involves safe belief. A belief is safe, in the relevant sense, just in case it is true in nearby metaphysically possible worlds. In this paper, I introduce a distinct but complementary notion of safety, understood in terms of epistemically possible worlds. The main aim, in doing so, is to add to the epistemologist’s tool-kit. To demonstrate the usefulness of the tool, I use it to advance and assess substantive proposals concerning knowledge and justification.

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 paper contains an argument to the effect that possible worlds semantics renders semantic knowledge impossible, no matter what ontological interpretation is given to possible worlds. The essential contention made is that possible worlds semantic knowledge is unsafe and this is shown by a parallel with the preface paradox.

It is commonly thought that Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason are disparate scientific physical or mathematical issues having little or nothing in common. I suggest that they are largely standard philosophical problems (i.e., language games) which were mostly resolved by Wittgenstein over 80years ago. -/- “What we are ‘tempted to say’ in such a case is, of course, not philosophy, but it is its raw material. Thus, for example, what a mathematician is (...) inclined to say about the objectivity and reality of mathematical facts, is not a philosophy of mathematics, but something for philosophical treatment.” Wittgenstein PI 234 -/- "Philosophers constantly see the method of science before their eyes and are irresistibly tempted to ask and answer questions in the way science does. This tendency is the real source of metaphysics and leads the philosopher into complete darkness." Wittgenstein -/- I provide a brief summary of some of the major findings of two of the most eminent students of behavior of modern times, Ludwig Wittgenstein and John Searle, on the logical structure of intentionality (mind, language, behavior), taking as my starting point Wittgenstein’s fundamental discovery –that all truly ‘philosophical’ problems are the same—confusions about how to use language in a particular context, and so all solutions are the same—looking at how language can be used in the context at issue so that its truth conditions (Conditions of Satisfaction or COS) are clear. The basic problem is that one can say anything, but one cannot mean (state clear COS for) any arbitrary utterance and meaning is only possible in a very specific context. -/- I dissect some writings of a few of the major commentators on these issues from a Wittgensteinian viewpoint in the framework of the modern perspective of the two systems of thought (popularized as ‘thinking fast, thinking slow’), employing a new table of intentionality and new dual systems nomenclature. I show that this is a powerful heuristic for describing the true nature of these putative scientific, physical or mathematical issues which are really best approached as standard philosophical problems of how language is to be used (language games in Wittgenstein’s terminology). -/- It is my contention that the table of intentionality (rationality, mind, thought, language, personality etc.) that features prominently here describes more or less accurately, or at least serves as an heuristic for, how we think and behave, and so it encompasses not merely philosophy and psychology, but everything else (history, literature, mathematics, politics etc.). Note especially that intentionality and rationality as I (along with Searle, Wittgenstein and others) view it, includes both conscious deliberative linguistic System 2 and unconscious automated prelinguistic System 1 actions or reflexes. (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)

The lottery and preface paradoxes pose puzzles in epistemology concerning how to think about the norms of reasonable or permissible belief. Contextualists in epistemology have focused on knowledge ascriptions, attempting to capture a set of judgments about knowledge ascriptions and denials in a variety of contexts (including those involving lottery beliefs and the principles of closure). This article surveys some contextualist approaches to handling issues raised by the lottery and preface, while also considering some of the difficulties encountered by those (...) approaches. (shrink)

The paper takes a closer look at the role of knowledge and evidence in legal theory. In particular, the paper examines a puzzle arising from the evidential standard Preponderance of the Evidence and its application in civil procedure. Legal scholars have argued since at least the 1940s that the rule of the Preponderance of the Evidence gives rise to a puzzle concerning the role of statistical evidence in judicial proceedings, sometimes referred to as the Problem of Bare Statistical Evidence. While (...) this puzzle has led to the development of a multitude of accounts and approaches in the legal literature, I argue here that the problem can be resolved fairly straightforwardly within a knowledge-first framework. (shrink)

The preface paradox does not show that it can be rational to have inconsistent beliefs, because preface writers do not have inconsistent beliefs. I argue, first, that a fully satisfactory solution to the preface paradox would have it that the preface writer's beliefs are consistent. The case here is on basic intuitive grounds, not the consequence of a theory of rationality or of belief. Second, I point out that there is an independently motivated theory of belief – sensitivism – which (...) allows such a solution. I sketch a sensitivist account of the preface writer's doxastic state. (shrink)

In this paper, we provide a Bayesian analysis of the well-known surprise exam paradox. Central to our analysis is a probabilistic account of what it means for the student to accept the teacher's announcement that he will receive a surprise exam. According to this account, the student can be said to have accepted the teacher's announcement provided he adopts a subjective probability distribution relative to which he expects to receive the exam on a day on which he expects not to (...) receive it. We show that as long as expectation is not equated with subjective certainty there will be contexts in which it is possible for the student to accept the teacher's announcement, in this sense. In addition, we show how a Bayesian modeling of the scenario can yield plausible explanations of the following three intuitive claims: (1) the teacher's announcement becomes easier to accept the more days there are in class; (2) a strict interpretation of the teacher's announcement does not provide the student with any categorical information as to the date of the exam; and (3) the teacher's announcement contains less information about the date of the exam the more days there are in class. To conclude, we show how the surprise exam paradox can be seen as one among the larger class of paradoxes of doxastic fallibilism, foremost among which is the paradox of the preface. (shrink)

Hili Razinsky, free downlad at link. ABSTRACT: Emotional perceptions are objectivist (objectivity-directed or cognitive) and conscious, both attributes suggesting they cannot be ambivalent. Yet perceptions, including emotional perceptions of value, allow for strictly objectivist ambivalence in which a person unitarily perceives the object in mutually undermining ways. Emotional perceptions became an explicandum of emotion for philosophers who are sensitive to the unique conscious character of emotion, impressed by the objectivist character of perceptions, and believe that the perceptual account solves a (...) worry about the possibility of a conflict between an emotion and a judgement. Back into the 1980s Greenspan has argued that emotional ambivalence is possible, her reasons implying that objectivist accounts of emotion are inconsistent with ambivalence. Tappolet has more recently replied that perceptual accounts allow for emotional ambivalence since the opposed values seen in ambivalence are good or bad in different senses. The present paper identifies strict objectivist ambivalence between judgements and between emotional perceptions by contrasting them with such ambivalence of separate values such as evoked by Tappolet. (shrink)

In ‘Godel’s Way’ three eminent scientists discuss issues such as undecidability, incompleteness, randomness, computability and paraconsistency. I approach these issues from the Wittgensteinian viewpoint that there are two basic issues which have completely different solutions. There are the scientific or empirical issues, which are facts about the world that need to be investigated observationally and philosophical issues as to how language can be used intelligibly (which include certain questions in mathematics and logic), which need to be decided by looking at (...) how we actually use words in particular contexts. When we get clear about which language game we are playing, these topics are seen to be ordinary scientific and mathematical questions like any others. Wittgenstein’s insights have seldom been equaled and never surpassed and are as pertinent today as they were 80 years ago when he dictated the Blue and Brown Books. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019). (shrink)

This thesis focuses on expressively rich languages that can formalise talk about probability. These languages have sentences that say something about probabilities of probabilities, but also sentences that say something about the probability of themselves. For example: (π): “The probability of the sentence labelled π is not greater than 1/2.” Such sentences lead to philosophical and technical challenges; but can be useful. For example they bear a close connection to situations where ones confidence in something can affect whether it is (...) the case or not. The motivating interpretation of probability as an agent's degrees of belief will be focused on throughout the thesis. -/- This thesis aims to answer two questions relevant to such frameworks, which correspond to the two parts of the thesis: “How can one develop a formal semantics for this framework?” and “What rational constraints are there on an agent once such expressive frameworks are considered?”. (shrink)

One of Moore’s paradoxical sentence types is ‘P, but I believe ~P’. Mooreans have assumed that all tokens of that sentence type are absurd in some way: epistemically, pragmatically, semantically, or assertively. And then they proceed to debate what the absurdity really is. I argue that if one has the appropriate philosophical views, then one can rationally assert tokens of that sentence type, and one can be epistemically reasonable in the corresponding compound belief as well.

ABSTRACTAccording to the Dogmatism Puzzle presented by Gilbert Harman, knowledge induces dogmatism because, if one knows that p, one knows that any evidence against p is misleading and therefore one can ignore it when gaining the evidence in the future. I try to offer a new solution to the puzzle by explaining why the principle is false that evidence known to be misleading can be ignored. I argue that knowing that some evidence is misleading doesn't always damage the credential of (...) the evidence, and therefore it doesn't always entitle one to ignore it. I also explain in what kind of cases and to what degree such knowledge allows one to ignore evidence. Hopefully, through the discussion, we can not only understand better where the dogmatism puzzle goes wrong, but also understand better in what sense rational believers should rely on their evidence and when they can ignore it. (shrink)

Recent attempts to resolve the Paradox of the Gatecrasher rest on a now familiar distinction between individual and bare statistical evidence. This paper investigates two such approaches, the causal approach to individual evidence and a recently influential (and award-winning) modal account that explicates individual evidence in terms of Nozick's notion of sensitivity. This paper offers counterexamples to both approaches, explicates a problem concerning necessary truths for the sensitivity account, and argues that either view is implausibly committed to the impossibility of (...) no-fault wrongful convictions. The paper finally concludes that the distinction between individual and bare statistical evidence cannot be maintained in terms of causation or sensitivity. We have to look elsewhere for a solution of the Paradox of the Gatecrasher. (shrink)

We can make new progress on stalled debates in epistemology if we adopt a new practical approach, an approach concerned with the function served by epistemic evaluations. This paper illustrates how. I apply the practical approach to an important, unsolved problem: the problem of forgotten evidence. Section 1 describes the problem and why it is so challenging. Section 2 outlines and defends a general view about the function of epistemic evaluations. Section 3 then applies that view to solve the problem (...) of forgotten evidence. (shrink)

The preface paradox can be motivated by appealing to a plausible inference from an author’s reasonable assertion that her book is bound to contain errors to the author’s rational belief that her book contains errors. By evaluating and undermining the validity of this inference, I offer a resolution of the paradox. Discussions of the preface paradox have surprisingly failed to note that expressions of fallibility made in prefaces typically employ terms such as surely, undoubtedly, and bound to be. After considering (...) what these terms mean, I show that the motivating inference is invalid. Moreover, I argue that a closer consideration of our expressions of fallibility suggest that epistemically responsible authors would not be rational to believe that their books contain errors. I conclude by considering alternative expressions of fallibility that employ terms such as possible and probable, and discuss the role that expressions of fallibility play in conversation. (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.

The problem of multi-peer disagreement concerns the reasonable response to a situation in which you believe P1 … Pn and disagree with a group of ‘epistemic peers’ of yours, who believe ∼P1 … ∼Pn, respectively. However, the problem of multi-peer disagreement is a variant on the preface paradox; because of this the problem poses no challenge to the so-called ‘steadfast view’ in the epistemology of disagreement, on which it is sometimes reasonable to believe P in the face of peer disagreement (...) about P. After some terminology is defined (§1), Peter van Inwagen's challenge to the steadfast view will be presented (§2). The preface paradox will then be presented and diagnosed (§3), and it will be argued that van Inwagen's challenge relies on the same principle that generates the preface paradox (§4). The reasonable response to multi-peer disagreement will be discussed (§5), and an objection addressed (§6). (shrink)

In Knowledge and Lotteries, John Hawthorne offers a diagnosis of our unwillingness to believe, of a given lottery ticket, that it will lose a fair lottery – no matter how many tickets are involved. According to Hawthorne, it is natural to employ parity reasoning when thinking about lottery outcomes: Put roughly, to believe that a given ticket will lose, no matter how likely that is, is to make an arbitrary choice between alternatives that are perfectly balanced given one’s evidence. It’s (...) natural to think that parity reasoning is only applicable to situations involving lotteries dice, spinners etc. – in short, situations in which we are reasoning about the outcomes of a putatively random process. As I shall argue in this paper, however, there are reasons for thinking that parity reasoning can be applied to any proposition that is less than certain given one’s evidence. To see this, we need only remind ourselves of a kind of argument employed by John Pollock and Keith Lehrer in the 1980s. If this argument works, then believing any uncertain proposition, no matter how likely it is, involves a (covert) arbitrary or capricious choice – an idea that contains an obvious sceptical threat. (shrink)

A variation of Fitch’s paradox is given, where no special rules of inference are assumed, only axioms. These axioms follow from the familiar assumptions which involve rules of inference. We show (by constructing a model) that by allowing that possibly the knower doesn’t know his own soundness (while still requiring he be sound), Fitch’s paradox is avoided. Provided one is willing to admit that sound knowers may be ignorant of their own soundness, this might offer a way out of the (...) paradox. (shrink)

Real-world agents do not know all consequences of what they know. But we are reluctant to say that a rational agent can fail to know some trivial consequence of what she knows. Since every consequence of what she knows can be reached via chains of trivial cot be dismissed easily, as some have attempted to do. Rather, a solution must give adequate weight to the normative requirements on rational agents’ epistemic states, without treating those agents as mathematically ideal reasoners. I’ll (...) argue that agents can fail to know trivial consequences of what they know, but never determinately. Such cases are epistemic oversights on behalf of the agent in question, and the facts about epistemic oversights are always indeterminate facts. As a result, we are never in a position to assert that such-and-such constitutes an epistemic oversight for agent i (for we may rationally assert only determinate truths). I then develop formal epistemic models according to which epistemic accessibility relations are vague. Given these models, we can show that epistemic oversights always concern indeterminate cases of knowledge. (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.

In recent work, Thomas Kroedel has proposed a novel solution to the lottery paradox. As he sees it, we are permitted/justified in believing some lottery propositions, but we are not permitted/justified in believing them all. I criticize this proposal on two fronts. First, I think that if we had the right to add some lottery beliefs to our belief set, we would not have any decisive reason to stop adding more. Suggestions to the contrary run into the wrong kind of (...) reason problem. Reflection on the preface paradox suggests as much. Second, while I agree with Kroedel that permissions do not agglomerate, I do not think that this fact can help us solve the lottery paradox. First, I do not think we have any good reason to think that we’re permitted to believe any lottery propositions. Second, I do not see any good reason to think that epistemic permissions do not agglomerate. (shrink)

The relevance of any logical analysis lies in its ability to solve paradoxes and trace conceptual troubles back; with this respect, the task of epistemic logic is to handle paradoxes in connection with the concept of knowledge. Epistemic logic is currently introduced as the logical analysis of crucial concepts within epistemology, namely: knowledge, belief, truth, and justification. An alternative approach will be advanced here in order to enlighten such a discourse, as centred upon the word assertion and displayed in terms (...) of utterance. Insofar as epistemic modalities express some attitudes, the intentionality of discourse will be emphasized within an illocutionary modal logic. Two large views will range over the whole study: declarative and epistemic sentences have one and the same logic (assertion logic); the plurality of languages games doesn’t entail any logical pluralism. -/- La valeur d'une analyse logique réside dans sa capacité à résoudre des paradoxes et à comprendre l'origine de nos problèmes conceptuels ; à ce titre, le rôle d'une logique épistémique est de traiter des paradoxes liés au concept de connaissance. On présente généralement la logique épistémique comme une analyse logique de concepts centraux en épistémologie : connaissance, croyance, vérité, justification. Une autre approche sera proposée ici en vue de clarifier ce genre de discours, centrée sur la notion d'assertion et décrite en termes d'énonciation. Parce que les modalités épistémiques expriment des attitudes, c'est l'intentionnalité du discours qui sera mise en valeur dans le cadre d'une logique modale illocutoire. Deux thèses transversales parcourront l'ensemble du travail : les énoncés déclaratifs et épistémiques partagent la même logique (logique assertorique) ; la pluralité des jeux de langages n'implique pas un pluralisme logique. (shrink)

C. I. Lewis (I883-I964) was the first major figure in history and philosophy of logic—-a field that has come to be recognized as a separate specialty after years of work by Ivor Grattan-Guinness and others (Dawson 2003, 257).Lewis was among the earliest to accept the challenges offered by this field; he was the first who had the philosophical and mathematical talent, the philosophical, logical, and historical background, and the patience and dedication to objectivity needed to excel. He was blessed with (...) many fortunate circumstances, not least of which was entering the field when mathematical logic, after only six decades of toil, had just reaped one of its most important harvests with publication of the monumental Principia Mathematica. It was a time of joyful optimism which demanded an historical account and a sober philosophical critique. Lewis was one of the first to apply to mathematical logic the Aristotelian dictum that we do not understand a living institution until we see it growing from its birth. (shrink)

This monography provides an overview of the conceptual developments that leads from the traditional views of infinite (and their paradoxes) to the contemporary view in which those old paradoxes are solved but new problems arise. Also a particular insight in the problem of continuity is given, followed by applications in theory of computability.

Epistemic modals in consequent place of indicative conditionals give rise to apparent counterexamples to Modus Ponens and Modus Tollens. Familiar assumptions of fa- miliar truth conditional theories of modality facilitate a prima facie explanation—viz., that the target cases harbor epistemic modal equivocations. However, these explana- tions go too far. For they foster other predictions of equivocation in places where in fact there are no equivocations. It is argued here that the key to the solution is to drop the assumption that (...) modal claims are inherently relational (i.e., that they ex- press a logical relation between a prejacent and a premise-set) in favor of a view that treats them as inherently quantificational. In particular it is suggested that modals are mass noun descriptions of information. We demonstrate how this approach unlocks the equivocation problem. (shrink)

Get used to it: paradox and contradiction are inherent in human experience. Australian philosopher of logic Graham Priest takes us on a historical tour of paradox and limitation in human conception, expression, cognition, and calculation. Along the way we meet the many, mostly western, philosophers who've struggled with expressing the inexpressible and conceiving the inconceivable. Priest arrives at a general schema for representing these limit encounters from the standpoint of contemporary logic.