Chapter

The Development of Mathematical Logic from Russell to Tarski, 1900–1935

Paolo Mancosu, Richard Zach and Calixto Badesa

in The Development of Modern Logic

Published in print June 2009 | ISBN: 9780195137316
Published online September 2009 | e-ISBN: 9780199867912 | DOI: http://dx.doi.org/10.1093/acprof:oso/9780195137316.003.0029
 The Development of Mathematical Logic from Russell to Tarski, 1900–1935

Show Summary Details

Preview

This chapter presents itineraries in the history of mathematical logic from the period 1900–1935. By focusing on a narrower range of topics, the chapter improves on the existing literature on the history of logic. The itineraries include: metatheoretical properties of axiomatic systems; Bertrand Russell's mathematical logic; Zermelo's axiomatization of set theory and related foundational issues; the theory of relatives and Löwenheim's Theorem; logic in the Hilbert school; proof theory and arithmetic; intuitionism and many-valued logics; and semantics and model-theoretic notions.

Keywords: intuitionism; logic; Bertrand Russell; Zermelo; Löwenheim; Hilbert; proof theory; axiomatic systems

Chapter.  75530 words.  Illustrated.

Subjects: Philosophy of Mathematics and Logic

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.