The material conditional account of indicatives is that "If s, then u" is true if and only if s is false or u is true or both.
- (Premise) If the indicative conditional has the same truth values as the material conditional in the standard cases which are alleged to be counterexamples to the material conditional account, then the material conditional account is correct.
- (Premise) The indicative conditional has mind-independent truth value.
- (Premise) If the indicative conditional has mind-independent truth value, then it has the same truth values as the material conditional in the standard cases which are alleged to be counterexamples to the material conditional account.
- Therefore, the material conditional account is correct.
The hard work is going to be justify (3). Let us start by giving three representative alleged counterexamples, classified by the truth values of the antecedent and consequent:
- "If I will have dinner with the queen tonight, I will eat dinner tonight in my pajamas." (Antecedent and consequent are both false.)
- "If I will have dinner with the queen tonight, everyone that I will have dinner with tonight will be a family member." (Antecedent is false and consequent is true.)
- "If it is snowing in the United States, it is snowing in Central Texas." (Suppose this was uttered a couple of days ago when it was snowing in Central Texas. Antecedent and consequent were both true.)
I will argue that:
- If the indicative conditional has mind-independent truth value, then (5)-(7) are all true.
Here's the way I will argue for (8). Let "a" be the antecedent in the alleged counterexample. Let "c" be the consequent. Suppose I have the belief, justified or not, that at least one of "not-a" and "c" is true, and I have no further, more specific beliefs about the matters in a and in c. Since I believe that at least one of "not-a" and "c" is true, I should be able to sincerely say to someone:
- I may not know much about the queen, dinners, pajamas, snow, etc., but I do believe that at least one of "not-a" and "c" is true. Hence, if a, then c.
Suppose now that I learn all the relevant facts about the queen, dinners, pajamas, snow, etc. In particular, I learn such facts as that people tend not to wear pajamas for dinner with the queen, that central Texas is one of the somewhat less likely places in the US to have snow, etc. I also learn the truth values of "a" and "c". None of the things I learn gives me reason to retract the claim that at least one of "not-a" and "c" is true. And neither have I any reason to retract the conclusion I drew, that if a, then c.
Therefore, when I said (9), I said something true. If it wasn't true, I would have reason to withdraw it. But the difference between the circumstances in my story in which I said the conditional in (9) and standard circumstances was in my beliefs—when I said (9), I lacked various beliefs that normal people in our culture have. Thus, if the indicative conditional has mind-independent true value, I have to conclude that actually the conditional "if a, then c" is also true. And so we have an argument for (8).