In this paper, I develop an algorithmic impossible-worlds model of belief and knowledge that provides a middle ground between models that entail that everyone is logically omniscient and those that are compatible with even the most egregious kinds of logical incompetence. In outline, the model entails that an agent believes (knows) φ just in case she can easily (and correctly) compute that φ is true and thus has the capacity to make her actions depend on whether φ. The model thereby (...) captures the standard view that belief and knowledge ground are constitutively connected to dispositions to act. As I explain, the model improves upon standard algorithmic models developed by Parikh, Halpern, Moses, Vardi, and Duc, among other ways, by integrating them into an impossible-worlds framework. The model also avoids some important disadvantages of recent candidate middle-ground models based on dynamic epistemic logic or step logic, and it can subsume their most important advantages. (shrink)

It has been argued that an advantage of the safety account over the sensitivity account is that the safety account preserves epistemic closure, while the sensitivity account implies epistemic closure failure. However, the argument fails to take the method-relativity of the modal conditions on knowledge, viz., sensitivity and safety, into account. In this paper, I argue that the sensitivity account and the safety account are on a par with respect to epistemic closure once the method-relativity of the modal conditions is (...) taken into account. Therefore, epistemic closure is no longer an arbiter in the debate. (shrink)

According to the safety account of knowledge, one knows that p only if one’s belief could not easily have been false. An important issue for the account is whether we should only examine the target belief when evaluating whether a belief is safe or not. In this paper, it is argued that, if we should only examine the target belief, then the account fails to account for ignorance of necessary truths. But, if we should also examine beliefs in other relevant (...) propositions, then the account fails to account for knowledge from falsehood. Therefore, the safety account of knowledge is undermined by knowledge from falsehood and ignorance of necessary truths. (shrink)

Depending on whether we are somewhat tolerant of nearby error-possibilities or not, the safety condition on knowledge is open to a strong reading and a weak reading. In this paper, it is argued that induction and conjunction introduction constitute two horns of a dilemma for the safety account of knowledge. If we opt for the strong reading, then the safety account fails to account for inductive knowledge. In contrast, if we opt for the weak reading, then the safety account fails (...) to accommodate knowledge obtained via the method of conjunction introduction. (shrink)

According to the safety account of knowledge, one knows that p only if one's belief could not easily have been false. An important issue for the account is whether we should only examine the belief in the target proposition when evaluating whether a belief is safe or not. In this paper, it is argued that if we only examine the belief in the target proposition, then the account fails to account for why beliefs in necessary truths could fall short of (...) knowledge. But, if we also examine beliefs in other relevant propositions, then the account fails to preserve epistemic closure. Therefore, the safety account cannot find a safe path between epistemic closure and necessary truths. (shrink)

According to the safety principle, if one knows that p, then one’s belief in p could not easily have been false. In this paper, I pose a dilemma for safety theorists by asking the following question: In evaluating whether or not a belief is safe, must we only examine the error-possibilities of the same belief as formed in the actual world? If ‘yes’, safety meets a familiar objection regarding necessary truths and the objection also extends to contingent propositions. If ‘no’, (...) however, there is no necessity of safety for knowledge. It is argued that this dilemma poses a threat for a number of safety principles from the recent literature. In the end, I draw implications of my arguments for the debate between robust and anti-luck virtue epistemologies. The result is that anti-luck virtue epistemology suffers from the difficulty with the safety principle whereas the robust variant remains intact. (shrink)

The safety condition is supposed to be a necessary condition on knowledge which helps to eliminate epistemic luck. It has been argued that the condition should be globalized to a set of propositions rather than the target proposition believed to account for why not all beliefs in necessary truths are safe. A remaining issue is which propositions are relevant when evaluating whether the target belief is safe or not. In the literature, solutions have been proposed to determine the relevance of (...) propositions. This paper examines a case of luckily true belief—thus a case of ignorance—and a case of knowledge. It argues that no solution in the literature offers a correct verdict in either case. Therefore, the strategy to globalize safety remains unsatisfactory. (shrink)

Duncan Pritchard has argued that his basis-relative anti-luck construal of a safety condition on knowing avoids the problem with necessary truths that safety conditions are often thought to have, viz., that beliefs the contents of which are necessarily true are trivially safe. He has further argued that adding an ability condition to truth, belief, and his anti-luck safety conditions yields an adequate account of knowledge. In this paper, we argue that not only does Pritchard’s anti-luck safety condition have a problem (...) with necessary truths, adding an ability condition is of no help. Indeed, the same sort of case that precipitates Pritchard’s introduction of an ability condition shows the inadequacy of his completed anti-luck account of knowledge. Moreover, reconstruing safety as an anti-risk condition as Pritchard has recently done does not fix the problem we’ve identified. We conclude by entertaining a radical suggestion to the effect that the failures of safety-based accounts of modal knowledge are due to failures of doxastic success rather than failures to satisfy an anti-luck (or anti-risk) condition. Accepting this radical suggestion makes available the view that there is, after all, no special problem between safety and necessary truths. (shrink)

Recent epistemology has witnessed a substantial opposition between two competing approaches to capturing the notion of non-accidentality in the analysis of knowledge: the explanationist and the modalist. According to the latest advocates of the former, S knows that p if and only if S believes that p because p is true. According to champions of the latter, S knows that p if and only if S's belief that p is true in a relevant set of possible worlds. Because Bogardus and (...) Perrin's explanationism promises to deliver a plausible analysis of knowledge without any need for modal notions, it is an elegant proposal with prima facie appeal. However, such version of explanationism ultimately does not live up to its promises: in this paper, I raise some objections to their explanationist analysis of knowledge while showing that modalism is in much better shape than they think. In particular, I argue that their explanationist condition generates the wrong results in Gettier cases and fake-barn cases. I also offer and defend a novel version of modalism: I introduce a refined safety condition which is shown to successfully handle the same Gettier cases that beset Bogardus and Perrin's version of explanationism. The paper concludes with a reassessment of the explanationist's initial ambition to provide an analysis of knowledge without modal notions. The upshot will be that even if the prospects for such analysis remain dim, our money should be on the modalist, not the explanationist. (shrink)

In this paper, I develop and motivate a novel formulation of the safety condition in terms of etiological proper function. After testing this condition against the most pressing objections to safety-theoretic accounts of knowledge in the literature, my conclusion will be the following: once safety is suitably understood in terms of etiological proper function, it stands a better chance as the right anti-Gettier condition on knowledge.

Despite the substantial appeal of the safety condition, Kelp (J Philos Res 34:21–31, 2009; Am Philos Q 53:27–37; Good Thinking. A Knowledge First Virtue Epistemology, Routledge, London, 2018) has raised a difficult challenge for safety-theoretic accounts of knowledge. By combining Gettier-style fake barn cases with epistemic Frankfurt cases, he concludes that no formulation of safety can be strong enough to predict ignorance in the former and weak enough to accommodate knowledge in the latter. In this note, my contribution is two-fold. (...) Firstly, I take up Kelp’s challenge and I show that, once properly understood, safety successfully rises to it. Secondly, I draw a more general lesson on the safety condition: a satisfactory solution to Kelp’s challenge calls for a revision of the standard formulation of safety, which must be indexed to both methods and environments. My conclusion will be that an environment-relative version of safety not only meets Kelp’s challenge, but it also advances our understanding of the safety condition on knowledge. (shrink)

Epistemological accounts that make use of a safety condition on knowledge, historically, face serious problems regarding beliefs that are necessarily true. This is because necessary truths are true in all possible worlds, so such beliefs can be safe even when the bases for the beliefs are epistemically problematic. The existence of such problematically safe beliefs would undermine a major motivation for the condition itself: the ability to evaluate how well a belief tracks the truth. In this paper, we’ll argue that (...) incorporating impossible worlds into the evaluation of beliefs solves this problem, but only if the relevant account of impossible worlds entails that many impossible worlds are incredibly similar to the actual world. Further, we’ll argue that, as a result of including impossible worlds, some philosophical beliefs are unsafe, and many more are potentially unsafe. But, we argue, even if this is the case, we can still make philosophical progress. (shrink)

Does ‘remembering that p’ entail ‘knowing that p’? The widely-accepted epistemic theory of memory answers affirmatively. This paper purports to reveal the tension between ETM and the prevailing anti-luck epistemology. Central to my argument is the fact that we often ‘vaguely remember’ a fact, of which one plausible interpretation is that our true memory-based beliefs formed in this way could easily have been false. Drawing on prominent theories of misremembering in philosophy of psychology, I will construct cases where the subject (...) vaguely remembers that p while fails to meet the safety condition, which imply either that ETM is false or that safety is unnecessary for knowledge. The conclusion reached in this paper will be a conditional: if veritic epistemic luck is incompatible with knowledge, then ‘remembering that p’ does not entail ‘knowing that p’. (shrink)

The distinction between true belief and knowledge is one of the most fundamental in philosophy, and a remarkable effort has been dedicated to formulating the conditions on which true belief constitutes knowledge. For decades, much of this epistemological undertaking has been dominated by a single strategy, referred to here as the modal approach. Shared by many of the most widely influential constraints on knowledge, including the sensitivity, safety, and anti-luck/risk conditions, this approach rests on a key underlying assumption — the (...) modal profiles available to known and unknown beliefs are in some way asymmetrical. The first aim of this paper is to deconstruct this assumption, identifying its plausibility with the way in which epistemologists frequently conceptualize human perceptual systems as excluding certain varieties of close error under conditions conducive to knowledge acquisition. The second aim of this paper is to then argue that a neural phase phenomenon indicates that this conceptualization is quite likely mistaken. This argument builds on the previous introduction of this neural phase to the context of epistemology, expanding the use of neural phase cases beyond relatively narrow questions about epistemic luck to a much more expansive critique of the modal approach as a whole. (shrink)

The paper makes two points. First, any theory of knowledge must explain the difference between cases of knowledge from falsehood and Gettier cases where the subject relies on reasoning from falsehood. Second, the closeness-to-the-truth approach to explaining the difference between knowledge-yielding and knowledge-suppressing falsehoods does not hold up to scrutiny.