Pillars of Enduring Strength

Mathematician Hermann Weyl's philosophy of mathematics is a rich source of original and sophisticated ideas that remain highly relevant to contemporary debates in the field. Despite this, Weyl's philosophical insights on the foundation of mathematics remain largely overlooked.Pillars of Enduring Strength brings renewed attention to Weyl's profound insights, demonstrating their enduring significance and potential to illuminate ongoing discussions in both philosophy and mathematical logic. With contributions from leading scholars, this volume examines the tenets of his philosophical legacy. The first part of the volume has contributors delve into Weyl's philosophy of mathematics. It locates Weyl in a rich mathematical and philosophical context and highlights the depth and complexity of Weyl's thinking, particularly his efforts to reconcile intuition with logical and symbolic construction, and his engagement with phenomenology and the nature of mathematical truth. The second part of the volume has contributors turn to the influence of Weyl's ideas on contemporary mathematical logic. It focuses especially on developments related to Weyl's predicativism, tracing how his foundational concerns have evolved and been reinterpreted in modern contexts. Together, contributors offer a fresh look at Weyl's enduring influence on mathematical logic and philosophy.

Laura Crosilla is a Researcher at the Department of Philosophy, University of Florence. She was previously a senior researcher and Marie Sklodowska-Curie fellow at IFIKK, University of Oslo. She has held positions in Mathematics and Philosophy at the University of Birmingham, LMU Munich, the University of Florence and the University of Leeds. She has a PhD in Mathematical Logic and a PhD in Philosophy. Her research is mainly in Philosophy of Mathematics, Logic and Philosophy of Logic.Øystein Linnebo is a Professor of Philosophy at the University of Oslo. He was previously a Professor in the Department of Philosophy at Birkbeck College and a Lecturer and then Reader in Philosophy at the University of Bristol. He obtained a PhD from the Department of Philosophy at Harvard University in 2002 and an MA in Mathematics at the University of Oslo in 1996. His main research interests are in the philosophy of logic and mathematics, metaphysics, and the philosophy of science. MichaelRathjen is a Professor of Mathematics at the University of Leeds. He received his Ph.D. in 1988 and Habilitation in 1992 from the University of Münster. After teaching at the Ohio State University in Columbus (1991-1993), he became a Heisenberg Fellow of the German Science Foundation. In 1996, he joined the Mathematics Department of the University of Leeds. From 2002 to 2006, he was a Professor of Mathematics at the Ohio State University. His research interests include proof theory (especially ordinal analysis of impredicative theories), explicit mathematics, type theory, higher type computability, constructive and intuitionistic set theories, alternative set theories, and the philosophy of mathematics.