Phenomenology, logic, and the philosophy of mathematics

Phenomenology, Logic, and the Philosophy of Mathematics

Volumn , Issue , 2005, Pages 1-357

  Tieszen, Richard ^a  

^a SAN JOSE STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84922860985     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1017/CBO9780511498589     Document Type: Book

References (275)

1. Barwise, J. (ed.), 1977. Handbook of Mathematical Logic. Amsterdam: North Holland.
2. Becker, O., 1923. “Beiträge zur phänomenologischen Begründung der Geometrie und ihrer physikalischen Anwendungen,” Jahrbuch für Philosophie und phänomenologische Forschung 6, 385–560.
3. Becker, O., 1927. “Mathematische Existenz: Untersuchungen zur Logik und Ontologie mathematischer Phanomene,” Jahrbuch für Philosophie und phanomenologische Forschung 8, 439–809.
4. Bell, D., 1990. Husserl. London: Routledge.
5. Benacerraf, P., 1973. “Mathematical Truth,” Journal of Philosophy 70, 661–679.
6. Benacerraf, P., and Putnam, H. (eds.), 1983. Philosophy of Mathematics: Selected Readings, 2nd ed. Cambridge: Cambridge University Press.
7. Bernays, P., 1935. “Sur le platonisme dans les mathématiques,” L’Enseignement Mathématique 34, 52–69. Translated by C. Parsons in Benacerraf and Putnam (eds.) 1983, 258–271.
8. Bishop, E., 1967. Foundations of Constructive Analysis. New York: McGraw-Hill.
9. Boolos, G., 1971. “The Iterative Conception of Set,” Journal of Philosophy 68, 215–232.
10. Boolos, G., 1987. “A Curious Inference,” Journal of Philosophical Logic 16, 1–12.
11. Brouwer, L. E. J., 1921. “Comments on Weyl 1921.” Translated by W. van Stigt in P. Mancosu (ed.) 1998, 119–122.
12. Brouwer, L. E. J., 1975. Collected Works, Vol. I. Edited by A. Heyting. Amsterdam: North Holland.
13. Carnap, R., 1922. Der Raum. Ein Betrag zur Wissenschaftslehre. Kant-Studien Ergänzungsheft 56. Berlin: Reuther & Reichard.
14. Curry, H., 1951. Outline of a Formalist Philosophy of Mathematics. Amsterdam: North Holland.
15. da Silva, J., 1997. “Husserl’s Phenomenology and Weyl’s Predicativism,” Synthese 110, 277–296.
16. Dennett, D., 1971. “Intentional Systems,” Journal of Philosophy 68, 87–106.
17. Deppert, W. (ed.), 1988. Exact Sciences and Their Philosophical Foundations. Frankfurt am Main: Lang.
18. Detlefsen, M., 1990. “Brouwerian Intuitionism,” Mind 99, 501–534.
19. Detlefsen, M., 1992. “Poincaré Against the Logicians,” Synthese 90, 349–378.
20. Drummond, J., 1978–79. “On Seeing a Material Thing in Space: The Role of Kinaesthesis in Visual Percpeption,” Philosophy and Phenomenological Research 40, 19–32.
21. Drummond, J., 1984. “The Perceptual Roots of Geometric Idealization,” Review of Metaphysics 37, 785–810.
22. Dummett, M., 1973. Frege: Philosophy of Language. New York: Harper & Row. 1977. Elements of Intuitionism. Oxford: Oxford University Press.
23. Dummett, M., 1978. “The Philosophical Basis of Intuitionistic Logic,” in M. Dummett, Truth and Other Enigmas. Cambridge, Mass.: Harvard University Press, 186–201.
24. Dummett, M., 1981. The Interpretation of Frege’s Philosophy. Cambridge, Mass.: Harvard University Press.
25. Dummett, M., 1991. The Logical Basis of Metaphysics. Cambridge, Mass.: Harvard University Press.
26. Dummett, M., 1991a. Fregeand Other Philosophers. Oxford: Oxford University Press.
27. Dummett, M., 1991b. “Frege and the Paradox of Analysis,” in Dummett 1991a, 16–52.
28. Dummett, M., 1991c. Frege: Philosophy of Mathematics. Cambridge, Mass.: Harvard University Press.
29. Dummett, M., 1991d. “Thought and Perception: The Views of Two Philosophical Innovators,” in Dummett 1991a, 263–288.
30. Dummett, M., 1993. “What Is a Theory of Meaning? (II),” in M. Dummett, The Seas of Language. Oxford: Oxford University Press, 34–93.
31. Dummett, M., 1994. Origins of Analytic Philosophy. Cambridge, Mass.: Harvard University Press.
32. Feferman, S., 1988. “Weyl Vindicated: Das Kontinuum 70 Years Later,” Atti del Congresso Temi e prospettive della logica e della filosofia della scienza contemporanee, Vol. I. Bologna, CLUEB, 59–93. Reprinted in Feferman 1998, 249–283.
33. Feferman, S., 1996. “Penrose’s Gödelian Argument,” Psyche 2, 21–32.
34. Feferman, S., 1998. In the Light of Logic. Oxford: Oxford University Press.
35. Feferman, S., et al. (eds.), 1986. Kurt Gödel: Collected Works, Vol. I. Oxford: Oxford University Press.
36. Feferman, S., 1990. Kurt Gödel: Collected Works, Vol. II. Oxford: Oxford University Press.
37. Feferman, S., 1995. Kurt Gödel: Collected Works, Vol. III. Oxford: Oxford University Press.
38. Fichte, J. G., 1908–1912. Werke, 6 vols. Edited by F. Medicus. Leipzig: Meiner.
39. Field, H., 1989. Realism, Mathematics and Modality. Oxford: Blackwell.
40. Folina, J., 1992. Poincaréand the Philosophy of Mathematics. New York: St. Martin’s Press.
41. Føllesdal, D., 1988. “Husserl on Evidence and Justification,” in R. Sokolowski (ed.), Edmund Husserl and the Phenomenological Tradition. Washington, D.C.: Catholic University of America Press, 107–129.
42. Føllesdal, D., 1995. “Gödel and Husserl,” in J. Hintikka (ed.), Essays on the Development of the Foundations of Mathematics. Dordrecht: Kluwer, 427–446.
43. Frege, G., 1879. Begriffschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: L. Nebert. Translated by S. Bauer-Mengelberg in van Heijenoort (ed.) 1967, 1–82.
44. Frege, G., 1884. Die Grundlagen der Arithmetik. Breslau: Koebner. Reprinted and translated by J. Austin as The Foundations of Arithmetic, Evanston: Northwestern University Press, 1978.
45. Frege, G., 1892. “Uber Sinn und Bedeutung,” Zeitschriftfür Philosophie und philosophische Kritik 100, 25–50. Translated by M. Black in P. Geach and M. Black (eds.) 1970, 56–78.
46. Frege, G., 1892–95. “Comments on Sense and Reference,” in Hermes et al. 1979, 118–125.
47. Frege, G., 1893. Grundgesetze der Arithmetik, Vol. I. Jena: H. Pohle. Translated in part by R. Furth as The Basic Laws of Arithmetic. Berkeley: University of California Press, 1964.
48. Frege, G., 1894. “Review of E. Husserl, Philosophie der Arithmetik,” Zeitschrift fürPhilosophie und philosophische Kritik 103, 313–332. Translated by E. Kluge, in Mind 81, 1972, 321–337.
49. Frege, G., 1903. Grundgesetze der Arithmetik, Vol. II. Jena: H. Pohle. Translated in part in P. Geach and M. Black (eds.) 1970, 173–244.
50. Frege, G., 1918. “Der Gedanke: Eine logische Untersuchung,” Beiträge zur Philosophie des deutschen Idealismus 1, 58–77. Translated by A. Quinton and M. Quinton in Mind 65, 1956, 289–311.
51. Frege, G., 1924–25a. “A New Attempt at a Foundation for Arithmetic,” in Hermes et al. 1979, 278–281.
52. Frege, G., 1924–25b. “Numbers and Arithmetic,” in Hermes et al. 1979, 275–277.
53. Frege, G., 1924–25c. “Sources of Knowledge of Mathematics and the Mathematical Natural Sciences,” in Hermes et al. 1979, 267–274.
54. Friedman, M., 1999. Reconsidering Logical Positivism. Cambridge: Cambridge University Press.
55. Friedman, M., 2000. A Parting of the Ways: Carnap, Cassirer, and Heidegger. La Salle, Ill.: Open Court.
56. Geach, P., and Black, M. (eds.), 1970. Translations from the Philosophical Writings of Gottlob Frege. Oxford: Blackwell.
57. George, A., 1988. “The Conveyability of Intuitionism: An Essay on Mathematical Cognition,” Journal of Philosophical Logic 17, 133–156.
58. George, A., 1993. “How Not to Refute Realism,” Journal of Philosophy 90, 53–72.
59. Gödel, K., 1929. “On the Completeness of the Calculus of Logic,” in Feferman et al. (eds.) 1986, 60–101.
60. Gödel, K., 1931. “On Formally Undecidable Propositions of Principia Mathematica and Related Systems I,” in Feferman et al. (eds.) 1986, 145–195.
61. Gödel, K., 1933e. “On Intuitionistic Arithmetic and Number Theory,” in Feferman et al. (eds.) 1986, 286–295.
62. Gödel, K., 1933f. “An Interpretation of the Intuitionistic Propositional Calculus,” in Feferman et al. (eds.) 1986, 300–303.
63. Gödel, K., *1933o. “The Present Situation in the Foundations of Mathematics,” in Feferman et al. (eds.) 1995, 45–53.
64. Gödel, K., 1934. “On Undecidable Propositions of Formal Mathematical Systems,” in Feferman et al. (eds.) 1986, 346–371.
65. Gödel, K., *1938a. “Lecture at Zilsel’s,” in Feferman et al. (eds.) 1995, 87–113.
66. Gödel, K., *193?. “Undecidable Diophantine Propositions,” in Feferman et al. (eds.) 1995, 164–175.
67. Gödel, K., 1940. “The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory,” in Feferman et al. (eds.) 1990, 33–101.
68. Gödel, K., *1941. “In What Sense Is Intuitionistic Logic Constructive?” in Feferman et al. (eds.) 1995, 189–2000.
69. Gödel, K., 1944. “Russell’s Mathematical Logic,” in Feferman et al. (eds.) 1990, 119–143.
70. Gödel, K., 1946. “Remarks Before the Princeton Bicentennial Conference on Problems in Mathematics,” in Feferman et al. (eds.) 1990, 150–153.
71. Gödel, K., 1947. “What Is Cantor’s Continuum Problem?” in Feferman et al. (eds.) 1990, 176–187.
72. Gödel, K., 1949. “An Example of a New Type of Cosmological Solutions of Einstein’s Field Equations of Gravitation,” in Feferman et al. (eds.) 1990, 190–198.
73. Gödel, K., 1949a. “A Remark About the Relationship Between Relativity Theory and Idealistic Philosophy,” in Feferman et al. (eds.) 1990, 202–207.
74. Gödel, K., *1951. “Some Basic Theorems on the Foundations of Mathematics and Their Implications,” in Feferman et al. (eds.) 1995, 304–323.
75. Gödel, K., *1953/59, III and V. “Is Mathematics Syntax of Language?” in Feferman et al. (eds.) 1995, 334–363.
76. Gödel, K., 1958. “On an Extension of Finitary Mathematics Which Has Not Yet Been Used,” in Feferman et al. (eds.) 1990, 240–251.
77. Gödel, K., *1961/? “The Modern Development of the Foundations of Mathematics in the Light of Philosophy,” in Feferman et al. (eds.) 1995, 374–387.
78. Gödel, K., 1964. “What Is Cantor’s Continuum Problem?” in Feferman et al. (eds.) 1990, 254–270. Revised version of Gödel 1947.
79. Gödel, K., 1972. “On an Extension of Finitary Mathematics Which Has Not Yet Been Used,” in Feferman et al. (eds.) 1990, 271–280. Revised version of Gödel 1958.
80. Gödel, K., 1972a. “Some Remarks on the Undecidability Results,” in Feferman et al. (eds.) 1990, 305–306.
81. Goldfarb, W., 1988. “Poincaré Against the Logicists”, in P. Kitcher and W. Aspray (eds.), History and Philosophy of Modern Mathematics, Minneapolis: University of Minnesota Press, 61–81.
82. Greenberg, M.J., 1993. Euclidean and Non-Euclidean Geometries, 3rd ed. New York: W. H. Freeman.
83. Gurwitsch, A., 1974. Phenomenology and the Theory of Science. Evanston, Ill.: Northwestern University Press.
84. Hallett, M., 1984. Cantorian Set Theory and Limitation of Size. Oxford: Oxford University Press.
85. Hardy, L., and Embree, L. (eds.), 1993. Phenomenology of Natural Science. Dordrecht: Kluwer.
86. Hauser, K., forthcoming. “Gödel’s Program Revisted,” in Husserl Studies.
87. Heelan, P., 1983. Space Perception and the Philosophy of Science. Berkeley: University of California Press.
88. Heelan, P., 1989. “Husserl’s Philosophy of Science,” in J. N. Mohanty and W. McKenna (eds.), Husserl’s Phenomenology: A Textbook. Lanham, Md.: Center for Advanced Research in Phenomenology/University Press of America.
89. Heidegger, M., 1962. Being and Time. Translated by J. Macquarrie and E. Robinson. New York: Harper & Row. Originally published in German in 1927.
90. Heinzmann, G., 1997. “Umfangslogik, Inhaltslogik, Theorematic Reasoning,” in E. Agazzi and G. Darvas (eds.), Philosophy of Mathematics Today. Dordrecht: Kluwer, 353–361.
91. Hermes, H., Kambartel, F., and Kaulbach, F. (eds.), 1979. GottlobFrege: Posthumous Writings. Translated by P. Long and R. White. Chicago: University of Chicago Press.
92. Heyting, A., 1931. “Die intuitionistische Grundlegung der Mathematik,” Erkenntnis 2, 106–115. Translated by E. Putnam and G. Massey in Benacerraf and Putnam (eds.) 1983, 52–61.
93. Heyting, A., 1962. “After Thirty Years,” in E. Nagel, P. Suppes, and A. Tarski (eds.), Logic, Methodology and Philosophy of Science. Stanford, Calif.: Stanford University Press, 194–197.
94. Heyting, A., 1971. Intuitionism: An Introduction, 3rd ed. Amsterdam: North-Holland.
95. Hilbert, D., 1926. “Über das Unendliche,” Mathematische Annalen 95, 161–190. Translated by S. Bauer-Mengelberg in van Heijenoort (ed.) 1967, 367–392.
96. Hill, C., and Rosado-Haddock, G., 2000. Husserl or Frege? La Salle, Ill.: Open Court.
97. Husserl, E., 1891. Philosophie der Arithmetik. Psychologische und logische Untersuchungen. Halle: Pfeffer.
98. Husserl, E., 1900. Logische Untersuchungen, Erster Theil: Prolegomena zur reinen Logik. Halle: M. Niemeyer. 2nd ed. 1913.
99. Husserl, E., 1901. Logische Untersuchungen, Zweiter Theil: Untersuchungen zur Phanomenologieund Theorie der Erkenntnis. Halle: M. Niemeyer. 2nd ed. in two parts 1913/22.
100. Husserl, E., 1911. “Philosophie als strenge Wissenschaft,” Logos I, 289–341.
101. Husserl, E., 1913. “Ideen zu einer reinen Phänomenologie und phänomenologischen Philosophie,” Jahrbuch für Philosophie und phänomenologische Forschung1, 1–323. Published simultaneously as Separatum by M. Niemeyer.
102. Husserl, E., 1928. “Vorlesungen zur Phänomenologie des inneren Zeitbewusstseins,” edited by M. Heidegger in Jahrbuch für Philosophie und phanomenologische Forschung 9, viii–x, 367–498. Published simultaneously by M. Niemeyer.
103. Husserl, E., 1929. “Formale und transzendentale Logik. Versuch einer Kritik der logischen Vernunft,” Jahrbuch für Philosophie und phanomenologische Forschung 10, v–viii, 1–298. Published simultaneously as Separatum.
104. Husserl, E., 1931. Méditations cartésiennes. Introduction à la phenoménologie. Paris: Librairie Armand Colin.
105. Husserl, E., 1936. “Die Krisis der europaischen Wissenschaften und die transzendentale Phanomenologie,” Philosophia1, 77–176.
106. Husserl, E., 1939. Erfahrung und Urteil: Untersuchungen zur Genealogie der Logik. Edited by L. Landgrebe. Prague: Akademia Verlagsbuchhandlung.
107. Husserl, E., 1950a. Cartesianische Meditationen und Pariser Vortrage. Husserliana I. 2nd ed. 1973. The Hague: Nijhoff.
108. Husserl, E., 1950b. Ideen zu einer reinen Phänomenologie und phänomenologischen Philosophie. Erstes Buch: Allgemeine Einfuahrung in die reine Phänomenologie. Husserliana III. Revised ed. in two parts 1976. The Hague: Nijhoff.
109. Husserl, E., 1952a. Ideen zu einer reinen Phänomenologie und phänomenologischen Philosophie. Zweites Buch: Phanomenologische Untersuchungen zur Konstitution. Husserliana IV. The Hague: Nijhoff.
110. Husserl, E., 1952b. Ideen zu einer reinen Phanomenologie und phanomenologischen Philosophie. Drittes Buch: Die Phanomenologie und die Fundamente der Wissenschaften. Husserliana V. The Hague: Nijhoff.
111. Husserl, E., 1954. Die Krisis der europaaischen Wissenschaften und die transzendentale Phaanomenologie. Husserliana VI. The Hague: Nijhoff.
112. Husserl, E., 1960. Cartesian Meditations: An Introduction to Phenomenology. Translated by D. Cairns. The Hague: Martinus Nijhoff.
113. Husserl, E., 1962. Phanomenologische Psychologie. Vorlesungen Sommersemester 1925. Husserliana IX. The Hague: Nijhoff.
114. Husserl, E., 1965. “Philosophy as Rigorous Science,” Translated by Q. Lauer in Phenomenology and the Crisis of Philosophy. New York: Harper, 71–147.
115. Husserl, E., 1966. Zur Phanomenologie des inneren Zeitbewusstseins (1893–1917). Husserliana X. Revised ed. 1966. The Hague: Nijhoff.
116. Husserl, E., 1969. Formal and Transcendental Logic. Translated by D. Cairns. The Hague: Nijhoff.
117. Husserl, E., 1970a. Philosophie der Arithmetik (1890–1901). Husserliana XII. The Hague: Nijhoff.
118. Husserl, E., 1970b. The Crisis of the European Sciences and Transcendental Phenomenology. Trans-lated by D. Carr. Evanston, Ill.: Northwestern University Press.
119. Husserl, E., 1973a. Ding und Raum. Husserliana XVI. The Hague: Nijhoff.
120. Husserl, E., 1973b. Experience and Judgment. Translated by J. Churchill and K. Ameriks. Evanston, Ill.: Northwestern University Press.
121. Husserl, E., 1973c. Logical Investigations, Vols. I and II. Translation of the 2nd ed. by J. N. Findlay. London: Routledge and Kegan Paul.
122. Husserl, E., 1974. Formale und transzendentale Logik. Versuch einer Kritik der logischen Vernunft. Husserliana XVII. The Hague: Nijhoff.
123. Husserl, E., 1975. Logische Untersuchungen. Erster Band: Prolegomena zur reinen Logik. Husserliana XVIII. The Hague: Nijhoff.
124. Husserl, E., 1977. Phenomenological Psychology: Lectures, Summer Semester 1925. Translated by J. Scanlon. The Hague: Nijhoff.
125. Husserl, E., 1979. Aufsaatze und Rezensionen (1890–1910). Husserliana XXII. The Hague: Nijhoff.
126. Husserl, E., 1980. Ideas Pertaining to a Pure Phenomenology and to a Phenomenological Philosophy: Third Book. Translated by T. Klein and W. Pohl. Dordrecht: Kluwer.
127. Husserl, E., 1982. Ideas Pertaining to a Pure Phenomenology and to a Phenomenological Philosophy: First Book. Translated by F. Kersten. Dordrecht: Kluwer.
128. Husserl, E., 1983. Studien zur Arithmetik und Geometrie (1886-1901). Husserliana XXI. The Hague: Nijhoff.
129. Husserl, E., 1984a. Logische Untersuchungen. Zweiter Band: Untersuchunger zur Phaanomenologie und Theorie der Erkenntnis. Husserliana XIX, 2 vols. The Hague: Nijhoff.
130. Husserl, E., 1984b. Einleitung in die Logik und Erkenntnistheorie. Vorlesungen 1906/07. Husserliana XXIV. The Hague: Nijhoff.
131. Husserl, E., 1989. Ideas Pertaining to a Pure Phenomenology and to a Phenomenological Philosophy: Second Book. Translated by R. Rojcewicz and A. Schuwer. Dordrecht: Kluwer.
132. Husserl, E., 1990. On the Phenomenology of the Consciousness of Internal Time (1893-1917). Translated by J. Brough. Dordrecht: Kluwer.
133. Husserl, E., 1994. Early Writings in the Philosophy of Mathematics and Logic. Translated by D. Willard. Dordrecht: Kluwer.
134. Husserl, E., 1997. Thing and Space: Lectures of 1907. Translation by R. Rojcewicz. Dordrecht: Kluwer.
135. Husserl, E., 2003. Philosophy of Arithmetic: Psychological and Logical Investigations. Translated by D. Willard. Dordrecht: Kluwer.
136. Jackson, F., 1986. “What Mary Didn’t Know,” Journal of Philosophy 83, 291–295.
137. Kac, M., Rota, G., and Schwartz, J. T., 1986. Discrete Thoughts: Essays on Mathematics, Science and Philosophy. Boston: Birkhauser.
138. Kant, I., 1973. Critique of Pure Reason. Translated by N. K. Smith. London: Macmillan. 1st ed. originally published in 1781; 2nd ed. originally published in 1787z.
139. Kaufmann, F., 1930. Das Unendliche in der Mathematik und seine Ausschaltung. Wien: Deuticke. Translated by P. Foulkes as The Infinite in Mathematics. Dordrecht: Reidel, 1978.
140. Kim, J., 1981. “The Role of Perception in A Priori Knowledge,” Philosophical Studies 40, 339–354.
141. Kleene, S., 1952. Introduction to Metamathematics. Amsterdam: North-Holland.
142. Klein, F., 1893. “Vergleichende Betrachtungen über neuere geometrische Forschungen,” Mathematische Annalen 43, 63–100. This is a revised text of the “Erlanger Program” paper that was first published in 1872.
143. Klein, F., 1948. Elementary Mathematics from an Advanced Standpoint. Part II. Geometry. Translated by E. Hedrick and C. Noble. New York: Dover.
144. Kockelmans, J., 1993. Ideas for a Hermeneutical Phenomenology of the Natural Sciences. Dordrecht: Kluwer.
145. Kockelmans, J., and Kisiel, T. (eds.), 1970. Phenomenology and the Natural Sciences. Evanston, Ill.: Northwestern University Press.
146. Kolmogorov, A., 1932. “Zur Deutung der Intuitionistischen Logik,” Mathematische Zeitschrift 35, 58–65. Translated by P. Mancosu in P. Mancosu (ed.) 1998, 328–334.
147. Kreisel, G., 1967. “Informal Rigour and Completeness Proofs,” in I. Lakatos (ed.), Problems in the Philosophy of Mathematics. Amsterdam: North-Holland, 138–86. 1971. “Observations on Popular Discussions of Foundations,” in Scott (ed.) 1971, 189–198.
148. Kreisel, G., 1980. “Kurt Godel, 28 April 1906–14 January 1978,” Biographical Memoirs of Fellows of the Royal Society 26, 148–224.
149. Leonardi, P., and Santambrogio, M. (eds.), 1995. On Quine. Cambridge: Cambridge University Press.
150. Lohmar, D., 1989. Phanomenologie der Mathematik. Dordrecht: Kluwer.
151. Lucas, J. R., 1961. “Minds, Machines and Gödel,” Philosophy 36, 112–127.
152. MacLane, S., and Moerdijk, I., 1995. Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Berlin: Springer Verlag.
153. Maddy, P., 1980. “Perception and Mathematical Intuition,” Philosophical Review 89, 163–196.
154. Maddy, P., 1983. “Proper Classes,” Journal of Symbolic Logic 48, 113–139.
155. Maddy, P., 1990. Realism in Mathematics. Oxford: Oxford University Press.
156. Mancosu, P., forthcoming. “‘Das Abenteuer der Vernunft’: O. Becker and D. Mahnke on the Phenomenological Foundations of the Exact Sciences.” (ed.), 1998. From Brouwer to Hilbert. Oxford: Oxford University Press.
157. Mancosu, P., and Ryckman, T., 2002. “The Correspondence Between O. Becker and H. Weyl,” Philosophia Mathematica 10, 130–202.
158. Mancosu, P., and Ryckman, T., Forthcoming. “Geometry, Physics and Phenomenology: Four Letters of O. Becker to H. Weyl.”
159. Martin-Löf, P., 1982. “Constructive Mathematics and Computer Programming,” in H. Rose and J. Shepherdson (eds.), Logic, Methodology and Philosophy of Science, Vol. VI. Amsterdam: North-Holland, 73–118.
160. Martin-Löf, P., 1983–84. “On the Meanings of the Logical Constants and the Justifications of the Logical Laws,” in Atti Degli Incontri di Logica Matematica, Vol. 2. Siena: Università di Siena, 203–281.
161. Martin-Löf, P., 1984. Intuitionistic Type Theory, Napoli: Bibliopolis.
162. Martin-Löf, P., 1987. “Truth of a Proposition, Evidence of a Judgment, Validity of a Proof,” Synthese 73, 407–420.
163. Merleau-Ponty, M., 1962. Phenomenology of Perception. Translated by C. Smith. London: Routledge & Kegan Paul. Original French ed. 1945.
164. Meserve, B., 1953. Fundamental Concepts of Geometry. New York: Dover.
165. Miller, I., 1984. Husserl, Perception, and Temporal Awareness. Cambridge, Mass.: MIT Press.
166. Miller, J. P., 1982. Numbers in Presence and Absence. Dordrecht: Nijhoff.
167. Mohanty, J. N., 1982. Husserl and Frege. Bloomington: Indiana University Press.
168. Natanson, M. (ed.), 1973. Phenomenology and the Social Sciences, 2 vols. Evanston, Ill.: Northwestern University Press.
169. Pagels, H., 1988. The Dreams of Reason: The Computer and the Rise of the Sciences of Complexity. New York: Simon & Schuster.
170. Paris, J., and Harrington, L., 1977. “A Mathematical Incompleteness in Peano Arithmetic,” in Barwise (ed.) 1977, 1133–1142.
171. Parsons, C., 1965. “Frege’s Theory of Number,” in M. Black (ed.), Philosophy in America. London: Allen & Unwin. Reprinted in Parsons 1983a, 150–175.
172. Parsons, C., 1977. “What Is the Iterative Conception of Set?” in R. Butts and J. Hintikka (eds.), Logic, Foundations of Mathematics, and Computaibility Theory. Dordrecht: Reidel, 335–367. Reprinted in Parsons 1983a, 268–297.
173. Parsons, C., 1980. “Mathematical Intuition,” Proceedings of the Aristotelian Society, 80, 145–168.
174. Parsons, C., 1983a. Mathematics in Philosophy: Selected Essays. Ithaca, N.Y.: Cornell University Press.
175. Parsons, C., 1983b. “Quine on the Philosophy of Mathematics” in Parsons 1983a, 176–205.
176. Parsons, C., 1986. “Intuition in Constructive Mathematics” in J. Butterfield (ed.), Language, Mind and Logic. Cambridge: Cambridge University Press, 211–229.
177. Parsons, C., 1990. “Introductory Note to 1944,” in Feferman et al. (eds.) 1990, 102–118.
178. Parsons, C., 1992. “The Impredicativity of Induction,” in M. Detlefsen (ed.), Proof, Logic and Formalization. London: Routledge, 139–161.
179. Parsons, C., 1995a. “Platonismi and Mathematical Intuition in Kurt Gödel’s Thought,” Bulletin of Symbolic Logic 1, 44–74.
180. Parsons, C., 1995b. “Quine and Gödel on Analyticity,” in Leonardi and Santambrogio (eds.) 1995, 297–313.
181. Penrose, R., 1989. The Emperor’s New Mind. Oxford: Oxford University Press.
182. Penrose, R., 1994. Shadows of the Mind: A Search for the Missing Science of Consciousness. Oxford: Oxford University Press.
183. Poincare, H., 1902. La Science et l’hypothèse. Paris: Ernest Flammarion. Translated by G. Holsted as Science and Hypothesis. New York: Dover, 1952.
184. Poincare, H., 1905. La valeur de la science. Paris: Ernest Flammarion. Translated by G. Halsted as The Value of Science. New York: Dover, 1958.
185. Poincare, H., 1908. Science et méethode. Paris: Ernest Flammarion. Translated by F. Maitland as Science and Method. New York: Dover, 1952.
186. Poincare, H., 1913. Dernières pensées. Paris: Ernest Flammarion. Translated by J. Bolduc as Mathematics and Science: Last Essays. New York: Dover, 1963.
187. Pollard, S., 1987. “Introduction to The Continuum,” in Weyl 1987, xv–xxvi.
188. Prawitz, D., 1965. Natural Deduction: A Proof Theoretical Study. Stockholm: Almqvist and Wiksell.
189. Prawitz, D., 1977. “Meaning and Proofs: On the Conflict Between Classical and Intuitionistic Logic,” Theoria 4, 1–40.
190. Prawitz, D., 1978. “Proof and the Meaning and Completeness of the Logical Constants,” in J. Hintikka, I. Niiniluoto, and E. Saarinen et al. (eds.), Essays on Mathematical and Philosophical Logic. Dordrecht: Reidel, 25–40.
191. Quine, W. V., 1937. “New Foundations for Mathematical Logic,” American Mathematical Monthly 44, 70–80. Reprinted with revisions in Quine 1953, 80–101.
192. Quine, W. V., 1940. Mathematical Logic. New York: Norton. Revised 2nd ed., Cambridge, Mass.: Harvard University Press, 1951.
193. Quine, W. V., 1951. “Two Dogmas of Empiricism,” reprinted in Quine 1953, 20–46.
194. Quine, W. V., 1953. From a Logical Point of View. Cambridge, Mass.: Harvard University Press.
195. Quine, W. V., 1960. Word and Object. Cambridge, Mass.: MIT Press.
196. Quine, W. V., 1966a. “Necessary Truth,” in Quine 1966b, 68–76.
197. Quine, W. V., 1966b. The Ways of Paradox and Other Essays. New York: Random House.
198. Quine, W. V., 1969. Set Theory and Its Logic, 2nd ed. Cambridge, Mass.: Harvard University Press.
199. Quine, W. V., 1970. Philosophy of Logic. Englewood Cliffs, N.J.: Prentice-Hall.
200. Quine, W. V., 1974. The Roots of Reference. La Salle, Ill.: Open Court.
201. Quine, W. V., 1984. “Review of Charles Parsons’ Mathematics in Philosophy,” Journal of Philosophy 81, 783–794.
202. Quine, W. V., 1986. “Reply to Charles Parsons,” in L. Hahn and P. A. Schilpp (eds.), The Philosophy of W. V. Quine. LaSalle, Ill.: Open Court, 396–403.
203. Quine, W. V., 1992. Pursuit of Truth, 2nd ed. Cambridge, Mass.: Harvard University Press.
204. Quine, W. V., 1995. From Stimulus to Science. Cambridge, Mass.: Harvard University Press.
205. Resnik, M., 1979. “Frege as Idealist and Then Realist,” Inquiry 22, 350–57.
206. Resnik, M., 1980. Frege and the Philosophy of Mathematics. Ithaca, N.Y.: Cornell University Press.
207. Riemann, B., 1959. Über die Hypothesen, welche der Geometrie zugrunde leigen. Darmstadt: Wissenschaftliche Buchgesellschaft. Reprint of the 1st ed., published in 1867 in Abhandlungen der Kgl. Gesellschaft der Wissenschaften zu Göttingen, Vol. 13.
208. Rosado-Haddock, G., 1987. “Husserl’s Epistemology of Mathematics and the Foundation of Platonism in Mathematics,” Husserl Studies 4, 81–102. Reprinted in Hill and Rosado-Haddock 2000, 221–239.
209. Saaty, T. L., and Weyl, F.J., 1969. The Spirit and the Uses of the Mathematical Sciences. New York: McGraw-Hill.
210. Schmit, R., 1981. Husserls Philosophieder Mathematik. Platonistischeund konstruck-tivistische Momente in Husserls Mathematikbegriff. Bonn: Grundmann.
211. Scott, D. (ed.), 1971. Axiomatic Set Theory, Proceedings of Symposia in Pure Mathematics, Vol. 13, part 1. Providence, R. I.: American Mathematical Society.
212. Searle, J., 1980. “Minds, Brains and Programs,” Behavioral and Brain Sciences 3, 417–457.
213. Searle, J., 1983. Intentionality. Cambridge: Cambridge University Press.
214. Seebohm, T., Føllesdal, D., and Mohanty, J. N. (eds.), 1991. Phenomenology and the Formal Sciences. Dordrecht: Kluwer.
215. Sluga, H., 1980. Gottlob Frege. London: Routledge & Kegan Paul.
216. Smith, D., 1984. “Content and Context of Perception,” Synthese 61, 61–87.
217. Smith, D., and McIntyre, R., 1982. Husserl and Intentionality. Dordrecht: Reidel.
218. Steiner, M., 1975. Mathematical Knowledge. Ithaca, N.Y.: Cornell University Press.
219. Stroker, E., 1979. Lebenswelt und Wissenschaft inder Philosophie Edmund Husserls. Frankfurt am Main: Vittorio Klostermann.
220. Stroker, E., 1987a. The Husserlian Foundations of Science. Lanham, Md.: Center for Advanced Research in Phenomenology/University Press of America.
221. Stroker, E., 1987b. Investigationsin the Philosophy of Space. Translated by A. Mickunas. Athens, Ohio: Ohio University Press.
222. Stroker, E., 1988. “Husserl and the Philosophy of Science,” Journal of the British Society for Phenomenology 19, 221–234.
223. Sundholm, G., 1983. “Constructions, Proofs and the Meanings of the Logical Constants,” Journal of Philosophical Logic12, 151–172.
224. Sundholm, G., 1986. “Proof Theory and Meaning,” in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. III. Dordrecht: Kluwer/Reidel, 471–506.
225. Tait, W. W., 1981. “Finitism,” Journal of Philosophy 78, 524–546.
226. Tieszen, R., 1984. “Mathematical Intuition and Husserl’s Phenomenology,” Nouus 18, 395–421.
227. Tieszen, R., 1989. Mathematical Intuition: Phenomenology and Mathematical Knowledge. Dordrecht: Kluwer.
228. Tieszen, R., 1990. “Frege and Husserl on Number,” Ratio 3, 150–164.
229. Tieszen, R., 1991. “Review of D. Lohmar, Phaanomenologie der Mathematik,” Husserl Studies 7, 199–205
230. Tieszen, R., 1994a. “What Is the Philosophical Basis of Intuitionistic Mathematics?”, in D. Prawitz, B. Skyrms, and D. Westerstahl (eds.), Logic, Methodology and Philosophy of Science IX. Amsterdam: Elsevier, 579–594.
231. Tieszen, R., 1994b. “Mathematical Realism and Gödel’s Incompleteness Theorems,” Philosophia Mathematica 2, 177–201.
232. Tieszen, R., 1997a: “Review of Kurt Göadel: Unpublished Philosophical Essays,”Edited by F. Rodriguez-Consuegra, Annals of Science 54, 99–101.
233. Tieszen, R., 1997b. “Science Within Reason: Is There a Crisis of the Modern Sciences?” in M. Otte and M. Panza (eds.), Analysis and Synthesis in Mathematics. Dordrecht: Kluwer, 243–259.
234. Tieszen, R., 2004. “Husserl’s Logic,” in D. Gabbay and J. Woods (eds.), The Handbook of the History of Logic: The Rise of Modern Logic: From Leibniz to Frege. Amsterdam: Elsevier, 207–321.
235. Tonietti, T., 1988. “Four Letters of E. Husserl to H. Weyl and their Context,” in Deppert (ed.) 1988, 343–384.
236. Torretti, R., 1978. Philosophy of Geometry from Riemann to Poincaré. Dordrecht: Reidel.
237. Tragesser, R., 1977. Phenomenology and Logic. Ithaca, N.Y.: Cornell University Press.
238. Tragesser, R., 1984. Husserl and Realism in Logic and Mathematics. Cambridge: Cambridge University Press.
239. Troelstra, A., 1969. “Principles of Intuitionism,” Lecture Notes in Mathematics 95. Berlin: Springer Verlag.
240. Troelstra, A., 1982, “Logic in the Writings of Brouwer and Heyting,” in Atti del convegno internazionale di Storia della Logica. San Gimignano, dicembre 4–8, 1982. Bologna: CLUEB, 193–210.
241. Troelstra, A., 1990. “On the Early History of Intuitionistic Logic,” in P. Pethov (ed.), in Proceedings of the Heyting ‘88 Summer School and Conference on Mathematical Logic, September 13-23, 1988. New York: Plenum, 3–17.
242. Troelstra, A., and van Dalen, D., 1988. Constructivism in Mathematics, 2 vols. Amsterdam: North-Holland.
243. van Atten, M., 1999. “Phenomenology of Choice Sequences,” Proefschrift, Universiteit Utrecht.
244. van Atten, M., and Kennedy, J., 2003. “On the Philosophical Development of Kurt Gödel,” Bulletin of Symbolic Logic 9, 425–476.
245. van Atten, M., van Dalen, D., and Tieszen, R., 2002. “Brouwer and Weyl: The Phenomenology and Mathematics of the Intuitive Continuum,” Philosophia Mathematica 10, 203–226.
246. van Dalen, D. 1973. “Lectures on Intuitionism,” Lecture Notes in Mathematics 337. Berlin: Springer Verlag.
247. van Dalen, D. 1984. “Four Letters from Edmund Husserl to Hermann Weyl,” Husserl Studies 1, 1–12.
248. van Dalen, D. 1991. “Brouwer’s Dogma of Languageless Mathematics and Its Role in His Writings,” in E. Heijerman and H. Schmit (eds.), Significs, Mathematics and Semiotics. Amsterdam: Benjamins, 33–43.
249. van Dalen, D. 1995. “Hermann Weyl’s Intuitionistic Mathematics,” Bulletin of Symbolic Logic 1, 145–169.
250. van Dalen, D. 1999. Mystic, Geometer and Intuitionist: The Life of L. E. J. Brouwer, Vol. 1. Oxford: Oxford University Press.
251. van Heijenoort, J. (ed.), 1967. From Frege to Gödel. Cambridge, Mass.: Harvard University Press.
252. Wang, H., 1974. From Mathematics to Philosophy. New York: Humanities Press.
253. Wang, H., 1978. “Kurt Gödel’s Intellectual Development,” Mathematical Intelligencer 1, 182–184.
254. Wang, H., 1981. “Some Facts About Kurt Gödel,” Journal of Symbolic Logic 46, 653–659.
255. Wang, H., 1986. Beyond Analytic Philosophy: DoingJustice to What WeKnow. Cambridge, Mass.: MIT Press.
256. Wang, H., 1987. Reflections on Kurt Gödel. Cambridge, Mass.: MIT Press.
257. Wang, H., 1996. A Logical Journey: From Gödel to Philosophy. Cambridge, Mass.: MIT Press.
258. Weyl, H., 1910. “Über die Definitionen der mathematischen Grundbegriffe,” Mathematische-naturwissenschaftliche Blätter 7, 93–95, 109–113. Reprinted in Weyl 1968, I, 298–304.
259. Weyl, H., 1918a. Das Kontinnum. Leipzig: Veit.
260. Weyl, H., 1918b. Raum, Zeit, Materie. Berlin: Springer Verlag.
261. Weyl, H., 1919. “Der circulus vitiosus in der heutigen Begründung der Analysis,” Jahrebericht der Deutschen Mathematiker-Vereinigung 28, 85–92. Reprinted in Weyl 1968, I, 43–50. English translation in Weyl 1987.
262. Weyl, H., 1921. “Über die neue Grundlagenkrise der Mathematik,” Mathematische Zeitschrift 10, 39–79. Reprinted in Weyl 1968, II, 143–80. Translated by B. Muller in Mancosu (ed.) 1998, 86–118.
263. Weyl, H., 1925. “Die heutige Erkenntnislage in der Mathematik,” Symposion1, 1–23. Reprinted in Weyl 1968, II, 511–542. Translated by B. Müller in Mancosu (ed.) 1998, 123–142.
264. Weyl, H., 1926. Philosophie der Mathematik und Naturudssenschaft. München: Leibniz Verlag. Expanded and translated as Philosophy of Mathematics and Natural Science. Princeton, N.J.: Princeton University Press.
265. Weyl, H., 1928. “Diskussionsbemerkungen zu dem zweiten Hilbertschen Vortrag über die Grundlagen der Mathematik,” Abhandlungen aus dem ma hema ischen Seminar der Hamburgischen Universität6, 86–88. Translated by S. Bauer-Mengelberg and D. Føllesdal in van Heijenoort (ed.) 1967, 480–84.
266. Weyl, H., 1949. Philosophy of Mathematics and Natural Science. Princeton, N.J.: Princeton University Press.
267. Weyl, H., 1955. “Erkenntnis und Besinnung (Ein Lebensrückblick),” Studia Philosophica 15, 17–38. Reprinted in Weyl 1968, IV, 631–49. Translated in Saaty and Weyl 1969, 281–301.
268. Weyl, H., 1968. Gesammelte Abhandlungen, I–IV. Edited by K. Chandrasekharan. Berlin: Springer Verlag.
269. Weyl, H., 1985. Space, Time, Matter. New York: Dover.
270. Weyl, H., 1987. The Continuum. Translated by S. Pollard and T. Bole. Kirksville, Mo.: Thomas Jefferson Press.
271. Willard, D., 1981. “Introduction to ‘On the Concept of Number’,” in F. Elliston and P. McCormick (eds.), Husserl: Shorter Works. Notre Dame, Ind.: University of Notre Dame Press.
272. Willard, D., 1984. Logic and the Objectivity of Knowledge. Athens, Ohio: Ohio University Press.
273. Wright, C., 1982. “Strict Finitism,” Synthese 51, 203–282.
274. Zermelo, E., 1908. “Neuer Beweis fur die Möglichkeit einer Wohlordnung,” Mathematische Annalen 65, 107–128. Translated by S. Bauer-Mengelberg as “A New Proof of the Possibility of a Well-Ordering,” in van Heijenoort (ed.) 1967, 183–198.
275. Zermelo, E., 1930. “Über Grenzzahlen und Mengenbereiche,” Fundamenta Mathematicae 16, 29–47.