Phenomenology, Logic, and the Philosophy of Mathematics

Richard Tieszen

doi:10.1017/CBO9780511498589

References

Bibliography

Barwise, J. (ed.), 1977. Handbook of Mathematical Logic. Amsterdam: North Holland

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

Becker, O., 1927. “Mathematische Existenz: Untersuchungen zur Logik und Ontologie mathematischer Phänomene”, Jahrbuch für Philosophie und phänomenologische Forschung 8, 439–809

Bell, D., 1990. Husserl. London: Routledge

Benacerraf, P., 1973. “Mathematical Truth”, Journal of Philosophy 70, 661–679

Benacerraf, P., and Putnam, H. (eds.), 1983. Philosophy of Mathematics: Selected Readings, 2nd ed. Cambridge: Cambridge University Press

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

Bishop, E., 1967. Foundations of Constructive Analysis. New York: McGraw-Hill

Boolos, G., 1971. “The Iterative Conception of Set”, Journal of Philosophy 68, 215–232

Boolos, G., 1987. “A Curious Inference”, Journal of Philosophical Logic 16, 1–12

Brouwer, L. E. J., 1921. “Comments on Weyl 1921.” Translated by W. van Stigt in P. Mancosu (ed.) 1998, 119–122

Brouwer, L. E. J., 1975. Collected Works, Vol. I. Edited by A. Heyting. Amsterdam: North Holland

Carnap, R., 1922. Der Raum. Ein Betrag zur Wissenschaftslehre. Kant-Studien Ergänzungsheft 56. Berlin: Reuther & Reichard

Curry, H., 1951. Outline of a Formalist Philosophy of Mathematics. Amsterdam: North Holland

da Silva, J., 1997. “Husserl's Phenomenology and Weyl's Predicativism”, Synthese 110, 277–296

Dennett, D., 1971. “Intentional Systems”, Journal of Philosophy 68, 87–106

Deppert, W. (ed.), 1988. Exact Sciences and Their Philosophical Foundations. Frankfurt am Main: Lang

Detlefsen, M., 1990. “Brouwerian Intuitionism”, Mind 99, 501–534

Detlefsen, M., 1992. “Poincaré Against the Logicians”, Synthese 90, 349–378

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

Drummond, J., 1984. “The Perceptual Roots of Geometric Idealization”, Review of Metaphysics 37, 785–810

Dummett, M., 1973. Frege: Philosophy of Language. New York: Harper & Row

Dummett, M., 1977. Elements of Intuitionism. Oxford: Oxford University Press

Dummett, M., 1978. “The Philosophical Basis of Intuitionistic Logic”, in M. Dummett, Truth and Other Enigmas. Cambridge, Mass.: Harvard University Press, 186–201

Dummett, M., 1981. The Interpretation of Frege's Philosophy. Cambridge, Mass.: Harvard University Press

Dummett, M., 1991. The Logical Basis of Metaphysics. Cambridge, Mass.: Harvard University Press

Dummett, M., 1991a. Frege and Other Philosophers. Oxford: Oxford University Press

Dummett, M., 1991b. “Frege and the Paradox of Analysis”, in Dummett 1991a, 16–52

Dummett, M., 1991c. Frege: Philosophy of Mathematics. Cambridge, Mass.: Harvard University Press

Dummett, M., 1991d. “Thought and Perception: The Views of Two Philosophical Innovators”, in Dummett 1991a, 263–288

Dummett, M., 1993. “What Is a Theory of Meaning? (II)”, in M. Dummett, The Seas of Language. Oxford: Oxford University Press, 34–93

Dummett, M., 1994. Origins of Analytic Philosophy. Cambridge, Mass.: Harvard University Press

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

Feferman, S., 1996. “Penrose's Gödelian Argument”, Psyche 2, 21–32

Feferman, S., 1998. In the Light of Logic. Oxford: Oxford University Press

Feferman, S., et al. (eds.), 1986. Kurt Gödel: Collected Works, Vol. I. Oxford: Oxford University Press

Feferman, S., 1990. Kurt Gödel: Collected Works, Vol. II. Oxford: Oxford University Press

Feferman, S., 1995. Kurt Gödel: Collected Works, Vol. III. Oxford: Oxford University Press

Fichte, J. G., 1908–1912. Werke, 6 vols. Edited by F. Medicus. Leipzig: Meiner

Field, H., 1989. Realism, Mathematics and Modality. Oxford: Blackwell

Folina, J., 1992. Poincaré and the Philosophy of Mathematics. New York: St. Martin's Press

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

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

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

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

Frege, G. 1892. “Uber Sinn und Bedeutung”, Zeitschrift für Philosophie und philosophische Kritik 100, 25–50. Translated by M. Black in P. Geach and M. Black (eds.) 1970, 56–78

Frege, G., 1892–95. “Comments on Sense and Reference”, in Hermes et al. 1979, 118–125

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

Frege, G. 1894. “Review of E. Husserl, Philosophie der Arithmetik”, Zeitschrift für Philosophie und philosophische Kritik 103, 313–332. Translated by E. Kluge, in Mind 81, 1972, 321–337

Frege, G., 1903. Grundgesetze der Arithmetik, Vol. II. Jena: H. Pohle. Translated in part in P. Geach and M. Black (eds.) 1970, 173–244

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

Frege, G., 1924–25a. “A New Attempt at a Foundation for Arithmetic”, in Hermes et al. 1979, 278–281

Frege, G., 1924–25b. “Numbers and Arithmetic”, in Hermes et al. 1979, 275–277

Frege, G., 1924–25c. “Sources of Knowledge of Mathematics and the Mathematical Natural Sciences”, in Hermes et al. 1979, 267–274

Friedman, M., 1999. Reconsidering Logical Positivism. Cambridge: Cambridge University Press

Friedman, M., 2000. A Parting of the Ways: Carnap, Cassirer, and Heidegger. La Salle, Ill.: Open Court

Geach, P., and Black, M. (eds.), 1970. Translations from the Philosophical Writings of Gottlob Frege. Oxford: Blackwell

George, A., 1988. “The Conveyability of Intuitionism: An Essay on Mathematical Cognition”, Journal of Philosophical Logic 17, 133–156

George, A. 1993. “How Not to Refute Realism”, Journal of Philosophy 90, 53–72

Gödel, K., 1929. “On the Completeness of the Calculus of Logic”, in Feferman et al. (eds.) 1986, 60–101

Gödel, K., 1931. “On Formally Undecidable Propositions of Principia Mathematica and Related Systems I”, in Feferman et al. (eds.) 1986, 145–195

Gödel, K., 1933e. “On Intuitionistic Arithmetic and Number Theory”, in Feferman et al. (eds.) 1986, 286–295

Gödel, K., 1933f. “An Interpretation of the Intuitionistic Propositional Calculus”, in Feferman et al. (eds.) 1986, 300–303

Gödel, K., *1933o. “The Present Situation in the Foundations of Mathematics”, in Feferman et al. (eds.) 1995, 45–53

Gödel, K., 1934. “On Undecidable Propositions of Formal Mathematical Systems”, in Feferman et al. (eds.) 1986, 346–371

Gödel, K., *1938a. “Lecture at Zilsel's”, in Feferman et al. (eds.) 1995, 87–113

Gödel, K., *193?. “Undecidable Diophantine Propositions”, in Feferman et al. (eds.) 1995, 164–175

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

Gödel, K., *1941. “In What Sense Is Intuitionistic Logic Constructive?” in Feferman et al. (eds.) 1995, 189–2000

Gödel, K., 1944. “Russell's Mathematical Logic”, in Feferman et al. (eds.) 1990, 119–143

Gödel, K., 1946. “Remarks Before the Princeton Bicentennial Conference on Problems in Mathematics”, in Feferman et al. (eds.) 1990, 150–153

Gödel, K., 1947. “What Is Cantor's Continuum Problem?” in Feferman et al. (eds.) 1990, 176–187

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

Gödel, K., 1949a. “A Remark About the Relationship Between Relativity Theory and Idealistic Philosophy”, in Feferman et al. (eds.) 1990, 202–207

Gödel, K., *1951. “Some Basic Theorems on the Foundations of Mathematics and Their Implications”, in Feferman et al. (eds.) 1995, 304–323

Gödel, K., *1953/59, III and V. “Is Mathematics Syntax of Language?” in Feferman et al. (eds.) 1995, 334–363

Gödel, K., 1958. “On an Extension of Finitary Mathematics Which Has Not Yet Been Used”, in Feferman et al. (eds.) 1990, 240–251

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

Gödel, K., 1964. “What Is Cantor's Continuum Problem?” in Feferman et al. (eds.) 1990, 254–270. Revised version of Gödel 1947

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

Gödel, K., 1972a. “Some Remarks on the Undecidability Results”, in Feferman et al. (eds.) 1990, 305–306

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

Greenberg, M. J., 1993. Euclidean and Non-Euclidean Geometries, 3rd ed. New York: W. H. Freeman

Gurwitsch, A., 1974. Phenomenology and the Theory of Science. Evanston, Ill.: Northwestern University Press

Hallett, M., 1984. Cantorian Set Theory and Limitation of Size. Oxford: Oxford University Press

Hardy, L., and Embree, L. (eds.), 1993. Phenomenology of Natural Science. Dordrecht: Kluwer

Hauser, K., forthcoming. “Gödel's Program Revisted”, in Husserl Studies

Heelan, P., 1983. Space Perception and the Philosophy of Science. Berkeley: University of California Press

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

Heidegger, M., 1962. Being and Time. Translated by J. Macquarrie and E. Robinson. New York: Harper & Row. Originally published in German in 1927

Heinzmann, G., 1997. “Umfangslogik, Inhaltslogik, Theorematic Reasoning”, in E. Agazzi and G. Darvas (eds.), Philosophy of Mathematics Today. Dordrecht: Kluwer, 353–361

Hermes, H., Kambartel, F., and Kaulbach, F. (eds.), 1979. Gottlob Frege: Posthumous Writings. Translated by P. Long and R. White. Chicago: University of Chicago Press

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

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

Heyting, A., 1971. Intuitionism: An Introduction, 3rd ed. Amsterdam: North-Holland

Hilbert, D., 1926. “Über das Unendliche”, Mathematische Annalen 95, 161–190. Translated by S. Bauer-Mengelberg in van Heijenoort (ed.) 1967, 367–392

Hill, C., and Rosado-Haddock, G., 2000. Husserl or Frege? La Salle, Ill.: Open Court

Husserl, E., 1891. Philosophie der Arithmetik. Psychologische und logische Untersuchungen. Halle: Pfeffer

Husserl, E., 1900. Logische Untersuchungen, Erster Theil: Prolegomena zur reinen Logik. Halle: M. Niemeyer. 2nd ed. 1913

Husserl, E., 1901. Logische Untersuchungen, Zweiter Theil: Untersuchungen zur Phänomenologie und Theorie der Erkenntnis. Halle: M. Niemeyer. 2nd ed. in two parts 1913/22

Husserl, E. 1911. “Philosophie als strenge Wissenschaft”, Logos I, 289–341

Husserl, E. 1913. “Ideen zu einer reinen Phänomenologie und phänomenologischen Philosophie”, Jahrbuch für Philosophie und phänomenologische Forschung 1, 1–323. Published simultaneously as Separatum by M. Niemeyer

Husserl, E., 1928. “Vorlesungen zur Phänomenologie des inneren Zeitbewusstseins”, edited by M. Heidegger in Jahrbuch für Philosophie und phänomenologische Forschung 9, ⅷ–ⅹ, 367–498. Published simultaneously by M. Niemeyer

Husserl, E. 1929. “Formale und transzendentale Logik. Versuch einer Kritik der logischen Vernunft”, Jahrbuch für Philosophie und phänomenologische Forschung 10, ⅴ–ⅷ, 1–298. Published simultaneously as Separatum

Husserl, E., 1931. Méditations cartésiennes. Introduction à la phenoménologie. Paris: Librairie Armand Colin

Husserl, E. 1936. “Die Krisis der europäischen Wissenschaften und die transzendentale Phänomenologie”, Philosophia 1, 77–176

Husserl, E., 1939. Erfahrung und Urteil: Untersuchungen zur Genealogie der Logik. Edited by L. Landgrebe. Prague: Akademia Verlagsbuchhandlung

Husserl, E., 1950a. Cartesianische Meditationen und Pariser Vorträge. Husserliana I. 2nd ed. 1973. The Hague: Nijhoff

Husserl, E., 1950b. Ideen zu einer reinen Phänomenologie und phänomenologischen Philosophie. Erstes Buch: Allgemeine Einführung in die reine Phänomenologie. Husserliana III. Revised ed. in two parts 1976. The Hague: Nijhoff

Husserl, E., 1952a. Ideen zu einer reinen Phänomenologie und phänomenologischen Philosophie. Zweites Buch: Phänomenologische Untersuchungen zur Konstitution. Husserliana IV. The Hague: Nijhoff

Husserl, E., 1952b. Ideen zu einer reinen Phänomenologie und phänomenologischen Philosophie. Drittes Buch: Die Phänomenologie und die Fundamente der Wissenschaften. Husserliana V. The Hague: Nijhoff

Husserl, E., 1954. Die Krisis der europäischen Wissenschaften und die transzendentale Phänomenologie. Husserliana VI. The Hague: Nijhoff

Husserl, E., 1960. Cartesian Meditations: An Introduction to Phenomenology. Translated by D. Cairns. The Hague: Martinus Nijhoff

Husserl, E., 1962. Phänomenologische Psychologie. Vorlesungen Sommersemester 1925. Husserliana IX. The Hague: Nijhoff

Husserl, E., 1965. “Philosophy as Rigorous Science”, Translated by Q. Lauer in Phenomenology and the Crisis of Philosophy. New York: Harper, 71–147

Husserl, E., 1966. Zur Phänomenologie des inneren Zeitbewusstseins (1893–1917). Husserliana X. Revised ed. 1966. The Hague: Nijhoff

Husserl, E., 1969. Formal and Transcendental Logic. Translated by D. Cairns. The Hague: Nijhoff

Husserl, E., 1970a. Philosophie der Arithmetik (1890–1901). Husserliana Ⅻ. The Hague: Nijhoff

Husserl, E., 1970b. The Crisis of the European Sciences and Transcendental Phenomenology. Translated by D. Carr. Evanston, Ill.: Northwestern University Press

Husserl, E., 1973a. Ding und Raum. Husserliana XVI. The Hague: Nijhoff

Husserl, E., 1973b. Experience and Judgment. Translated by J. Churchill and K. Ameriks. Evanston, Ill.: Northwestern University Press

Husserl, E., 1973c. Logical Investigations, Vols. I and II. Translation of the 2nd ed. by J. N. Findlay. London: Routledge and Kegan Paul

Husserl, E., 1974. Formale und transzendentale Logik. Versuch einer Kritik der logischen Vernunft. Husserliana XVII. The Hague: Nijhoff

Husserl, E., 1975. Logische Untersuchungen. Erster Band: Prolegomena zur reinen Logik. Husserliana XVIII. The Hague: Nijhoff

Husserl, E., 1977. Phenomenological Psychology: Lectures, Summer Semester 1925. Translated by J. Scanlon. The Hague: Nijhoff

Husserl, E., 1979. Aufsätze und Rezensionen (1890–1910). Husserliana XⅫ. The Hague: Nijhoff

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

Husserl, E., 1982. Ideas Pertaining to a Pure Phenomenology and to a Phenomenological Philosophy: First Book. Translated by F. Kersten. Dordrecht: Kluwer

Husserl, E., 1983. Studien zur Arithmetik und Geometrie (1886–1901). Husserliana XⅪ. The Hague: Nijhoff

Husserl, E., 1984a. Logische Untersuchungen. Zweiter Band: Untersuchunger zur Phänomenologie und Theorie der Erkenntnis. Husserliana XIX, 2 vols. The Hague: Nijhoff

Husserl, E., 1984b. Einleitung in die Logik und Erkenntnistheorie. Vorlesungen 1906/07. Husserliana XXIV. The Hague: Nijhoff

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

Husserl, E., 1990. On the Phenomenology of the Consciousness of Internal Time (1893–1917). Translated by J. Brough. Dordrecht: Kluwer

Husserl, E., 1994. Early Writings in the Philosophy of Mathematics and Logic. Translated by D. Willard. Dordrecht: Kluwer

Husserl, E., 1997. Thing and Space: Lectures of 1907. Translation by R. Rojcewicz. Dordrecht: Kluwer

Husserl, E., 2003. Philosophy of Arithmetic: Psychological and Logical Investigations. Translated by D. Willard. Dordrecht: Kluwer

Jackson, F., 1986. “What Mary Didn't Know”, Journal of Philosophy 83, 291–295

Kac, M., Rota, G., and Schwartz, J. T., 1986. Discrete Thoughts: Essays on Mathematics, Science and Philosophy. Boston: Birkhaüser

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 1787

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

Kim, J., 1981. “The Role of Perception in A Priori Knowledge”, Philosophical Studies 40, 339–354

Kleene, S., 1952. Introduction to Metamathematics. Amsterdam: North-Holland

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

Klein, F., 1948. Elementary Mathematics from an Advanced Standpoint. Part II. Geometry. Translated by E. Hedrick and C. Noble. New York: Dover

Kockelmans, J., 1993. Ideas for a Hermeneutical Phenomenology of the Natural Sciences. Dordrecht: Kluwer

Kockelmans, J., and Kisiel, T. (eds.), 1970. Phenomenology and the Natural Sciences. Evanston, Ill.: Northwestern University Press

Kolmogorov, A., 1932. “Zur Deutung der Intuitionistischen Logik”, Mathematische Zeitschrift 35, 58–65. Translated by P. Mancosu in P. Mancosu (ed.) 1998, 328–334

Kreisel, G., 1967. “Informal Rigour and Completeness Proofs”, in I. Lakatos (ed.), Problems in the Philosophy of Mathematics. Amsterdam: North-Holland, 138–86

Kreisel, G., 1971. “Observations on Popular Discussions of Foundations”, in Scott (ed.) 1971, 189–198

Kreisel, G., 1980. “Kurt Gödel, 28 April 1906–14 January 1978”, Biographical Memoirs of Fellows of the Royal Society 26, 148–224

Leonardi, P., and Santambrogio, M. (eds.), 1995. On Quine. Cambridge: Cambridge University Press

Lohmar, D., 1989. Phänomenologie der Mathematik. Dordrecht: Kluwer

Lucas, J. R., 1961. “Minds, Machines and Gödel”, Philosophy 36, 112–127

MacLane, S., and Moerdijk, I., 1995. Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Berlin: Springer Verlag

Maddy, P., 1980. “Perception and Mathematical Intuition”, Philosophical Review 89, 163–196

Maddy, P., 1983. “Proper Classes”, Journal of Symbolic Logic 48, 113–139

Maddy, P., 1990. Realism in Mathematics. Oxford: Oxford University Press

Mancosu, P., forthcoming. “ ‘Das Abenteuer der Vernunft’: O. Becker and D. Mahnke on the Phenomenological Foundations of the Exact Sciences.”

Mancosu, P., (ed.), 1998. From Brouwer to Hilbert. Oxford: Oxford University Press

Mancosu, P., and Ryckman, T., 2002. “The Correspondence Between O. Becker and H. Weyl”, Philosophia Mathematica 10, 130–202

Mancosu, P., and Ryckman, T., Forthcoming. “Geometry, Physics and Phenomenology: Four Letters of O. Becker to H. Weyl.”

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

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

Martin-Löf, P., 1984. Intuitionistic Type Theory, Napoli: Bibliopolis

Martin-Löf, P., 1987. “Truth of a Proposition, Evidence of a Judgment, Validity of a Proof”, Synthese 73, 407–420

Merleau-Ponty, M., 1962. Phenomenology of Perception. Translated by C. Smith. London: Routledge & Kegan Paul. Original French ed. 1945

Meserve, B., 1953. Fundamental Concepts of Geometry. New York: Dover

Miller, I., 1984. Husserl, Perception, and Temporal Awareness. Cambridge, Mass.: MIT Press

Miller, J. P., 1982. Numbers in Presence and Absence. Dordrecht: Nijhoff

Mohanty, J. N., 1982. Husserl and Frege. Bloomington: Indiana University Press

Natanson, M. (ed.), 1973. Phenomenology and the Social Sciences, 2 vols. Evanston, Ill.: Northwestern University Press

Pagels, H., 1988. The Dreams of Reason: The Computer and the Rise of the Sciences of Complexity. New York: Simon & Schuster

Paris, J., and Harrington, L., 1977. “A Mathematical Incompleteness in Peano Arithmetic”, in Barwise (ed.) 1977, 1133–1142

Parsons, C., 1965. “Frege's Theory of Number”, in M. Black (ed.), Philosophy in America. London: Allen & Unwin. Reprinted in Parsons 1983a, 150–175

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

Parsons, C., 1980. “Mathematical Intuition”, Proceedings of the Aristotelian Society, 80, 145–168

Parsons, C., 1983a. Mathematics in Philosophy: Selected Essays. Ithaca, N.Y.: Cornell University Press

Parsons, C., 1983b. “Quine on the Philosophy of Mathematics” in Parsons 1983a, 176–205

Parsons, C., 1986. “Intuition in Constructive Mathematics” in J. Butterfield (ed.), Language, Mind and Logic. Cambridge: Cambridge University Press, 211–229

Parsons, C., 1990. “Introductory Note to 1944”, in Feferman et al. (eds.) 1990, 102–118

Parsons, C., 1992. “The Impredicativity of Induction”, in M. Detlefsen (ed.), Proof, Logic and Formalization. London: Routledge, 139–161

Parsons, C., 1995a. “Platonism and Mathematical Intuition in Kurt Gödel's Thought”, Bulletin of Symbolic Logic 1, 44–74

Parsons, C., 1995b. “Quine and Gödel on Analyticity”, in Leonardi and Santambrogio (eds.) 1995, 297–313

Penrose, R., 1989. The Emperor's New Mind. Oxford: Oxford University Press

Penrose, R., 1994. Shadows of the Mind: A Search for the Missing Science of Consciousness. Oxford: Oxford University Press

Poincaré, H., 1902. La Science et l'hypothèse. Paris: Ernest Flammarion. Translated by G. Holsted as Science and Hypothesis. New York: Dover, 1952

Poincaré, H., 1905. La valeur de la science. Paris: Ernest Flammarion. Translated by G. Halsted as The Value of Science. New York: Dover, 1958

Poincaré, H., 1908. Science et méthode. Paris: Ernest Flammarion. Translated by F. Maitland as Science and Method. New York: Dover, 1952

Poincaré, H., 1913. Dernières pensées. Paris: Ernest Flammarion. Translated by J. Bolduc as Mathematics and Science: Last Essays. New York: Dover, 1963

Pollard, S., 1987. “Introduction to The Continuum”, in Weyl 1987, ⅹⅴ–ⅹⅹⅵ

Prawitz, D., 1965. Natural Deduction: A Proof Theoretical Study. Stockholm: Almqvist and Wiksell

Prawitz, D., 1977. “Meaning and Proofs: On the Conflict Between Classical and Intuitionistic Logic”, Theoria 4, 1–40

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

Quine, W. V., 1937. “New Foundations for Mathematical Logic”, American Mathematical Monthly 44, 70–80. Reprinted with revisions in Quine 1953, 80–101

Quine, W. V., 1940. Mathematical Logic. New York: Norton. Revised 2nd ed., Cambridge, Mass.: Harvard University Press, 1951

Quine, W. V., 1951. “Two Dogmas of Empiricism”, reprinted in Quine 1953, 20–46

Quine, W. V., 1953. From a Logical Point of View. Cambridge, Mass.: Harvard University Press

Quine, W. V., 1960. Word and Object. Cambridge, Mass.: MIT Press

Quine, W. V., 1966a. “Necessary Truth”, in Quine 1966b, 68–76

Quine, W. V., 1966b. The Ways of Paradox and Other Essays. New York: Random House

Quine, W. V., 1969. Set Theory and Its Logic, 2nd ed. Cambridge, Mass.: Harvard University Press

Quine, W. V., 1970. Philosophy of Logic. Englewood Cliffs, N.J.: Prentice-Hall

Quine, W. V., 1974. The Roots of Reference. La Salle, Ill.: Open Court

Quine, W. V., 1984. “Review of Charles Parsons' Mathematics in Philosophy”, Journal of Philosophy 81, 783–794

Quine, W. V., 1986. “Reply to Charles Parsons”, in L. Hahn and P. A. Schilpp (eds.), The Philosophy of W. V. Quine. La Salle, Ill.: Open Court, 396–403

Quine, W. V., 1992. Pursuit of Truth, 2nd ed. Cambridge, Mass.: Harvard University Press

Quine, W. V., 1995. From Stimulus to Science. Cambridge, Mass.: Harvard University Press

Resnik, M., 1979. “Frege as Idealist and Then Realist”, Inquiry 22, 350–57

Resni, M., 1980. Frege and the Philosophy of Mathematics. Ithaca, N.Y.: Cornell University Press

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

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

Saaty, T. L., and Weyl, F. J., 1969. The Spirit and the Uses of the Mathematical Sciences. New York: McGraw-Hill

Schmit, R., 1981. Husserls Philosophie der Mathematik. Platonistische und konstrucktivistische Momente in Husserls Mathematikbegriff. Bonn: Grundmann

Scott, D. (ed.), 1971. Axiomatic Set Theory, Proceedings of Symposia in Pure Mathematics, Vol. 13, part 1. Providence, R. I.: American Mathematical Society

Searle, J., 1980. “Minds, Brains and Programs”, Behavioral and Brain Sciences 3, 417–457

Searle, J., 1983. Intentionality. Cambridge: Cambridge University Press

Seebohm, T., F⊘llesdal, D., and Mohanty, J. N. (eds.), 1991. Phenomenology and the Formal Sciences. Dordrecht: Kluwer

Sluga, H., 1980. Gottlob Frege. London: Routledge & Kegan Paul

Smith, D., 1984. “Content and Context of Perception”, Synthese 61, 61–87

Smith, D., and McIntyre, R., 1982. Husserl and Intentionality. Dordrecht: Reidel

Steiner, M., 1975. Mathematical Knowledge. Ithaca, N.Y.: Cornell University Press

Ströker, E., 1979. Lebenswelt und Wissenschaft in der Philosophie Edmund Husserls. Frankfurt am Main: Vittorio Klostermann

Ströker, E., 1987a. The Husserlian Foundations of Science. Lanham, Md.: Center for Advanced Research in Phenomenology/University Press of America

Ströker, E., 1987b. Investigations in the Philosophy of Space. Translated by A. Mickunas. Athens, Ohio: Ohio University Press

Ströker, E., 1988. “Husserl and the Philosophy of Science”, Journal of the British Society for Phenomenology 19, 221–234

Sundholm, G., 1983. “Constructions, Proofs and the Meanings of the Logical Constants”, Journal of Philosophical Logic 12, 151–172

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

Tait, W. W., 1981. “Finitism”, Journal of Philosophy 78, 524–546

Tieszen, R., 1984. “Mathematical Intuition and Husserl's Phenomenology”, Noûs 18, 395–421

Tieszen, R., 1989. Mathematical Intuition: Phenomenology and Mathematical Knowledge. Dordrecht: Kluwer

Tieszen, R., 1990. “Frege and Husserl on Number”, Ratio 3, 150–164

Tieszen, R., 1991. “Review of D. Lohmar, Phänomenologie der Mathematik”, Husserl Studies 7, 199–205

Tieszen, R., 1994a. “What Is the Philosophical Basis of Intuitionistic Mathematics?”, in D. Prawitz, B. Skyrms, and D. Westerståhl (eds.), Logic, Methodology and Philosophy of Science IX. Amsterdam: Elsevier, 579–594

Tieszen, R., 1994b. “Mathematical Realism and Gödel's Incompleteness Theorems”, Philosophia Mathematica 2, 177–201

Tieszen, R., 1997a: “Review of Kurt Gödel: Unpublished Philosophical Essays”, Edited by F. Rodriguez-Consuegra, Annals of Science 54, 99–101

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

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

Tonietti, T., 1988. “Four Letters of E. Husserl to H. Weyl and their Context”, in Deppert (ed.) 1988, 343–384

Torretti, R., 1978. Philosophy of Geometry from Riemann to Poincaré. Dordrecht: Reidel

Tragesser, R., 1977. Phenomenology and Logic. Ithaca, N.Y.: Cornell University Press

Tragesser, R., 1984. Husserl and Realism in Logic and Mathematics. Cambridge: Cambridge University Press

Troelstra, A., 1969. “Principles of Intuitionism”, Lecture Notes in Mathematics 95. Berlin: Springer Verlag

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

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

Troelstra, A., and van Dalen, D., 1988. Constructivism in Mathematics, 2 vols. Amsterdam: North-Holland

van Atten, M., 1999. “Phenomenology of Choice Sequences”, Proefschrift, Universiteit Utrecht

Atten, M., and Kennedy, J., 2003. “On the Philosophical Development of Kurt Gödel”, Bulletin of Symbolic Logic 9, 425–476

Atten, M., Dalen, D., and Tieszen, R., 2002. “Brouwer and Weyl: The Phenomenology and Mathematics of the Intuitive Continuum”, Philosophia Mathematica 10, 203–226

van Dalen, D. 1973. “Lectures on Intuitionism”, Lecture Notes in Mathematics 337. Berlin: Springer Verlag

Dalen, D., 1984. “Four Letters from Edmund Husserl to Hermann Weyl”, Husserl Studies 1, 1–12

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

Dalen, D., 1995. “Hermann Weyl's Intuitionistic Mathematics”, Bulletin of Symbolic Logic 1, 145–169

van Dalen, D., 1999. Mystic, Geometer and Intuitionist: The Life of L. E. J. Brouwer, Vol. 1. Oxford: Oxford University Press

van Heijenoort, J. (ed.), 1967. From Frege to Gödel. Cambridge, Mass.: Harvard University Press

Wang, H., 1974. From Mathematics to Philosophy. New York: Humanities Press

Wang, H., 1978. “Kurt Gödel's Intellectual Development”, Mathematical Intelligencer I, 182–184

Wang, H., 1981. “Some Facts About Kurt Gödel”, Journal of Symbolic Logic 46, 653–659

Wang, H., 1986. Beyond Analytic Philosophy: Doing Justice to What We Know. Cambridge, Mass.: MIT Press

Wang, H., 1987. Reflections on Kurt Gödel. Cambridge, Mass.: MIT Press

Wang, H., 1996. A Logical Journey: From Gödel to Philosophy. Cambridge, Mass.: MIT Press

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

Weyl, H., 1918a. Das Kontinnum. Leipzig: Veit

Weyl, H., 1918b. Raum, Zeit, Materie. Berlin: Springer Verlag

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

Weyl, H., 1921. “Über die neue Grundlagenkrise der Mathematik”, Mathematische Zeitschrift 10, 39–79. Reprinted in Weyl 1968, II, 143–80. Translated by B. Müller in Mancosu (ed.) 1998, 86–118

Weyl, H., 1925. “Die heutige Erkenntnislage in der Mathematik”, Symposion 1, 1–23. Reprinted in Weyl 1968, II, 511–542. Translated by B. Müller in Mancosu (ed.) 1998, 123–142

Weyl, H., 1926. Philosophie der Mathematik und Naturwissenschaft. München: Leibniz Verlag. Expanded and translated as Philosophy of Mathematics and Natural Science. Princeton, N.J.: Princeton University Press

Weyl, H., 1928. “Diskussionsbemerkungen zu dem zweiten Hilbertschen Vortrag über die Grundlagen der Mathematik”, Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität 6, 86–88. Translated by S. Bauer-Mengelberg and D. F⊘llesdal in van Heijenoort (ed.) 1967, 480–84

Weyl, H., 1949. Philosophy of Mathematics and Natural Science. Princeton, N.J.: Princeton University Press

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

Weyl, H., 1968. Gesammelte Abhandlungen, I–IV. Edited by K. Chandrasekharan. Berlin: Springer Verlag

Weyl, H., 1985. Space, Time, Matter. New York: Dover

Weyl, H., 1987. The Continuum. Translated by S. Pollard and T. Bole. Kirksville, Mo.: Thomas Jefferson Press

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

Willard, D., 1984. Logic and the Objectivity of Knowledge. Athens, Ohio: Ohio University Press

Wright, C., 1982. “Strict Finitism”, Synthese 51, 203–282

Zermelo, E., 1908. “Neuer Beweis für 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

Zermelo, E., 1930. “Über Grenzzahlen und Mengenbereiche”, Fundamenta Mathematicae 16, 29–47

Phenomenology, Logic, and the Philosophy of Mathematics

This Book has been cited by the following publications. This list is generated based on data provided by Crossref.

Book description

Refine List

Actions for selected content:

Contents

Frontmatter
pp i-iv

Contents
pp v-vi

Acknowledgments
pp vii-x

Introduction: Themes and Issues
pp 1-18

PART I - REASON, SCIENCE, AND MATHEMATICS
pp 19-20

1 - Science as a Triumph of the Human Spirit and Science in Crisis: Husserl and the Fortunes of Reason
pp 21-45

2 - Mathematics and Transcendental Phenomenology
pp 46-68

3 - Free Variation and the Intuition of Geometric Essences: Some Reflections on Phenomenology and Modern Geometry
pp 69-90

PART II - KURT GÖDEL, PHENOMENOLOGY, AND THE PHILOSOPHY OF MATHEMATICS
pp 91-92

4 - Kurt Gödel and Phenomenology
pp 93-111

5 - Gödel's Philosophical Remarks on Logic and Mathematics
pp 112-124

6 - Gödel's Path from the Incompleteness Theorems (1931) to Phenomenology (1961)
pp 125-148

7 - Gödel and the Intuition of Concepts
pp 149-176

8 - Gödel and Quine on Meaning and Mathematics
pp 177-200

9 - Maddy on Realism in Mathematics
pp 201-214

10 - Penrose on Minds and Machines
pp 215-224

PART III - CONSTRUCTIVISM, FULFILLABLE INTENTIONS, AND ORIGINS
pp 225-226

11 - Intuitionism, Meaning Theory, and Cognition
pp 227-247

12 - The Philosophical Background of Weyl's Mathematical Constructivism
pp 248-275

13 - Proofs and Fulfillable Mathematical Intentions
pp 276-293

14 - Logicism, Impredicativity, Formalism: Some Remarks on Poincaré and Husserl
pp 294-313

15 - The Philosophy of Arithmetic: Frege and Husserl
pp 314-336

Bibliography
pp 337-348

Index
pp 349-357

Metrics

Altmetric attention score

Full text views

Book summary page views

Accessibility standard: Unknown

Why this information is here

Accessibility Information

Phenomenology, Logic, and the Philosophy of Mathematics

Book description

Refine List

Actions for selected content:

Save Search

Contents

Metrics

Altmetric attention score

Full text views

Book summary page views

Accessibility standard: Unknown

Why this information is here

Accessibility Information