Logiques multi-valuées

Logiques multi-valuées

Logique polyvalente

Les logiques polyvalentes (ou multivalentes, ou multivaluées) sont des alternatives à la logique classique aristotélienne. Elles sont apparues à partir des années 1920, surtout à la suite des travaux du logicien polonais Jan Łukasiewicz.

Elles ont au début eu leurs heures de succès car elles répondaient, en lien avec la physique quantique, à une demande d'existence d'un état autre que le vrai ou le faux. Ensuite, elles ont suscité un intérêt mathématique indépendant, non lié aux enjeux philosophiques, lorsque Chang a formulé le concept de MV-algèbre[1]. Aujourd'hui, elles sont principalement étudiées dans le contexte de la mise en question générale des principes du tiers-exclu et de contradiction, donnant ainsi naissance aux logiques partielles et paraconsistantes.

Elles sont des parentés avec

  • la logique intuitionniste qui n'accepte pas le tiers-exclu, car elle identifie la vérité mathématique au démontrable.
  • les logiques modales.
  • les modèles de Kripke de la logique intuitionniste, inspirés du forcing.
  • la logique floue, qui ajoute à la polyvalence la prise en compte combinée de l'imprécision et de l'incertitude.

Exemples de trivalence

Le meilleur exemple de physique est le paradoxe du chat de Schrödinger. On peut se demander dans quel état est le chat à la fin de l'expérience, quand on ne l'a pas encore regardé : est-il mort, est-il vivant ? Nul ne le sait et surtout nul ne peut le démontrer (approche intuitionniste). On peut alors faire intervenir un nouvel état, le chat est mort-vivant. En termes de modèle de Kripke, on dirait qu'il y a trois mondes possibles, un monde où le chat est vivant, un monde où le chat est mort et un monde où on ne peut ni dire si le chat est vivant ou mort. Ces trois mondes sont tous les trois aussi possibles. En revanche le monde où le chat est mort (respectivement où le chat est vivant) est accessible depuis le monde où le chat est vivant ou mort.

Les logiques partielles prennent comme troisième valeur le "ni vrai ni faux".

Les logiques paraconsistantes[2] interprètent la troisième valeur comme le "vrai et faux".

Trivalence ou Polyvalence ?

En menant à terme cette contestation des principes aristotéliciens, on en arrive naturellement à la logique à quatre valeurs: "vrai", faux", "ni vrai ni faux", "vrai et faux".

Par ailleurs, si la logique trivalente est la logique où l'univers des modèles de Kripke contient trois mondes possibles, on peut envisager d'autres formes de logiques, polyvalentes ou n-valentes, voire de valence infinie[3], comme on peut envisager des modèles de Kripke à n mondes ou même à un nombre infini de mondes. L'inconvénient de cette logique polyvalente-là est qu'elle « aplatit » tout et ne met pas en relation les mondes ou états entre eux.


  1. ↑ Chang, C. C. (1958) "Algebraic analysis of many-valued logics," Transactions of the American Mathematical Society 88: 476–490. (1959) et "A new proof of the completeness of the Lukasiewicz axioms," Transactions of the American Mathematical Society 88: 74–80.
  2. ↑ Voir l'article de Graham Priest sur http://plato.stanford.edu/entries/logic-paraconsistent
  3. ↑ Par exemple en identifiant avec Carnap les valeurs de vérité à des probabilités.

Voir aussi

  • Portail de la logique Portail de la logique
Ce document provient de « Logique polyvalente ».

Wikimedia Foundation. 2010.

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

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Aléthique — Logique modale La logique modale est une logique à laquelle on a ajouté des modificateurs, qu’on pourrait comprendre en grammaire comme des adverbes. Par exemple, on peut modifier la proposition « Il pleut » comme ceci : Il est… …   Wikipédia en Français

  • Catégorie modale — Logique modale La logique modale est une logique à laquelle on a ajouté des modificateurs, qu’on pourrait comprendre en grammaire comme des adverbes. Par exemple, on peut modifier la proposition « Il pleut » comme ceci : Il est… …   Wikipédia en Français

  • Catégories modales — Logique modale La logique modale est une logique à laquelle on a ajouté des modificateurs, qu’on pourrait comprendre en grammaire comme des adverbes. Par exemple, on peut modifier la proposition « Il pleut » comme ceci : Il est… …   Wikipédia en Français

  • Logique Modale — La logique modale est une logique à laquelle on a ajouté des modificateurs, qu’on pourrait comprendre en grammaire comme des adverbes. Par exemple, on peut modifier la proposition « Il pleut » comme ceci : Il est possible qu’il… …   Wikipédia en Français

  • Logique modale — La logique modale est une logique à laquelle on a ajouté des modificateurs, qu’on pourrait comprendre en grammaire comme des adverbes. Par exemple, on peut modifier la proposition « Il pleut » comme ceci : Il est possible qu’il… …   Wikipédia en Français

  • Logique mathématique — La logique mathématique, ou logique formelle, est une discipline des mathématiques introduite à la fin du XIXe siècle et qui s est donnée comme objet l étude des mathématiques en tant que langage. Les objets fondamentaux de la logique… …   Wikipédia en Français

  • Logique (mathématiques) — Logique mathématique La logique mathématique est née à la fin du XIXe siècle de la logique au sens philosophique du terme. Ses débuts furent marqués par la rencontre entre deux idées nouvelles : la volonté chez Frege, Russell, Peano et… …   Wikipédia en Français

  • Logique Mathématique — La logique mathématique est née à la fin du XIXe siècle de la logique au sens philosophique du terme. Ses débuts furent marqués par la rencontre entre deux idées nouvelles : la volonté chez Frege, Russell, Peano et Hilbert de donner une …   Wikipédia en Français

  • Logique mathematique — Logique mathématique La logique mathématique est née à la fin du XIXe siècle de la logique au sens philosophique du terme. Ses débuts furent marqués par la rencontre entre deux idées nouvelles : la volonté chez Frege, Russell, Peano et… …   Wikipédia en Français

  • Métamathématique — Logique mathématique La logique mathématique est née à la fin du XIXe siècle de la logique au sens philosophique du terme. Ses débuts furent marqués par la rencontre entre deux idées nouvelles : la volonté chez Frege, Russell, Peano et… …   Wikipédia en Français

Share the article and excerpts

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