The Birth of Model Theory: Lowenheim's Theorem in the Frame of the Theory of Relatives

Princeton University Press (2004)
  Copy   BIBTEX

Abstract

Löwenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model theory--that is, the part of logic that concerns the relationship between formal theories and their models. However, while the original proofs of other, comparably significant theorems are well understood, this is not the case with Löwenheim's theorem. For example, the very result that scholars attribute to Löwenheim today is not the one that Skolem--a logician raised in the algebraic tradition, like Löwenheim--appears to have attributed to him. In The Birth of Model Theory, Calixto Badesa provides both the first sustained, book-length analysis of Löwenheim's proof and a detailed description of the theoretical framework--and, in particular, of the algebraic tradition--that made the theorem possible. Badesa's three main conclusions amount to a completely new interpretation of the proof, one that sharply contradicts the core of modern scholarship on the topic. First, Löwenheim did not use an infinitary language to prove his theorem; second, the functional interpretation of Löwenheim's normal form is anachronistic, and inappropriate for reconstructing the proof; and third, Löwenheim did not aim to prove the theorem's weakest version but the stronger version Skolem attributed to him. This book will be of considerable interest to historians of logic, logicians, philosophers of logic, and philosophers of mathematics.

Links

PhilArchive



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

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

Some Remarks on Finite Löwenheim‐Skolem Theorems.Martin Grohe - 1996 - Mathematical Logic Quarterly 42 (1):569-571.
Ranked partial structures.Timothy J. Carlson - 2003 - Journal of Symbolic Logic 68 (4):1109-1144.
The Skolem-löwenheim theorem in toposes.Marek Zawadowski - 1983 - Studia Logica 42 (4):461 - 475.
There is no recursive link between the k-size of a model and its cardinality.R. Barker - 2002 - Annals of Pure and Applied Logic 118 (3):235-247.
Mathematical logic and model theory: a brief introduction.A. Prestel - 2011 - New York: Springer. Edited by Charles N. Delzell.
A note on extensions of infinitary logic.Saharon Shelah & Jouko Väänänen - 2005 - Archive for Mathematical Logic 44 (1):63-69.
Skolem's Paradox.Timothy Bays - 2012 - In Peter Adamson (ed.), Stanford Encyclopedia of Philosophy. Stanford Encyclopedia of Philosophy.

Analytics

Added to PP
2015-02-02

Downloads
4 (#1,462,985)

6 months
2 (#785,137)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

No references found.

Add more references