|Schiemer, Georg; Reck, Erich (2013): Logic in the 1930s: type theory and model theory. In: The Bulletin of Symbolic Logic, Vol. 19, No. 4: pp. 433-472|
In historical discussions of twentieth-century logic, it is typically assumed that model theory emerged within the tradition that adopted first-order logic as the standard framework. Work within the type-theoretic tradition, in the style of Principia Mathematica, tends to be downplayed or ignored in this connection. Indeed, the shift from type theory to first-order logic is sometimes seen as involving a radical break that first made possible the rise of modern model theory. While comparing several early attempts to develop the semantics of axiomatic theories in the 1930s, by two proponents of the type-theoretic tradition (Carnap and Tarski) and two proponents of the first-order tradition (Gödel and Hilbert), we argue that, instead, the move from type theory to first-order logic is better understood as a gradual transformation, and further, that the contributions to semantics made in the type-theoretic tradition should be seen as central to the evolution of model theory.
|Faculties:||Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP)|
Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > History of Philosophy
Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > Philosophy of Mathematics
|Subjects:||100 Philosophy and Psychology > 100 Philosophy|
|Deposited On:||28. May 2014 06:44|
|Last Modified:||29. Apr 2016 09:16|