« Logiques polyvalentes » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 1 : | Ligne 1 : | ||
[[Catégorie: | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
==Définition== | ==Définition== | ||
Les logiques polyvalentes sont des alternatives à la logique classique aristotélicienne, bivalente, dans laquelle toute proposition doit être soit vraie soit fausse. Elles sont apparues à partir des années 1920, surtout à la suite des travaux de Łukasiewicz et Kleene, qui acceptent les valeurs « vrai », « faux » et « inconnu », la valeur finie (valeur finie-multiple) avec plus de trois valeurs, et la valeur infinie (valeur infiniment-multiple), comme la '''[[logique floue]]''' et la logique de probabilité. | Les logiques polyvalentes sont des alternatives à la logique classique aristotélicienne, bivalente, dans laquelle toute proposition doit être soit vraie soit fausse. Elles sont apparues à partir des années 1920, surtout à la suite des travaux de Łukasiewicz et Kleene, qui acceptent les valeurs « vrai », « faux » et « inconnu », la valeur finie (valeur finie-multiple) avec plus de trois valeurs, et la valeur infinie (valeur infiniment-multiple), comme la '''[[logique floue]]''' et la logique de probabilité. | ||
| Ligne 10 : | Ligne 9 : | ||
'''logiques multivalentes''' <small>loc. nom. fém.</small> | '''logiques multivalentes''' <small>loc. nom. fém.</small> | ||
==Anglais== | ==Anglais== | ||
'''Many-valued logic''' | '''Many-valued logic''' | ||
<small> | <small> | ||
[https://en.wikipedia.org/wiki/Many-valued_logic Source: en.wikipedia, ''Many-valued logic''.] | [https://en.wikipedia.org/wiki/Many-valued_logic Source: en.wikipedia, ''Many-valued logic''.] | ||
Version du 26 avril 2020 à 19:32
Définition
Les logiques polyvalentes sont des alternatives à la logique classique aristotélicienne, bivalente, dans laquelle toute proposition doit être soit vraie soit fausse. Elles sont apparues à partir des années 1920, surtout à la suite des travaux de Łukasiewicz et Kleene, qui acceptent les valeurs « vrai », « faux » et « inconnu », la valeur finie (valeur finie-multiple) avec plus de trois valeurs, et la valeur infinie (valeur infiniment-multiple), comme la logique floue et la logique de probabilité.
Français
logiques polyvalentes loc. nom. fém.
logiques multivaluées loc. nom. fém.
logiques multivalentes loc. nom. fém.
Anglais
Many-valued logic
Contributeurs: Evan Brach, Jacques Barolet, wiki
