Lagen om det uteslutna tredje
Lagen om det uteslutna tredje, latin: tertium non datur, är ett axiom i många logiska system som säger att P XOR ¬P, det vill säga att antingen måste P vara sant, eller så måste dess negation vara sant. Det finns inget tredje alternativ, alltså kallas axiomet för "lagen om det uteslutna tredje".
Vissa logiska system använder sig dock av så kallad "ternar" eller "trevärd" logik, där lagen om det uteslutna tredje inte är giltig. Det tredje alternativet kan då till exempel betyda att satsens sanningsvärde är okänt, så att man för en given sats P kan säga att den är "sann", "falsk" eller "vet inte".
Lagen om det uteslutna tredje gäller bara om man håller på matematikens principer att vara strikt i formuleringarna och ta med alla undantag i satsformuleringarna. Inom samhällsvetenskap såsom politik är det inte säkert att lagen om det uteslutna tredje gäller eftersom det till exempel kan finnas undantag som inte redovisas eller man glider på språket. Till exempel kan en regel anses alltid gälla fastän den ändå inte alltid gäller.
