Tertium non datur
Tertium non datur (traduzione: un terzo (o una terza) non è dato/a) è una locuzione che appartiene al repertorio delle celebri frasi in lingua latina entrate a pieno diritto nel patrimonio culturale mondiale e non solo in quello italiano.
Sta a significare che una terza soluzione (una terza via, o possibilità) non esiste rispetto a una situazione che paia prefigurarne soltanto due.
Si potrebbe leggere quindi come: Non ci sono altre possibilità eccetto queste due.
L'articolazione della frase - nella sua secchezza e laconicità - è piuttosto semplice: dove datur è la terza persona singolare passiva del verbo dare (quindi = "è dato") e tertium figura come aggettivo neutro (perciò non indicativamente maschile oppure femminile) sostantivato. La negazione non compare con lo stesso uso che ne fa la lingua italiana.
Principio del terzo escluso [modifica]
 |
Per approfondire, vedi principio di bivalenza. |
L'espressione entra nella formulazione del principio logico del terzo escluso, che afferma che due proposizioni formanti una coppia antifatica (p e ¬p) devono avere valore di verità opposto, non esiste una terza possibilità (Tertium non datur). Esso si trova già formulato nella Metafisica di Aristotele.
In altre parole, non è possibile che due proposizioni contraddittorie siano entrambe non vere. Il principio del tertium non datur implica ed è più generale del principio di non-contraddizione, per il quale se una proposizione è vera, non lo è il suo contrario, fatto che a priori non esclude che entrambe possano essere non vere.
La fondazione della matematica - in particolare attraverso la scuola intuizionista - non ne dà oggi per scontata l'autoevidenza. La logica "Fuzzy" rifiuta tale principio, perché i valori di verità sono presi nell'intervallo chiuso tra vero e falso nel campo dei numeri reali, violandone la polarità. Ma in tutte le logiche in cui i valori di verità sono polari, il principio in questione conserva ancora tutta la sua validità, come si dimostra in Logica binaria. È importante evidenziare che questo principio si differenzia dal principio di non contraddizione (o di consistenza), di cui non è un sinonimo. Ma è più importante evidenziare che questo principio si differenzia dal principio di bivalenza: il principio di bivalenza afferma che una proposizione è vera o è falsa; il principio del terzo escluso afferma che il valore di verità di una proposizione è sempre opposto a quello della proposizione contraddittoria.
