Switch to: References

Citations of:

Über die Grundlagen der Logik und der Arithmetik

In Verhandlungen des Dritten Internationalen Mathematiker-Kongresses in Heidelberg Vom 8. Bis 13. August 1904. Teubner. pp. 174-85 (1905)

Add citations

You must login to add citations.
  1. Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloo
    Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • 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   6 citations  
  • Brouwer and Fraenkel on intuitionism.Dirk Van Dalen - 2000 - Bulletin of Symbolic Logic 6 (3):284-310.
    In the present paper the story is told of the brief and far from tranquil encounter of L.E.J. Brouwer and A. Fraenkel. The relationship which started in perfect harmony, ended in irritation and reproaches.The mutual appreciation at the outset is beyond question. All the more deplorable is the sudden outbreak of an emotional disagreement in 1927. Looking at the Brouwer–Fraenkel episode, one should keep in mind that at that time the so-called Grundlagenstreit was in full swing. An emotional man like (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • 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  
  • The transzendenz of mathematical 'experience'.William Boos - 1998 - Synthese 114 (1):49-98.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Paradoxes and contemporary logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   10 citations