OXFORD UNIVERSITY PRESS

The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940

ISBN : 9780199546534

参考価格(税込): 
¥17,534
著者: 
Paolo Mancosu
ページ
640 ページ
フォーマット
Hardcover
サイズ
181 x 254 mm
刊行日
2010年11月
メール送信
印刷

Paolo Mancosu presents a series of innovative studies in the history and the philosophy of logic and mathematics in the first half of the twentieth century. The Adventure of Reason is divided into five main sections: history of logic (from Russell to Tarski); foundational issues (Hilbert's program, constructivity, Wittgenstein, Godel); mathematics and phenomenology (Weyl, Becker, Mahnke); nominalism (Quine, Tarski); semantics (Tarski, Carnap, Neurath). Mancosu exploits extensive untapped archival sources to make available a wealth of new material that deepens in significant ways our understanding of these fascinating areas of modern intellectual history. At the same time, the book is a contribution to recent philosophical debates, in particular on 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.

目次: 

Preface
PART 1: HISTORY OF LOGIC
1. The Development of Mathematical Logic from Russell to Tarski, 1900-1935
OART 2: FOUNDATIONS OF MATHEMATICS
2. Hilbert and Bernays on Metamathematics
3. Between Russell and Hilbert: Behmann on the foundations of mathematics
4. The Russellian influence on Hilbert and his school
5. On the constructivity of proofs
6. Wittgenstein's constructivization of Euler's proof of the infinitude of primes
7. Between Vienna and Berlin: The immediate reception of Godel's incompleteness theorems
8. Essay Review of Godel's Collected Works (volumes IV and V)
PART 3: PHENOMENOLOGY AND MATHEMATICS
9. Hermann Weyl: Predicativity and an intuitionistic excursion
10. Mathematics and Phenomenology: the correspondence between O. Becker and H. Weyl
11. Geometry, Physics and Phenomenology: Four letters of O. Becker to H. Weyl
12. Das Abenteuer der Vernunft: O. Becker and D. Mahnke on the phenomenological foundation of the exact sciences
PART 4: NOMINALISM
13. Harvard 1940-1941: Tarski, Carnap and Quine on a finitist language of mathematics for science
14. Quine and Tarski on nominalism
PART 5: THE EMERGENCE OF SEMANTICS: TRUTH AND LOGICAL CONSEQUENCE
15. Neurath and Kokoszynska on the semantic conception of truth
16. Tarski on models and logical consequence
17. Tarski on Categoricity and Completeness: an unpublished lecture from 1940
18. Archival Appendix. "On the completeness and categoricity of deductive theories" (1940), By Alfred Tarski.
Bibliography

著者について: 

Paolo Mancosu is Professor of Philosophy at University of California Berkeley. His main interests are in logic, history and philosophy of mathematics, and history and philosophy of logic.

このページに掲載の「参考価格」は日本国内における希望小売価格です。当ウェブサイトでのご購入に対して特別価格が適用される場合、販売価格は「割引価格」として表示されます。なお、価格は予告なく変更されることがございますので、あらかじめご了承ください。