Weyl's inclination toward constructivism in the foundations of mathematics runs through his entire career, starting with Das Kontinuum. Why was Weyl inclined toward constructivism? I argue that Weyl's general views on foundations were shaped by a type of transcendental idealism in which it is held that mathematical knowledge must be founded on intuition. Kant and Fichte had an impact on Weyl but HusserFs transcendental idealism was even more influential. I discuss Weyl's views on vicious circularity, existence claims, meaning, the continuum (...) and choice sequences, and the intuitive-symbolic distinction against the background of his transcendental idealism and general intuitionism. (shrink)

Dans un discours prononcé à Zurich vers la fin des années 1940, Hermann Weyl a examiné l'épistémologie dialectique de Ferdinand Gonseth et l'a considérée comme trop strictement limitée aux aspects de changement historique. Son expérience de la philosophie diaclectique post-kantienne, en particulier la dérivation du concept de l'espace et de la matière chez Johann Gottlieb Fichte, avait constitué une base dialectique solide pour ses propres études de 1918 en une géométrie purement infinitésimale et la théorie antérieure d'un champ de matière (...) géométriquement unifié (en prolongement du programme Mie-Hilbert). Bien que Weyl se fût alors éloigné des aspects spéculatifs de la philosophie de sa jeunesse et eût montré, en particulier, moins d'enthousiasme qu'auparavant pour Fichte, il nourrissait encore de nombreux doutes sur la base culturelle de la science mathématique moderne et sur son rôle dans la culture matérielle du modernisme de pointe. Pour Weyl, la « réflexion » philosophique était une nécessité culturelle ; il se tourna alors vers lexistentialisme de Karl Jaspers et de Martin Heidegger pour trouver des raisons plus profondes, dans un mouvement comparable à son orientation vers la philosophie de Fichte après la Première Guerre mondiale. Le débat de la fin des années 1940 peut être compris comme une sorte de supplément postérieur à la Seconde Guerre mondiale par rapport à ses commentaires plus connus sur les mathématiques et les sciences naturelles publiés au milieu des années 1920. (shrink)

Hermann Weyl was one of the most important figures involved in the early elaboration of the general theory of relativity and its fundamentally geometrical spacetime picture of the world. Weyl’s development of “pure infinitesimal geometry” out of relativity theory was the basis of his remarkable attempt at unifying gravitation and electromagnetism. Many interpreters have focused primarily on Weyl’s philosophical influences, especially the influence of Husserl’s transcendental phenomenology, as the motivation for these efforts. In this article, I argue both that these (...) efforts are most naturally understood as an outgrowth of the distinctive mathematical-physical tradition in Göttingen and also that phenomenology has little to no constructive role to play in them. (shrink)

Recently discovered correspondence from Oskar Becker to Hermann Weyl sheds new light on Weyl's engagement with Husserlian transcendental phenomenology in 1918-1927. Here the last two of these letters, dated July and August, 1926, dealing with issues in the philosophy of mathematics are presented, together with background and a detailed commentary. The letters provide an instructive context for re-assessing the connection between intuitionism and phenomenology in Weyl's foundational thought, and for understanding Weyl's term ‘symbolic construction’ as marking his own considered position (...) in the foundational controversy of the 1920s. In addition, they reveal Weyl's hitherto unknown objections to Becker's detailed attempt (Mathematische Existenz, 1927) to ground the transfinite phenomenologically. (shrink)

The main goal of part 1 is to challenge the widely held view that Poincaré orders the sciences in a hierarchy of dependence, such that all others presuppose arithmetic. Commentators have suggested that the intuition that grounds the use of induction in arithmetic also underlies the conception of a continuum, that the consistency of geometrical axioms must be proved through arithmetical induction, and that arithmetical induction licenses the supposition that certain operations form a group. I criticize each of these readings. (...) More fully, I argue that the justification Poincaré offers for the use of the group notion in geometry appears to extend to set-theoretic notions that would suffice to put arithmetic on a logical foundation, thus undermining his own case for the necessity of intuition in arithmetic. In part 2, I offer an interpretation of intuition’s role on which it justifies the use of group-theoretic, but not set-theoretic, notions. (shrink)