Principe du tiers exclu

Extrait.

En logique formelle, le principe du tiers exclu (ou principium medii exclusi (principe du milieu exclu) ou tertium non datur (une troisième possibilité n’est pas accordée), ou simplement le « tiers exclu ») énonce qu’ou bien une proposition est vraie, ou bien sa négation est vraie. Par exemple, Socrate est vivant ou mort, et il n’y a pas de cas intermédiaire entre ces deux états de Socrate, c’est pourquoi on parle de « tiers-exclu » : tous les autres cas de figure sont nécessairement exclus.