<p>According to the traditional account of defeater, defended by John Pollock in the paper “Defeasible Reasoning” (1987), the following definition of a “defeater” is accepted:</p> <blockquote> <p>(DEF) Where <span class="math inline"><em>D</em></span> and <span class="math inline"><em>E</em></span> are jointly consistent propositions, <span class="math inline"><em>D</em></span> is a defeater for <span class="math inline"><em>E</em></span>’s support for <span class="math inline"><em>P</em></span> if and only if (i) <span class="math inline"><em>E</em></span> is a reason to believe <span class="math inline"><em>P</em></span> but (ii) <span class="math inline"><em>E</em>&<em>D</em></span> is not a reason to believe <span class="math inline"><em>P</em></span>.</p> </blockquote> <p>A consequence of Pollock’s account is the following principle of symmetry:</p> <blockquote> <p>(SYM) If both <span class="math inline"><em>E</em></span> and <span class="math inline"><em>D</em></span> provide a reason to believe <span class="math inline"><em>P</em></span>, <span class="math inline"><em>D</em></span> is a defeater for <span class="math inline"><em>E</em></span>’s support for <span class="math inline"><em>P</em></span> if and only if <span class="math inline"><em>E</em></span> is a defeater for <span class="math inline"><em>D</em></span>’s support for <span class="math inline"><em>P</em></span>.</p> </blockquote> <p>But this traditional account has been challenged by some philosophers. Jake Chandler in his paper “Defeat Reconsidered” (2013) developed the following counterexample: Outside the door to Sam’s flat is a switch for the light in the staircase. Flipping the switch (<span class="math inline"><em>E</em><sub><em>S</em></sub></span>) typically causes the light to go on (<span class="math inline"><em>P</em><sub><em>S</em></sub></span>): <span class="math inline"><em>E</em><sub><em>S</em></sub></span> is a reason to believe <span class="math inline"><em>P</em><sub><em>S</em></sub></span>. When there is a power cut (<span class="math inline"><em>D</em><sub><em>S</em></sub></span>), <span class="math inline"><em>E</em><sub><em>S</em></sub></span> loses this probative force. Thus, <span class="math inline"><em>D</em><sub><em>S</em></sub></span> is a defeater for <span class="math inline"><em>E</em><sub><em>S</em></sub></span>’s support for <span class="math inline"><em>P</em><sub><em>S</em></sub></span>. It is also part of <span class="math inline"><em>D</em><sub><em>S</em></sub></span> that there is backup power system that is activated (and automatically turns on the lights) when the main system fails. So, just like <span class="math inline"><em>E</em><sub><em>S</em></sub></span>, <span class="math inline"><em>D</em><sub><em>S</em></sub></span> provides a reason to believe <span class="math inline"><em>P</em><sub><em>S</em></sub></span>. But there is an asymmetry: while <span class="math inline"><em>D</em><sub><em>S</em></sub></span> is a defeater for <span class="math inline"><em>E</em><sub><em>S</em></sub></span>’s support for <span class="math inline"><em>P</em><sub><em>S</em></sub></span>, <span class="math inline"><em>E</em><sub><em>S</em></sub></span> is not a defeater for <span class="math inline"><em>D</em><sub><em>S</em></sub></span>’s support for <span class="math inline"><em>P</em><sub><em>S</em></sub></span> (since the position of the switch is irrelevant). In this way, the previous principle (SYM) fails and, consequently, so does the traditional definition of defeater (DEF). This conclusion can be presented in the form of a dilemma:</p> <ol type="1"> <li>Either (i) <span class="math inline"><em>E</em><sub><em>S</em></sub>&<em>D</em><sub><em>S</em></sub></span> is a reason to believe <span class="math inline"><em>P</em><sub><em>S</em></sub></span>, or (ii) it is not.</li> <li>If (i), then by DEF, <span class="math inline"><em>D</em><sub><em>S</em></sub></span> is not a defeater for <span class="math inline"><em>E</em><sub><em>S</em></sub></span>’s support for <span class="math inline"><em>P</em><sub><em>S</em></sub></span>, contrary to our intuitions.</li> <li>If (ii), then by DEF, <span class="math inline"><em>E</em><sub><em>S</em></sub></span> is a defeater for <span class="math inline"><em>D</em><sub><em>S</em></sub></span>’s support for <span class="math inline"><em>P</em><sub><em>S</em></sub></span>, contrary to our intuitions.</li> <li>Therefore, DEF account is faced with counterintuitive consequences.</li> </ol> <p>How can we solve this problem? Jake Chandler proposes an alternative to DEF that seems to solve the counterexample. His proposal is as follows:</p> <blockquote> <p>(DEF*) Where <span class="math inline"><em>D</em></span> and <span class="math inline"><em>E</em></span> are jointly consistent propositions, <span class="math inline"><em>D</em></span> is a defeater for <span class="math inline"><em>E</em></span>’s support for <span class="math inline"><em>P</em></span> if and only if <span class="math inline"><em>D</em></span> is a reason to <em>not believe</em> that <span class="math inline"><em>E</em></span> is a reason to believe <span class="math inline"><em>P</em></span>.</p> </blockquote> <p>This account has a different negational scope, requiring, not that <span class="math inline"><em>E</em>&<em>D</em></span> not be a reason to believe <span class="math inline"><em>P</em></span>, but that <span class="math inline"><em>E</em>&<em>D</em></span> <em>be a reason to not believe <span class="math inline"><em>P</em></span></em>. This solves the previous counterexample, because <span class="math inline"><em>D</em><sub><em>S</em></sub></span> provides grounds to hold that <span class="math inline"><em>E</em><sub><em>S</em></sub></span> is no reason to believe <span class="math inline"><em>H</em><sub><em>S</em></sub></span>. However, <span class="math inline"><em>E</em><sub><em>S</em></sub></span> does not provide grounds to hold that <span class="math inline"><em>D</em><sub><em>S</em></sub></span> is no reason to believe <span class="math inline"><em>P</em><sub><em>S</em></sub></span>.</p> <p>This solution seems intuitive. But in a recent paper presented by Tommaso Piazza, “The Traditional Account of Epistemic Defeat: a Defence”, he presents several replies to Chandler’s objections. Piazza’s first quick reply is as follows:</p> <blockquote> <p>“The inference from the proposition (<span class="math inline"><em>D</em><sub><em>C</em></sub></span>) that there is a power cut to the conclusion (<span class="math inline"><em>P</em><sub><em>C</em></sub></span>) that the light is set to on is neither deductively valid nor inductively strong; hence, the first proposition is not a reason in Pollock’s sense for believing the second”.</p> </blockquote> <p>However, I think there is a problem with Piazza’s reply. For, the propositional content of the <span class="math inline"><em>D</em><sub><em>C</em></sub></span> premise is not only that there is a “power cut”, but also that there is a “backup power system” that automatically turns on the lights. According to Chandler, this latter propositional content is not “background knowledge”, but is part of <span class="math inline"><em>D</em><sub><em>S</em></sub></span> itself.</p> <p>Piazza points out that he wants better examples in which <span class="math inline"><em>D</em></span> is at the same time a defeater for <span class="math inline"><em>E</em></span> as a reason for <span class="math inline"><em>P</em></span> and a reason for believing <span class="math inline"><em>P</em></span> in Pollock’s sense. An example of this could be a standard Gettier case. However, according to Piazza, these examples do not raise a real dilemma for the defender of DEF. For, in such cases, “<span class="math inline"><em>E</em></span> and <span class="math inline"><em>D</em></span> are symmetrical with respect to their defeating potential”. Thus, according to Piazza, the traditional account remains plausible .</p> <p>However, Piazza’s argument seems to me to be a “fallacy of begging the question”. For, Chandler’s counterexample is formulated in such a way that symmetry fails. So, one cannot suggest “better” examples in which symmetry does not fail. In other words, a good counterexample would be one in which <span class="math inline"><em>D</em></span> is a defeater for <span class="math inline"><em>E</em></span>’s support for <span class="math inline"><em>P</em></span>, but <span class="math inline"><em>E</em></span> is not a defeater for <span class="math inline"><em>D</em></span>’s support for <span class="math inline"><em>P</em></span>. In such cases, we have Chandler’s dilemma. So it seems to me that Piazza’s objections to Chandler’s argument are not viable. In short, it seems that we still have a good counterexample (that formulated by Chandler) to the traditional account of defeater.</p>