On the philosophical development of Kurt Gödel

نویسندگان

  • Mark van Atten
  • Juliette Kennedy
چکیده

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

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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