Default logic has been a very active research topic in artificial intelligence since the early 1980s, but has not received as much attention in the philosophical literature thus far. This paper shows one way in which the technical tools of artificial intelligence can be applied in contemporary epistemology by modeling a paradigmatic case of deep disagreement using default logic. In §1 model-building viewed as a kind of philosophical progress is briefly motivated, while §2 introduces the case of deep disagreement we (...) aim to model. On the heels of this, §3 defines our formal framework, viz., a refined Horty-style default logic. §4 then uses the framework to model deep disagreement, and finally §5 provides a critical discussion of the result. (shrink)

Some philosophers think that knowledge or justification is both necessary and sufficient for rational action: they endorse knowledge-action or justification-action biconditionals. This paper offers a novel, metaphysical challenge to these biconditionals, which proceeds with a familiar question: What depends on what? If you know that p iff it is rational for you to act on p, do you know that p partly because it is rational for you to act on p, or is it rational for you to act on (...) p partly because you know that p? And a structurally similar question can be asked regarding justification-action biconditionals. I argue that proponents of these biconditionals cannot give a satisfactory answer to these questions. This is because each direction of these biconditionals strongly supports an opposite order of explanation to the one that is supported by the other direction. Given the traditional assumption that metaphysical explanations—even partial ones—are asymmetric, I argue that these biconditionals should be rejected. While knowledge might be necessary for rational action, and it might be sufficient, it cannot be both. And the same goes for justification. (shrink)

Evidentialism and Reliabilism are two of the main contemporary theories of epistemic justification. Some authors have thought that the theories are not incompatible with each other, and that a hybrid theory which incorporates elements of both should be taken into account. More recently, other authors have argued that the resulting theory is well- placed to deal with fine-grained doxastic attitudes (credences). In this paper I review the reasons for adopting this kind of hybrid theory, paying attention to the case of (...) credences and the notion of probability involved in their treatment. I argue that the notion of probability in question can only be an epistemic (or evidential) kind of probability. I conclude that the resulting theory will be incompatible with Reliabilism in one important respect: it cannot deliver on the reductivist promise of Reliabilism. I also argue that attention to the justification of basic beliefs reveals limitations in the Evidentialist framework as well. The theory that results from the right combination of Evidentialism and Reliabilism, therefore, is neither Evidentialist nor Reliabilist. (shrink)

Externalism is the thesis that the contents of intentional states and speech acts are not determined by the way the subjects of those states or acts are internally. It is a widely accepted but not entirely uncontroversial thesis. Among such theses in philosophy, externalism is notable for owing the assent it commands almost entirely to thought experiments, especially to variants of Hilary Putnam's famous Twin Earth scenario. This paper presents a thought experiment-free argument for externalism. It shows that externalism is (...) a deductive consequence of a pair of widely accepted principles whose relevance to the issue has hitherto gone unnoticed. (shrink)

Many criticisms of epistemic logic have centered around its use of devices such as idealized knowers with logical omniscience and perfect self-knowledge. One possible response to such criticisms is to say that these idealizations are normative devices, and that epistemic logic tells us how agents ought to behave. This paper will take a different approach, treating epistemic logic as descriptive, and drawing the analogy between its formal models and idealized scientific models on that basis. Treating it as descriptive matches the (...) way in which some philosophers, including one of its founders, Jaako Hintikka, have thought about epistemic logic early in its history. Further, the analogy between the two fields will give us a way to defuse criticisms that see epistemic logic as unrealistic. For example, criticizing models of epistemic logic in which agents know all propositional tautologies as being unrealistic would be like criticizing frictionless planes in physics for being unrealistic. Each one would certainly be an unsuitable model for studying some kinds of phenomena, but is entirely appropriate for others. After outlining the analogy between epistemic and scientific models, we will discuss some ways in which idealizations are used by different research programs in epistemic logic. (shrink)

Unlike first-person Moorean sentences, it’s not always awkward to assert, “p, but you don’t know that p.” This can seem puzzling: after all, one can never get one’s audience to know the asserted content by speaking thus. Nevertheless, such assertions can be conversationally useful, for instance, by helping speaker and addressee agree on where to disagree. I will argue that such assertions also make trouble for the growing family of views about the norm of assertion that what licenses proper assertion (...) is not the initiating epistemic position of the speaker but the resulting epistemic position of the audience. (shrink)

The five commentators on my paper ‘Gettier Cases in Epistemic Logic’ (GCEL) demonstrate how fruitful the topic can be. Especially in Brian Weatherson's contribution, and to some extent in those of Jennifer Nagel and Jeremy Goodman, much of the material constitutes valuable development and refinement of ideas in GCEL, rather than criticism. In response, I draw some threads together, and answer objections, mainly those in the papers by Stewart Cohen and Juan Comesaña and by Goodman.

The paper explains how Gettier’s conclusion can be reached on general theoretical grounds within the framework of epistemic logic, without reliance on thought experiments. It extends the argument to permissive conceptions of justification that invalidate principles of multi-premise closure and require neighbourhood semantics rather than semantics of a more standard type. The paper concludes by recommending a robust methodology that aims at convergence in results between thought experimentation and more formal methods. It also warns against conjunctive definitions as sharing several (...) of the drawbacks of disjunctive definitions. (shrink)

Recently, Timothy Williamson has argued that considerations about margins of errors can generate a new class of cases where agents have justified true beliefs without knowledge. I think this is a great argument, and it has a number of interesting philosophical conclusions. In this note I’m going to go over the assumptions of Williamson’s argument. I’m going to argue that the assumptions which generate the justification without knowledge are true. I’m then going to go over some of the recent arguments (...) in epistemology that are refuted by Williamson’s work. And I’m going to end with an admittedly inconclusive discussion of what we can know when using an imperfect measuring device. (shrink)

In previous work I’ve defended an interest-relative theory of belief. This paper continues the defence. It has four aims. -/- 1. To offer a new kind of reason for being unsatis ed with the simple Lockean reduction of belief to credence. 2. To defend the legitimacy of appealing to credences in a theory of belief. 3. To illustrate the importance of theoretical, as well as practical, interests in an interest-relative account of belief. 4. To revise my account to cover propositions (...) that are practically and theoretically irrelevant to the agent. (shrink)

When discussing knowledge, two relations are of interest: justified doxastic accessibility \ , she is in \ ) and justification equivalence \ exactly the same justified beliefs that she has in \ ). Speaking of compatibility with the agent’s justified beliefs is potentially ambiguous: either of the two relations \ or \ can be meant. I discuss the possibility of identifying the relation of epistemic accessibility \ , she is in \ ) with the union of \ and \ . (...) Neither Gettier’s examples nor the ‘fake barn’ cases contradict this identification. However, the proposal leads to justification equivalent scenarios being symmetric with respect to knowledge: we cannot know a true proposition in a scenario if it is false in a justification equivalent scenario. This analysis may appear to render non-trivial knowledge impossible. This conclusion follows if the extra premise is granted that for all relevant true propositions there is a justification equivalent scenario in which the proposition is false. I provide a meaning-theoretic argument against this premise. I conclude by pointing out problems that would ensue from giving up the proposed connection between \ , \ and \ and allowing asymmetry of justification equivalent scenarios relative to knowledge. (shrink)

Having direct doxastic control would not be particularly desirable if exercising it required a failure of epistemic rationality. With that thought in mind, recent writers have invoked the view that epistemic rationality gives us options to defend the possibility of a significant form of direct doxastic control. Specifically, they suggest that when the evidence for p is sufficient but not conclusive, it would be epistemically rational either to believe p or to be agnostic on p, and they argue that we (...) can in these cases effectively decide to form either attitude without irrationality. This paper argues against the version of epistemic permissivism invoked by these writers and shows that other plausible versions of permissivism do not support their cause. It concludes that if we can exercise direct doxastic control without irrationality, it is not because epistemic rationality gives us options. (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)

I advocate scepticism about epistemic blame; the view that we have good reason to think there is no distinctively epistemic form of blame. Epistemologists often find it useful to draw a distinction between blameless and blameworthy norm violation. In recent years, this has led several writers to develop theories of ‘epistemic blame.’ I present two challenges against the very idea of epistemic blame. First, everything that is supposedly done by epistemic blame is done by epistemic evaluation, at least according to (...) a prominent view about the social role of epistemic evaluation. Parsimony considerations count against introducing an idle mechanism that does the same work as an existing one. Second, no current theory of epistemic blame includes a plausible account of the force of epistemic blame or the practices that could express it. I conclude that we should give up the notion of epistemic blame. (shrink)

Suppose you’d like to believe that p, whether or not it’s true. What can you do to help? A natural initial thought is that you could engage in Intentionally Biased Inquiry : you could look into whether p, but do so in a way that you expect to predominantly yield evidence in favour of p. This paper hopes to do two things. The first is to argue that this initial thought is mistaken: intentionally biased inquiry is impossible. The second is (...) to show that reflections on intentionally biased inquiry strongly support a controversial ‘access’ principle which states that, for all p, if p is part of our evidence, then that p is part of our evidence is itself part of our evidence. (shrink)

Many of our sources of knowledge only afford us knowledge that is inexact. When trying to see how tall something is, or to hear how far away something is, or to remember how long something lasted, we may come to know some facts about the approximate size, distance or duration of the thing in question but we don’t come to know exactly what its size, distance or duration is. In some such situations we also have some pointed knowledge of how (...) inexact our knowledge is. That is, we can knowledgeably pinpoint some exact claims that we do not know. We show that standard models of inexact knowledge leave little or no room for such pointed knowledge. We devise alternative models that are not afflicted by this shortcoming. (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)

Do laypeople and philosophers differ in their attributions of knowledge? Starmans and Friedman maintain that laypeople differ from philosophers in taking ‘authentic evidence’ Gettier cases to be cases of knowledge. Their reply helpfully clarifies the distinction between ‘authentic evidence’ and ‘apparent evidence’. Using their sharpened presentation of this distinction, we contend that the argument of our original paper still stands.

Doxasticism is the view that propositional faith that p entails belief that p. This view has recently come under fire within analytic philosophy of religion. One common objection is that faith is compatible with doubt in a way that belief is not. One version of this objection, recently employed by Beth Rath, is to use a particular story, in this case Jesus Christ’s cry of dereliction, to argue that someone had propositional faith while ceasing to believe. Thus, doxasticism is false. (...) Rath’s approach of analyzing a case from scripture has the advantage of allowing her to provide evidence for the claim that a subject had propositional faith but lost belief. However, I argue that Rath faces a dilemma: on the interpretation of the passage necessary for her argument, either Christ did lose his propositional faith that God was with him, or else he did not lose his belief that God was with him. Either way, she must reject a key premise in her argument. (shrink)

Abstract. Traditional epistemology of knowledge and belief can be succinctly characterized as JTB-epistemology, i.e., it is characterized by the thesis that knowledge is justified true belief. Since Gettier’s trail-blazing paper of 1963 this account has become under heavy attack. The aim of is paper is to study the Gettier problem and related issues in the framework of topological epistemic logic. It is shown that in the framework of topological epistemic logic Gettier situations necessarily occur for most topological models of knowledge (...) and belief. On the other hand, there exists a special class of topological models (based on so called nodec spaces) for which traditional JTB-epistemology is valid. Further, it is shown that for each topological model of Stalnaker’s combined logic KB of knowledge and belief a canonical JTB-model (its JTB-doppelganger) can be constructed that shares many structural properties with the original model but is free of Gettier situations. The topological model and its JTB-doppelganger both share the same justified belief operator and have very similar knowledge operators. Seen from a somewhat different perspective, the JTB-account of epistemology amounts to a simplification of a more general epistemological account of knowledge and belief that assumes that these two concepts may differ in some cases. The JTB-account of knowledge and belief assumes that the epistemic agent’s cognitive powers are rather large. Thereby in the JTB-epistemology Gettier cases do not occur. Eventually, it is shown that for all topological models of Stalnaker’s KB-logic Gettier situations are topologically characterized as nowhere dense situations. This entails that Gettier situations are epistemologically invisible in the sense that they can neither be known nor believed with justification with respect to the knowledge operator and the belief operator of the models involved. (shrink)

Traditional epistemology of knowledge and belief can be succinctly characterized as JTB-epistemology, i.e., it is characterized by the thesis that knowledge is justified true belief. Since Gettier’s trail-blazing paper of 1963 this account has become under heavy attack. The aim of is paper is to study the Gettier problem and related issues in the framework of topological epistemic logic. It is shown that in the framework of topological epistemic logic Gettier situations necessarily occur for most topological models of knowledge and (...) belief. On the other hand, there exists a special class of topological models (based on so called nodec spaces) for which traditional JTB-epistemology is valid. Further, it is shown that for each topological model of Stalnaker’s combined logic KB of knowledge and belief a canonical JTB-model (its JTB-doppelganger) can be constructed that shares many structural properties with the original model but is free of Gettier situations. The topological model and its JTB-doppelganger both share the same justified belief operator and have very similar knowledge operators. Seen from a somewhat different perspective, the JTB-account of epistemology amounts to a simplification of a more general epistemological account of knowledge and belief that assumes that these two concepts may differ in some cases. The JTB-account of knowledge and belief assumes that the epistemic agent’s cognitive powers are rather large. Thereby in the JTB-epistemology Gettier cases do not occur. Eventually, it is shown that for all topological models of Stalnaker’s KB- logic Gettier situations are topologically characterized as nowhere dense situations. This entails that Gettier situations are epistemologically invisible in the sense that they can neither be known nor believed with justification with respect to the knowledge operator and the belief operator of the models involved. Keywords. Stalnaker’s logic KB of knowledge and belief; Topological epistemology; Epistemic Invisibility; Doxastic invisibility; Gettier cases; . (shrink)

Here I advance a unified account of the structure of the epistemic normativity of assertion, action, and belief. According to my Teleological Account, all of these are epistemically successful just in case they fulfill the primary aim of knowledgeability, an aim which in turn generates a host of secondary epistemic norms. The central features of the Teleological Account are these: it is compact in its reliance on a single central explanatory posit, knowledge-centered in its insistence that knowledge sets the fundamental (...) epistemic norm, and yet fiercely pluralistic in its acknowledgment of the legitimacy and value of a rich range of epistemic norms distinct from knowledge. Largely in virtue of this pluralist character, I argue, the Teleological Account is far superior to extant knowledge-centered accounts. (shrink)

A variety of recent work in epistemology employs a notion of normality to provide novel theories of knowledge or justification. While such theories are commonly advertised as affording particularly strong epistemic logics, they often make substantive assumptions about the background notion of normality and its logic. This article takes recent normality-based defences of the KK principle as a case study to submit such assumptions to scrutiny. After clarifying issues regarding the natural language use of normality claims, the article isolates a (...) number of choice points regarding the role of contingency, context-sensitivity and similarity in our theorizing with normality. It turns out that both weaker and stronger logics of normality can be motivated depending on how such choices are resolved. And yet securing logics of normality strong enough for normality to play its envisaged role in epistemology may have unwelcome downstream consequences for the resultant theories of knowledge or justification. (shrink)

There is much to like about the idea that justification should be understood in terms of normality or normic support (Smith 2016, Goodman and Salow 2018). The view does a nice job explaining why we should think that lottery beliefs differ in justificatory status from mundane perceptual or testimonial beliefs. And it seems to do that in a way that is friendly to a broadly internalist approach to justification. In spite of its attractions, we think that the normic support view (...) faces two serious challenges. The first is that it delivers the wrong result in preface cases. These cases suggest that the view is either too sceptical or too externalist. The second is that the view struggles with certain kinds of Moorean absurdities. It turns out that these problems can easily be avoided. If we think of normality as a condition on *knowledge*, we can characterise justification in terms of its connection to knowledge and thereby avoid the difficulties discussed here. The resulting view does an equally good job explaining why we should think that our perceptual and testimonial beliefs are justified when lottery beliefs cannot be. Thus, it seems that little could be lost and much could be gained by revising the proposal and adopting a view on which it is knowledge, not justification, that depends directly upon normality. (shrink)

I argue that it is epistemically permissible to believe that P when it is epistemically rational to believe that P. Unlike previous defenses of this claim, this argument is not vulnerable to the claim that permissibility is being confused with excusability.

Recently it has been increasingly popular to argue that knowledge is the norm of belief. I present an argument against this view. The argument trades on the epistemic situation of the subject in the bad case. Notably, unlike with other superficially similar arguments against knowledge norms, knowledge normers preferred strategy of appealing to the distinction between permissibility and excusability cannot help them to rebut this argument.

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 J=K, only beliefs that qualify as knowledge are epistemically justified. Traditionalists about justification have objected to this view that it predicts that radically deceived subjects do not have justified beliefs, which they take to be counter-intuitive. In response, proponents of J=K have argued that traditionalists mistake being justified with being excused in the relevant cases. To make this response work, Timothy Williamson has offered a dispositional account of excuse which has recently been challenged by Jessica Brown. She has (...) presented cases in which Williamson’s account excuses subjects believing things in an epistemically reckless fashion. To steer clear of Brown’s counterexamples, I argue for a modification of Williamson’s account that employs a more fine-grained notion of the dispositions involved. (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.

In a series of recent papers, Timothy Williamson has argued for the surprising conclusion that there are cases in which you know a proposition in spite of its being overwhelmingly improbable given what you know that you know it. His argument relies on certain formal models of our imprecise knowledge of the values of perceptible and measurable magnitudes. This paper suggests an alternative class of models that do not predict this sort of improbable knowing. I show that such models are (...) motivated by independently plausible principles in the epistemology of perception, the epistemology of estimation, and concerning the connection between knowledge and justified belief. (shrink)

We offer a general framework for theorizing about the structure of knowledge and belief in terms of the comparative normality of situations compatible with one’s evidence. The guiding idea is that, if a possibility is sufficiently less normal than one’s actual situation, then one can know that that possibility does not obtain. This explains how people can have inductive knowledge that goes beyond what is strictly entailed by their evidence. We motivate the framework by showing how it illuminates knowledge about (...) the future, knowledge of lawful regularities, knowledge about parameters measured using imperfect instruments, the connection between knowledge, belief, and probability, and the dynamics of knowledge and belief in response to new evidence. (shrink)

This paper models knowledge in cases where an agent has multiple experiences over time. Using this model, we introduce a series of observations that undermine the pretheoretic idea that the evidential significance of experience depends on the extent to which that experience matches the world. On the basis of these observations, we model knowledge in terms of what is likely given the agent’s experience. An agent knows p when p is implied by her epistemic possibilities. A world is epistemically possible (...) when its probability given the agent’s experiences is not significantly lower than the probability of the actual world given that experience. (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)

Statistical evidence—say, that 95% of your co-workers badmouth each other—can never render resenting your colleague appropriate, in the way that other evidence (say, the testimony of a reliable friend) can. The problem of statistical resentment is to explain why. We put the problem of statistical resentment in several wider contexts: The context of the problem of statistical evidence in legal theory; the epistemological context—with problems like the lottery paradox for knowledge, epistemic impurism and doxastic wrongdoing; and the context of a (...) wider set of examples of responses and attitudes that seem not to be appropriately groundable in statistical evidence. Regrettably, we do not come up with a fully general, fully adequate, fully unified account of all the phenomena discussed. But we give reasons to believe that no such account is forthcoming, and we sketch a somewhat messier account that may be the best that can be had here. (shrink)

There is a traditional conception of knowledge but it is not the Justified True Belief analysis Gettier attacked. On the traditional view, knowledge consists in having a belief that bears a discernible mark of truth. A mark of truth is a truth-entailing property: a property that only true beliefs can have. It is discernible if one can always tell that a belief has it, that is, a sufficiently attentive subject believes that a belief has it if and only if it (...) has it. Requiring a mark of truth makes the view infallibilist. Requiring it to be discernible makes the view internalist. I call the view Classical Infallibilism. (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)

Philosophy and Phenomenological Research, EarlyView.

If updating with E has the same result across all epistemically possible worlds, then the agent has no uncertainty as to the behavior of the update, and we may call it a transparent update. If an agent is uncertain about the behavior of an update, we may call it opaque. In order to model the uncertainty an agent has about the result of an update, the same update must behave differently across different possible worlds. In this paper, I study opaque (...) updates using a simple system of dynamic epistemic logic suitably modified for that purpose. The paper highlights the connection between opaque updates and the dynamic-epistemic principles Perfect-Recall and No-Miracles. I argue that opaque updates are central to contemporary discussions in epistemology, in particular to externalist theories of knowledge and to the related problem of epistemic bootstrapping, or easy knowledge. Opaque updates allow us to explicitly investigate a dynamic form of uncertainty, using simple and precise logical tools. (shrink)

One diagnosis of Fitch’s paradox of knowability is that it hinges on the factivity of knowledge: that which is known is true. Yet the apparent role of factivity and non-factive analogues in related paradoxes of justified belief can be shown to depend on familiar consistency and positive introspection principles. Rejecting arguments that the paradox hangs on an implausible consistency principle, this paper argues instead that the Fitch phenomenon is generated both in epistemic logic and logics of justification by the interaction (...) of analogues of the knowability principle and positive introspection theses that are characteristic of, even if not entailed by, epistemic internalism. (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)

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)

There is a large literature exploring how accuracy constrains rational degrees of belief. This paper turns to the unexplored question of how accuracy constrains knowledge. We begin by introducing a simple hypothesis: increases in the accuracy of an agent’s evidence never lead to decreases in what the agent knows. We explore various precise formulations of this principle, consider arguments in its favour, and explain how it interacts with different conceptions of evidence and accuracy. As we show, the principle has some (...) noteworthy consequences for the wider theory of knowledge. First, it implies that an agent cannot be justified in believing a set of mutually inconsistent claims. Second, it implies the existence of a kind of epistemic blindspot: it is not possible to know that one’s evidence is misleading. (shrink)