Presented to you through Paradigm Publishing Services
Harvard University Press
Chapter
Licensed
Unlicensed
Requires Authentication
10 HAO WANG AS PHILOSOPHER AND INTERPRETER OF GÖDEL
You are currently not able to access this content.
You are currently not able to access this content.
Chapters in this book
- Frontmatter i
- CONTENTS vii
- PREFACE ix
- INTRODUCTION 1
-
PART I SOME MATHEMATICIANS AS PHILOSOPHERS
- 1 THE KANTIAN LEGACY IN TWENTIETH-CENTURY FOUNDATIONS OF MATHEMATICS 11
- 2 REALISM AND THE DEBATE ON IMPREDICATIVITY, 1917–1944 40
- POSTSCRIPT TO ESSAY 2 62
- 3 PAUL BERNAYS’LATER PHILOSOPHY OF MATHEMATICS 67
- 4 KURT GÖDEL 93
- 5 GÖDEL’S “RUSSELL’S MATHEMATICAL LOGIC” 103
- 6 QUINE AND GÖDEL ON ANALYTICITY 127
- POSTSCRIPT TO ESSAY 6 147
- 7 PLATONISM AND MATHEMATICAL INTUITION IN KURT GÖDEL’S THOUGHT 153
- POST SCRIPT TO ESSAY 7 188
-
PART II CONTEMPORARIES
- 8 QUINE’S NOMINALISM 199
- 9 GENETIC EXPLANATION IN THE ROOTS OF REFERENCE 220
- 10 HAO WANG AS PHILOSOPHER AND INTERPRETER OF GÖDEL 243
- 11 PUTNAM ON EXISTENCE AND ONTOLOGY 267
- 12 WILLIAM TAIT’S PHILOSOPHY OF MATHEMATICS 290
- BIBLIOGRAPHY 321
- COPYRIGHT ACKNOWLEDGMENTS 343
- INDEX 345
Chapters in this book
- Frontmatter i
- CONTENTS vii
- PREFACE ix
- INTRODUCTION 1
-
PART I SOME MATHEMATICIANS AS PHILOSOPHERS
- 1 THE KANTIAN LEGACY IN TWENTIETH-CENTURY FOUNDATIONS OF MATHEMATICS 11
- 2 REALISM AND THE DEBATE ON IMPREDICATIVITY, 1917–1944 40
- POSTSCRIPT TO ESSAY 2 62
- 3 PAUL BERNAYS’LATER PHILOSOPHY OF MATHEMATICS 67
- 4 KURT GÖDEL 93
- 5 GÖDEL’S “RUSSELL’S MATHEMATICAL LOGIC” 103
- 6 QUINE AND GÖDEL ON ANALYTICITY 127
- POSTSCRIPT TO ESSAY 6 147
- 7 PLATONISM AND MATHEMATICAL INTUITION IN KURT GÖDEL’S THOUGHT 153
- POST SCRIPT TO ESSAY 7 188
-
PART II CONTEMPORARIES
- 8 QUINE’S NOMINALISM 199
- 9 GENETIC EXPLANATION IN THE ROOTS OF REFERENCE 220
- 10 HAO WANG AS PHILOSOPHER AND INTERPRETER OF GÖDEL 243
- 11 PUTNAM ON EXISTENCE AND ONTOLOGY 267
- 12 WILLIAM TAIT’S PHILOSOPHY OF MATHEMATICS 290
- BIBLIOGRAPHY 321
- COPYRIGHT ACKNOWLEDGMENTS 343
- INDEX 345