Meerwaardige logica: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k wiu |
reële inhoud gegeven |
||
Regel 1:
{{wiu}}
'''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 Pool [[Łukasiewicz]] kwam in 1920 voor het eerst met het idee. Latere voorbeelden van zulke systemen zijn: [[Gödel]]s interpretatie van de [[intuïtieve logica]]; [[driewaardige logica]]; [[vierwaardige logica]] en de moderne ''[[fuzzy logic]]''. Een belangrijke aanleiding om meerwaardige logica's 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".
| |||