The paper is structured as follows:

  • §1. I foreground standard modal versions of the safety and sensitivity conditions. I retrace Zalabardo’s argument that sensitivity entails safety.

  • §2. I argue that domination failure alone doesn’t confer differential support for sensitivity; counterexamples to sensitivity affect differential support.

  • §3. I distinguish between weak sensitivity and strong sensitivity. I argue that safety fails to dominate sensitivity only if we endorse strong sensitivity, which succumbs to counterexamples which undermine differential support for sensitivity.

1 Domination and translation keys

Consider two venerable conditions for (propositional) knowledge, the sensitivity and safety conditions.Footnote 1 Let us say that a subject S has a sensitive belief in some proposition p just in case:

“were it not the case that p, then S would not believe that p”Footnote 2

$$ \begin{array}{*{20}c} {{\text{Formally:}}} \\ {{\textbf{Sensitivity:}} \sim\,p \Rightarrow \sim\,Bp} \\ \end{array} $$

(Throughout this paper, let “\( \Rightarrow \)” denote the subjunctive conditional and let “→” denote the material conditional).

Nozick (1981) regards sensitivity as a necessary condition for knowledge. In contrast, Sosa (1999) argues that sensitivity should be replaced with the following subjunctive condition, which he calls safety:

“S would believe that p only if it were so that p”Footnote 3

Formally, Sosa writes safety as the contrapositive of sensitivity, as follows:

$$ {{\textbf{Safety:}}}\;Bp \Rightarrow p $$

As Sosa reminds us, sensitivity and safety are not equivalent because subjunctive conditionals do not contrapose.Footnote 4

Sosa argues that sensitivity cannot be differentially supported as the correct requirement for propositional knowledge. He does so in defence of neo-Mooreanism, the view that we can and do know the negation of radical sceptical hypotheses.Footnote 5

Zalabardo summarises Sosa’s argument for the denial of differential support for sensitivity as the claim that “every virtue that can be claimed for sensitivity as a necessary condition for knowledge would be matched by conferring this status on safety instead” (p. 2). Zalabardo argues that the denial of differential support requires the truth of two premises, the conjunction of which he calls domination:

(D1) If a belief that has the status of knowledge is sensitive, then it is also safe.

(D2) If a true belief that doesn’t have the status of knowledge is insensitive, then it is also unsafe.Footnote 6 (p. 2)

More schematically:

(D1) [Kp & (Bp)SENSITIVE] → (Bp)SAFE.

And

(D2) [~ Kp & ~ (Bp)SENSITIVE] → ~(Bp)SAFE.Footnote 7

Domination fails if either D1 or D2 is false (for an inclusive disjunction). Zalabardo rejects domination by conceding D1 and rejecting D2.

I will now examine Zalabardo’s argument for D1. D1 is true because, Zalabardo argues, sensitivity entails safety. To understand why sensitivity entails safety, let us first examine how safety requires a different translation key to sensitivity.

What is a translation key for a subjunctive conditional? A translation key for a subjunctive conditional is a way of unearthing the truth value of that subjunctive. On David Lewis’s view, for example, the subjunctive conditional “if it were the case that p, then it would be the case that q” is true just in case in the closest possible worlds to the actual world “α”Footnote 8 in which p obtains, q also obtains (Lewis 1973a, b). I will refer to this as the standard translation key (ST). More schematically:

ST: \( p \Rightarrow q \) is true just in case in all the worlds in which p is true that are at the shortest distance from α, q is also true.

Sensitivity theorists embrace ST. They say that S’s true belief that p is sensitive just in case the closest worlds to α in which the antecedent is true (i.e. in which ~ p holds) are worlds in which the consequent is true (I.e. in which ~ B(p) holds).Footnote 9 However, if safety theorists adopt ST, they’re in trouble. Their problem is this: if S has a true belief that p in the actual world α, then the closest possible world to α in which S truly believes that p just is α. The closest world to α = α, and therein lies the problem with ST for subjunctive conditionals with true antecedents (such as safety). Adopting ST for safety renders all true beliefs trivially safe.

Safety theorists, as Zalabardo observes, must use a different translation key to avoid triviality. Specifically, safety is usually made a function of what one believes at “close” possible worlds which lie beyond α. Let us call this the non-standard translation key (NST). Let us formulate this key as follows, where “d” denotes a sphere of close possible worlds:

NST: \( p \Rightarrow q \) is true just in case in every world in which p is true that is at a distance of d or less from α, q is true.

Zalabardo observes that by using NST, safety becomes the following non-trivial condition:

Safety (NST): S’s belief that p is safe just in case, in every world in which S believes that p that is at a distance of d or less from α, p is true. (Zalabardo, p. 3)

At this point, Zalabardo argues that if we adopt NST for safety, then we should adopt NST for sensitivity too. Zalabardo reasons as follows:

it seems wrong to make the truth conditions of a subjunctive depend on the truth value of its antecedent. Take, for example, the subjunctive “if the currency were devalued, interest rates would go up.” On the current proposal, if the currency is actually devalued, the truth of the subjunctive will require interest-rate rises, not only in actuality, but also in the range of conditions obtaining in all the worlds at a distance of d or less in which the currency is devalued, e.g. at a range of levels of taxation, inflation, etc., but if the currency is not devalued, it would suffice for the truth of the subjunctive that interest rates go up in the specific circumstances obtaining at the nearest worlds in which the currency is devalued, e.g. with the precise levels of taxation, inflation, etc. present in those worlds. (p. 5)

Zalabardo concludes:

I find this counterintuitive. If, in order to avoid making safety redundant, we look at a wide range of worlds to determine the truth value of the subjunctive, we need to apply the same approach to sensitivity. (p. 5)

Zalabardo argues that if we employ NST for sensitivity, then sensitivity entails safety. To understand why, let us reproduce Zalabardo’s argument. Let CT(p) denote the distance from α of the closest possible world to α in which p is true. Notice that CT(p) = 0 for whenever p is true. Therefore, for actually obtaining beliefs, NST implies that a belief that p is safe just in case p is true in all worlds in which one believes that p up to d (p. 5). Conversely, adopting NST for sensitivity now yields the following condition:

Sensitivity (NST): S’s belief that p is sensitive just in case: in every world in which p is false that is at a distance of CT (~ p) + d or less from α, S doesn’t believe p. (Zalabardo. p. 5)Footnote 10

On this construal, sensitivity entails safety. To see why, let us follow Zalabardo and understand safety and sensitivity as properties which exclude worlds in which one falsely believes that p—what Zalabardo terms error worlds. The only difference between safety and sensitivity, Zalabardo contends, is that safety but not sensitivity imposes a fixed lower bound on which error worlds knowledge excludes (the bound is fixed for safety because CT(p) = 0 for subjunctives with true antecedents). Safety prohibits the existence of error worlds up to distance d only. By contrast, sensitivity demands that at the closest ~ p worlds (however distant!) one doesn’t believe that p and one doesn’t falsely believe that p up to d. Crucially, sensitivity will always require the elimination of error worlds up to d. Notice that, on this view, a belief that p will be safe but insensitive just in case the closest ~ p worlds fall outside the d sphere and if in one of those ~ p worlds one falsely believes that p. In this respect, sensitivity is the more demanding condition and D1 is true.

Sensitivity and safety are manifestly anti-luck conditions. A widely-held intuition is that knowledge is incompatible with certain kinds of epistemic luck. Consider the familiar stopped-clock example.Footnote 11 Imagine that S forms a true belief that the time is 12.00 (henceforth “t12”), but where unbeknownst to S the clock stopped exactly 24 h beforehand. Intuitively S doesn’t know that t12 because her true belief seems luckily true. Both sensitivity and safety accommodate this verdict. After all, S’s belief is insensitive because the closest worlds in which ~ t12 (for example, the worlds where the clock stops at 11.59 or 12.01) are worlds in which S falsely believes that t12, and S’s belief is unsafe due to the many close worlds in which S falsely believes that t12. Let us call the species of knowledge-excluding epistemic luck which arises in such cases, veritic (epistemic) luck (following Engel 1992).Footnote 12 Modalized sensitivity and safety eliminate a wide class of cases of veritic luck; this includes Gettier-type cases and true beliefs which result from wishful thinking or guesswork. Furthermore, for a wide class of cases, sensitivity and safety are on par in countering veritic luck (Pritchard 2015).

Importantly, both sensitivity and safety eliminate veritic luck without committing one to a thoroughgoing scepticism about knowledge. For example, take your putative knowledge that H[I have hands]. Notice that, to the extent that you know that H, your belief that H is both sensitive and safe. Modally speaking, the closest ~ H worlds are ones in which you don’t falsely believe that H (for example, the worlds in which you’re an amputee), and so your belief is sensitive. Similarly, H is true in most close worlds in which you believe that H, and so your belief is safe. Sensitivity and safety corroborate many cases of knowledge possession because subjunctive conditionals differ from logical entailments. For the sensitivity subjunctive, we need only examine S’s doxastic dispositions at the closest ~ H worlds. And for safety, we need only examine whether H holds at the close worlds in which S believes that H. Both proposals are thus compatible with the existence of radical error worlds, such as the world in which you’re a disembodied brain-in-a-vat (BIV) and in which you falsely believe that H. However, BIV worlds are not the closest ~ H worlds (hence sensitivity is satisfied), nor should they be included in the domain of close worlds in which you believe that H (hence safety is satisfied). The existence of radical error worlds doesn’t render your belief that H insensitive or unsafe.

Both sensitivity and safety exclude (a wide class of) cases of veritic luck from the extension of knowledge, while also retaining much of our putative knowledge. But despite both conditions yielding identical predictions for a wide range of cases, I will argue that safety rather than sensitivity is the correct anti-veritic luck condition.

2 Domination and differential support

Domination requires the truth of the conjunction [D1 & D2]. Zalabardo denies the truth of the conjunction by rejecting the second conjunct, D2.

But the first thing to notice is that ~ [D1&D2] alone cannot surely confer differential support for sensitivity. For ~ [D1&D2] is consistent with counterexamples to sensitivity. Sosa argued for domination, but he also propounded counterexamples to sensitivity. Sosa replaced sensitivity with safety because safety does not (ostensibly) succumb to counterexamples. On first blush: S knows that p only if S has a safe belief that p. Formally,

$$ Kp \to \left( {Bp \Rightarrow P} \right) $$

But that schema tells only half the story. Because, so far, we have not eliminated the necessity (“□”) of the sensitivity condition. Sosa argues that knowledge doesn’t require sensitivity (i.e. \( [ {\text{K}}p{ \nrightarrow }(\sim\,p \Rightarrow \sim\,Bp)] \)). Thus, Sosa’s safety premise is better represented as:

$$ Kp \to \left( {Bp \Rightarrow P} \right)\& \left( {\sim\square \left( {\sim\,p \Rightarrow \sim\,Bp} \right)} \right) $$

The above principle allows insensitive but safe beliefs to constitute knowledge. In sum: a belief having the property of insensitivity doesn’t affect its epistemic standing. It is therefore the conjunction of domination and Sosa’s counterexamples which are used to differentially support safety as the correct requirement for knowledge. That is, Sosa argues that there are no virtues which are exclusive to sensitivity AND there are some virtues which are exclusive to safety. Sosa’s best-known counterexample to sensitivity is this:

CHUTE: “On the way to the elevator I release a trash bag down the chute of my high rise condo. Presumably I know my bag will soon be in the basement. But what if, having been released, it still (incredibly) were not to arrive there? That presumably would be because it had been snagged somehow in the chute on the way down (an incredibly rare occurrence), or some such happenstance. But none such could affect my predictive belief as I release it, so I would still predict that the bag would soon arrive in the basement. My belief seems not to be sensitive, therefore, but constitutes knowledge anyhow, and can correctly be said to do so.” (Sosa 1999, p. 145)

Does safety accommodate CHUTE? Safety theorists will need the following verdict: if the chute is a regular smooth chute, then the bag-snagging world is not close. Conversely, if the chute has structural irregularities which leave it prone to bag-snagging, then the bag-snagging world is close. Notice that if the chute is prone to bag-snagging, then the example may also fail to elicit the intuition that the subject knows. If this is the case, then our safety intuition in CHUTE is covariant with the epistemic intuition that the subject knows the target proposition.Footnote 13

Nevertheless, even if the chute is smooth, the closest error worlds in CHUTE are not nearly as distant as the error worlds in which you or I falsely believe that we’re not a disembodied brain-in-a-vat, for example. That is, on a similarity ordering of possible worlds, the error worlds in CHUTE are not radically dissimilar to the actual world. After all, not that much would have to change—modally speaking—for the bag to snag. The error world is not distant enough for it to be uncontroversial that safety is satisfied. The worry, therefore, is that there is no principled way of excluding bag-snagging worlds from the domain of close worlds. The case rests on our intuitions about whether the error worlds are “close”, and here –I suspect—the case may fail to elicit clear reactions in either direction.

I want to concede that safety as Zalabardo formulates it fails to straightforwardly accommodate CHUTE (This concession is benign since I shall argue that sensitivity can’t be differentially supported). If this is so, then there are construals of safety which do accommodate CHUTE. Note first that Zalabardo construes safety strongly. For example, Zalabardo argues that S’s belief that p is safe just in case in every world in which S believes that p that is at a distance of d or less from actuality, p is true (p. 3). The inclusion of the universal quantifier “all” makes this safety condition modally strong because that quantifier prohibits the existence of any error world up to distance d or less from α. If CHUTE is a counterexample to sensitivity, then—so it goes—CHUTE is a counterexample to strong safety (for there exists at least one close possible bag-snagging world in which one falsely believes that the bag is in the basement). Hence, it has been claimed, CHUTE doesn’t motivate strong safety over sensitivity. However, we can see straight away that by adopting the non-standard translation key (NST) safety theorists needn’t endorse strong safety. Consider, for example, a more liberal version of safety:

Weak safety: S’s belief that p is weakly safe just in case in most worlds in which S believes that p that are at a distance of d or less from α, p is true.Footnote 14

CHUTE is not a counterexample to weak safety, because in most close possible worlds, one’s belief in the target proposition is true (Pritchard 2012, 2015). Indeed, in virtually all close possible worlds in which one believes that [the bag is in the basement], one’s belief in this proposition is true. This matters. Because when we assume strong safety, it seems that both sensitivity and safety conditions are roughly on par in the number of counterexamples to their necessity. However, the question of how many worlds are relevant to safety arises because safety theorists embrace NST. By embracing NST for safety, we can see straight away that there arises the question of how strongly or weakly safety ought to be construed. It is thus open to safety theorists to argue that sensitivity fails to dominate weak safety. To argue, in other words, that there are cases of knowledge possession which pass the weak safety test, but which fail the sensitivity test. In effect, to argue as follows:

(D1*) [Kp & (Bp) weakly safe] → (Bp) sensitive.

(D2*) [~ Kp & ~ (Bp) weakly safe] → ~(Bp) sensitive.

It cannot be said that sensitivity reaps every advantage reaped by weak safety. If sensitivity entails weak safety, while that guarantees D1, entailment doesn’t guarantee D1*. Entailment doesn’t stop sensitivity failing to dominate weak safety. And if sensitivity doesn’t dominate weak safety, then we can’t differentially support sensitivity.

Note, however, that there are cases of knowledge failure which are explained by strong safety but not by weak safety. Consider, for example, the following LOTTERY case. Imagine one buys a lottery ticket where the odds of winning are 60 million to 1. Despite these long odds, one’s pessimistic belief that L[I am in possession of a losing ticket] intuitively falls short of knowledge before the result is announced. Nevertheless, in most close worlds one’s belief that L is true, and so one’s belief that L is weakly safe. In contrast, so it goes, there exists at least one close world in which one has a false belief that L, hence one’s belief that L violates strong safety.Footnote 15 Strong safety succeeds here where weak safety fails, such that the retreat from strong to weak safety may seem ad-hoc.

Two points here. First, it is unclear that safety theorists are wedded to a construal of safety which can’t accommodate both CHUTE and LOTTERY. Consider Duncan Pritchard’s defence of safety (2008, 2012, 2015). Pritchard construes safety as an anti-veritic luck condition, one which explains cases of knowledge failure such as LOTTERY and Gettier-type cases. Importantly, Pritchard understands luck as a modal notion which admits of degrees, where the degree of luck pertaining to an event is proportionate to the modal proximity of worlds in which that same event fails to obtain. Pritchard’s safety condition is motivated by an extensive modal account of luck (see Pritchard 2015). Let’s focus on the account’s implications.

What is arguably problematic about LOTTERY is the very close modal proximity of the worlds in which one falsely believes that L. After all, as Pritchard reminds us, the closeness of lottery error worlds explains the lure of the game. In this case, we need only one error world to render the belief veritically lucky in a way which precludes knowledge. In contrast, it is not obvious that CHUTE error worlds are very similar to the actual world (Indeed, it’s controversial whether error worlds in CHUTE are even close) and hence the degree of luck at stake doesn’t undermine knowledge. Safety may handle CHUTE by requiring the elimination of all very close error worlds, with that tolerance gradually increasing as one moves further away from the actual world (Pritchard 2015, p. 101). By the time we reach the close error worlds in CHUTE, safety needn’t display complete intolerance of error.Footnote 16 Safety, at this point, still requires that one doesn’t falsely believe the target proposition at most close worlds. It is just that LOTTERY violates the safety condition in virtue of safety displaying complete intolerance towards falsity at worlds which are very close to the actual world. Weak safety is now supplemented with a strong safety condition, one which applies only to worlds which are very close to the actual world.Footnote 17

The second point, and notwithstanding Pritchard’s proposal, is that we need to judge the plausibility of weak safety overall. While weak safety doesn’t explain LOTTERY, weak safety does explain a class of cases of knowledge failure (Gettier cases, lucky guesses etc.) and—being a less demanding condition than strong safety—it trivially fares no worse than strong safety at corroborating intuitive cases of knowledge possession.Footnote 18 On this point, we must remember that the issue we are considering here is whether sensitivity can be supported over safety as a necessary condition for knowledge. CHUTE may undermine the necessity of strong safety, but LOTTERY—as a case of knowledge failure—undermines the sufficiency rather than the necessity of weak safety.

Weak safety is an improvement on strong safety as a candidate necessary condition for knowledge because weak safety succumbs to fewer counterexamples.Footnote 19 In sum: weak safety avoids at least one of the counterexamples which Sosa levied against sensitivity. This is not to vindicate weak safety as a necessary condition for knowledge, for it too might be vulnerable to counterexamples. However, at least one prominent counterexample to sensitivity doesn’t affect weak safety, such that Zalabardo’s case for differentially supporting sensitivity is undermined.

3 Weak sensitivity and strong sensitivity

The distinction between strong and weak sensitivity is not raised in Zalabardo’s paper. However, I want to raise it here and exploit its implications for the present dialectic. I will argue that in extensional respects weak sensitivity doesn’t outperform weak safety.

We may construe Zalabardo’s sensitivity condition as a strong sensitivity condition. Zalabardo’s sensitivity condition is strong because it demands that in all worlds up to a distance of CT(~ p) +d or less from α, S doesn’t falsely believe that p. (The inclusion of the universal quantifier makes Zalabardo’s condition modally strong). However, as with safety, sensitivity theorists who use the non-standard translation key could in principle adopt a weaker rendition, one which—like weak safety—drops the universal quantifier:Footnote 20

WS: S’s belief that p is weakly sensitive in α just in case: at most worlds in which p is false at a distance of CT (~ p) + d or less from α, S doesn’t falsely believe that p.

Rather than Zalabardo’s strong sensitivity condition:

SS: S’s belief that p is strongly sensitive in α just in case: at every world in which p is false up to a distance of CT (~ p) + d or less from α, S doesn’t falsely believe that p. (Zalabardo, p. 5)

I want to make two points in what follows. First, WS doesn’t outperform weak safety in extensional respects. That is, both conditions include in the extension of knowledge cases which should be included (CHUTE), and both fail to exclude from the extension of knowledge cases which should be excluded (ROGER). Second, WS provides us with no reason for abandoning the standard counterfactual analysis for sensitivity: that WS yields the same predictions as weak safety is explained by the claim that WS just is a weak safety requirement for knowledge.

Let’s see how WS performs in extensional respects by first examining whether WS can accommodate CHUTE. Let “S” denote the subject who dispatches the bag down the chute and let “p” denote the proposition that the bag is in the basement. In the actual world, S dispatches the bag and forms a true belief that p. Consider now a range of ~ p worlds up to a distance of CT(~ p) + d and consider whether or not S believes that p in most of these ~ p worlds. Note that for WS we needn’t examine only the “closest” ~ p worlds (i.e. the bag-snagging worlds)—for we are now also including “close” ~ p worlds in the domain of relevant ~ p worlds. The WS condition will be satisfied if S doesn’t falsely believe that p in most ~ p worlds up to a distance of CT(~ p) + d, where d denotes the range of close worlds. I think we will see that CHUTE satisfies WS.

The closest ~ p worlds are bag-snagging worlds. But importantly, there is still a wide class of relevant ~ p worlds (~ p worlds in which S doesn’t believe that p) which lie further away from actuality than bag-snagging worlds, but which are paradigmatically close. This is due to the wide class of close worlds in which ~ p holds because S has not dispatched the bag down the chute, and in these close ~ p worlds S doesn’t believe that p. For example, consider the many close worlds in which rather than dispatching the bag down the chute, S attends to other mundane tasks; or consider, for instance, the relatively close worlds in which the chute is closed for maintenance. Modally speaking, these ~ p worlds are not radically dissimilar to the actual world; indeed many of them are very similar to the actual world. To the extent that S knows that p in the actual world, S doesn’t believe that p in a wide class of close ~ p worlds. The close ~ p worlds described are not the closest ~ p worlds, but they are close nevertheless. Furthermore, intuitively there are more close ~ p worlds in which S doesn’t believe that p than there are the narrow band of closest bag-snagging worlds. Therefore, CHUTE isn’t a counterexample to WS.Footnote 21

We should take WS seriously as an anti-veritic luck condition because it’s not implausible that WS yields the same prediction as weak safety for CHUTE. It may, therefore, be supposed that what sensitivity theorists need is WS rather than SS. However, I want to argue that replacing SS with WS comes at an exorbitant price for sensitivity. To see why, let us consider the following case:

ROGER: “Consider Roger, who believes ~ BIV6(where “BIV6” is the proposition that MI6 secretly keeps a collection of envatted brains, artificially stimulated to produce the experiences of normal embodied beings) but for slightly unorthodox reasons. Roger doesn’t believe that brain envatment is technically impossible. In fact he believes it’s a common occurrence, since he heard about Putnam’s thought experiment and got the wrong end of the stick. However, he is convinced that MI6 doesn’t engage in these activities, the reason is that he has a friend who tells him that he works for MI6 and is always prepared to answer his questions about this service. As it happens, Roger’s friend is just a cleaner in the MI6 headquarters, with no access to any classified information, and gives random but coherent answers to Roger’s questions, just to humour him. When Roger asked him if MI6 keeps any envatted brains, he assures him that they didn’t. It is on these grounds that Roger believes ~ BIV6.” (Zalabardo, p. 8, my parentheses)

Zalabardo argues that ROGER is a case of knowledge failure explained as such by SS but not by safety. ROGER violates SS because we can expect that at some of the closest BIV6 worlds, Roger’s friend tells him that MI6 don’t keep envatted brains, and at these worlds, Roger falsely believes ~ BIV6. Hence, Zalabardo claims that safety fails to dominate SS.

Once we substitute SS with WS, however, ROGER no longer elicits the intuition that WS is violated. After all, ROGER’s belief is (strongly) epistemically safe because the BIV6 error worlds are no less distant than the distant worlds in which you or I are a BIV; or so that is Zalabardo’s claim, and that is the claim he needs for ROGER to clearly fail the safety test.Footnote 22 Once ROGER is understood in this way, as strongly safe, and a fortiori as weakly safe, it is no longer uncontentious that WS does the explanatory work which weak safety fails to do. The problem at stake here is that ROGER doesn’t yield the reaction that WS is violated. After all, ROGER is safe we are told, so it is unclear why ROGER is not also weakly sensitive.

For WS to do explanatory work here, there would need to exist more closest BIV6 worlds in which Roger falsely believes that ~ BIV6 than there are close worlds (and worlds up to the closest BIV6 worlds) in which Roger doesn’t falsely believe that ~ BIV6; this suggestion is tenuous at best. Indeed, the consideration of doxastic dispositions at the closest BIV6 worlds (beyond the close worlds in which Roger doesn’t falsely believe that ~ BIV6) appears to make no difference to our modal intuitions about what Roger believes at most of the relevant possible worlds. Therefore, WS fares no better than weak safety at explaining ROGER, which is the very case intended to show the superiority of sensitivity over safety.Footnote 23WS doesn’t do the explanatory work which weak safety ostensibly fails to do for ROGER.Footnote 24

Is there a way of adjudicating between WS and weak safety, given that both yield the same predictions for these cases? Do we have a safety/sensitivity impasse? I do not think we have an impasse. The impasse presupposes that we are dealing with two different conditions. However, treating WS as denoting the sensitivity counterfactual [~ p \( \Rightarrow \sim\,Bp] \) violates the standard analysis of counterfactuals. On the standard analysis, for cases where the antecedent p of a subjunctive (p \( \Rightarrow q) \) is presumed to be false in α, the counterfactual (p \( \Rightarrow q) \) is true just in case the consequent q obtains at the closest worlds to α where the antecedent p obtains. On the standard analysis, the sensitivity counterfactual (~ p \( \Rightarrow \) ~ Bp) is false if Bp obtains at one or more of the closest ~ p worlds. WS deviates from the standard counterfactual analysis because WS permits (~ p \( \Rightarrow \) ~ Bp) to be true in cases where Bp obtains at one or more of the closest ~ p worlds, providing that one doesn’t falsely believe that p at most worlds up to CT(~ p) + d.Footnote 25WS violates the standard counterfactual analysis, while at the same time supplying no reason to abandon the standard analysis.

The way to preserve the standard analysis of counterfactuals is to treat WS as expressing the safety subjunctive (Bp \( \Rightarrow \) p) rather than the sensitivity subjunctive (~ p \( \Rightarrow \) ~ Bp). Moreover, since WS and weak safety yield the same predictions for the cases under consideration, there is no reason to think that what we are dealing with here is a sensitivity condition rather than a weak safety condition.

But does weak safety also violate the standard counterfactual analysis? One final worry is that (\( {\text{Bp}} \Rightarrow {\text{p}} \)) may be true according to weak safety even if (~ p) obtains at one or more of the “close” (Bp) worlds, which at first glance seems inconsistent with the standard counterfactual analysis. To allay this worry, we need to keep in mind that weak safety does not express a counterfactual conditional, but rather expresses a subjunctive conditional with a true antecedent. Note that the hallmark of a counterfactual is that its antecedent is presumed to be false in the actual world “α”. For the sensitivity condition (\( \sim{\text{p}} \Rightarrow \sim\,{\text{Bp}} \)), the antecedent (\( \sim\,{\text{p}} \)) is presumed to be false in α because we are concerned with a class of true beliefs which fail to constitute knowledge, cases such as ROGER. The root idea here is that a true belief fails to constitute knowledge if it doesn’t have the property of being sensitive, such that sensitivity emerges as a non-trivial condition for knowledge, over and above the conditions that the agent must truly believe that p to know that p. By contrast, for weak safety (\( {\text{Bp}} \Rightarrow {\text{p}} \)), the presumption is that the antecedent (Bp) is true in α. For example, when weak safety excludes veritically lucky true beliefs from the extension of knowledge, the antecedent (Bp) is presumed to be true in α. Likewise, when weak safety backs-up cases of knowledge such as CHUTE, the presumption is that the antecedent (Bp) is true in α: because the agent has a true belief which constitutes knowledge. The point is that when weak safety eliminates veritic luck, and corroborates knowledge, the presumption is that the antecedent (Bp) is true in α.

We should therefore construe sensitivity as a counterfactual subjunctive conditional and weak safety as a non-counterfactual subjunctive conditional.Footnote 26 As we saw in Sect. 1, weak safety requires the non-standard translation key to avoid triviality, however adopting that key for weak safety does not relinquish the standard counterfactual analysis for counterfactuals. Providing that we keep in mind that the non-standard key is used by weak safety to unearth the truth conditions of a non-counterfactual subjunctive, one can endorse weak safety alongside the standard analysis of counterfactuals.

In summary, the real contest is not between weak sensitivity and weak safety but is instead between the full-blooded strong sensitivity condition (SS) that succumbs to CHUTE, and a weak safety condition which overcomes that counterexample. In this contest at least, weak safety can be differentially supported as the correct necessary condition for knowledge.