Mail/M'écrire


Les logiques non classiques
(André Brouty 2006)
Cet exposé est sous licence libre LLDD.

Introduction.

Les logiques non classiques sont apparues à cause de l'insuffisance de la logique classique. Reprenons la fameuse phrase d'Aristote: "Il y aura demain une bataille navale". Cette phrase n'est ni vraie ni fausse au moment ou elle est prononcée, on peut dire qu'elle est indéterminée et lui associer la valeur logique 0.5. Nous obtenons une logique à trois valeurs de vérité que l'on va examiner un petit peu en détail. Il est plus facile d'aborder les logiques multivaluées par l'aspect sémantique, nous aborderons ensuite l'aspect syntaxique.

La logique trivalente

Commencons par la logique trivalente déjà introduite à trois valeurs de vérité:1,0 et 1/2. Il faut examiner comment se comportent les connecteurs quand intervient la valeur représentant l'indéterminé.
Cet article est en cours de rédaction, un peu de patience!