Switch to: References

Add citations

You must login to add citations.
  1. Towards transfinite type theory: rereading Tarski’s Wahrheitsbegriff.Iris Loeb - 2014 - Synthese 191 (10):2281-2299.
    In his famous paper Der Wahrheitsbegriff in den formalisierten Sprachen (Polish edition: Nakładem/Prace Towarzystwa Naukowego Warszawskiego, wydzial, III, 1933), Alfred Tarski constructs a materially adequate and formally correct definition of the term “true sentence” for certain kinds of formalised languages. In the case of other formalised languages, he shows that such a construction is impossible but that the term “true sentence” can nevertheless be consistently postulated. In the Postscript that Tarski added to a later version of this paper (Studia Philosophica, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • 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