Logic, Philosophy

I’ll die if I’m immortal, or I’ll live if I die: the material conditional and English

Here’s a tautology in propositional logic:

⊨(P → Q) ∨ (Q → R)

Try throwing that into English. Here’s a reading using some propositions I just came up with:

“I’ll die if I’m immortal, or I’ll live if I die.”

Obviously, neither of those are the case. But this formula, (P → Q) ∨ (Q → R), is both provable and self-implied in classical propositional logic.

Here’s a syntactic proof by means of natural deduction using some basic rules of inference:

1 ¬[(P → Q) ∨ (Q → R)] Assumption
RTP Contradiction
2 P → Q Assumption
RTP Contradiction
3 (P → Q) ∨ (Q → R) Weakening, 2
4 ¬[(P → Q) ∨ (Q → R)] Repetition, 1

5 ¬(P → Q) ¬I, 2–4
6 Q → R Assumption
RTP Contradiction
7 (P → Q) ∨ (Q → R) Weakening, 6
8 ¬[(P → Q) ∨ (Q → R)] Repetition, 1

9 ¬(Q → R) ¬I, 6–8
10 ¬Q Assumption
RTP Contradiction
11 Q Assumption
RTP Q
12 Q ∨ R Weakening, 11
13 ¬Q Repetition, 10
14 R ∨E, 12, 13

15 Q → R →I, 11–14
16 ¬(Q → R) Repetition, 9

17 Q ¬E,
18 P Assumption
RTP Q
19 Q Repetition, 17

20 P → Q →I, 18–19
22 ¬(P → Q) Repetition, 5

23 (P → Q) ∨ (Q → R) ¬E,

Ok, there are definitely shorter proofs, especially if you let other equivalencies into your rules of inference, but this spells out quite a bit and gets the job done.

So, ⊢ (P → Q) ∨ (Q → R)

The reason this is provable, despite being formally contingent in English, is that the material conditional, →, does not represent the English “if/then”. If you’ve taken a course in logic, you’ve probably heard this. The reason is that the truth conditions for the material conditional are a little different. Specifically, a formula of the form (α → β) is true on every valuation except those that make α true and β false.

Look at our formula again. It states, semantically, that either (P → Q) is true, or (Q → R) is. If (P → Q) happens to be true, then the whole formula is true, so that case is covered right off the bat.

If (P → Q) is false? Well, there’s only one valuation that makes (P → Q) false — the valuation where P is true, and Q is false. So, if (P → Q) is false, then Q is false as well. But, if Q is false, then (Q → R) is true, because (Q → R) can only be false when Q is true and R is false. If Q is false, then (Q → R) is true.

Going the other way, if (Q → R) is false, then Q is true and (P → Q) can’t be false, because it can only be false if Q is false.

As a result, whenever (P → Q) is false, (Q → R) is guaranteed to be true, and vice versa. So, (P → Q) ∨ (Q → R) is a tautology.

My point here is just a friendly reminder: be careful with translation. Expressing the English “if/then” with the material conditional (→) may sometimes get you into trouble.

Leave a Comment

Your email address will not be published. Required fields are marked *