Bivalenz,Bivalenzprinzip
für die klassische Logik grundlegendes Prinzip, wonach für jede Aussage gilt, dass sie entweder wahr oder falsch ist, aber nicht beides. Das schon bei Aristoteles diskutierte Bivalenzprinzip wird in der Aussagenlogik formal umgesetzt durch sogenannte Bewertungen, die Abbildungen der Aussagenvariablen in die zweielementige Boole’sche Algebra sind. Es wird für nicht-klassische Logiken, wie etwa mehrwertige und partielle Logiken, ausdrücklich zurückgewiesen oder zumindest modifiziert. Auch die intuitionistische Logik, deren Kritik sich v.a. gegen die uneingeschränkte Gültigkeit des tertium non datur A∨¬A richtet, verzichtet auf das Bivalenzprinzip.
UM