The Surprise Exam Paradox is well-known: a teacher announces that there will be a surprise exam the following week; the students argue by an intuitively sound reasoning that this is impossible; and yet they can be surprised by the teacher. We suggest that a solution can be found scattered in the literature, in part anticipated by Wright and Sudbury, informally developed by Sorensen, and more recently discussed, and dismissed, by Williamson. In a nutshell, the solution consists in realising that the (...) teacher's announcement is a blindspot that can only be known if the week is at least 2 days long. Along the way, we criticise Williamson's own treatment of the paradox. In Williamson's view, the Surprise is similar to the Paradox of the Glimpse and, because of their similarities, both these paradoxes ought to receive a uniform treatment-one that involves locating an illicit application of the KK Principle. We argue that there's no deep analogy between the Surprise and the Glimpse and that, even if there were, the Surprise reasoning reaches a paradoxical conclusion before the KK Principle is used. Rather, in both the Surprise and the Glimpse, the blame should be put on other epistemic principles-respectively, a knowledge retention and a margin for error principle. (shrink)

Cases of inexact observations have been used extensively in the recent literature on higher-order evidence and higher-order knowledge. I argue that the received understanding of inexact observations is mistaken. Although it is convenient to assume that such cases can be modeled statically, they should be analyzed as dynamic cases that involve change of knowledge. Consequently, the underlying logic should be dynamic epistemic logic, not its static counterpart. When reasoning about inexact knowledge, it is easy to confuse the initial situation, the (...) observation process, and the result of the observation; I analyze the three separately. This dynamic approach has far reaching implications: Williamson’s influential argument against the KK principle loses its force, and new insights can be gained regarding synchronic and diachronic introspection principles. (shrink)

Epistemological contrastivism can model how infallible knowledge functions by employing the explanatory resource of structural differences between contrastive propositions, e.g., “P rather than Q”, and orthodox propositions, e.g., “P”. In doing so we notice that how this difference factors into our conception of infallible knowledge depends on two aspects: one, whether belief acts as a necessary condition for knowledge, and two, whether epistemic justification is construed as consciously internalist or non-consciously externalist. We further leverage the notion of phenomenal resolution, conceived (...) as an outcome of one’s discriminative capacities in accessing their evidence, to clarify in what sense it becomes reasonable to say that the truth of P mutually excludes the truth of Q when the latter is contrasted to the former. Importantly then, there is a way of infallibly knowing that P that is indistinguishable from infallibly knowing that P rather than Q, and a way that is not. (shrink)

According to Bayesian orthodoxy, an agent should update---or at least should plan to update---her credences by conditionalization. Some have defended this claim by means of a diachronic Dutch book argument. They say: an agent who does not plan to update her credences by conditionalization is vulnerable (by her own lights) to a diachronic Dutch book, i.e., a sequence of bets which, when accepted, guarantee loss of utility. Here, I show that this argument is in tension with evidence externalism, i.e., the (...) view that an agent's evidence can entail non-trivial propositions about the external world. I argue that this tension casts doubt on the idea that diachronic Dutch books can be used to justify or vindicate updating plans. (shrink)

On at least one of its uses, ‘higher-order evidence’ refers to evidence about what opinions are rationalized by your evidence. This chapter surveys the foundational epistemological questions raised by such evidence, the methods that have proven useful for answering them, and the potential consequences and applications of such answers.

Before the semester begins, a teacher tells his students: “There will be exactly one exam this semester. It will not take place on a day that is an immediate-successor of a day that you are currently in a position to know is not the exam-day”. Both the students and the teacher know – it is common knowledge – that no exam can be given on the first day of the semester. Since the teacher is truthful and reliable, it seems that (...) the students can know that what he says is true. However, in that case, assuming the students can know that they know whatever it is they know (KK) and assuming their knowledge is closed under entailment (closure), the students can reason from what they know to the conclusion that no exam will take place during the semester. This conclusion contradicts what they supposedly know: that there will be an exam. This puzzle, we argue, gives rise to a new consideration for the rejection of KK. We discuss unique features of the argument, especially in comparison to Timothy Williamson's rejection of KK in light of other versions of the surprise exam paradox. (shrink)

Closure principles say that if you know some proposition which entails a second and you meet further conditions then you know the second. In this paper I construct an argument against closure principles which turns on the idea that knowing a proposition requires that one’s belief-forming process be reliable. My argument parallels an influential argument offered by Timothy Williamson against KK principles–principles that say that if you know some proposition and you meet further conditions then you know that you know (...) the proposition. After offering my argument, I provisionally assess its damage to closure principles and also look at how responses to my argument against closure principles can be used to generate responses to Williamson’s argument against KK principles. (shrink)

In this article, I cast doubt on an apparent truism, namely, that if evidence is available for gathering and use at a negligible cost, then it’s always instrumentally rational for us to gather that evidence and use it for making decisions. Call this ‘value of information’ (VOI). I show that VOI conflicts with two other plausible theses. The first is the view that an agent’s evidence can entail non-trivial propositions about the external world. The second is the view that epistemic (...) rationality requires us to update our credences by conditionalization. These two theses, given some plausible assumptions, make room for rationally biased inquiries where VOI fails. I go on to argue that this is bad news for defenders of VOI. (shrink)

This paper examines the relationship between the KK principle and the epistemological theses of externalism and internalism. In particular we examine arguments from Okasha :80–86, 2013) and Greco :169–197, 2014) which deny that we can derive the denial of the KK principle from externalism.

This paper argues that two widely accepted principles about the indicative conditional jointly presuppose the falsity of one of the most prominent arguments against epistemological iteration principles. The first principle about the indicative conditional, which has close ties both to the Ramsey test and the “or‐to‐if” inference, says that knowing a material conditional suffices for knowing the corresponding indicative. The second principle says that conditional contradictions cannot be true when their antecedents are epistemically possible. Taken together, these principles entail that (...) it is impossible to be in a certain kind of epistemic state: namely, a state of ignorance about which of two partially overlapping bodies of knowledge corresponds to one's actual one. However, some of the more popular “margin for error” style arguments against epistemological iteration principles suggest that such states are not only possible, but commonplace. I argue that the tension between these views runs deep, arising just as much for non‐factive attitudes like belief, presupposition, and certainty. I also argue that this is worse news for those who accept the principles about the indicative conditional than it is for those who reject epistemological iteration principles. (shrink)

KK is the thesis that if you can know p, you can know that you can know p. Though it’s unpopular, a flurry of considerations has recently emerged in its favour. Here we add fuel to the fire: standard resources allow us to show that any failure of KK will lead to the knowability and assertability of abominable indicative conditionals of the form ‘If I don’t know it, p’. Such conditionals are manifestly not assertable—a fact that KK defenders can easily (...) explain. I survey a variety of KK-denying responses and find them wanting. Those who object to the knowability of such conditionals must either deny the possibility of harmony between knowledge and belief, or deny well-supported connections between conditional and unconditional attitudes. Meanwhile, those who grant knowability owe us an explanation of such conditionals’ unassertability—yet no successful explanations are on offer. Upshot: we have new evidence for KK. (shrink)

Assume that it is your evidence that determines what opinions you should have. I argue that since you should take peer disagreement seriously, evidence must have two features. (1) It must sometimes warrant being modest: uncertain what your evidence warrants, and (thus) uncertain whether you’re rational. (2) But it must always warrant being guided: disposed to treat your evidence as a guide. Surprisingly, it is very difficult to vindicate both (1) and (2). But diagnosing why this is so leads to (...) a proposal—Trust—that is weak enough to allow modesty but strong enough to yield many guiding features. In fact, I claim that Trust is the Goldilocks principle—for it is necessary and sufficient to vindicate the claim that you should always prefer to use free evidence. Upshot: Trust lays the foundations for a theory of disagreement and, more generally, an epistemology that permits self-doubt—a modest epistemology. (shrink)

According to the KK-principle, knowledge iterates freely. It has been argued, notably in Greco, that accounts of knowledge which involve essential appeal to normality are particularly conducive to defence of the KK-principle. The present article evaluates the prospects for employing normality in this role. First, it is argued that the defence of the KK-principle depends upon an implausible assumption about the logical principles governing iterated normality claims. Once this assumption is dropped, counter-instances to the principle can be expected to arise. (...) Second, it is argued that even if the assumption is maintained, there are other logical properties of normality which can be expected to lead to failures of KK. Such failures are noteworthy, since they do not depend on either a margins-for-error principle or safety condition of the kinds Williamson appeals to in motivating rejection KK. “Introduction: KK and Being in a Position to Know” Section formulates two versions of the KK-Principle; “Inexact Knowledge and Margins for Error” Section presents a version of Williamson’s margins-for-error argument against it; “Knowledge and Normality” and “Iterated Normality” Sections discuss the defence of the KK-Principle due to Greco and show that it is dependent upon the implausible assumption that the logic of normality ascriptions is at least as strong as K4; finally, “Knowledge in Abnormal Conditions” and “Higher-Order Ignorance Inside the Margins” Sections argue that a weakened version of Greco’s constraint on knowledge is plausible and demonstrate that this weakened constraint will, given uncontentious assumptions, systematically generate counter-instances to the KK-principle of a novel kind. (shrink)

Knows-knows principles in epistemology say that if you know some proposition, then you are in a position to know that you know it. This paper examines the viability of analogous principles in ethics, which I call ought-ought principles. Several epistemologists have recently offered new defences of KK principles and of other related principles, and there has recently been an increased interest in examining analogies between ethics and epistemology, and so it seems natural to examine whether defences of KK and related (...) principles carry over to OO principles. In this paper, I introduce two OO principles, and I show how some arguments in favour of KK carry over to them. Then I show how these OO principles can be used to shed light on a much-discussed case in ethics, that of Professor Procrastinate. (shrink)

Epistemologists have recently noted a tension between (i) denying access internalism, and (ii) maintaining that rational agents cannot be epistemically akratic, believing claims akin to ‘p, but I shouldn’t believe p’. I bring out the tension, and develop a new way to resolve it. The basic strategy is to say that access internalism is false, but that counterexamples to it are ‘elusive’ in a way that prevents rational agents from suspecting that they themselves are counterexamples to the internalist principles. I (...) argue that this allows us to do justice to the motivations behind both (i) and (ii). And I explain in some detail what a view of evidence that implements this strategy, and makes it independently plausible, might look like. (shrink)

The KK thesis says (roughly) that if S knows that P, then S knows that S knows that P. Though controversial, KK may be able to neatly explain an otherwise puzzling datum: namely, that assertions of the form “P, but I don’t know if I know that P” are infelicitous. If KK is true, those assertions are unknowable, and hence guaranteed to violate a knowledge norm on assertion. For many, the fact that KK (if true) can so explain that datum (...) is a strong consideration in its favor. This paper undermines that argument for KK. It first goes on the offensive, arguing that the more plausible “weak KK” gives a worse explanation of the datum. It then proposes an explanation which does not rely on any version of KK, but rather a "believe that you know" norm on assertion. Together, these moves undermine the linguistic argument for KK, and so significantly weaken the case for KK. (shrink)

The safety conception of knowledge holds that a belief constitutes knowledge iff relevantly similar beliefs—its epistemic counterparts—are true. It promises an instructive account of why certain general principles of knowledge hold. We focus on two such principles that anyone should endorse: the closure principle that knowledge is downward closed under competent conjunction elimination, and the counter-closure principle that knowledge is upward closed under competent conjunction introduction. We argue that anyone endorsing the former must also endorse the latter on pains of (...) an unacceptable form of bootstrapping. We devise new formal models to identify necessary and sufficient conditions for these principles to hold on conceptions that construe knowledge in terms of true counterparts. These conditions state that counterparts of premise and conclusion beliefs are coordinated in certain ways whenever these beliefs stand in the relevant inferential relations. We show that the safety conception faces insuperable problems vindicating these coordination principles, because its epistemic counterpart relation is symmetric. We conclude that it thus proves unable to account for minimal closure properties of knowledge. More generally, our formal results establish parameters within which any conception must operate that construes knowledge in terms of true counterparts. (shrink)

Inquiry aims at knowledge. Your inquiry into a question succeeds just in case you come to know the answer. However, combined with a common picture on which misleading evidence can lead knowledge to be lost, this view threatens to recommend a novel form of dogmatism. At least in some cases, individuals who know the answer to a question appear required to avoid evidence bearing on it. In this paper, we’ll aim to do two things. First, we’ll present an argument for (...) this novel form of dogmatism and show that it presents a substantive challenge. Second, we’ll consider a way those who take knowledge to be the aim of inquiry can mount a response. In the course of doing so, we’ll try to get clearer on the normative connections between inquiry, knowledge and evidence gathering. (shrink)

In his Knowledge and Belief (1962), Hintikka establishes his system of epistemic logic with the KK (Knowing that One Knows, in symbols, Kp→KKp) principle (KK for short). However, his system of epistemic logic and the KK principle are grounded upon his strong notion of knowledge, which requires that knowledge is infallible, that is, it makes further inquiry pointless, and becomes ‘discussion-stopper’; knowledge implies truth, to wit, cognitive agents will not be mistaken in their knowledge; cognitive agents will be ‘perfect logicians’, (...) i.e. they have infinitive capability of logical inference. Hintikka calls the argument for KK from the strong notion of knowledge as the ‘transcendental argument’ for KK. Obviously, the strong notion of knowledge is far away from our ordinary conception of knowledge; based on such a strong sense of knowledge, epistemic logic has met the problem of logical omnipotence, and is difficult to apply in our ordinary cognitive practice. Moreover, there is no close connection of the KK principle with internalism or externalism. (shrink)

Williamson (2000) argues that the KK principle is inconsistent with knowledge of margin for error in cases of inexact perceptual observations. This paper argues, primarily by analogy to a different scenario, that Williamson's argument is fallacious. Margin for error principles describe the agent's knowledge as a result of an inexact perceptual event, not the agent's knowledge state in general. Therefore, epistemic agents can use their knowledge of margin for error at most once after a perceptual event, but not more. This (...) insight blocks a crucial step in Williamson's original argument. Along the way, the value of standard epistemic logic for analyzing margin for error reasoning is challenged. (shrink)

kk states that knowing entails knowing that one knows, and K¬K states that not knowing entails knowing that one does not know. In light of the arguments against kk and K¬K⁠, one might consider modally qualified variants of those principles. According to weak kk, knowing entails the possibility of knowing that one knows. And according to weakK¬K⁠, not knowing entails the possibility of knowing that one does not know. This paper shows that weak kk and weakK¬K are much stronger than (...) they initially appear. Jointly, they entail kk and K¬K⁠. And they are susceptible to variants of the standard arguments against kk and K¬K⁠. This has interesting implications for the debate on positive introspection and for deeper issues concerning the structure and limits of knowability. (shrink)

Epistemic contradictions are now a well-known and often discussed phenomenon among those who study epistemic modals. These contradictions are expressed by sentences like ‘It is raining and it might not be raining’ whose oddness to the common ear demands an explanation. However, it has turned out to be a rather controversial enterprise to provide such an explanation in a sufficiently precise and general manner. According to pragmatic explanations, epistemic contradictions are semantically consistent but pragmatically defective. According to semantic explanations, one (...) should regard epistemic contradictions as plain semantic inconsistencies. Endorsing such a semantic solution is, however, tantamount to rejecting classical logic, which predicts the consistency of epistemic contradictions. After arguing that all existing solutions to this problem face as yet unmet challenges, I will present a new solution that adequately overcomes these challenges. I will propose to view epistemic contradictions as semantically consistent but epistemically defective sentences. The main thesis emerging will be that we need neither abandon the inference rules of classical logic nor the classical truth-conditional approach to semantics to deal adequately with epistemic contradictions. (shrink)

Michael Ayers’s Knowing and Seeing: Groundwork for a New Empiricism is a rich and detailed development of two ideas. The first is that perception presents reality to us directly in a perspicuous way. We thus acquire primary knowledge of the world: “knowledge gained by being evidently, self-consciously, in direct cognitive contact with the object of the knowledge.” (Ayers 2019, 63) The second idea is that concepts are not needed in perception. In this article, the author examines Ayers’s view. The author (...) proceeds as follows: In the first section, he identifies the target of Ayers’s attacks, conceptualism. He then describes why many philosophers have felt this conceptualist view to be attractive. In the next section, he discusses Ayers’s criticisms of conceptualism in an attempt to disentangle these criticisms from the statement of his positive view, which the author discusses in the following section. He ends by describing some problems for Ayers’s positive position that are, so he argues, the result of his vehement opposition to conceptualism. (shrink)

This paper explores the principle that knowledge is fragile, in that whenever S knows that S doesn’t know that S knows that p, S thereby fails to know p. Fragility is motivated by the infelicity of dubious assertions, utterances which assert p while acknowledging higher-order ignorance whether p. Fragility is interestingly weaker than KK, the principle that if S knows p, then S knows that S knows p. Existing theories of knowledge which deny KK by accepting a Margin for Error (...) principle can be conservatively extended with Fragility. (shrink)

The KK principle states that knowing entails knowing that one knows. This historically popular principle has fallen out of favour among many contemporary philosophers in light of putative counterexamples. Recently, some have defended more palatable versions of KK by weakening the principle. These revisions remain faithful to their predecessor in spirit while escaping crucial objections. This paper examines the prospects of such a strategy. It is argued that revisions of the original principle can be captured by a generalized knowledge iteration (...) principle, Weak-KK, which states that knowing entails the possibility of knowing that one knows. But Weak-KK is vulnerable to an unknowability result and therefore must be rejected. The arguments here suggest that retreating to weaker iteration principles is not an option for the KK enthusiast. (shrink)

Recently, several epistemologists have defended an attractive principle of epistemic rationality, which we shall call Ur-Prior Conditionalization. In this essay, I ask whether we can justify this principle by appealing to the epistemic goal of accuracy. I argue that any such accuracy-based argument will be in tension with Evidence Externalism, i.e., the view that agent's evidence may entail non-trivial propositions about the external world. This is because any such argument will crucially require the assumption that, independently of all empirical evidence, (...) it is rational for an agent to be certain that her evidence will always include truths, and that she will always have perfect introspective access to her own evidence. This assumption is in tension with Evidence Externalism. I go on to suggest that even if we don't accept Evidence Externalism, the prospects for any accuracy-based justification for Ur-Prior Conditionalization are bleak. (shrink)