Switch to: References

Add citations

You must login to add citations.
  1. Frege’s ‘On the Foundations of Geometry’ and Axiomatic Metatheory.Günther Eder - 2016 - Mind 125 (497):5-40.
    In a series of articles dating from 1903 to 1906, Frege criticizes Hilbert’s methodology of proving the independence and consistency of various fragments of Euclidean geometry in his Foundations of Geometry. In the final part of the last article, Frege makes his own proposal as to how the independence of genuine axioms should be proved. Frege contends that independence proofs require the development of a ‘new science’ with its own basic truths. This paper aims to provide a reconstruction of this (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Frege’s puzzle and arithmetical formalism. Putting things in context.Sorin Costreie - 2013 - History and Philosophy of Logic 34 (3):207-224.
    The paper discusses the emergence of Frege's puzzle and the introduction of the celebrated distinction between sense and reference in the context of Frege's logicist project. The main aim of the paper is to show that not logicism per se is mainly responsible for this introduction, but Frege's constant struggle against formalism. Thus, the paper enlarges the historical context, and provides a reconstruction of Frege's philosophical development from this broader perspective.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations