Loven om det utelukkede tredje

Denne artikkelen mangler kildehenvisninger, og opplysningene i den kan dermed være vanskelige å verifisere. Kildeløst materiale kan bli fjernet. Helt uten kilder. (10. okt. 2015)

Loven om det utelukkede tredje er et logisk prinsipp som uttrykker at alternativene A og ikke-A utelukker hverandre. Utsagnene «jorden er flat» og «jorden er ikke flat» er f.eks. uttømmende alternativer, dvs. at det ikke tillater noen tredje mulighet. På latin er prinsippet kjent som tertium non datur («et tredje er ikke gitt»).

I klassisk logikk tolket man loven om det utelukkede tredje enda strengere: Man mente at ethvert utsagn måtte være enten sant eller falsk, at det altså bare fins to sannhetsverdier. En slik tolkning av loven om det utelukkede tredje har vist seg å være uholdbar. Dette illustreres av flerverdilogikken, som tar høyde for flere sannhetsverdier enn sann og falsk.