Related Argument Forms
Unlike modus ponendo ponens and modus ponendo tollens, with which it should not be confused, disjunctive syllogism is often not made an explicit rule or axiom of logical systems, as the above arguments can be proven with a (slightly devious) combination of reductio ad absurdum and disjunction elimination.
Other forms of syllogism:
- hypothetical syllogism
- categorical syllogism
Disjunctive syllogism holds in classical propositional logic and intuitionistic logic, but not in some paraconsistent logics.
Read more about this topic: Disjunctive Syllogism
Famous quotes containing the words related, argument and/or forms:
“The custard is setting; meanwhile
I not only have my own history to worry about
But am forced to fret over insufficient details related to large
Unfinished concepts that can never bring themselves to the point
Of being, with or without my help, if any were forthcoming.”
—John Ashbery (b. 1927)
“Our argument ... will result, not upon logic by itself—though without logic we should never have got to this point—but upon the fortunate contingent fact that people who would take this logically possible view, after they had really imagined themselves in the other man’s position, are extremely rare.”
—Richard M. Hare (b. 1919)
“I regret the unhappiness of princes who are slaves to forms and fettered by caution.”
—Elizabeth I (1533–1603)