Switch to: Citations

References in:

Consistency, Models, and Soundness

Axiomathes 20 (2):153-207 (2010)

Add references

You must login to add references.
  1. Philosophie und Mathematik: eine Einführung in ihre Wechselwirkungen und in die Philosophie der Mathematik.Christian Thiel - 1995
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • The Big Typescript.Ludwig Wittgenstein - 2000 - Wiley. Edited by Michael Nedo.
    The so-called "Big Typescript" is Wittgenstein's first attempt to publish in a book his collected thoughts since his return to Cambridge and to philosophical writing, thus correcting the "serious errors" (Wittgenstein) of his early work. Among the texts in Wittgenstein's estate, the "Big Typescript" is the one that, next to the "Logisch-Philosophische Abhandlung" (the "Tractatus") of 1918, appears to be the most "finished", with a table of contents structured in chapters and sections. It is, however, a fragment, without either title, (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Kleine Schriften.Gottlob Frege & Ignacio Angelelli - 1967 - G. Olms.
    Download  
     
    Export citation  
     
    Bookmark   70 citations  
  • Die Grundlagen der Mathematik.David Hilbert, Hermann Weyl & Paul Bernays - 2013 - Springer Verlag.
    Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • Gesammelte Abhandlungen: Mathematischen und Philosophischen Inhalts.Georg Cantor, Richard Dedekind & Abraham Adolf Fraenkel - 1932 - Springer.
    Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.
    Download  
     
    Export citation  
     
    Bookmark   67 citations  
  • Language, thought, and logic: essays in honour of Michael Dummett.Richard G. Heck (ed.) - 1997 - New York: Oxford University Press.
    In this exciting new collection, a distinguished international group of philosophers contribute new essays on central issues in philosophy of language and logic, in honor of Michael Dummett, one of the most influential philosophers of the late twentieth century. The essays are focused on areas particularly associated with Professor Dummett. Five are contributions to the philosophy of language, addressing in particular the nature of truth and meaning and the relation between language and thought. Two contributors discuss time, in particular the (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Studien Zu Frege = Studies on Frege.Matthias Schirn - 1976
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Grundlagen der Arithmetik: Studienausgabe mit dem Text der Centenarausgabe.Gottlob Frege - 1884 - Breslau: Wilhelm Koebner Verlag.
    Die Grundlagen gehören zu den klassischen Texten der Sprachphilosophie, Logik und Mathematik. Frege stützt sein Programm einer Begründung von Arithmetik und Analysis auf reine Logik, indem er die natürlichen Zahlen als bestimmte Begriffsumfänge definiert. Die philosophische Fundierung des Fregeschen Ansatzes bilden erkenntnistheoretische und sprachphilosophische Analysen und Begriffserklärungen. Studienausgabe aufgrund der textkritisch herausgegebenen Jubiläumsausgabe (Centenarausgabe). Mit Einleitung, Anmerkungen, Literaturverzeichnis und Namenregister.
    Download  
     
    Export citation  
     
    Bookmark   309 citations  
  • Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.K. Gödel - 1931 - Monatshefte für Mathematik 38 (1):173--198.
    Download  
     
    Export citation  
     
    Bookmark   248 citations  
  • Whence the Contradiction?George Boolos - 1993 - Aristotelian Society Supplementary Volume 67:211--233.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes.Kurt Gödel - 1958 - Dialectica 12 (3):280.
    Download  
     
    Export citation  
     
    Bookmark   81 citations  
  • Neuer Beweis für die Möglichkeit einer Wohlordnung.Ernst Zermelo - 1907 - Mathematische Annalen 65 (1):107-128.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Frege: An Introduction to his Philosophy.G. CURRIE - 1982 - Tijdschrift Voor Filosofie 46 (2):353-354.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • What Finitism Could Not Be.Matthias Schirn & Karl-Georg Niebergall - 2003 - Critica 35 (103):43-68.
    In his paper "Finitism", W.W. Tait maintains that the chief difficulty for everyone who wishes to understand Hilbert's conception of finitist mathematics is this: to specify the sense of the provability of general statements about the natural numbers without presupposing infinite totalities. Tait further argues that all finitist reasoning is essentially primitive recursive. In this paper, we attempt to show that his thesis "The finitist functions are precisely the primitive recursive functions" is disputable and that another, likewise defended by him, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Nachgelassene Schriften.Gotlob Frege - 1970 - Synthese 21 (3):488-493.
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • Nachgelassene Schriften.Gottlob Frege, Hans Hermes, Friedrich Kambartel & Friedrich Kaulbach - 1972 - Philosophy of Science 39 (2):269-271.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.
    Download  
     
    Export citation  
     
    Bookmark   157 citations  
  • Is Hume's principle analytic?G. Boolos - 1998 - Logic, Logic, and Logic:301--314.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • Gottlob Frege.H. Sluga - 1981 - British Journal for the Philosophy of Science 32 (2):200-206.
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  • The Philosophy of Mathematics Today.Matthias Schirn - 2000 - Tijdschrift Voor Filosofie 62 (1):180-181.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • The Philosophy of Mathematics Today.M. Schirn - 2000 - Studia Logica 64 (1):146-146.
    Download  
     
    Export citation  
     
    Bookmark   23 citations