Oxford University Press Pillars of Enduring Strength: Learning from Hermann Weyl (Logic and Computation in Philosophy)

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.