What would be some of the implications of deciding that vacuous material conditionals should be rendered as false? For example, what would happen if we decided that conditionals like "If John squares the circle, then John is the King of France" should be considered false instead of true?
In classical Boolean logic at least, logical connectives can be completely understood semantically through their actions as truth-functions of Boolean values. In other words, the truth table associated with a particular logical operator provides a complete description of that operator. The standard truth table for the material conditional → is:
p | q || p→q
T | T || T
T | F || F
F | T || T
F | F || T
In your question you proposed a modified conditional (which we'll call ⇒ to distinguish it from the regular material conditional) where vacuously truths are replaced with vacuous falsehoods. The modified truth table that goes with this new operator is:
p | q || p⇒q
T | T || T
T | F || F
F | T || F
F | F || F
At this point you probably notice something peculiar, namely that this truth table is awfully familiar. It turns out your modified conditional would just be completely equivalent to standard logical conjunction. Another oddity to note about this modified "condition": just like conjunction, it's symmetric with respect to p and q! That means, it doesn't matter which one of p and q you call the antecedent and which one you call the consequent. It's this property which it makes virtually useless as an operator whose intended purpose is to capture our intuitive notion of a conclusion predicated on a conclusion.
As example to illustrate how important order is in changing the meaning of a statement, consider the Zeroth Law of Biology. The Zeroth Law states that "If you have had kids, then your parents have had kids." The converse statement, however, is obviously empirically false, so order matters here. Hence, we'd naturally disregard any alternative kind of conditional operator that fails to distinguish order.
The most important would probably be that we would lose the equivalence between:
- If P, Q,
- Not P or Q
- Not both P and not Q
This would mean that you would no longer be able to infer from:
- Either Ludwig's not here, or he's in the cellar.
- If Ludwig is here he's in the cellar.
This is because, of course, this last sentence will be false if Ludwig is not here.
And you wouldn't be able to make this inference the other way round either. Seeing as these types of inference are very useful to us, as well as being very reliable, we'd be in a bit of a poke!