Switch to: Citations

Add references

You must login to add references.
  1. Foundations without foundationalism: a case for second-order logic.Stewart Shapiro - 1991 - New York: Oxford University Press.
    The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including a comprehensive discussion of its semantics. He goes on to demonstrate the prevalence of second-order concepts in mathematics and the extent to which mathematical ideas can be formulated in higher-order logic. He also shows how first-order languages are often insufficient to codify (...)
    Download  
     
    Export citation  
     
    Bookmark   231 citations  
  • Fregova korespondence s Hilbertem.[author unknown] - 2000 - Filosoficky Casopis 48:600-622.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.
    Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens / von Dr. Gottlob Frege,...Date de l'edition originale : 1879Ce livre est la reproduction fidele d'une oeuvre publiee avant 1920 et fait partie d'une collection de livres reimprimes a la demande editee par Hachette Livre, dans le cadre d'un partenariat avec la Bibliotheque nationale de France, offrant l'opportunite d'acceder a des ouvrages anciens et souvent rares issus des fonds patrimoniaux de la BnF.Les oeuvres faisant partie de cette collection ont ete numerisees (...)
    Download  
     
    Export citation  
     
    Bookmark   318 citations  
  • Normative logic and ethics.Paul Lorenzen - 1969 - Zürich,: Bibliographisches Institut.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Frege - Begriffschrift, eine der Arithmetischen nachgebildete Formelsprache des reinen Denkens. [REVIEW]Paul Tannery - 1879 - Revue Philosophique de la France Et de l'Etranger 8:108-109.
    Download  
     
    Export citation  
     
    Bookmark   237 citations  
  • Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.
    Download  
     
    Export citation  
     
    Bookmark   342 citations  
  • Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.
    Download  
     
    Export citation  
     
    Bookmark   1854 citations  
  • Tractatus Logico-Philosophicus.Ludwig Wittgenstein - 1956 - Revista Portuguesa de Filosofia 12 (1):109-110.
    Download  
     
    Export citation  
     
    Bookmark   1035 citations  
  • Normative Logic and Ethics.Paul Lorenzen - 1985 - Studia Logica 44 (2):226-228.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • K Fregově Údajnému Holismu.Vojtěch Kolman - 2002 - Filosoficky Casopis 50:757-785.
    Download  
     
    Export citation  
     
    Bookmark   2 citations