5.3. Conditional proofs: bottling inference

5.3.0. Overview

Our use of arrows as notation for both the conditional and entailment suggests an analogy between the two, and this analogy figures in many of the deductive properties of conditionals.

5.3.1. Conditionalization
The basic grounds for concluding a conditional are the demonstrated ability to move from its antecedent as an assumption to its consequent as a goal.

5.3.2. Detachment
The chief significance of having a conditional as premise is the power to move from its antecedent as a resource to its consequent as a further resource.