{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T02:19:09Z","timestamp":1674181149810},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,4,9]],"date-time":"2009-04-09T00:00:00Z","timestamp":1239235200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1007\/s11229-009-9532-x","type":"journal-article","created":{"date-parts":[[2009,4,8]],"date-time":"2009-04-08T12:14:23Z","timestamp":1239192863000},"page":"33-45","source":"Crossref","is-referenced-by-count":3,"title":["G\u00f6del\u2019s philosophical program and Husserl\u2019s phenomenology"],"prefix":"10.1007","volume":"175","author":[{"given":"Xiaoli","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,4,9]]},"reference":[{"key":"9532_CR1","volume-title":"Logical dilemmas the life and work of Kurt G\u00f6del","author":"J.W. Dawson Jr.","year":"1997","unstructured":"Dawson J.W. Jr. (1997) Logical dilemmas the life and work of Kurt G\u00f6del. AK Peters Wellesley, Massachusetts"},{"key":"9532_CR2","unstructured":"Dagfinn F\u00f8llesdal, Introductory note to *1961\/?. In G\u00f6del, CWIII, pp. 364\u2013373."},{"key":"9532_CR3","unstructured":"G\u00f6del, K. (1944). Russell\u2019s mathematical logic. Reprinted in G\u00f6del, K. (1990). In S. Feferman, J. Dawon, S. Kleene, G. Moore, R. Solovay, & J. van Heijenoort (Eds.), Collected works (CWII) (Vol. II, pp. 119\u2013143). Oxford: Oxford University Press."},{"key":"9532_CR4","unstructured":"G\u00f6del, K. (1946). Remarks before the Princeton bicentennial conference on problems in mathematics. Reprinted in G\u00f6del, K. (1990). In S. Feferman, J. Dawon, S. Kleene, G. Moore, R. Solovay, & J. van Heijenoort (Eds.), Collected works (CWII) (Vol. II, pp. 150\u2013153). Oxford: Oxford University Press."},{"key":"9532_CR5","unstructured":"G\u00f6del, K. (1947&1964). What is Cantor\u2019s continuum problem? Reprinted in G\u00f6del, K. (1990). In S. Feferman, J. Dawon, S. Kleene, G. Moore, R. Solovay, & J. van Heijenoort (Eds.), Collected works (CWII) (Vol. II, pp. 119\u2013143, 254\u2013270). Oxford: Oxford University Press."},{"key":"9532_CR6","unstructured":"G\u00f6del, K. (*1951). Some basic theorems on the foundations of mathematics and their implications. Reprinted in G\u00f6del, K. (1995). In S. Feferman, J. Dawson, W. Goldfarb, C. Parsons, & R. Solovay (Eds.), Collected works (CWIII) (Vol. III, pp. 304\u2013323). Oxford: Oxford University Press."},{"key":"9532_CR7","unstructured":"G\u00f6del, K. (*1953\/1959). Is mathematics syntax of language? Reprinted in G\u00f6del, K. (1995). In S. Feferman, J. Dawson, W. Goldfarb, C. Parsons, & R. Solovay (Eds.), Collected works (CWIII) (Vol. III, pp. 334\u2013363). Oxford: Oxford University Press."},{"key":"9532_CR8","unstructured":"G\u00f6del, K. (1958). On a hitherto unutilized extension of the finitary standpoint. Reprinted in G\u00f6del, K. (1990). In S. Feferman, J. Dawon, S. Kleene, G. Moore, R. Solovay, & J. van Heijenoort (Eds.), Collected works (CWII) (Vol. II, pp. 241\u2013252, 271\u2013280). Oxford: Oxford University Press."},{"key":"9532_CR9","unstructured":"G\u00f6del, K. (*1961\/?). The modern development of the foundations of mathematics in the light of philosophy. Reprinted in G\u00f6del, K. (1995). In S. Feferman, J. Dawson, W. Goldfarb, C. Parsons, & R. Solovay (Eds.), Collected works (CWIII) (Vol. III, pp. 374\u2013387). Oxford: Oxford University Press."},{"key":"9532_CR10","unstructured":"G\u00f6del, K. (1972). On an extension of finitary mathematics which has not Yet been used. Reprinted in G\u00f6del, K. (1990). In S. Feferman, J. Dawon, S. Kleene, G. Moore, R. Solovay, & J. van Heijenoort (Eds.), Collected works (CWII) (Vol. II, pp. 271\u2013280). Oxford: Oxford University Press."},{"key":"9532_CR11","unstructured":"G\u00f6del, K. (1986). In S. Feferman, J. Dawson, S. Kleene, G. Moore, & J. van Heijenoort (Eds.), Collected works (CWI) (Vol. I). Oxford: Oxford University Press."},{"issue":"4","key":"9532_CR12","doi-asserted-by":"crossref","first-page":"529","DOI":"10.2178\/bsl\/1164056807","volume":"12","author":"K. Huaser","year":"2006","unstructured":"Huaser K. (2006) G\u00f6del\u2019s program revisited part I: The turn to phenomenology. The Bulleting of Symbolic Logic 12(4): 529\u2013588","journal-title":"The Bulleting of Symbolic Logic"},{"key":"9532_CR13","unstructured":"Kennedy, J. (2007). Kurt G\u00f6del, Stanford encyclopedia of philosophy. http:\/\/Plato.stanford.edu\/entries\/geodel"},{"issue":"2","key":"9532_CR14","doi-asserted-by":"crossref","first-page":"207","DOI":"10.2178\/bsl\/1120231631","volume":"11","author":"D. Martin","year":"2005","unstructured":"Martin D. (2005) G\u00f6del\u2019s conceptual realism. The Bulletin of Symbolic Logic 11(2): 207\u2013224","journal-title":"The Bulletin of Symbolic Logic"},{"key":"9532_CR15","doi-asserted-by":"crossref","first-page":"44","DOI":"10.2307\/420946","volume":"1","author":"C.D. Parsons","year":"1995","unstructured":"Parsons C.D. (1995) Platonism and mathematical intuition in Kurt G\u00f6del\u2019s thought. The Bulletin of Symbolic Logic 1: 44\u201347","journal-title":"The Bulletin of Symbolic Logic"},{"key":"9532_CR16","volume-title":"Theories and things","author":"W.V. Quine","year":"1981","unstructured":"Quine W.V. (1981) Theories and things. Harvard University Press, Cambridge, MA"},{"key":"9532_CR17","doi-asserted-by":"crossref","unstructured":"Rodriguez-Consuegra, F. A. (1995). Kurt G\u00f6del, unpublished philosophical essays. Birkhauser Verlag.","DOI":"10.1007\/978-3-0348-9248-3"},{"issue":"2","key":"9532_CR18","doi-asserted-by":"crossref","first-page":"181","DOI":"10.2307\/421022","volume":"4","author":"R. Tieszen","year":"1998","unstructured":"Tieszen R. (1998) G\u00f6del\u2019s path from the incompleteness theorems (1931) to phenomenology. The Bulletin of Symbolic Logic 4(2): 181\u2013203","journal-title":"The Bulletin of Symbolic Logic"},{"issue":"4","key":"9532_CR19","doi-asserted-by":"crossref","first-page":"425","DOI":"10.2178\/bsl\/1067620090","volume":"9","author":"M. Atten Van","year":"2003","unstructured":"Van Atten M., Kennedy J. (2003) On the philosophical development of Kurt G\u00f6del. The Bulletin of Symbolic Logic 9(4): 425\u2013476","journal-title":"The Bulletin of Symbolic Logic"},{"key":"9532_CR20","volume-title":"Reflections on Kurt G\u00f6del","author":"H. Wang","year":"1987","unstructured":"Wang H. (1987) Reflections on Kurt G\u00f6del. MIT Press, Cambridge, MA"},{"key":"9532_CR21","unstructured":"Wang, H. (1994). Philosophy as G\u00f6del saw it. Boston Colloquium for Philosophy of Science, 1994\u20131995."},{"key":"9532_CR22","volume-title":"Logical journey: From G\u00f6del to philosophy","author":"H. Wang","year":"1996","unstructured":"Wang H. (1996) Logical journey: From G\u00f6del to philosophy. MIT Press, Cambridge, MA"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-009-9532-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-009-9532-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-009-9532-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:32:31Z","timestamp":1559385151000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-009-9532-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4,9]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,7]]}},"alternative-id":["9532"],"URL":"https:\/\/doi.org\/10.1007\/s11229-009-9532-x","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,4,9]]}}}