What gave rise to Ernst Zermelo's axiomatization of set theory in 1908? According to the usual interpretation, Zermelo was motivated by the set-theoretic paradoxes. This paper argues that Zermelo was primarily motivated, not by the paradoxes, but by the controversy surrounding his 1904 proof that every set can be wellordered, and especially by a desire to preserve his Axiom of Choice from its numerous critics. Here Zermelo's concern for the foundations of mathematics diverged from Bertrand Russell's on the one hand (...) and from Felix Hausdorff's on the other. (shrink)

What has been the historical relationship between set theory and logic? On the one hand, Zermelo and other mathematicians developed set theory as a Hilbert-style axiomatic system. On the other hand, set theory influenced logic by suggesting to Schröder, Löwenheim and others the use of infinitely long expressions. The questions of which logic was appropriate for set theory - first-order logic, second-order logic, or an infinitary logic - culminated in a vigorous exchange between Zermelo and Gödel around 1930.

A selection from the correspondence of the logician Wilhelm Ackermann (1896?1962) is presented in this article. The most significant letters were exchanged with Bernays, Scholz and Lorenzen, from which extensive passages are transcribed. Some remarks from other letters, with quotations, are also included.

Die Grundlagen gehören zu den klassischen Texten der Sprachphilosophie, Logik und Mathematik. Frege stützt sein Programm einer Begründung von Arithmetik und Analysis auf reine Logik, indem er die natürlichen Zahlen als bestimmte Begriffsumfänge definiert. Die philosophische Fundierung des Fregeschen Ansatzes bilden erkenntnistheoretische und sprachphilosophische Analysen und Begriffserklärungen. Studienausgabe aufgrund der textkritisch herausgegebenen Jubiläumsausgabe (Centenarausgabe). Mit Einleitung, Anmerkungen, Literaturverzeichnis und Namenregister.