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:
 The Development of Mathematical Logic from Russell to Tarski, 1900–1935

More Like This

Show all results sharing this subject:

  • Philosophy of Mathematics and Logic


Show Summary Details


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.