5.4.1. Last resorts

The detachment rules for the conditional—and especially MPP—will be the ways of exploiting conditional resources that you will use the most. However, they cannot cover all cases because both require the presence of a second premise as an available resource. So we need a fully general way of taking account of conditional resources.

Since any open gap will eventually turn into a reductio argument, it is enough that we have a way of exploiting conditionals in such arguments. An entailment

says that φ → ψ is inconsistent with Γ, and that will be so if and only if φ → ψ is false in every possible world in which all members of Γ are true. But the conditional φ → ψ is false only when ψ is false while φ is true. So the displayed entailment says that in any world in which all members of Γ are true, we will find φ true and ψ false—and that is to say both that φ is entailed by Γ and that ψ is inconsistent with it. This way of describing the requirements for the validity of a reductio with a conditional premise provides our account of the role of conditionals as premises:

In other words, a conditional φ → ψ is excluded by a set Γ if and only if its antecedent φ is entailed by Γ and its consequent ψ is excluded by Γ.

In terms of the metaphor of inference tickets, this law says that we can get to an absurd conclusion given Γ and the ticket φ → ψ if and only if Γ will get us to φ, the point of departure on our ticket, and then from its destination, ψ, on to the absurd conclusion. The if part of this holds also for conclusions that are not absurd, but the only if part does not. In particular, the fact that Γ, φ → ψ ⊨ χ does not insure that Γ ⊨ φ when χ is not absurd: we may be able to get to χ given Γ and the ticket φ → ψ without being able to get there via φ.

We will call the rule based on this principle, Rejecting a Conditional (RC). It is shown in Figure 5.4.1-2.

When we apply RC, we divide the gap into two, with the aim of showing that the antecedent of the conditional is entailed by our other resources and that its consequent is inconsistent with them. This is what is required to show that the conditional itself is inconsistent with our other resources, which is why we say that our aim is to reject the conditional. While this way of thinking about the rule is the most appropriate one given its place in the system of derivations, RC can also be thought of as a way of planning to use an inference ticket φ → ψ by planning to reach the point of departure φ and planning to get from the destination ψ to the goal ⊥, and this perspective is the one that is most clearly displayed in the corresponding rule in tree form proofs:

In this setting RC might be thought of as an abbreviation for the following combination of LFR and MPP:

There are three conclusions—φ → ψ, φ, and ⊥—that must be reached before going on in the way shown by this tree. In a derivation, on the other hand, we have already shown φ → ψ when we apply the rule. So we seek to complete only two arguments. The ticket φ → ψ serves to convert the proof of φ sought in the first of these arguments into a proof of ψ, the extra supposition used in the second, so that supposition may be discharged when we apply the rule.

Although MPP and MTT are more central to the deductive inference for the conditional than are MTP and MPT to inferences involving disjunction, negation, and conjunction, all detachment rules are dispensable. One role of RC is to exploit conditionals when detachment rules are not used, and one of the simplest example of its use is the following derivation which establishes the validity of modus ponens without use of MPP or MTT:

A more typical use of RC is a case we never have the second premise required in order to apply MPP or MTT, as in the following derivation, which shows that the conditional in not reversible:

And, as is the case in this example, RC will serve us as a last resort for exploiting conditional resources before reaching a dead end in a derivation that fails.