|
(Page en construction..)
Habituellement on attribue aux propositions formelles 2 valeurs de vérité: « vrai » ou « faux ». C'est le principe du tiers exclu. Or, il y a des situations dans lesquelles on ne peut pas juger à l'aide de ces deux principes. On propose alors une troisième valeur de vérité.
Historique de la logique trivalente:
1 Chez les Aymaras
Les Aymaras sont un peuple qui vit entre le Pérou, la Bolivie et le Chili. Le mathématicien bolivien Ivan Guzman de Rojas a mis évidence une structure de logique trivalente dans la grammaire de la langue Aymara.
Voici plus d'informations (en espagnol):
http://www.eldiario.net/noticias/nt071024/6_01clt.php
2. Des traces chez Aristote?
3. Chez Luckasiewicz
Bibliographie:
Liens:
http://plato.stanford.edu/entries/logic-manyvalued/
|
|