Hao Wang (1921-1995) was one of the few confidants of the great mathematician and logician Kurt Godel. A Logical Journey is a continuation of Wang's Reflections on Godel and also elaborates on discussions contained in From Mathematics to Philosophy. A decade in preparation, it contains important and unfamiliar insights into Godel's views on a wide range of issues, from Platonism and the nature of logic, to minds and machines, the existence of God, and positivism and phenomenology.The impact of Godel's theorem on twentieth-century thought is on par with that of Einstein's theory of relativity, Heisenberg's uncertainty principle, or Keynesian economics. These previously unpublished intimate and informal conversations, however, bring to light and amplify Godel's other major contributions to logic and philosophy. They reveal that there is much more in Godel's philosophy of mathematics than is commonly believed, and more in his philosophy than his philosophy of mathematics.Wang writes that "it is even possible that his quite informal and loosely structured conversations with me, which I am freely using in this book, will turn out to be the fullest existing expression of the diverse components of his inadequately articulated general philosophy. "The first two chapters are devoted to Godel's life and mental development. In the chapters that follow, Wang illustrates the quest for overarching solutions and grand unifications of knowledge and action in Godel's written speculations on God and an afterlife. He gives the background and a chronological summary of the conversations, considers Godel's comments on philosophies and philosophers (his support of Husserl's phenomenology and his digressions on Kant and Wittgenstein), and his attempt to demonstrate the superiority of the mind's power over brains and machines. Three chapters are tied together by what Wang perceives to be Godel's governing ideal of philosophy: an exact theory in which mathematics and Newtonian physics serve as a model for philosophy or metaphysics. Finally, in an epilog Wang sketches his own approach to philosophy in contrast to his interpretation of Godel's outlook.

王浩（1921—1995），美籍华裔数学家、逻辑学家、计算机科学家、哲学家。1921年生于山东济南市。1943年毕业于西南联合大学数学系。1945年于清华大学研究生院哲学系毕业。曾师从金岳霖、王宪钧、沈有鼎等。1946年赴哈佛大学留学，师从蒯因（W. V. O. Quine），两年时间即获哈佛大学哲学博士学位。在哈佛短暂教学之后赴苏黎世与贝奈斯（Paul Bernays）一起工作。1954年—1956年，在牛津大学任第二届约翰•洛克讲座主讲，又任逻辑及数理哲学高级教职，主持数学基础讨论班。1961年—1967年，任哈佛大学教授。1967年—1991年，任洛克菲勒大学逻辑学教授。20世纪50年代初被选为美国科学院院士，后又被选为不列颠科学院外国院士。1983 年，被国际人工智能联合会授予第一届“数学定理机械证明里程碑奖”，以表彰他在数学定理机械证明研究领域中所作的开创性贡献。著有《数理逻辑概论》、《从数学到哲学》、《哥德尔》、《超越分析哲学》等专著。

Beyond Analytic Philosophy
Doing Justice to What We Know
Hao Wang
Preface
ix
Introduction
1
1. Russell and philosophy in this century 45
2. A digression on Wittgenstein's philosophy 75
3. From Vienna 1925 to America 1984 101
4. Quine's logical negativism 153
5. Metaphilosophical observations 191
References 215
Chronological table 231
Index
261