Frege and the origins of model theory in nineteenth century geometry

Synthese 198 (6):5547-5575 (2019)
  Copy   BIBTEX

Abstract

The aim of this article is to contribute to a better understanding of Frege’s views on semantics and metatheory by looking at his take on several themes in nineteenth century geometry that were significant for the development of modern model-theoretic semantics. I will focus on three issues in which a central semantic idea, the idea of reinterpreting non-logical terms, gradually came to play a substantial role: the introduction of elements at infinity in projective geometry; the study of transfer principles, especially the principle of duality; and the use of counterexamples in independence arguments. Based on a discussion of these issues and how nineteenth century geometers reflected about them, I will then look into Frege’s take on these matters. I conclude with a discussion of Frege’s views and what they entail for the debate about his stance towards semantics and metatheory more generally.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

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

Through your library

Similar books and articles

Frege and the rigorization of analysis.William Demopoulos - 1994 - Journal of Philosophical Logic 23 (3):225 - 245.
Frege's new science.G. Aldo Antonelli & Robert C. May - 2000 - Notre Dame Journal of Formal Logic 41 (3):242-270.
Frege, hilbert, and the conceptual structure of model theory.William Demopoulos - 1994 - History and Philosophy of Logic 15 (2):211-225.
FREGE I ŁUKASIEWICZ O WARTOŚCIACH LOGICZNYCH.Hubert Jastrzębski & Szymon Chlebowski - 2014 - Hybris, Revista de Filosofí­A (27):121-135.
Frege on Consistency and Conceptual Analysis.Patricia A. Blanchette - 2007 - Philosophia Mathematica 15 (3):321-346.
Semantic descent.Joan Weiner - 2005 - Mind 114 (454):321-354.

Analytics

Added to PP
2019-10-10

Downloads
30 (#533,027)

6 months
8 (#361,431)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Günther Eder
University of Vienna

References found in this work

The foundations of arithmetic.Gottlob Frege - 1884/1950 - Evanston, Ill.,: Northwestern University Press.
Posthumous Writings.Gottlob Frege (ed.) - 1979 - Blackwell.
Collected Papers on Mathematics, Logic, and Philosophy.Gottlob Frege - 1991 - Wiley-Blackwell. Edited by Brian McGuinness.
Model theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
Posthumous Writings.Gottlob Frege - 1982 - Revue Philosophique de la France Et de l'Etranger 172 (1):101-103.

View all 45 references / Add more references