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

In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press (2009)
Download Edit this record How to cite View on PhilPapers
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)
Reprint years
2009
PhilPapers/Archive ID
MANTDO-2
Revision history
Archival date: 2017-09-25
View upload history
References found in this work BETA
On Denoting.Russell, Bertrand
Model Theory.Hodges, Wilfrid
The Higher Infinite.Kanamori, Akihiro

View all 154 references / Add more references

Citations of this work BETA
Carnap’s Early Metatheory: Scope and Limits.Schiemer, Georg; Zach, Richard & Reck, Erich

View all 9 citations / Add more citations

Added to PP index
2009-01-28

Total views
381 ( #8,050 of 41,568 )

Recent downloads (6 months)
64 ( #8,747 of 41,568 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.