Loi de peirce

Loi de peirce

Loi de Peirce

La loi de Peirce est la proposition ((A \to B) \to A) \to A\to désigne l'implication. Elle a été proposée par le logicien et philosophe Charles Sanders Peirce.

Cette formule, valide en logique classique, est invalide en logique intuitionniste. Cela signifie que, bien que ne possédant pas de référence explicite à la négation, la loi de Peirce est directement liée à la façon dont on traite celle-ci. Ainsi, on peut montrer que, en logique intuitionniste, il y a équivalence entre loi de Peirce, règle d'élimination de la double négation ou principe du tiers exclu. L'ajout d'un seul de ces principes à la logique intuitionniste redonne la totalité de la logique classique.

Démonstration de la loi de Peirce en logique classique

L'un des principes de la logique classique est le raisonnement par l'absurde. Pour montrer une proposition A, on suppose que A est faux. Si on aboutit à une contradiction, alors on peut en déduire la validité de A.

Pour montrer que l'implication ((A \to B) \to A) \to A est valide, nous allons donc supposer ((A \to B) \to A) et nous devons montrer que A est vraie. Raisonnons par l'absurde et supposons que A est fausse. Mais si A est fausse, alors l'implication A \to B est vraie. Comme on a supposé ((A \to B) \to A) et que l'hypothèse A \to B est vraie, la conclusion A est également vraie, d'où une contradiction.

Logique intuitionniste et loi de Peirce

La logique intuitionniste traite la négation de la façon suivante (on suppose le lecteur familier avec des notations qui sont précisées par exemple dans l'article calcul des propositions) :

  • Si on a à la fois une proposition A et sa négation \lnot A, alors on a une contradiction, notée \bot (règle dite d'élimination de la négation).
  • Si une proposition A conduit à une contradiction, alors c'est que \lnot A est valide (règle dite d'introduction de la négation). Dans ce sens, \lnot A n'est rien d'autre qu'un synonyme de A \to \bot.
  • Si un raisonnement conclut à une contradiction, alors on peut en déduire la validité de toute proposition (règle dite de l'absurdité intuitionniste). Cette règle est remplacée, en logique classique, par le raisonnement par l'absurde.


Considérons alors les formules suivantes :

Plaçons nous dans le cadre de la logique intuitionniste et ajoutant à cette logique la loi de Peirce. Nous allons montrer que les trois formules précédentes sont valides et qu'on obtient la logique classique. Remarquons d'abord que, si on applique la loi de Peirce en remplaçant B par une proposition contradictoire, on obtient la variante suivante (\lnot A \to A) \to A.


Preuve de l'élimination de la double négation : Soit comme hypothèse une proposition de la forme \lnot \lnot A. Si on suppose de plus \lnot A, on obtient une contradiction (une proposition et sa négation) d'où l'on peut déduire A par la règle de l'absurdité intuitionniste. On a donc montré l'implication \lnot A \to A. Appliquant la variante ci-dessus de la loi de Peirce, on en déduit la validité de A. On a donc montré que \lnot \lnot A \to A.

L'élimination de la double négation est à la base du raisonnement par l'absurde. En effet, si \lnot A conduit à une contradiction, alors on a \lnot \lnot A par la règle d'introduction de la négation, et donc on a A par élimination de la double négation. On a donc montré que l'adjonction de la loi de Peirce à la logique intuitionniste redonne bien la logique classique.


Preuve du tiers exclu : c'est en fait une conséquence directe de l'élimination de la double négation ou du raisonnement par l'absurde. Si on a \lnot (A \lor \lnot A) alors on a \lnot A \land \lnot \lnot A, ce qui est contradictoire. Donc on a \lnot\lnot (A \lor \lnot A) et donc A \lor \lnot A par élimination de la double négation.


Preuve de la contraposition : c'est également une conséquence de l'élimination de la double négation. Soit la proposition \lnot A \to \lnot B. Montrons que B \to A. Pour cela supposons B et montrons A. Si on avait \lnot A, on aurait \lnot B, ce qui est contradictoire avec l'hypothèse. On a donc \lnot \lnot A, et par élimination de la double négation, on a A.

Voir aussi

  • Portail des mathématiques Portail des mathématiques
  • Portail de la philosophie Portail de la philosophie
  • Portail de la logique Portail de la logique
Ce document provient de « Loi de Peirce ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Loi de peirce de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Loi De Peirce — La loi de Peirce est la proposition où désigne l implication. Elle a été proposée par le logicien et philosophe Charles Sanders Peirce. Cette formule, valide en logique classique, est invalide en logique intuitionniste. Cela signifie que, bien… …   Wikipédia en Français

  • Loi de Peirce — La loi de Peirce est la proposition où désigne l implication. Elle a été proposée par le logicien et philosophe Charles Sanders Peirce. Cette formule, valide en logique classique, est invalide en logique intuitionniste. Cela signifie que, bien… …   Wikipédia en Français

  • Peirce — Charles Sanders Peirce Charles Sanders Peirce Philosophe américain XIXe siècle XXe siècle …   Wikipédia en Français

  • PEIRCE (C. S.) — Logicien et philosophe américain, Peirce est un pionnier de la pensée. S’il laissa à d’autres l’exploration des domaines qu’il conquit, il leur avait tracé la voie et préparé la tâche. Ses travaux sur les fondements des mathématiques en font un… …   Encyclopédie Universelle

  • Charles S. Peirce — Charles Sanders Peirce Charles Sanders Peirce Philosophe américain XIXe siècle XXe siècle …   Wikipédia en Français

  • Charles Sanders Peirce — Philosophe américain XIXe siècle XXe siècle …   Wikipédia en Français

  • Philosophie et sémiotique de Peirce — Charles Sanders Peirce Charles Sanders Peirce Philosophe américain XIXe siècle XXe siècle …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Logique Intuitionniste — L intuitionnisme est une position philosophique vis à vis des mathématiques proposée par le mathématicien hollandais Luitzen Egbertus Jan Brouwer comme une alternative à l approche dite classique. Elle a été ensuite formalisée, sous le nom de… …   Wikipédia en Français

  • Logique intuitionniste — L intuitionnisme est une position philosophique vis à vis des mathématiques proposée par le mathématicien hollandais Luitzen Egbertus Jan Brouwer comme une alternative à l approche dite classique. Elle a été ensuite formalisée, sous le nom de… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”