-
- Écrit par
Jacques-Paul DUBUCS
- 1 647 mots
La différence la plus notoire tient au principe du tiers exclu, A ∨ ¬A (« A ou non A »), qui est classiquement correct, mais que l'intuitionnisme rejette. Si toutes les vérités doivent être connues ou éprouvées, il n'y a aucune raison d'admettre qu'un énoncé est vrai ou faux, lorsqu'il porte sur...
-
- Écrit par
Robert BLANCHÉ, Antonia SOULEZ
- 10 672 mots
Un autre argument de poids qui maintient en revanche plus fermement la thèse empiriste dans ses droits est que la théorie des types montre que la loi du tiers exclu s'applique exclusivement aux expressions syntaxiquement bien formées, alors que la théorie de la correspondance, considérée d'un point de...
-
- Écrit par
Jean-Paul DELAHAYE
- 1 304 mots
...déduit que les modes de raisonnement qu'on applique aux objets finis ne peuvent être adoptés sans risque lorsque l'on doit traiter des objets infinis.
Le principe du tiers exclu en logique classique affirme que pour tout énoncé A : (A) est vrai ou (non A) est vrai. Il ne peut être accepté par un intuitionniste....
