Online research in philosophy

Gödel has argued that we can cultivate the intuition or perception of abstractconcepts in mathematics and logic. Gödel's ideas about the intuition of conceptsare not incidental to his later philosophical thinking but are related to many otherthemes in his work, and especially to his reflections on the incompleteness theorems.I describe how some of Gödel's claims about the intuition of abstract concepts are related to other themes in his philosophy of mathematics. In most of this paper, however,I focus on a central question that has been raised in the literature on Gödel: what kind of account could be given of the intuition of abstract concepts? I sketch an answer to this question that uses some ideas of a philosopher to whom Gödel also turned in this connection: Edmund Husserl. The answer depends on how we understand the conscious directedness toward objects and the meaning of the term abstract in the context of a theory of the intentionality of cognition.

In this book, Balaguer demonstrates that there are no good arguments for or against mathematical platonism. He does this by establishing that both platonism and anti-platonism are defensible views. Introducing a form of platonism ("full-blooded platonism") that solves all problems traditionally associated with the view, he proceeds to defend anti-platonism (in particular, mathematical fictionalism) against various attacks, most notably the Quine-Putnam indispensability attack. He concludes by arguing that it is not simply that we do not currently have any good argument for or against platonism, but that we could never have such an argument and, indeed, that there is no fact of the matter as to whether platonism is correct.

In Mathematical Thought and Its Objects, Charles Parsons examines the notion of object, with the aim to navigate between nominalism, denying that distinctively mathematical objects exist, and forms of Platonism that postulate a transcendent realm of such objects. He introduces the central mathematical notion of structure and defends a version of the structuralist view of mathematical objects, according to which their existence is relative to a structure and they have no more of a “nature” than that confers on them.

Platonism about mathematics (or mathematical platonism) is the metaphysical view that there are abstract mathematical objects whose existence is independent of us and our language, thought, and practices. In this survey article, the view is clarified and distinguished from some related views, and arguments for and against the view are discussed.

Convinced that the classically undecidable problems of mathematics possess determinate truth values, Gödel issued a programmatic call to search for new axioms for their solution. The platonism underlying his belief in the determinateness of those questions in combination with his conception of intuition as a kind of perception have struck many of his readers as highly problematic. Following Gödel's own suggestion, this article explores ideas from phenomenology to specify a meaning for his mathematical realism that allows for a defensible epistemology.

Gödel's relation to the work of Plato, Leibniz, Kant, and Husserl is examined, and a new type of platonic rationalism that requires rational intuition, called ...

del's appeal to mathematical intuition to ground our grasp of the axioms of set theory, is notorious. I extract from his writings an account of this form of intuition which distinguishes it from the metaphorical platonism of which Gödel is sometimes accused and brings out the similarities between Gödel's views and Dummett's.

Godel began to seriously study Husserl's phenomenology in 1959, and the Godel Nachlass is known to contain many notes on Husserl. In this paper I describe what is presently known about Godel's interest in phenomenology. Among other things, it appears that the 1963 supplement to "What is Cantor's Continuum Hypothesis?", which contains Godel's famous views on mathematical intuition, may have been influenced by Husserl. I then show how Godel's views on mathematical intuition and objectivity can be readily interpreted in a phenomenological theory of intuition and mathematical knowledge.

Machine generated contents note: Part I. General: 1. The Gödel editorial project: a synopsis Solomon Feferman; 2. Future tasks for Gödel scholars John W. Dawson, Jr., and Cheryl A. Dawson; Part II. Proof Theory: 3. Kurt Gödel and the metamathematical tradition Jeremy Avigad; 4. Only two letters: the correspondence between Herbrand and Gödel Wilfried Sieg; 5. Gödel's reformulation of Gentzen's first consistency proof for arithmetic: the no-counter-example interpretation W. W. Tait; 6. Gödel on intuition and on Hilbert's finitism W. W. Tait; 7. The Gödel hierarchy and reverse mathematics Stephen G. Simpson; 8. On the outside looking in: a caution about conservativeness John P. Burgess; Part III. Set Theory: 9. Gödel and set theory Akihiro Kanamori; 10. Generalizations of Gödel's universe of constructible sets Sy-David Friedman; 11. On the question of absolute undecidability Peter Koellner; Part IV. Philosophy of Mathematics: 12. What did Gödel believe and when did he believe it? Martin Davis; 13. On Gödel's way in: the influence of Rudolf Carnap Warren Goldfarb; 14. Gödel and Carnap Steve Awodey and A. W. Carus; 15. On the philosophical development of Kurt Gödel Mark van Atten and Juliette Kennedy; 16. Platonism and mathematical intuition in Kurt Gödel's thought Charles Parsons; 17. Gödel's conceptual realism Donald A. Martin.