Tweewaardige logica: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
k +link
GrouchoBot (overleg | bijdragen)
k Bot: automatisch tekst vervangen (-0ste +0e )
Regel 2:
 
==Algemeen==
De tweewaardige logica staat tegenover de [[meerwaardige logica]] (of ''niet-tweewaardige logica'') en is ook ontwikkeld vanuit het idee om de [[wiskunde|wiskundige]] strengheid in de logica toe te passen. Deze omwenteling is begin 20ste20e eeuw vooral gerealiseerd door het werk van [[Bertrand Russell|Russel]] en [[Alfred North Whitehead|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 ''[[Formele_wetenschap|geformaliseerde]] tweewaardige logica''. Tegenwoordig spreekt men wel van de ''klassieke tweewaardige logica''.