« Logiques polyvalentes » : différence entre les versions
m (Remplacement de texte — « <small>loc. nom. fém.</small> » par « <small> féminin </small> ») |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (2 versions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 3 : | Ligne 3 : | ||
==Français== | ==Français== | ||
'''logiques polyvalentes''' | '''logiques polyvalentes''' | ||
'''logiques multivaluées''' | '''logiques multivaluées''' | ||
'''logiques multivalentes''' | '''logiques multivalentes''' | ||
==Anglais== | ==Anglais== | ||
''' | '''many-valued logic''' | ||
==Sources== | |||
[https://en.wikipedia.org/wiki/Many-valued_logic Source: | [https://en.wikipedia.org/wiki/Many-valued_logic Source : Wikipedia, ''Many-valued logic''.] | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Dernière version du 28 janvier 2024 à 10:09
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
logiques multivaluées
logiques multivalentes
Anglais
many-valued logic
Sources
Contributeurs: Evan Brach, Jacques Barolet, wiki
