In his 1951 Gibbs Lecture Gödel formulates the central implication of the incompleteness theorems as a disjunction: either the human mind infinitely surpasses the powers of any finite machine or there exist absolutely unsolvable diophantine problems (of a certain type). In his later writings in particular Gödel favors the view that the human mind does infinitely surpass the powers of any finite machine and there are no absolutely unsolvable diophantine problems. I consider how one might defend such a view in (...) light of Gödel's remark that one can turn to ideas in Husserlian transcendental phenomenology to show that the human mind ‘contains an element totally different from a finite combinatorial mechanism’. (shrink)

"The first two lectures place the alternative I defend -- a kind of pragmatic realism -- in a historical and metaphysical context. Part of that context is provided by Husserl's remark that the history of modern philosophy begins with Galileo -- that is, modern philosophy has been hypnotized by the idea that scientific facts are all the facts there are. Another part is provided by the analysis of a very simple example of what I call 'contextual relativity'. The position I (...) defend holds that truth depends on conceptual scheme and it is nonetheless 'real truth'. "In my third lecture I turn to the Kantian antecedents of this view, explaining what I think should be retained of the Kantian idea of autonomy as the central theme of morality, and extracting from Kant's work a 'moral image of the world' that connects the ideals of equality and intellectual liberty. In this lecture I defend the idea that moral images are an indispensible part of our moral and cultural heritage. "In the final lecture I defend the idea of moral objectivity. I compare our epistemological positions in ethics, history, analysis of human character, and science, and I argue that in no area can we hope for a 'foundation' which is more ultimate than the beliefs that actually, at a given time, function as foundational in the area, the beliefs concerning which one has to say 'this is where my spade is turned'. In ethics such beliefs are represented in moral images of the world.". (shrink)

Offering a collection of fifteen essays that deal with issues at the intersection of phenomenology, logic, and the philosophy of mathematics, this 2005 book is divided into three parts. Part I contains a general essay on Husserl's conception of science and logic, an essay of mathematics and transcendental phenomenology, and an essay on phenomenology and modern pure geometry. Part II is focused on Kurt Godel's interest in phenomenology. It explores Godel's ideas and also some work of Quine, Penelope Maddy and (...) Roger Penrose. Part III deals with elementary, constructive areas of mathematics. These are areas of mathematics that are closer to their origins in simple cognitive activities and in everyday experience. This part of the book contains essays on intuitionism, Hermann Weyl, the notion of constructive proof, Poincaré and Frege. (shrink)