{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,15]],"date-time":"2025-12-15T13:49:04Z","timestamp":1765806544463},"reference-count":42,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":5707,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log."],"published-print":{"date-parts":[[1998,6]]},"abstract":"<jats:p>In a lecture manuscript written around 1961 (G\u00f6del *1961\/?), G\u00f6del describes a philosophical path from the incompleteness theorems to Husserl's phenomenology. It is known that G\u00f6del began to study Husserl's work in 1959 and that he continued to do so for many years. During the 1960s, for example, he recommended the sixth investigation of Husserl's<jats:italic>Logical Investigations<\/jats:italic>to several logicians for its treatment of categorial intuition (Wang 1997, p. 164). While G\u00f6del may not have been satisfied with what he was able to obtain from philosophy and Husserl's phenomenology, he nonetheless continued to recommend Husserl's work to logicians as late as the 1970s. In this paper I present and discuss the kinds of arguments that led G\u00f6del to the work of Husserl. Among other things, this should help to shed additional light on G\u00f6del's philosophical and scientific ideas and to show to what extent these ideas can be viewed as part of a unified philosophical outlook. Some of the arguments that led G\u00f6del to Husserl's work are only hinted at in G\u00f6del's 1961 paper, but they are developed in much more detail in G\u00f6del's earlier philosophical papers (see especially 1934, *193?, 1944, 1947, *1951, *1953\/59). In particular, I focus on arguments concerning Hilbert's program and an early version of Carnap's program.<\/jats:p><jats:p><jats:bold>\u00a71. Some ideas from phenomenology<\/jats:bold>. Since Husserl's work is not generally known to mathematical logicians, it may be helpful to mention briefly a few details about his background.<\/jats:p>","DOI":"10.2307\/421022","type":"journal-article","created":{"date-parts":[[2006,5,7]],"date-time":"2006-05-07T07:11:25Z","timestamp":1146985885000},"page":"181-203","source":"Crossref","is-referenced-by-count":21,"title":["G\u00f6del's Path from the Incompleteness Theorems (1931) To Phenomenology (1961)"],"prefix":"10.1017","volume":"4","author":[{"given":"Richard","family":"Tieszen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1079898600007289_ref039","volume-title":"From Frege to G\u00f6del","author":"van Heijenoort","year":"1967"},{"key":"S1079898600007289_ref041","volume-title":"Reflections on Kurt G\u00f6del","author":"Wang","year":"1987"},{"key":"S1079898600007289_ref033","doi-asserted-by":"publisher","DOI":"10.1017\/CCOL0521430232.010"},{"key":"S1079898600007289_ref024","volume-title":"Phenomenology and the crisis of philosophy","author":"Hussen","year":"1965"},{"key":"S1079898600007289_ref008","unstructured":"G\u00f6del K. , 1947\/64: What is Cantor's continuum problem?, in Feferman , et al., 1990, pp. 176\u2013187 and 254\u2013270."},{"key":"S1079898600007289_ref035","first-page":"99","article-title":"Review of: Kurt G\u00f6del: Unpublished philosophical essays","volume":"54","author":"Tieszen","year":"1997","journal-title":"Annals of Science"},{"key":"S1079898600007289_ref014","doi-asserted-by":"publisher","DOI":"10.1007\/BF01206605"},{"key":"S1079898600007289_ref023","volume-title":"Cartesian Meditations","author":"Hussen","year":"1960"},{"key":"S1079898600007289_ref011","unstructured":"G\u00f6del K. , *1961\/?: The modern development of the foundations of mathematics in the light of philosophy, in Feferman , et al., 1995, pp. 374\u2013387."},{"key":"S1079898600007289_ref012","doi-asserted-by":"crossref","unstructured":"G\u00f6del K. , 1972: On an extension of finitary mathematics which has not yet been used, in Feferman , et al., 1990, pp. 271\u2013280.","DOI":"10.1093\/oso\/9780195147216.003.0022"},{"key":"S1079898600007289_ref016","volume-title":"Logische Untersuchungen. Zweiter Teil: Untersuchungen zur Ph\u00e4nomenologie und Theorie der Erkenntnis","volume":"XIX","author":"Hussen","year":"1901"},{"key":"S1079898600007289_ref002","first-page":"427","volume-title":"Essays on the development of the foundations of mathematics","author":"F\u00f8llesdal","year":"1995"},{"key":"S1079898600007289_ref010","unstructured":"G\u00f6del K. , *1953\/9, III and V: Is mathematics syntax of language?, in Feferman , et al., 1995, pp. 334\u2013363."},{"key":"S1079898600007289_ref031","doi-asserted-by":"publisher","DOI":"10.1086\/289661"},{"key":"S1079898600007289_ref004","unstructured":"G\u00f6del K. , 1934: On undecidable propositions of formal mathematical systems, in Feferman , et al., 1986, pp. 346\u2013371."},{"key":"S1079898600007289_ref019","unstructured":"Hussen E. , 1913b: Second, revised edition of Husserl 1900 and Investigations I-V of Husserl 1901. Reprinted in Husserl 1950-, XIX, part 1. Translated into English by J. N. Findlay in Husserl 1970b."},{"key":"S1079898600007289_ref022","volume-title":"Husserliana. Edmund Husserl: Gesammelte Werke","author":"Hussen","year":"1950"},{"key":"S1079898600007289_ref030","first-page":"44","article-title":"Platonism and mathematical intuition in Kurt G\u00f6del's thought","volume":"1","author":"Parsons","year":"1995","journal-title":"Bulletin"},{"key":"S1079898600007289_ref013","unstructured":"G\u00f6del K. , 1972a: Some remarks on the undecidability results, in Feferman , et al., 1990, pp. 305\u2013306."},{"key":"S1079898600007289_ref038","volume-title":"Between logic and intuition: Essays in honor of Charles Parsons","author":"Tieszen"},{"key":"S1079898600007289_ref003","unstructured":"G\u00f6del K. , 1931: On formally undecidable propositions of Principia Mathematica and related systems I, in Feferman , et al., 1986, pp. 145\u2013195."},{"key":"S1079898600007289_ref015","volume-title":"Logische Untersuchungen. Erster Teil: Prolegomena zur reinen Logik","volume":"XVIII","author":"Hussen","year":"1900"},{"key":"S1079898600007289_ref001","volume-title":"Kurt G\u00f6del: Collected works, Vols. I, II, III","author":"Feferman","year":"1986"},{"key":"S1079898600007289_ref032","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/2.3.177"},{"key":"S1079898600007289_ref020","unstructured":"Hussen E. , 1921: Second edition of Investigation VI of Husserl 1901. Reprinted in Husserl 1950-, XIX, part 2. Translated into English by J. N. Findlay in Husserl 1970."},{"key":"S1079898600007289_ref029","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71130-3"},{"key":"S1079898600007289_ref028","volume-title":"Ideas pertaining to a pure phenomenology and to a phenomenological philosophy. First book, General Introduction to a pure phenomenology","author":"Hussen","year":"1982"},{"key":"S1079898600007289_ref025","volume-title":"Formal and transcendental logic","author":"Hussen","year":"1969"},{"key":"S1079898600007289_ref005","unstructured":"G\u00f6del K. , *193?: Undecidable Diophantine propositions, in Feferman , et al., 1995, pp. 164\u2013175."},{"key":"S1079898600007289_ref026","volume-title":"The crisis of the European sciences and transcendental phenomenology","author":"Hussen","year":"1970"},{"key":"S1079898600007289_ref007","doi-asserted-by":"crossref","unstructured":"G\u00f6del K. , 1946: Remarks before the Princeton Bicentennial Conference on problems in mathematics, in Feferman , et al., 1990, pp. 150\u2013153.","DOI":"10.1093\/oso\/9780195147216.003.0009"},{"key":"S1079898600007289_ref018","volume-title":"Ideenzueiner reinen Ph\u00e4nomenologie undphanomenologischen Philosophie. Erstes Buch: Allgemeine Einf\u00fcrhung in die reine Ph\u00e4nomenologie","author":"Hussen","year":"1913"},{"key":"S1079898600007289_ref017","first-page":"289","article-title":"Philosophie als strenge Wissenschaft","volume":"1","author":"Hussen","year":"1911","journal-title":"Logos"},{"key":"S1079898600007289_ref021","volume-title":"Formale und transzendentale Logik. Versuch einer Kritik der logischen Vernunft","author":"Hussen","year":"1929"},{"key":"S1079898600007289_ref037","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/107.425.219"},{"key":"S1079898600007289_ref036","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-3977-9_10"},{"key":"S1079898600007289_ref042","volume-title":"A Logical Journey: From G\u00f6del to philosophy","author":"Wang","year":"1996"},{"key":"S1079898600007289_ref034","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/4.3.281"},{"key":"S1079898600007289_ref006","doi-asserted-by":"crossref","unstructured":"G\u00f6del K. , 1944: Russell's mathematical logic, in Feferman , et al., 1990, pp. 119\u2013143.","DOI":"10.1093\/oso\/9780195147216.003.0007"},{"key":"S1079898600007289_ref040","volume-title":"From mathematics to philosophy","author":"Wang","year":"1974"},{"key":"S1079898600007289_ref009","unstructured":"G\u00f6del K. , *1951: Some basic theorems on the foundations of mathematics and their implications, in Feferman , et al., 1995, pp. 304\u2013323."},{"key":"S1079898600007289_ref027","volume-title":"Logical Investigations, Vols. I, II","author":"Hussen","year":"1970"}],"container-title":["Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600007289","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T07:36:45Z","timestamp":1707032205000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600007289\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,6]]},"references-count":42,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998,6]]}},"alternative-id":["S1079898600007289"],"URL":"https:\/\/doi.org\/10.2307\/421022","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,6]]}}}