Hypothetical syllogism

Transformation rules
Propositional calculus
Rules of inference
Modus ponens / Modus tollens Biconditional introduction / elimination Conjunction introduction / elimination Disjunction introduction / elimination Disjunctive / Hypothetical syllogism Constructive / Destructive dilemma Absorption Modus ponendo tollens
Rules of replacement
Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material implication Exportation Tautology Negation introduction
Predicate logic
Universal generalization / instantiation Existential generalization / instantiation

In classical logic, hypothetical syllogism is a valid argument form which is a syllogism having a conditional statement for one or both of its premises.^[1]^[2]

If I do not wake up, then I cannot go to work.

If I cannot go to work, then I will not get paid.

Therefore, if I do not wake up, then I will not get paid.

In propositional logic, hypothetical syllogism is the name of a valid rule of inference^[3]^[4] (often abbreviated HS and sometimes also called the chain argument, chain rule, or the principle of transitivity of implication). Hypothetical syllogism is one of the rules in classical logic that is not always accepted in certain systems of non-classical logic. The rule may be stated:

\frac{P \to Q, Q \to R}{\therefore P \to R}

where the rule is that whenever instances of " $P\to Q$ ", and " $Q \to R$ " appear on lines of a proof, " $P \to R$ " can be placed on a subsequent line.

Hypothetical syllogism is closely related and similar to disjunctive syllogism, in that it is also type of syllogism, and also the name of a rule of inference.

Formal notation

The hypothetical syllogism rule may be written in sequent notation:

(P \to Q), (Q \to R) \vdash (P \to R)

where $\vdash$ is a metalogical symbol meaning that $P \to R$ is a syntactic consequence of $P\to Q$ , and $Q \to R$ in some logical system;

and expressed as a truth-functional tautology or theorem of propositional logic:

((P \to Q) \and (Q \to R)) \to (P \to R)

where $P$ , $Q$ , and $R$ are propositions expressed in some formal system.

References

↑ Hurley
↑ Copi and Cohen
↑ Hurley
↑ Copi and Cohen

External links

Philosophy Index: Hypothetical Syllogism

This article is issued from Wikipedia - version of the 12/16/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.

Hypothetical syllogism

Formal notation

See also

References

External links