Gödel's path from the incompleteness theorems (1931) to phenomenology (1961)

Bulletin of Symbolic Logic

Volumn 4, Issue 2, 1998, Pages 181-203

  Tieszen, Richard ^a  

^a SAN JOSE STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032369699     PISSN: 10798986     EISSN: None     Source Type: Journal    
DOI: 10.2307/421022     Document Type: Article

References (44)

1. S. FEFERMAN et al. (editors), 1986/1990/1995: Kurt Gödel: Collected works, Vols. I, II, III. Oxford, Oxford University Press.
2. D. FØLLESDAL, 1995: Gödel and Husserl, in Essays on the development of the foundations of mathematics (J. Hintikka, editor). Dordrecht, Kluwer, pp. 427-446.
3. K. GÖDEL, 1931: On formally undecidable propositions of Principia Mathematica and related systems I, in Feferman, et al., 1986, pp. 145-195.
4. _ 1934: On undecidable propositions of formal mathematical systems, in Feferman, et al., 1986, pp. 346-371.
5. _ *193?: Undecidable Diophantine propositions, in Feferman, et al., 1995, pp. 164-175.
6. _ 1944: Russell's mathematical logic, in Feferman, et al., 1990, pp. 119-143.
7. _ 1946: Remarks before the Princeton Bicentennial Conference on problems in mathematics, in Feferman, et al., 1990, pp. 150-153.
8. _ 1947/64: What is Cantor's continuum problem?, in Feferman, et al., 1990, pp. 176-187 and 254-270.
9. _ *1951: Some basic theorems on the foundations of mathematics and their implications, in Feferman, et al., 1995, pp. 304-323.
10. _ *1953/9, III and V: Is mathematics syntax of language?, in Feferman, et al., 1995, pp. 334-363.
11. _ *1961/?: The modern development of the foundations of mathematics in the light of philosophy, in Feferman, et al., 1995, pp. 374-387.
12. _ 1972: On an extension of finitary mathematics which has not yet been used, in Feferman, et al., 1990, pp. 271-280.
13. _ 1972a: Some remarks on the undecidability results, in Feferman, et al., 1990, pp. 305-306.
14. D. HILBERT, 1926: Über das Unendliche, Mathematische Annalen, vol. 95, pp. 161-190. English translation by Stefan Bauer-Mengelberg in van Heijenoort, 1967, pp. 367-392.
15. E. HUSSERL, 1900: Logische Untersuchungen. Erster Teil: Prolegomena zur reinen Logik. Halle, Max Niemeyer. Reprinted in Husserl 1950-, XVIII.
16. _ 1901: Logische Untersuchungen. Zweiter Teil: Untersuchungen zur Phänomenologie und Theorie der Erkenntnis. Halle, Max Niemeyer. Reprinted in Husserl 1950-, XIX.
17. _ 1911: Philosophie als strenge Wissenschaft, Logos vol. 1, pp. 289-341. English translation by Quentin Lauer in Husserl 1965, pp. 71-147.
18. _ 1911: Philosophie als strenge Wissenschaft, Logos vol. 1, pp. 289-341. English translation by Quentin Lauer in Husserl 1965, pp. 71-147.
19. _ 1913a: Ideen zu einer reinen Phänomenologie und phänomenologischen Philosophie. Erstes Buch: Allgemeine Einfürhung in die reine Phänomenologie. Halle, Max Niemeyer. Reprinted in Husserl 1950-, III. English translation by F. Kersten as Husserl 1982.
20. _ 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.
21. _ 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.
22. _ 1929: Formale und transzendentale Logik. Versuch einer Kritik der logischen Vernunft. Halle, Max Niemeyer. Reprinted in Husserl 1950-, XVII. English translation by D. Cairns as Husserl 1969.
23. _ 1950-: Husserliana. Edmund Husserl: Gesammelte Werke, edited by the Husserl Achive (Leuven) on the basis of the Nachlass. The Hague, Martinus Nijhoff; later Dordrecht, Kluwer.
24. _ 1960: Cartesian Meditations, English translation by D. Cairns of main text of Kartesische Meditationen, Husserl 1950-, I. The Hague, Martinus Nijhoff.
25. _ 1965: Phenomenology and the crisis of philosophy, English translation, with an introduction by Q. Lauer, of Husserl 1911, along with Die Krisis des europäischen Menschentums und die Philosophie (from Husserl 1950-, VI, 314-348). New York, Harper.
26. _ 1965: Phenomenology and the crisis of philosophy, English translation, with an introduction by Q. Lauer, of Husserl 1911, along with Die Krisis des europäischen Menschentums und die Philosophie (from Husserl 1950-, VI, 314-348). New York, Harper.
27. _ 1969: Formal and transcendental logic. English translation of Husserl 1929. Dordrecht, Kluwer.
28. _ 1970a: The crisis of the European sciences and transcendental phenomenology. English translation by D. Carr of the main text and a selection of additional texts in Husserl 1950-, VI. Evanston, IL, Northwestern University Press.
29. _ 1970b: Logical Investigations, Vols. I, II. English translation of Husserl 1913b and 1921. London, Routledge and Kegan Paul.
30. _ 1982: Ideas pertaining to a pure phenomenology and to a phenomenological philosophy. First book, General Introduction to a pure phenomenology. English translation of Husserl 1913a. The Hague, Martinus Nijhoff.
31. J. PARIS and L. HARRINGTON, 1977: A Mathematical Incompleteness in Peano arithmetic, in J. Barwise (editor), Handbook of Mathematical Logic, Amsterdam, North Holland, pp. 1133-1142.
32. C. PARSONS 1995: Platonism and mathematical intuition in Kurt Gödel's thought, THIS BULLETIN, vol. 1, pp. 44-74.
33. R. TIESZEN, 1992: Kurt Gödel and phenomenology, Philosophy of Science, vol. 59, pp. 176-194.
34. _ 1994: Mathematical realism and Gödel's incompleteness theorems, Philosophia Mathematica, vol. 3, pp. 177-201.
35. _ 1995: Mathematics, in B. Smith and D. Smith (editors), Cambridge companion to philosophy: Husserl. Cambridge, Cambridge University Press, pp. 438-462.
36. _ 1996: Review of: Shadows of the mind: A search for the missing science of consciousness, by Roger Penrose, Philosophia Mathematica, vol. 4, pp. 281-290.
37. _ 1997a: Review of: Kurt Gödel: Unpublished philosophical essays, F. Rodriguez-Consuegra (editor), Annals of Science, vol. 54, pp. 99-101.
38. _ 1997b: Science Within Reason: Is there a crisis of the modern sciences?, in M. Otte and M. Panza (editors), Analysis and synthesis in mathematics: History and philosophy, Boston Studies in the Philosophy of Science. Dordrecht, Kluwer, pp. 243-259.
39. _ 1998: Gödel's Philosophical remarks on logic and mathematics: Critical notice of: Kurt Gödel: Collected Works, Vols. I, II, III", Mind, vol. 107, pp. 219-232.
40. _ 199?: Gödel and Quine on meaning and mathematics, forthcoming in Between logic and intuition: Essays in honor of Charles Parsons, G. Sher and R. Tieszen (editors). Cambridge, Cambridge University Press.
41. J. VAN HEIJENOORT (editor), 1967: From Frege to Gödel. Cambridge, Mass., Harvard University Press.
42. H. WANG, 1974: From mathematics to philosophy. New York, Humanities Press.
43. _ 1987: Reflections on Kurt Gödel. Cambridge, Mass., MIT Press.
44. _ 1996: A Logical Journey: From Gödel to philosophy. Cambridge, Mass., MIT Press.