Developments in Logic: Carnap, Gödel, and Tarski
In Michael Beaney (ed.), Oxford Handbook of the History of Analytic Philosophy. Oxford: Oxford University Press. pp. 546-571 (2013)
AbstractAnalytic philosophy and modern logic are intimately connected, both historically and systematically. Thinkers such as Frege, Russell, and Wittgenstein were major contributors to the early development of both; and the fruitful use of modern logic in addressing philosophical problems was, and still is, definitive for large parts of the analytic tradition. More specifically, Frege's analysis of the concept of number, Russell's theory of descriptions, and Wittgenstein's notion of tautology have long been seen as paradigmatic pieces of philosophy in this tradition. This close connection remained beyond what is now often called "early analytic philosophy", i.e., the tradition's first phase. In the present chapter I will consider three thinkers who played equally important and formative roles in analytic philosophy's second phase, the period from the 1920s to the 1950s: Rudolf Carnap, Kurt Gödel, and Alfred Tarski.
Similar books and articles
Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science.Paolo Mancosu - 2005 - History and Philosophy of Logic 26 (4):327-357.
The compactness of first-order logic:from gödel to lindström.John W. Dawson - 1993 - History and Philosophy of Logic 14 (1):15-37.
Prose versus proof: Wittgenstein on gödel, Tarski and Truth.Juliet Floyd - 2001 - Philosophia Mathematica 9 (3):280-307.
The architecture of meaning : Wittgenstein's tractatus and formal semantics.Martin Stokhof - 2008 - In David K. Levy & Edoardo Zamuner (eds.), Wittgenstein’s Enduring Arguments. Routledge.
From Frege to Wittgenstein: Perspectives on Early Analytic Philosophy.Erich H. Reck (ed.) - 2001 - Oxford University Press.
Kurt Gödel: Essays for His Centennial.Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) - 2010 - Association for Symbolic Logic.
Human Rationality Challenges Universal Logic.Brian R. Gaines - 2010 - Logica Universalis 4 (2):163-205.
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
Logic and Metaphysics in Early Analytic Philosophy.Michael Beaney - 2012 - In Lila Haaparanta & Heikki Koskinen (eds.), Categories of Being: Essays on Metaphysics and Logic. Oxford University Press, Usa. pp. 257.
Language and Logic in Wittgenstein's Tractatus Logico-Philosophicus.Daniele Mezzadri - 2010 - Dissertation, University of Stirling
Added to PP
Historical graph of downloads
References found in this work
Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1936 - Studia Philosophica 1:261--405.
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.K. Gödel - 1931 - Monatshefte für Mathematik 38 (1):173--198.
What is Cantor's Continuum Problem?Kurt Gödel - 1983 - In Paul Benacerraf & Hilary Putnam (eds.), Philosophy of Mathematics: Selected Readings (2nd Edition). Cambridge: Cambridge University Press. pp. 470-485.