Bivalent logik – Wikipedia

Logik, Formellt system
	Bivalent logik; Boolesk algebra; Deontisk logik; Filosofisk logik; Flervärd logik; Matematisk logik; Metalogik; Modallogik; Satslogik; Temporal logik;
Logiska system
	Första ordningens logik; Andra ordningens logik; Deontisk logik; Intuitionistisk logik; Klassisk logik; Kontemporär logik; Linjär logik; Parakonsistent logik; Predikatlogik; Relationell logik; Relevanslogik; Sannolikhetslogik; Satslogik; Substrukturell logik; Suddig logik (fuzzy logic); Syllogistisk logik;
	Denna tabell: visa • redigera

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.

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

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