Wikisage, de vrije encyclopedie van de tweede generatie, is digitaal erfgoed

Wikisage is op 1 na de grootste internet-encyclopedie in het Nederlands. Iedereen kan de hier verzamelde kennis gratis gebruiken, zonder storende advertenties. De Koninklijke Bibliotheek van Nederland heeft Wikisage in 2018 aangemerkt als digitaal erfgoed.

  • Wilt u meehelpen om Wikisage te laten groeien? Maak dan een account aan. U bent van harte welkom. Zie: Portaal:Gebruikers.
  • Bent u blij met Wikisage, of wilt u juist meer? Dan stellen we een bescheiden donatie om de kosten te bestrijden zeer op prijs. Zie: Portaal:Donaties.
rel=nofollow

Tweewaardige logica

Uit Wikisage
Versie door Mdd (overleg | bijdragen) op 24 jul 2019 om 22:47 (https://nl.wikipedia.org/w/index.php?title=Tweewaardige_logica&oldid=49550768)
(wijz) ← Oudere versie | Huidige versie (wijz) | Nieuwere versie → (wijz)
Naar navigatie springen Naar zoeken springen

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).

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 20e 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.

Vertegenwoordigers

Enige vertegenwoordigers van de tweewaardige logica:

Bronnen

  • R. Feys, De geformaliseerde tweewaardige logica, in: De ontwikkeling van het logisch denken, Standaard-boekhandel, 1949, p.91-150.

Zie ook

Externe link

  • Een voorbeeld van tweewaardige logica in de praktijk.