Logic

I am confused about how a conditional statement is necessarily true, and not false or unknown, when the antecedent and consequent are both false. According to the truth table, the sentence "If Bill Clinton is Cambodian, then George Bush is Angolan" is true. How can such an absurd sentence be true? It seems initially like the sentence could just as easily, or more easily, be false or unknown.

Comments

The truth-table for the material conditional says that any material conditional with a false antecedent is true. If we construe the conditional you gave as a material conditional, then (because it has a false antecedent) it comes out true. But the material conditional doesn't come out necessarily true unless it's not just false but impossible that Clinton is Cambodian (or else it's necessarily true that Bush is Angolan).

The material conditional has the advantage of being tidy, and a true material conditional will never let you infer a falsehood from a truth. Still, for the reason you gave (and for other reasons too) many philosophers say that the material conditional does a bad job of translating the conditionals we assert in everyday language. You'll find lots more information in this excellent SEP entry.

Read another response by Stephen Maitzen

Read another response about Logic