L.E.J. Brouwer : Que les principes de la logique ne sont pas fiables

Mark van Atten (1) , Vanessa van Atten , Göran Sundholm (2) , Michel Bourdeau (3)

1 SND - Sciences, Normes, Décision
2 Universiteit Leiden = Leiden University
3 IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques

Dans cet article majeur, Brouwer tire pour la première fois les conséquences révisionnistes de la vue générale de la logique présentée dans sa thèse de doctorat, en rejetant le principe du tiers exclu. Le texte a été publié en 1908, en néerlandais ; la première publication des remarques de Brouwer sur ce point dans des langues plus répandues est `Intuitionism and formalism' de 19133 pour l'anglais et son compte rendu en 1914 d'un livre de Schoenflies et Hahn pour l'allemand4. Les archives de Brouwer contiennent une traduction allemande de cet article, probablement préparée par Karl Menger en 1925 ou 19265 ; mais elle est encore inédite à ce jour.

Mots clés: Brouwer; intuitionnisme; tiers-exclu

Domaines: Philosophie

Mark van Atten, Vanessa van Atten, Göran Sundholm, Michel Bourdeau. L.E.J. Brouwer : Que les principes de la logique ne sont pas fiables : Traduction et introduction. 2014. ⟨halshs-01100165⟩