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

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

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.

Similar books and articles

Russell on religion: selections from the writings of Bertrand Russell.Bertrand Russell - 1999 - New York: Routledge. Edited by Louis I. Greenspan & Stefan Andersson.
A study of logics.John P. Cleave - 1991 - New York: Oxford University Press.
Developments in Logic: Carnap, Gödel, and Tarski.Erich H. Reck - 2013 - In Michael Beaney (ed.), Oxford Handbook of the History of Analytic Philosophy. Oxford: Oxford University Press. pp. 546-571.
Foundations of logic, 1903-05.Bertrand Russell - 1994 - New York: Routledge. Edited by Alasdair Urquhart & Albert C. Lewis.
The development of logic.W. C. Kneale - 1962 - New York: Oxford University Press. Edited by Martha Kneale.
19th century logic between philosophy and mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
Bertrand Russell and the introduction of mathematical logic in China.Xu Yibao - 2003 - History and Philosophy of Logic 24 (3):181-196.

Analytics

Added to PP
2009-01-28

Downloads
1,619 (#5,991)

6 months
399 (#4,358)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Richard Zach
University of Calgary
Paolo Mancosu
University of California, Berkeley

References found in this work

On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
The Principles of Mathematics.Bertrand Russell - 1903 - Cambridge, England: Allen & Unwin.
The Foundations of Mathematics and Other Logical Essays.Frank Plumpton Ramsey - 1925 - London, England: Routledge & Kegan Paul. Edited by R. B. Braithwaite.
Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.
On Denoting.Bertrand Russell - 2005 - Mind 114 (456):873 - 887.

View all 201 references / Add more references