An important question in epistemology is whether the KK principle is true, i.e., whether an agent who knows that p is also thereby in a position to know that she knows that p. We explain how a “transparency” account of self-knowledge, which maintains that we learn about our attitudes towards a proposition by reflecting not on ourselves but rather on that very proposition, supports an affirmative answer. In particular, we show that such an account allows us to reconcile a version (...) of the KK principle with an “externalist” or “reliabilist” conception of knowledge commonly thought to make that principle particularly problematic. (shrink)

Epistemic iteration principles are principles according to which some or another epistemic operator automatically iterates---e.g., if it is known that P, then it is known that P, or there is evidence that P, then there is evidence that there is evidence that P. This article provides a survey of various arguments for and against epistemic iteration principles, with a focus on arguments relevant to a wide range of such principles.

The prequel to this paper introduced the topic of iteration principles in epistemology and surveyed some arguments in support of them. In this sequel, I'll consider two influential families of objection to iteration principles. The first turns on the idea that they lead to some variety of skepticism, and the second turns on ‘margin for error’ considerations adduced by Timothy Williamson.

We distinguish between two categories of belief—thin belief and thick belief—and provide evidence that they approximate genuinely distinct categories within folk psychology. We use the distinction to make informative predictions about how laypeople view the relationship between knowledge and belief. More specifically, we show that if the distinction is genuine, then we can make sense of otherwise extremely puzzling recent experimental findings on the entailment thesis (i.e. the widely held philosophical thesis that knowledge entails belief). We also suggest that the (...) distinction can be applied to debates in the philosophy of mind and metaethics. (shrink)

What does ‘Smith knows that it might be raining’ mean? Expressivism here faces a challenge, as its basic forms entail a pernicious type of transparency, according to which ‘Smith knows that it might be raining’ is equivalent to ‘it is consistent with everything that Smith knows that it is raining’ or ‘Smith doesn’t know that it isn’t raining’. Pernicious transparency has direct counterexamples and undermines vanilla principles of epistemic logic, such as that knowledge entails true belief and that something can (...) be true without one knowing it might be. I re-frame the challenge in precise terms and propose a novel expressivist formal semantics that meets it by exploiting (i) the topic-sensitivity and fragmentation of knowledge and belief states and (ii) the apparent context-sensitivity of epistemic modality. The resulting form of assertibility semantics advances the state of the art for state-based bilateral semantics by combining attitude reports with context-sensitive modal claims, while evading various objectionable features. In appendices, I compare the proposed system to Beddor and Goldstein’s ‘safety semantics’ and discuss its analysis of a modal Gettier case due to Moss. (shrink)

Some arguments against the assumption that ordinary people may share common knowledge are sound. The apparent cost of such arguments is the rejection of scientific theories that appeal to common knowledge. My proposal is to accept the arguments without rejecting the theories. On my proposal, common knowledge is shared by ideally rational people, who are not just mathematically simple versions of ordinary people. They are qualitatively different from us, and theorizing about them does not lead to predictions about our behavior. (...) Nevertheless, models of action that assume common knowledge have a role to play in our understanding of collective rationality. (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)

One of the central arguments for the knowledge norm of assertion appeals to the fact that it is typically legitimate to respond to an assertion with “How do you know?”, intended as a challenge to the assertion. The legitimacy of the challenge is taken as evidence in favor of the idea that permissible assertion requires knowledge. In this paper, I argue that if the legitimacy of “How do you know?” challenges supports a knowledge norm for assertion, it also supports the (...) controversial KK thesis. I further argue that data from assertion prompts likewise supports KK. This is an unwelcome consequence for many proponents of the knowledge norm of assertion who reject KK. At the same time, it constitutes new evidence from conversational patterns in favor of the KK thesis. (shrink)

Philosophy and Phenomenological Research, Volume 104, Issue 1, Page 19-49, January 2022.

How is what we believe related to how we act? That depends on what we mean by ‘believe’. On the one hand, there is what we're sure of: what our names are, where we were born, whether we are sitting in front of a screen. Surety, in this sense, is not uncommon — it does not imply Cartesian absolute certainty, from which no possible course of experience could dislodge us. But there are many things that we think that we are (...) not sure of. For example, you might think that it will rain sometime this month, but not be sure that it will. Both what we're sure of and what we think have important normative connections to action. But the connections are quite different. This paper explores these issues with respect to assertion, inquiry, and decision making. We conclude by arguing that there is no theoretically significant notion of ‘full belief’ intermediate in strength between thinking and being sure. (shrink)

What is the connection between having a phenomenal property and knowing that one has that property? A traditional view on the matter takes the connection to be quite intimate. Whenever one has a phenomenal property, one knows that one does. Recently most authors have denied this traditional view. The goal of this paper is to defend the traditional view. In fact, I will defend something much stronger: I will argue that what it is for a property to be phenomenal is (...) for it to be a property one must know oneself to have when on has it. As we will see, this theory has a number of surprising and welcome upshots, suggesting that the traditional view has been unjustly maligned. (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)

We call attention to certain cases of epistemic akrasia, arguing that they support belief-credence dualism. Belief-credence dualism is the view that belief and credence are irreducible, equally fundamental attitudes. Consider the case of an agent who believes p, has low credence in p, and thus believes that they shouldn’t believe p. We argue that dualists, as opposed to belief-firsters (who say credence reduces to belief) and credence-firsters (who say belief reduces to credence) can best explain features of akratic cases, including (...) the observation that akratic beliefs seem to be held despite possessing a defeater for those beliefs, and that, in akratic cases, one can simultaneously believe and have low confidence in the very same proposition. (shrink)

Formal models of appearance and reality have proved fruitful for investigating structural properties of perceptual knowledge. This paper applies the same approach to epistemic justification. Our central goal is to give a simple account of The Preface, in which justified belief fails to agglomerate. Following recent work by a number of authors, we understand knowledge in terms of normality. An agent knows p iff p is true throughout all relevant normal worlds. To model The Preface, we appeal to the normality (...) of error. Sometimes, it is more normal for reality and appearance to diverge than to match. We show that this simple idea has dramatic consequences for the theory of knowledge and justification. Among other things, we argue that a proper treatment of The Preface requires a departure from the internalist idea that epistemic justification supervenes on the appearances and the widespread idea that one knows most when free from error. (shrink)

It is often assumed that perceptual experience provides evidence about the external world. But much perception can occur unconsciously, as in cases of masked priming or blindsight. Does unconscious perception provide evidence as well? Many theorists maintain that it cannot, holding that perceptual experience provides evidence in virtue of its conscious character. Against such views, I challenge here both the necessity and, perhaps more controversially, the sufficiency of consciousness for perception to provide evidence about the external world. In addition to (...) motivating and defending the idea that unconscious perception can and does often provide evidence, I observe that whether or not perceptual phenomenology is relevant to the evidentiary status of perception depends on the nature of consciousness. And I argue that a well-supported theory of consciousness—higher-order thought theory—invites a striking conclusion: that perceptual phenomenology is not on its own sufficient to provide for evidence of the external world. (shrink)

This paper proposes a new account of bounded or minimal doxastic rationality (in the sense of Cherniak 1986), based on the notion that beliefs are answers to questions (à la Yalcin 2018). The core idea is that minimally rational beliefs are linked through thematic connections, rather than entailment relations. Consequently, such beliefs are not deductively closed, but they are closed under parthood (where a part is an entailment that answers a smaller question). And instead of avoiding all inconsistency, minimally rational (...) believers only avoid blatant inconsistencies (where some beliefs are blatantly inconsistent when they contradict one another on a particular question). Rather than cohering into a single overall world view, beliefs are more loosely connected in what is best described as a web of questions. This view of minimally rational belief naturally gives rise to an account of deductive inquiry on which deductive reasoning is a matter of posing new questions. (shrink)

Many of our beliefs behave irrationally: this is hardly news to anyone. Although beliefs’ irrational tendencies need to be taken into account, this paper argues that beliefs necessarily preserve at least a minimal level of rationality. This view offers a plausible picture of what makes belief unique and will help us to set beliefs apart from other cognitive attitudes.

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)

According to the Fragmentation Analysis, epistemic akrasia is a state of conflict between beliefs formed by the linguistic and non-linguistic belief-formation systems, and epistemic akrasia is irrational because it is a state of conflict between beliefs so formed. I argue that there are cases of higher-order epistemic akrasia, where both beliefs are formed by the linguistic belief-formation system. Because the Fragmentation Analysis cannot accommodate this possibility, the Fragmentation Analysis is incorrect. I consider three objections to the possibility of higher-order epistemic (...) akrasia. Along the way, I offer a revision of the Fragmentation Analysis that can allow for the possibility of higher-order akrasia while avoiding the problems I point out for the original view. (shrink)

An opinionated introduction to philosophical issues connected to common knowledge.

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)

This paper explores some consequences of Lewis’s (Australas J Philos 74(4):549–567, 1996) understanding of how knowledge is compartmentalized. It argues, first, that he underestimates how badly it impacts his view. When knowledge is compartmentalized, it lacks at least one of two essential features of Lewis’s account: (a) Elusiveness—familiar skeptical possibilities, when relevant, are incompatible with everyday knowledge. (b) Knowledge is a modality—when a thinker knows that p, there is no relevant possibility where p is false. Lewis proposes compartmentalized knowledge to (...) keep treating knowledge as a modality while mitigating one of its unrealistic epistemological implications: In normal modal epistemic logic (and standard possible world semantics), a thinker always counts as knowing the strongest proposition that follows from the set of all the individual propositions that this thinker knows. Lewis’s compartmentalization proposal is that thinkers merely know the conjunctions of propositions that are known in each of, but not across, their compartments. The irony is that in avoiding overblown knowledge the view now allows for thinkers to attend to skeptical error possibilities and yet knowledge is present. The account avoids inflation of knowledge in one sense only to acquire another type of knowledge the view denies subjects can have. This problem motivates an inspection of knowledge accounts whose intra-compartment closure principles are weaker than those that are valid in normal modal-logic. The conclusion is that some formulations of closure can avoid the challenge Lewis’s view faces. Nevertheless, even these closure principles pose a barrier—perhaps an implausible barrier—for knowledge of ignorance. Even when the reasoning supporting the lack of knowledge is sound, a subject cannot always know she doesn’t know. Interestingly, this obstacle is one that knowledge of knowledge doesn’t seem to face. (shrink)

A cryptonormative judgment, roughly speaking, is a judgment that is presented by the agent who makes it as non-normative, but that is in fact normative. The idea of cryptonormativity is familiar from debates in social theory, social psychology, and continental political philosophy, but has to my knowledge never been treated in analytic metaethics, moral psychology or epistemology except in passing. In this paper, I argue, first, that cryptonormative judgments are pervasive: familiar cases from everyday life are most naturally diagnosed as (...) cryptonormative judgments. Secondly, they reveal that normative judgment is a state that can be quite deeply non-transparent to its bearer, in a way that is not, for example, assimilable to the phenomenon of self-deception. Thirdly, they shed light on debates over amoralism and lend some support to a picture of normative psychology that links normative judgment constitutively to motivation. In the conclusion, I make some remarks about the social and political insidiousness of cryptonormativity, looking forward to future work. (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)

In the First Meditation, the Cartesian meditator temporarily concludes that he cannot know anything, because he cannot discriminate dreaming from waking while he is dreaming. To resist the meditator’s conclusion, one could deploy an asymmetry argument. Following Bernard Williams, one could argue that even if the meditator cannot discriminate dreaming from waking while dreaming, it does not follow that he cannot do it while awake. In general, asymmetry arguments seek to identify an asymmetry between a bad case that is entertained (...) as a ground for doubt and a good case in which one takes oneself to know something. My aim in this paper is to consider how effective asymmetry arguments are as an anti-skeptical strategy. I conclude that although asymmetry arguments provide an effective response to dreaming skepticism, they fail as a response to brains-in-a-vat skepticism. (shrink)

Implicit attitudes are mental states posited by psychologists to explain behaviors including implicit racial and gender bias. In this paper I investigate the belief view of the implicit attitudes, on which implicit attitudes are a kind of implicit belief. In particular, I focus on why implicit attitudes, if they are beliefs, are often resistant to updating in light of new evidence. I argue that extant versions of the belief view do not give a satisfactory account of this phenomenon. This is (...) because proponents of the belief view have focused on overly narrow explanations of recalcitrance in terms of belief storage. Expanding the focus of the belief view to the kinds of irrational and arational transitions between beliefs and other mental states provides compelling (if preliminary) explanations of recalcitrance. (shrink)

The present paper argues that there is a knowledge norm for conversational implicature: one may conversationally implicate p only if one knows p. Linguistic data about the cancellation behavior of implicatures and the ways they are challenged and criticized by speakers is presented to support the thesis. The knowledge norm for implicature is then used to present a new consideration in favor of the KK thesis. It is argued that if implicature and assertion have knowledge norms, then assertion requires not (...) only knowledge but iterated knowledge: knowing that you know that you know that... you know. Such a condition on permissible assertion is argued to be plausible only if the KK thesis is true. (shrink)

Bayesian confirmation theory is our best formal framework for describing inductive reasoning. The problem of old evidence is a particularly difficult one for confirmation theory, because it suggests that this framework fails to account for central and important cases of inductive reasoning and scientific inference. I show that we can appeal to the fragmentation of doxastic states to solve this problem for confirmation theory. This fragmentation solution is independently well-motivated because of the success of fragmentation in solving other problems. I (...) also argue that the fragmentation solution is preferable to other solutions to the problem of old evidence. These other solutions are already committed to something like fragmentation, but suffer from difficulties due to their additional commitments. If these arguments are successful, Bayesian confirmation theory is saved from the problem of old evidence, and the argument for fragmentation is bolstered by its ability to solve yet another problem. (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)

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)

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)

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)

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)

According to the cognitive model of psychopathology, maladaptive beliefs about oneself, others, and the world are the main factors contributing to the development and persistence of various forms of mental suffering. Therefore, the key therapeutic process of Cognitive Behavioral Therapy (CBT)—a therapeutic approach rooted in the cognitive model—is cognitive restructuring, i.e., a process of revision of such maladaptive beliefs. In this paper, I examine the philosophical assumptions underlying CBT and offer theoretical reasons to think that the effectiveness of belief revision (...) in psychotherapy is very limited. This is the case, I argue, because the cognitive model wrongly assumes that our body of beliefs is unified, while it is in fact fragmented. (shrink)

Dilip Ninan has raised a puzzle for centered world accounts of de re attitude reports extended to accommodate what he calls “counterfactual attitudes.” As a solution, Ninan introduces multiple centers to the standard centered world framework, resulting in a more robust semantics for de re attitude reports. However, while the so-called multi-centered world proposal solves Ninan’s counterfactual puzzle, this additional machinery is not without problems. In Section 1, I present the centered world account of attitude reports, followed by the extension (...) to counterfactual attitudes which Ninan targets with his puzzle. In Section 2, I pose the counterfactual puzzle and present Ninan’s multi-centered world solution, emphasizing similarities and differences between multi-centered and centered world accounts of attitude reports. In Section 3, I argue the counterfactual attitude wishing falls under the purview of the multi-centered proposal, but that the proposal generates false predictions for wish reports concerning unsatisfiable content. I canvass responses, ultimately concluding Ninan’s proposal requires substantial revisions. (shrink)

This essay defends a principle that promises to help illuminate the nature of reflective knowledge. The principle in question belongs to a broader category called knows-knows principles, or KK principles for short. Such principles say that if you know some proposition, then you're in a position to know that you know it.KK principles were prominent among various historical philosophers and can be fruitfully integrated with many views in contemporary epistemology and beyond—and yet almost every contemporary analytic epistemologist thinks that they (...) are false.Regarding their historical pedigree: they've been endorsed by Plato, Aristotle, Augustine, Averroes, Aquinas, Spinoza, and Schopenhauer, among others.1Regarding... (shrink)

I criticize the idea that theories of ‘fragmented’ or ‘compartmentalized’ belief (as found in, e.g., Lewis 1982, Egan 2008) can help to account for the puzzling phenomena they are often taken to account for. After introducing fragmentationalism and a paradigm case that purportedly motivates it, I criticize the view primarily on the grounds that the models and explanations it offers are at best trivial—as witnessed by examples of over-generation—and should be seen as merely re-describing in figurative terms the phenomena it (...) is designed to account for. I also point out that fragments, as used in these theories, are not likely to be psychologically real in any robust sense and so cannot be appealed to on such grounds. (shrink)

One main argument that has been offered in support of the Knowledge Account of Assertion is that it successfully makes sense of a variety of Moorean-paradoxical claims. David Sosa has objected to the Knowledge Account by arguing that it does not generalize satisfactorily to make sense of the oddity of iterated conjunctions of the form “p but I don’t know whether I know that p”. Recently, Martin Montminy has offered a defense of the Knowledge Account. In this paper, I show (...) that both Montminy’s and Sosa’s arguments fail. First, I argue that Montminy does not offer a good reply to Sosa; then I show that Sosa’s objection actually does not constitute a real threat to the Knowledge Account. (shrink)