Discussion:Logique polyvalente
De Wikipedia, l'encyclopédie encyclopedia
J'ai renommé ainsi cet article anciennement appelé "Logique plurivalente". Il faudrait ici parler de l'article d'E. Post de 1921 qui fait en gros la théorie complète des logiques propositionnelles finies-valentes et faire le lien avec les logiques infinies valentes comme la logique floue. Epsilon0 9 mai 2006 à 20:35 (CEST)
Avancement | Importance | pour le projet | |
---|---|---|---|
Bon début | À évaluer | Logique (discussion • critères • liste • stats • hist. • comité • stats vues) | |
Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) |
Cet article est indexé par les projets Logique et Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
Matériel de l'article logiques multi-valuées
J'ai redirigé l'article logique mutivaluées vers celui-ci. Je sauvegarde ci-desous son matérile, si qualqu'un voit quelque chose à en tirer. Pierre de Lyon
Les logiques multivaluées (multi-valued logics en anglais) font partie du domaine des logiques non classiques ; en effet, il est apparu de nombreuses limites à la logique classique, et le remède fut de créer un certain nombre de logiques dites "non classiques" dont les logiques multivaluées.
Pourquoi multivaluée ? Prenons le Paradoxe du barbier : "Le barbier rase tous ceux qui ne se rasent pas eux même", "Le barbier se rase". Ces deux prédicats conduisent à une contradiction : . Mais si on prend , la valeur de vérité de , alors on obtient : .
Les logiques multivaluées ajoutent donc d'autres valeur de vérité, notamment le 0.5 symbole pour certaines d'entre elles de l'indéterminé, de l'absurde, ...
Plusieurs points de vue existent concernant ce type de logique, où chacun définie ses propres opérateurs logiques ainsi que le nombre de valeur de vérité supplémentaire.