Está en la página 1de 3

Logique polyvalente

la logique intuitionniste qui n'accepte pas le tiers ex-


clu, car elle identie la vrit mathmatique au d-
Cet article ou une de ses sections doit tre montrable.

les logiques modales.

les modles de Kripke de la logique intuitionniste,


inspirs du forcing.

la logique oue, qui ajoute la polyvalence la


prise en compte combine de l'imprcision et de
l'incertitude. Plus prcisment cette logique est une
logique innie non dnombrable-valente car la va-
leur de vrit d'une proposition est un rel compris
entre 0 et 1.

1 Exemples de trivalence
Le meilleur exemple de physique est le paradoxe du chat
de Schrdinger. On peut se demander dans quel tat est
le chat la n de l'exprience, quand on ne l'a pas encore
regard : est-il mort, est-il vivant ? Nul ne le sait et sur-
Ce modle est-il pertinent ? Cliquez pour en voir d'autres. tout nul ne peut le dmontrer (approche intuitionniste).
On peut alors faire intervenir un nouvel tat, le chat est
recycl (indiquez la date de pose grce au paramtre date). mort-vivant. En termes de modle de Kripke, on dirait
qu'il y a trois mondes possibles, un monde o le chat est
Une rorganisation et une clarication du contenu pa-
vivant, un monde o le chat est mort et un monde o on ne
raissent ncessaires. Discutez des points amliorer en
peut ni dire si le chat est vivant ou mort. Ces trois mondes
page de discussion ou prcisez les sections recycler en
sont tous les trois aussi possibles. En revanche le monde
utilisant {{section recycler}}.
o le chat est mort (respectivement o le chat est vivant)
Les logiques polyvalentes (ou multivalentes, ou multi- est accessible depuis le monde o le chat est vivant ou
values) sont des alternatives la logique classique aris- mort.
totlienne, bivalente, dans laquelle toute proposition doit
Les logiques partielles prennent comme troisime valeur
tre soit vraie soit fausse. Elles sont apparues partir des
le ni vrai ni faux.
annes 1920, surtout la suite des travaux du logicien
polonais Jan ukasiewicz. Elles sont principalement tu- Les logiques paraconsistantes[2] interprtent la troisime
dies au niveau du seul calcul propositionnel et peu au valeur comme le vrai et faux.
niveau du calcul des prdicats.
Elles ont au dbut eu leurs heures de succs car elles
rpondaient, en lien avec la physique quantique, une 2 Trivalence ou Polyvalence ?
demande d'existence d'un tat autre que le vrai ou le
faux. Ensuite, elles ont suscit un intrt mathmatique En menant terme cette contestation des principes aristo-
indpendant, non li aux enjeux philosophiques, lorsque tliciens, on en arrive la logique quatre valeurs : vrai,
Chang (en) a formul le concept de MV-algbre (en)[1] . faux, ni vrai ni faux, vrai et faux.
Aujourd'hui, elles sont principalement tudies dans le Par ailleurs, si la logique trivalente est la logique o
contexte de la mise en question gnrale des principes l'univers des modles de Kripke contient trois mondes
du tiers exclu et de contradiction, donnant ainsi naissance possibles, il y a d'autres formes de logiques, polyvalentes
aux logiques partielles et paraconsistantes. valuation nie, voire valuation innie comme la logique
Elles ont des parents avec oue[3] , comme on peut envisager des modles de Kripke

1
2 6 ARTICLES CONNEXES

n mondes ou mme un nombre inni de mondes. logique oue


L'inconvnient de cette logique polyvalente-l est qu'elle
aplatit tout et ne met pas en relation les mondes ou logique de Bochvar
tats entre eux.
Portail de la logique

3 Rsultats
Le calcul propositionnel classique se gnralise aisment
toute logique classique nie-valente avec comme s-
mantique les tables de vrit.
Emil Post en a fait une tude gnrale en 1921 montrant
que toute logique nie-valente est complte et que le pro-
blme de la satisfaisabilit est dcidable.
n
Une logique p-valente a p(p ) connecteurs n-aires pour tout
entier n, mais Post a montr que l'on avait toujours un
systme complet de connecteurs (en) en n'utilisant que
deux connecteurs unaires (dont une permutation circu-
laire) et deux connecteurs binaires, min (gnralisant la
conjonction) et max (gnralisant la disjonction), par une
construction inspire des formes normales disjonctives et
conjonctives du calcul propositionnel bivalent.

4 Rfrences
[1] C. C. Chang, Algebraic analysis of many-valued logics,
Transactions AMS 88 (1958) 467490 et A new proof
of the completeness of the Lukasiewicz axioms, Tran-
sactions AMS 93 (1959) 7480.

[2] (en) Graham Priest (en), Paraconsistent logic sur le site


plato.stanford.edu

[3] Ou aussi en identiant, comme Rudolf Carnap, les valeurs


de vrit des probabilits.

5 Bibliographie
Emil L. Post. Introduction to a general theory of ele-
mentary propositions. American Journal of Mathe-
matics, 43 :163185, 1921. trad. fr. de J. Largeault
dans Logique Mathmatique : Textes, Paris : Armand
Colin, 1972.

Alexandre Zinoviev, Philosophical Problems of


Many-Valued Logic, D. Reidel Publishing Compa-
ny, 169p., 1963.

6 Articles connexes
Principe d'incertitude

Indterminabilit

logique de Lukasiewicz
3

7 Sources, contributeurs et licences du texte et de limage


7.1 Texte
Logique polyvalente Source : https://fr.wikipedia.org/wiki/Logique_polyvalente?oldid=132059999 Contributeurs : Jeantosti, Pgreennch,
Phe-bot, Khivapia, PIerre.Lescanne, Traumrune, Pld, Bjankuloski06fr, Epsilon0, HYUK3, Escarbot, Dogann, DodekBot~frwiki, TXiKi-
BoT, Louperibot, Sebrider, HerculeBot, Cobalttempest, SpBot, Luckas-bot, Micbot, HermesHermes, Anne Bauval, Lomita, EmausBot,
ZroBot, Lf69100, MerlIwBot, Rezabot, Addbot et Anonyme : 3

7.2 Images
Fichier:Info_Simple.svg Source : https://upload.wikimedia.org/wikipedia/commons/3/38/Info_Simple.svg Licence : Public domain
Contributeurs : Travail personnel Artiste dorigine : Amada44
Fichier:Logic.svg Source : https://upload.wikimedia.org/wikipedia/commons/e/e7/Logic.svg Licence : CC BY-SA 3.0 Contributeurs : Tra-
vail personnel Artiste dorigine : It Is Me Here
Fichier:Recycling_symbol2.svg Source : https://upload.wikimedia.org/wikipedia/commons/a/a3/Recycling_symbol2.svg Licence : Pu-
blic domain Contributeurs : Travail personnel Artiste dorigine : User:Liquid 2003

7.3 Licence du contenu


Creative Commons Attribution-Share Alike 3.0