Philosophy of Mathematics: Selected ReadingsPaul Benacerraf, Hilary Putnam The twentieth century has witnessed an unprecedented 'crisis in the foundations of mathematics', featuring a world-famous paradox (Russell's Paradox), a challenge to 'classical' mathematics from a world-famous mathematician (the 'mathematical intuitionism' of Brouwer), a new foundational school (Hilbert's Formalism), and the profound incompleteness results of Kurt Gödel. In the same period, the cross-fertilization of mathematics and philosophy resulted in a new sort of 'mathematical philosophy', associated most notably (but in different ways) with Bertrand Russell, W. V. Quine, and Gödel himself, and which remains at the focus of Anglo-Saxon philosophical discussion. The present collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers. It is a substantially revised version of the edition first published in 1964 and includes a revised bibliography. The volume will be welcomed as a major work of reference at this level in the field. |
From inside the book
Results 1-5 of 84
Page
... Mathematical truth The a priori 315 ALFRED JULES AYER Truth by convention 329 W. V. QUINE Carnap and logical truth 355 W. V. QUINE On the nature of mathematical truth 377 CARL G. HEMPEL On the nature of mathematical reasoning 394 HENRI ...
... Mathematical truth The a priori 315 ALFRED JULES AYER Truth by convention 329 W. V. QUINE Carnap and logical truth 355 W. V. QUINE On the nature of mathematical truth 377 CARL G. HEMPEL On the nature of mathematical reasoning 394 HENRI ...
Page 5
Sorry, this page's content is restricted.
Sorry, this page's content is restricted.
Page 11
Sorry, this page's content is restricted.
Sorry, this page's content is restricted.
Page 18
Sorry, this page's content is restricted.
Sorry, this page's content is restricted.
Page 19
Sorry, this page's content is restricted.
Sorry, this page's content is restricted.
Contents
II | 3 |
III | 41 |
V | 52 |
VII | 61 |
VIII | 66 |
IX | 77 |
X | 90 |
XII | 97 |
XXII | 295 |
XXIII | 315 |
XXIV | 329 |
XXV | 355 |
XXVI | 377 |
XXVII | 394 |
XXVIII | 403 |
XXIX | 421 |
XIV | 130 |
XV | 160 |
XVI | 183 |
XVII | 202 |
XIX | 207 |
XX | 241 |
XXI | 272 |
XXX | 447 |
XXXI | 470 |
XXXII | 486 |
XXXIII | 503 |
XXXIV | 530 |
XXXV | 571 |
Other editions - View all
Common terms and phrases
accept analysis analytic analytic propositions applies argument arithmetic assertion axiom of choice axiom of infinity axiom of replacement axiomatic set theory belongs calculus Cantor cardinal Carnap concept F concept of set consistency consistency proof construction contains continuum hypothesis convention deduction defined definition derived elementary elements empirical entities example existence expressions fact false finite number finitist formal system formula Frege function geometry given Gödel Hilbert impredicative impredicative definitions induction infinite integers interpretation intuition intuitionism intuitionist intuitionistic logic iterative conception language logical truth mathe mathematical truth matical meaning method natural numbers notion number theory ordinal numbers paradoxes Peano's philosophical philosophy of mathematics possible postulates predicate primitive principle problem proof propositions proved purely quantifiers question real numbers reason recursive relation Reprinted Russell semantics sense sentence sequence set theory stage subsets symbols theorem things tion transfinite true words Zermelo set theory