Frege on the Consistency of Mathematical Theories

In Frege and Other Philosophers. Oxford, England: Clarendon Press (1991)
  Copy   BIBTEX

Abstract

Concerns Frege's views on the consistency of mathematical theories, particularly as evidenced by his controversy with David Hilbert over his book on the foundations of geometry. Frege identified consistency with satisfiability, but wrongly thought a theory could be shown to have a model only by exhibiting such a model.

Categories

Add categories

Keywords

Reprint years

DOI

10.1093/019823628x.003.0001

Other Versions

original DUMMETT, Michael (1991) "Frege: Philosophy of Mathematics". Philosophy 68(265):405-411

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,174

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Frege-Hilbert Controversy.Patricia Blanchette - 2007 - The Stanford Encyclopedia of Philosophy.
Frege on Consistency and Conceptual Analysis.Patricia A. Blanchette - 2007 - Philosophia Mathematica 15 (3):321-346.
XV—On Consistency and Existence in Mathematics.Walter Dean - 2021 - Proceedings of the Aristotelian Society 120 (3):349-393.
Aspekte der frege–hilbert-korrespondenz.Kai F. Wehmeier - 1997 - History and Philosophy of Logic 18 (4):201-209.
Frege’s ‘On the Foundations of Geometry’ and Axiomatic Metatheory.Günther Eder - 2016 - Mind 125 (497):5-40.
Frege on thoughts and their structure.José Luis Bermúdez - 2001 - History of Philosophy & Logical Analysis 4:87-105.
Frege on Thoughts and Their Structure.José Luis Bermúdez - 2001 - History of Philosophy & Logical Analysis 4 (1):87-105.
Eike-Henner W. Kluge. Introduction. On the foundations of geometry and formal theories of arithmetic, by Gottlob Frege, translated and with an introduction by Eike-Henner W. Kluge, Yale University Press, New Haven and London1971, pp. xi–xlii. - Gottlob Frege. Letter from G. Frege to Heinrich Liebmann. On the foundations of geometry and formal theories of arithmetic, by Gottlob Frege, translated and with an introduction by Eike-Henner W. Kluge, Yale University Press, New Haven and London1971, pp. 3–5. - Gottlob Frege and David Hilbert. Correspondence leading to “On the foundations of geometry,” On the foundations of geometry and formal theories of arithmetic, by Gottlob Frege, translated and with an introduction by Eike-Henner W. Kluge, Yale University Press, New Haven and London1971, pp. 6–21. - Gottlob Frege. On the foundations of geometry. English translation of 4916.1. On the foundations of geometry and formal theories of arithmetic, by Gottlob Frege, translated and with an introduc. [REVIEW]Howard Jackson - 1981 - Journal of Symbolic Logic 46 (1):175-179.
Frege, Lotze, and Boole.Jeremy Heis - 2013 - In Erich H. Reck (ed.), The Historical turn in Analytic Philosophy. New York, NY: Palgrave-Macmillan.
Frege and Gödel: Two Fundamental Texts in Mathematical Logic.Jean Van Heijenoort - 1879 - Cambridge, MA: Harvard University Press. Edited by Gottlob Frege & Kurt Gödel.

Analytics

Added to PP
2016-10-25

Downloads
16 (#1,195,422)

6 months
16 (#190,991)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Grundgesetze der Arithmetik I §§29‒32.Richard G. Heck - 1997 - Notre Dame Journal of Formal Logic 38 (3):437-474.

Add more citations

References found in this work

No references found.

Add more references