Hypothetical Syllogism
Hypothetical Syllogism (HS) is a valid argument form that essentially connects the middle term that is common in two implications.
a → b
b → c
a → b
Note: The statement encapsulated by the variable b is common to both implications and is used as the middle term in bridging the conclusion a → c.
It may be helpful to reuse the geographical analogy from Modus Ponens (MP) to get a sense about HS:
If you are in Los Angeles (L), then you are in California (C). If you are in California (C), then you are in the United States (U). You are in Los Angeles, therefore, you are in the United States (U).
- L → C
- C → U
- L → U HS 1, 2
Want an interactive way to learn logic?
Enhance your critical thinking skills with Symbols Logic. Unlock access to
the first studycard and the first level of all activities for free. Get the
app now:
Hypothetical Syllogism (HS) is a valid argument form that essentially connects the middle term that is common in two implications.
a → b
b → c
a → b
Note: The statement encapsulated by the variable b is common to both implications and is used as the middle term in bridging the conclusion a → c.
It may be helpful to reuse the geographical analogy from Modus Ponens (MP) to get a sense about HS:
If you are in Los Angeles (L), then you are in California (C). If you are in California (C), then you are in the United States (U). You are in Los Angeles, therefore, you are in the United States (U).
- L → C
- C → U
- L → U HS 1, 2
Want an interactive way to learn logic?
Enhance your critical thinking skills with Symbols Logic. Unlock access to the first studycard and the first level of all activities for free. Get the app now: