bivalensprinsippet

Uttale
bivalˈensprinsippet
Etymologi
av lat. 'toverdig'

(logikk), prinsipp som hevder at enhver setning er enten sann eller falsk, dvs. at alle setninger har sannhetsverdi og at det bare finnes to sannhetsverdier. Dersom et språk har en negasjonsoperator (se logikk), medfører prinsippet «loven om den ekskluderte tredje» (se tertium non datur).

Da prinsippet hevder at setninger har sannhetsverdi uavhengig av våre muligheter til å fastslå dette, har det blitt kritisert av den antirealistiske skole, anført av Dummett, for å innebære en uakseptabel filosofisk realisme.