Hypothetical syllogisms are short, two-premise deductive arguments, in which at least one of the premises is a conditional, the antecedent or consequent of which also appears in the other premise.
I. “Pure” Hypothetical Syllogisms:
In the pure hypothetical syllogism (abbreviated HS), both of the premises as well as the conclusion are conditionals. For such a conditional to be valid the antecedent of one premise must match the consequent of the other. What one may validly conclude, then, is a conditional containing the remaining antecedent as antecedent and the remaining consequent as consequent. (You might simply think of the middle term – the proposition in common between the two premises – as being cancelled out.)
It’s not hard to visualize the valid hypothetical syllogism. The following schema illustrate what’s going on:
Other forms are invalid (unless they can be converted into a valid form by the law of contraposition – see my notes for categorical syllogisms).
II. “Mixed” Hypothetical Syllogisms:
In mixed hypothetical syllogisms, one of the premises is a conditional while the other serves to register agreement (affirmation) or disagreement (denial) with either the antecedent or consequent of that conditional. There are thus four possible forms of such syllogisms, two of which are valid, while two of which are invalid.
The VALID forms are:
And the INVALID forms (or “pretenders”) are:
You will want to remember these rules for validity!!!
You can perhaps see why these forms are valid or invalid by considering a very simple example. Think of the following four syllogisms:
While syllogisms 1. and 4. above seem to follow logically, it’s clear that 2. and 3. do not, and for precisely the same reason – that there are things that fly other than birds (bats, for instance). And Tweety might just happen to be one of those. AA and DC are thus considered valid, while AC and DA are considered invalid.
III. Exercises: The following is a list of schematized hypothetical syllogisms. First, put them into standard form and then determine their validity by identifying their form (HS, AA, AC, DA, or DC)
Answers to odd exercises:
1. Invalid (AC)
3. Valid (AA)
5. Valid (HS)
7. Invalid (AA [but wrong conclusion!])
9. Valid (HS)
11. Invalid (AC)
13. Valid (DC)
15. Valid (AA)
17. Valid (HS)