Switch to: References

Add citations

You must login to add citations.
  1. Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting.Miriam Franchella - 2018 - History and Philosophy of Logic 40 (2):152-181.
    The use of the three labels to denote the three foundational schools of the early twentieth century are now part of literature. Yet, neither their number nor the...
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction.Mark Van Atten & Göran Sundholm - 2017 - History and Philosophy of Logic 38 (1):24-47.
    We present a new English translation of L.E.J. Brouwer's paper ‘De onbetrouwbaarheid der logische principes’ of 1908, together with a philosophical and historical introduction. In this paper Brouwer for the first time objected to the idea that the Principle of the Excluded Middle is valid. We discuss the circumstances under which the manuscript was submitted and accepted, Brouwer's ideas on the principle of the excluded middle, its consistency and partial validity, and his argument against the possibility of absolutely undecidable propositions. (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Concepts and Axioms.A. S. Troelstra - 1998 - Philosophia Mathematica 6 (2):195-208.
    The paper discusses the transition from informal concepts to mathematically precise notions; examples are given, and in some detail the case of lawless sequences, a concept of intuitionistic mathematics, is discussed. A final section comments on philosophical discussions concerning intuitionistic logic in connection with a ‘theory of meaning’.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Luitzen egbertus Jan Brouwer.Mark van Atten - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • From Philosophical Traditions to Scientific Developments: Reconsidering the Response to Brouwer’s Intuitionism.Kati Kish Bar-On - 2022 - Synthese 200 (6):1–25.
    Brouwer’s intuitionistic program was an intriguing attempt to reform the foundations of mathematics that eventually did not prevail. The current paper offers a new perspective on the scientific community’s lack of reception to Brouwer’s intuitionism by considering it in light of Michael Friedman’s model of parallel transitions in philosophy and science, specifically focusing on Friedman’s story of Einstein’s theory of relativity. Such a juxtaposition raises onto the surface the differences between Brouwer’s and Einstein’s stories and suggests that contrary to Einstein’s (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Die signififchen Grundlagen der Mathematik.Gerrit Mannoury - 1934 - Erkenntnis 4 (1):317-345.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Towards a new philosophical perspective on Hermann Weyl’s turn to intuitionism.Kati Kish Bar-On - 2021 - Science in Context 34 (1):51-68.
    The paper explores Hermann Weyl’s turn to intuitionism through a philosophical prism of normative framework transitions. It focuses on three central themes that occupied Weyl’s thought: the notion of the continuum, logical existence, and the necessity of intuitionism, constructivism, and formalism to adequately address the foundational crisis of mathematics. The analysis of these themes reveals Weyl’s continuous endeavor to deal with such fundamental problems and suggests a view that provides a different perspective concerning Weyl’s wavering foundational positions. Building on a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Pasch's empiricism as methodological structuralism.Dirk Schlimm - 2020 - In Erich H. Reck & Georg Schiemer (eds.), The Pre-History of Mathematical Structuralism. Oxford: Oxford University Press. pp. 80-105.
    Download  
     
    Export citation  
     
    Bookmark   1 citation