Tweewaardige logica
Tweewaardige logica is dat deel van de propositielogica, waar men proposities bestudeert waarvan men onderstelt, dat ze slechts twee waarheidswaarden kunnen hebben; namelijk waar of onwaar (vals).
Inhoud |
[bewerk] Algemeen
De tweewaardige logica staat tegenover de meerwaardige logica (of niet-tweewaardige logica) en is ook ontwikkeld vanuit het idee om de wiskundige strengheid in de logica toe te passen. Deze omwenteling is begin 20ste eeuw vooral gerealiseerd door het werk van Russel en Whitehead. Deze vorm is men in de wiskunde gaan gebruiken omdat het eenvoudig van vorm is en geen gevoelsschakeringen meer bevat van de antieke niet-tweewaardige logica.
In de literatuur wordt gesproken van meerdere vormen van tweewaardige logica. Zo sprak Robert Feys vijftig jaar terug van de geformaliseerde tweewaardige logica. Tegenwoordig spreekt men wel van de klassieke tweewaardige logica.
[bewerk] Vertegenwoordigers
Enige vertegenwoordigers van de tweewaardige logica:
- Gottlob Frege (1848-1925)
- Giuseppe Peano (1858-1932)
- Alfred North Whitehead (1861-1947)
- Bertrand Russell (1872-1970)
[bewerk] Bronnen
- R. Feys, De geformaliseerde tweewaardige logica, in: De ontwikkeling van het logisch denken, Standaard-boekhandel, 1949, p.91-150.
[bewerk] Zie ook
- Lijst met vormen van logica
- Meerwaardige logica
- Propositielogica
[bewerk] Externe links
- Een voorbeeld van tweewaardige logica in de practijk.
