The Adventure of Reason

Part I Mathematical Logic, 1900-1935 Introduction p. 2 1 The Development of Mathematical Logic from Russell to Tarski, 1900-1935 Richard Zach and Calixto Badesa p. 5 Part II Foundations of Mathematics Introduction p. 122 2 Hilbert and Bernays on Metamathematics p. 125 Addendum p. 155 3 Between Russell and Hilbert: Behmann on the Foundations of Mathematics p. 159 4 The Russellian Influence on Hilbert and His School p. 176 5 On the Constructivity of Proofs: A Debate among Behmann, Bernays, Gödel, and Kaufmann p. 199 6 Wittgenstein's Constructivization of Euler's Proof of the Infinity of Primes Mathieu Marion p. 217 7 Between Vienna and Berlin: The Immediate Reception of Gödel's Incompleteness Theorems p. 232 8 Review of Gödel's Collected Works, Vols. IV and V p. 240 Part III Phenomenology and the Exact Sciences Introduction p. 256 9 Hermann Weyl: Predicativity and an Intuitionistic Excursion p. 259 10 Mathematics and Phenomenology: The Correspondence between O. Becker and H. Weyl T. Ryckman p. 277 11 Geometry, Physics, and Phenomenology: Four Letters O. Becker and H. Weyl T. Ryckman p. 308 12 ôDas Abenteuer der Vernunftö: O. Becker and D. Mahnke on the Phenomenological Foundations of the Exact Sciences p. 346 Part IV Tarski and Quine On Nominalism Introduction p. 358 13 Harvard 1940-1941: Tarski, Carnap, and Quine on a Finitistic Language of Mathematics for Science p. 361 14 Quine and Tarski on Nominalism p. 387 Part V Tarski and the Vienna Circle on Truth and Logical Consequence Introduction p. 412 15 Tarski, Neurath, and Kokoszynska on the Semantic Conception of Truth p. 415 16 Tarski on Models and Logical Consequence p. 440 Addendum p. 463 17 Tarski on Categoricity and Completeness: An Unpublished Lecture from 1940 p. 469 18 Appendix: ôOn the Completeness and Categoricity of Deductive Systemsö (1940) p. 485 Notes p. 493 Bibliography p. 571 Index.