Tweewaardige logica: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Een opzetje
 
k De tweewaardige logica staat tegenover de Meerwaardige logica (of ''niet-tweewaardige logica'')
Regel 2:
 
==Algemeen==
De tweewaardige logica staat tegenover de [[Niet-tweewaardigeMeerwaardige 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 Russell 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 R. Feys vijftig jaar terug van de [[formele|geformaliseerde]] tweewaardige logica. Tegenwoordig spreekt men wel van de klassiek tweewaardige logica