Bivalent logik

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

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