Meerwaardige logica: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Geen bewerkingssamenvatting
Regel 2:
'''Meerwaardige logica''' (''Multi-Valued Logic'' of ''MVL'') is een verzamelnaam voor alle [[logisch systeem|logische systemen]] waarbij zinnen niet alleen maar "waar" of "onwaar" kunnen zijn, maar ook een andere waarde kunnen hebben. De term is gerelateerd aan, maar te onderscheiden van, de [[modale logica]].
 
De Poolse [[logicus]] [[J. Łukasiewicz]] kwam in 1920 voor het eerst met het idee in zijn artikel ''O logice trojwartosciowej'', dat dus over zijn [[driewaardige logica]] ging. Latere voorbeelden van zulke systemen zijn: [[Gödel]]s interpretatie van de [[intuïtieve logica]]; ; de [[vierwaardige logica]] en de moderne ''[[fuzzy logic]]''. Een belangrijke aanleiding om een meerwaardige logica te ontwikkelen is het gegeven dat de [[natuurlijke taal]] het mogelijk maakt vele uitspraken te doen waarvan niet eenvoudig gezegd kan worden of ze waar of niet waar zijn, zoals: "De Keizer van België heeft een snor".
 
De [[Chinese logica]] kent drie waarden, en is daarmee een van de meerwaardige logica's. De derde waarde zou vertaald kunnen worden met "niet-waar en niet-onwaar". Deze waarde impliceert bijvoorbeeld dat uit de constatering "de deur is niet dicht" niet de conclusie getrokken kan worden dat de deur open is. Met andere woorden: [[Modus tollens]] is niet mogelijk in deze vorm van logica.