The development of mathematical logic from Russell to Tarski, 1900-1935

In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press (2009)

Authors
Richard Zach
University of Calgary
Paolo Mancosu
University of California, Berkeley
Abstract
The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim and Skolem. Itinerary V surveys the work in logic connected to the Hilbert school, and itinerary V deals specifically with consistency proofs and metamathematics, including the incompleteness theorems. Itinerary VII traces the development of intuitionistic and many-valued logics. Itinerary VIII surveys the development of semantical notions from the early work on axiomatics up to Tarski's work on truth.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2009
DOI 10.1093/acprof:oso/9780195137316.003.0029
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
Through your library

References found in this work BETA

Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.
On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
Model Theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.

View all 154 references / Add more references

Citations of this work BETA

Logic in the 1930s: Type Theory and Model Theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.

View all 9 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
381 ( #12,927 of 2,249,333 )

Recent downloads (6 months)
64 ( #9,337 of 2,249,333 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature