Syllogisme hypothétique

En logique classique, un syllogisme hypothétique est une règle d'inférence valide, qui prend la forme d'un syllogisme ayant une implication pour un ou deux de ses prémisses^[1]^,^[2].

Si je ne me réveille pas, alors je ne peux pas aller travailler.

Si je ne peux pas aller travailler, alors je ne vais pas être payé.

Par conséquent, si je ne me réveille pas, alors je ne vais pas être payé.

En logique propositionnelle, un syllogisme hypothétique est le nom d'une règle d'inférence valide (souvent abrégé HS et parfois aussi appelé l'argument de la chaîne, la règle de la chaîne, ou le principe de transitivité de l'implication). Le syllogisme hypothétique est l'une des règles de la logique classique qui ne sont pas toujours acceptées dans certains systèmes de logique non-classique. La règle peut être déclaré comme suit:

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

où la règle est que chaque fois que les instances de « $P\to Q$ », et « $Q\to R$ » apparaissent, « $P\to R$ » peut être placé sur la ligne de conclusion.

Le syllogisme hypothétique est étroitement liée et similaire au syllogisme disjonctif, car il est également un type de syllogisme, et aussi le nom d'une règle d'inférence.

Notation formelle[modifier | modifier le code]

La règle du syllogisme hypothétique peut être écrite en notation séquente:

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

où $\vdash$ est un symbole métalogique qui signifie que $P\to R$ est une conséquence de $P\to Q$ , et $Q\to R$

exprimée en une tautologie, ou théorème de logique propositionnelle:

((P\to Q)\land (Q\to R))\to (P\to R)

où $P$ , $Q$ , et $R$ sont des propositions exprimées dans un système formel.

Voir aussi[modifier | modifier le code]

Références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Hypothetical syllogism » (voir la liste des auteurs).

↑ Hurley
↑ Copi and Cohen

Liens externes[modifier | modifier le code]

Philosophy Index: Hypothetical Syllogism

Portail de la logique

[1] Hurley

[2] Copi and Cohen

[1]

[2]