Vous êtes sur la page 1sur 4

Principe du tiers exclu

Principe du tiers exclu


En logique formelle, le principe du tiers exclu (ou milieu exclu ) soutient que, pour toute proposition p, l'une ou l'autre parmi cette proposition p et sa ngation non-p est vraie, c'est--dire que la disjonction p ou non-p est vraie. Il diffre du principe de non-contradiction qui lui affirme que les propositions p et non-p ne peuvent tre simultanment valides, c'est--dire que la conjonction p et non-p est fausse (voir section Explication ci-dessous). Ce principe, comme celui d'identit, a une double version, ontologique ou logique. La version ontologique rejette la notion de gradations dans l'tre : il y a tre, ou non-tre, pas de demi-tre. La version logique affirme que toute proposition est ncessairement vraie ou fausse, sans valeur intermdiaire possible. La logique classique lui donne une grande importance. Selon David Hilbert, Priver le mathmaticien du tertium non datur [le troisime n'est pas donn] serait enlever son tlescope l'astronome, son poing au boxeur[1].

Explication
Parmi les 2 propositions p et non-p (ou toute autre paire de propositions), en l'absence de systme de logique formelle, on pourrait en thorie avoir l'un des 3 cas suivants: 1. p est vraie ou non-p est vraie, exclusivement 2. p et non-p sont tous 2 vrais 3. ni p ni non-p n'est vrai Le principe de non-contradiction qui fonde la logique formelle rejette le cas 2 pour une paire de propositions qui sont la ngation logique l'une de l'autre : on ne peut penser p et non-p vrais la fois. Le principe du tiers-exclu rejette le cas 3 : on ne peut penser que p ou non-p, il n'y a pas de troisime cas hypothtique. La loi de l'alternative (Robert Blanch) [rf.ncessaire] rsulte de la conjonction de la loi de non-contradiction et de la loi du tiers exclu. A eux deux, ces principes participent fonder la logique mathmatique formelle dite classique. La logique intuitionniste n'inclut pas, elle, le principe du tiers-exclu : c'est justement l'un des deux fondements de sa diffrence par rapport la logique classique.

Dfinition
En mathmatiques, le principe du tiers exclu affirme que la proposition proposition . Cela signifie que pour toute proposition ou (non ) est vraie, pour toute , on doit accepter soit , soit sa ngation.

Le principe du tiers exclu a t introduit par Aristote comme consquence du principe de non-contradiction[rf.souhaite]. Le principe de non-contradiction stipulant que pour toute proposition on ne peut pas avoir et non en mme temps. En logique classique, le principe du tiers exclu se dduit de l'limination de la double ngation ( non(non(R)) = R ) : non-contradiction : non (R et (non(R)) non(R) ou non(non(R)) non(R) ou R (tiers exclu) Ce n'est toutefois pas le cas dans tous les formalismes logiques, et en particulier en logique intuitionniste, qui conserve le principe de non-contradiction mais n'utilise pas le principe du tiers exclu. En logique intuitionniste, nous ne pouvons pas dire que R ou (non R) est vraie a priori pour toute proposition R. Il faut le dmontrer pour chaque proposition R et, dans certains cas, cela sera impossible sans introduire un nouvel axiome. Pour un mathmaticien intuitionniste, le principe du tiers exclu est au mieux inutile (pour les dmonstrations qu'on pourrait faire sans l'utiliser), au pire strilisant. Dans le cas d'une proposition indcidable R, que le systme formel considr ne peut pas plus prouver que sa ngation, le fait de qualifier de vraie la proposition non(R) ou R est considr comme totalement dnu de sens par le mathmaticien intuitionniste.

Principe du tiers exclu Un exemple de raisonnement faisant appel au tiers-exclu est le suivant : nous voulons dmontrer l'implication

Pour cela, nous pouvons considrer la proposition R : a=0 et utiliser le principe du tiers exclu pour R. Il y a alors deux cas examiner (un troisime cas tant exclu) : soit R est vraie : alors la proposition R ou b=0 est vrifie ; soit R est fausse i. e. a0 alors en simplifiant par a la relation ab=0, nous obtenons b=0, et R ou b=0 est vrifie. Dans l'implication prcdente, un mathmaticien intuitionniste refusera de conclure que a=0 ou b=0, parce qu'il ne peut pas prouver que a=0 ou non(a=0) est vraie (l'galit sur les rels tant indcidable). Toutefois, la logique intuitionniste n'est pas fondamentalement plus faible que la logique classique : pour toute proposition R prouvable en logique classique, il existe une proposition R' (qui peut tre identique R) telle que R et R' sont quivalents au sens de la logique classique, et R' est prouvable en logique intuitionniste. Dans notre exemple, cette proposition R' serait non(ab=0 et non(a=0) et non(b=0)) . Le raisonnement par l'absurde repose sur le principe du tiers exclu. En effet, il fonctionne sur le mcanisme suivant : je veux prouver R. Pour cela, je suppose non(R) et je tombe sur une contradiction : c'est donc que non(R) est fausse, et d'aprs le principe du tiers exclu, que R est vraie. En logique intuitionniste, cette dernire tape est impossible : de non(R) est fausse, on peut juste conclure non(non(R)) est vraie, mais ce n'est pas quivalent R est vraie, comme en logique classique. On a juste l'implication , mais pas sa rciproque.

Histoire
Parmnide utilise implicitement le principe du tiers exclu. Il [l'tre] est absolument ou il nest pas du tout[2]. Aristote le mentionne, le premier, avec clart : Il n'est pas possible qu'il y ait aucun intermdiaire entre les noncs contradictoires : il faut ncessairement ou affirmer ou nier un seul prdicat, quel qu'il soit[3]. Kant, dans sa Logique (1800) lie principe du tiers exclu et problmes apodictiques (ncessaires). Nous pouvons poser ici trois principes comme critres universels de la vrit, simplement formels et logiques, ce sont : 1) le principe de contradiction et d'identit (principium contradictionis et identitatis) par lequel la possibilit interne d'une connaissance est dtermine pour des jugements problmatiques, 2) le principe de raison suffisante (principium rationis sufficientis) [] pour les jugements assertoriques ; le principe du tiers exclu (principium exclusi medii inter duo contradictoria) [] pour des jugements apodictiques. [] Les jugements sont problmatiques, assertoriques ou apodictiques. Les jugements problmatiques sont accompagns de la conscience de la simple possibilit, les assertoriques de la conscience de la ralit, les apodictiques enfin de la conscience de la ncessit du jugement[4]. Les logiques polyvalentes mettent en question le principe ds Lukasiewicz en 1910[5], qui revient l'antique question des futurs contingents : si une proposition qui concerne le futur pouvait tre caractrise au prsent dj comme vraie ou fausse, on devrait admettre que le cours des vnements est dtermin l'avance. Les logiques polyvalentes contestent le principe du tiers exclu. Elles reconnaissent d'autres valeurs que le vrai et le faux, elles admettent, entre les deux, l'indtermin, ou le possible, ou, en de, l'impossible (qui est un faux renforc), et au-del le ncessaire (degr suprieur du vrai). Heyting ne dit pas que le tiers exclu est faux, il en limite la porte[6]. Une proposition peut tre absurde ou probable, et non seulement vraie ou fausse. Brouwer puis Arend Heyting en 1930[7] critiquent, au nom de leur logique intuitionniste , un certain type de raisonnements tenus selon la loi du tiers exclu appliqu des ensembles finis. Ils estiment qu'on n'a pas le droit

Principe du tiers exclu d'infrer la vrit d'une proposition de la fausset de sa ngation. Cependant, la physique classique n'a jamais remis en cause le tiers exclu : Quels sont les postulats pistmologiques de la physique classique, newtonienne ou relativiste ? Ils sont au nombre de deux : le principe du dterminisme et le principe du tiers exclu exprimental. (Le) principe du tiers exclu exprimental conduit la physique classique distinguer radicalement la matire et l'nergie, les phnomnes particulaires et les phnomnes ondulatoires, le continu et le discontinu[8].

Notes et rfrences
[1] [2] [3] [4] [5] [6] [7] David Hilbert, Die Grundlagen der Mathematik (1934-1939), p. 80. Parmnide, fragment B 8. Aristote, Mtaphysique, Gamma, 1011b23. Kant, Logique (1800), trad., Vrin, 1970, p. 58 et 119. Jan Lukasiewicz, Sur le principe de contradiction chez Aristote, 1010. Gilbert Hottois, Penser la logique, De Boeck Universit, Bruxelles, 1989, p. 116. Arend Heyting, 1930C, Sur la logique intuitionniste , Acadmie Royale de Belgique, Bulletin de la Classe des Sciences, 1930, 16, p. 957963. [8] Roger Caratini, Initiation la philosophie, L'Archipel, 2000, p. 462.

Bibliographie
Robert Blanch, La science actuelle et le rationalisme, PUF, 1967, p. 91-93. Jean-Baptiste Gourinat, Principe de contradiction, principe du tiers-exclu et principe de bivalence : philosophie premire ou organon ? , dans M. Bastit, J. Follon (ds.), Logique et mtaphysique dans lOrganon dAristote, Actes du colloque de Dijon, Louvain, Peeters, 2001, p. 63-91. Portail de la logique Portail de la philosophie

Sources et contributeurs de larticle

Sources et contributeurs de larticle


Principe du tiers exclu Source: http://fr.wikipedia.org/w/index.php?oldid=98238808 Contributeurs: Aldoo, Alvaro, Anne Bauval, Apuleio, Arnaudus, Badmood, Barraki, COLETTE, Circular, Coyote du 86, Denispir, Dilbert, Epsilon0, Ffx, Foudebassans, Gem, HYUK3, Hpa, JPZ, Jrome Bru, Kelemvor, Leon1789, Michel421, OPi, Orthogaffe, PIerre.Lescanne, PieRRoMaN, Proz, Ripounet, Romainhk, STyx, SniperMask, Speculos, Theon, Titlutin, VentDuNord, Virgile, Vohosilvere, Wanderer999, 16 modifications anonymes

Source des images, licences et contributeurs


Fichier:Logic.svg Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Logic.svg Licence: Creative Commons Attribution-Sharealike 3.0 Contributeurs: User:It Is Me Here Fichier:Auguste Rodin - Penseur 50px.png Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Auguste_Rodin_-_Penseur_50px.png Licence: GNU Free Documentation License Contributeurs: retouche par Walk

Licence
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/