On the philosophical development of Kurt Gödel
نویسندگان
چکیده
Contents 1. Introduction 426 2. G ¨ odel's position in the 1950's—a stalemate 428 2.1. Inconclusive arguments 428 2.2. Realism and rationalism 430 2.3. Epistemological parity 434 2.4. A way out? 437 3. G ¨ odel's turn to Husserl's transcendental idealism 439 3.1. Varieties of idealism 439 3.2. G ¨ odel and German Idealism 440 3.3. The turn to Husserl's transcendental idealism 443 3.4. G ¨ odel's criticisms of Husserl's idealism 453 4. How is the turn related to Leibniz? 455 4.1. Phenomenology as a methodical monadology 455 4.2. Searching for the primitive terms 458 5. Comparison with earlier interpretations 460 6. Influence from Husserl on G ¨ odel's writings 464 6.1. On the schools in the foundations of mathematics 464 6.2. The given 465 6.3. Revisions in the main text of the Cantor paper 467 7. G ¨ odel's assessment of his philosophical project 470 Acknowledgements 471
منابع مشابه
Two Moments in the Philosophical Life of Kurt Gödel Juliette
We examine two sets of Gödel’s writings, from the very beginning of his philosophical life, and from the end of it, to wit: some remarks from the introduction to his 1929 thesis, written when Gödel was 22 years of age; we will also take up some remarks Gödel made about the Euthyphro, one of the so-called “Socratic” dialogues of Plato, in the course of a discussion with the proof theorist Sue To...
متن کاملGödel’s Completeness and Incompleteness Theorems
This paper will discuss the completeness and incompleteness theorems of Kurt Gödel. These theorems have a profound impact on the philosophical perception of mathematics and call into question the readily apparent strength of the system itself. This paper will discuss the theorems themselves, their philosophical impact on the study of mathematics and some of the logical background necessary to u...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملLieber Herr Bernays ! , Lieber
1. Gödel, Bernays, and Hilbert. The correspondence between Paul Bernays and Kurt Gödel is one of the most extensive in the two volumes of Gödel’s collected works devoted to his letters of (primarily) scientific, philosophical and historical interest. It ranges from 1930 to 1975 and deals with a rich body of logical and philosophical issues, including the incompleteness theorems, finitism, const...
متن کاملGödel and analytic philosophy : how did we get here ?
It is often said about Kurt Gödel that he was the greatest logician of the twentieth century. His work in mathematical logic, when it does not constitute the very ground out of which its various subfields grew and developed, made the continuation of the subject possible at a time when fundamental concepts had not even been identified, and proofs of key theorems – in those cases when they had be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Bulletin of Symbolic Logic
دوره 9 شماره
صفحات -
تاریخ انتشار 2003