Bivalent logik är logik där endast två sanningsvärden förekommer, till skillnad från till exempel flervärd logik och suddig logik. Bivalent logik skiljer sig från lagen om det uteslutna tredje, genom att det förstnämnda baseras på tanken att uttrycket P måste vara sant eller falskt, medan det sistnämnda baseras på tanken att för varje P måste P eller icke-P vara sant.

Logik, Formellt system
Logiska system

Soritesparadoxen utmanar tanken om bivalent logik, och senare debatt har gett upphov till bland annat den suddiga logiken, medan filosofer som Timothy Williamson argumenterat för den bivalenta logiken.

Referenser

redigera
  • Baggini, Julian; Fosl Peter S. (2010) (på engelska). The philosopher's toolkit: a compendium of philosophical concepts and methods (2. ed.). Oxford: Wiley-Blackwell. sid. 78-79. Libris 12142970. ISBN 9781405190183