The book contains innovative contributions to the history and the philosophy of logic and mathematics in the first half of the twentieth century. It is divided into five main sections: history of logic (from Russell to Tarski); foundational issues (Hilbert’s program, constructivity, Wittgenstein, Gödel); mathematics and phenomenology (Weyl, Becker, Mahnke); nominalism (Quine, Tarski); semantics (Tarski, Carnap, Neurath). The treatment exploits extensively untapped archival sources thereby making available a wealth of new material that deepens in significant ways our understanding of the above- ... More

The book contains innovative contributions to the history and the philosophy of logic and mathematics in the first half of the twentieth century. It is divided into five main sections: history of logic (from Russell to Tarski); foundational issues (Hilbert’s program, constructivity, Wittgenstein, Gödel); mathematics and phenomenology (Weyl, Becker, Mahnke); nominalism (Quine, Tarski); semantics (Tarski, Carnap, Neurath). The treatment exploits extensively untapped archival sources thereby making available a wealth of new material that deepens in significant ways our understanding of the above-mentioned areas. At the same time, the book is a contribution to recent debates on, among other things, the prospects for a successful nominalist reconstruction of mathematics, the nature of finitist intuition, the viability of alternative definitions of logical consequence, and the extent to which phenomenology can hope to account for the exact sciences.