bipolarité

le principe du tiers exclu
En logique, il s'agit de mettre en évidence non seulement les conditions d'un jugement vrai, mais encore les règles du raisonnement juste, universellement valable. Un certain nombre de principes rationnels, vérités fondamentales et évidentes par elles-mêmes, servent de base à tous nos raisonnements et démonstrations.
Parmi ces principes figure le principe du tiers exclu qui remonte aux travaux d'Aristote et selon lequel "de deux propositions contradictoires, si l'une est vraie, l'autre est fausse et réciproquement". Notons toutefois que ce principe n'exclut nullement que deux propositions contraires ("Tout P est S"; "Nul P n'est S") soient fausses simultanément (notamment si "Quelque P est S").
D'autre part, en logique intuitionniste (l'une des alternatives à la logique classique), la loi du tiers exclu n'est pas nécessairement valide. En effet, selon la philosophie intuitionniste, on ne peut admettre p ‰øp que dans le cas fini, celui où il est possible de vérifier effectivement et de construire p ou øp. Dans le cas infini, cette vérification n'est pas possible.

Auteur: Internet

Info: