REFERENCES
Abelard, Peter: 1933, Peter Abelards Philosophische Schriften, in B. Geyer (ed.), Beiträge zur Geschichte der Philosophie des Mittelalters, XXI. Achendorff, Münster, pp. 7–30.
Anselm of Canterbury: 1978, Fides Quaerens Intellectum, ed. with a French translation by Alexandre Koyré. Vrin, Paris.
Aristotle: 1975, Nicomachean Ethics, in H. Rackham (ed.), with an English translation, Harvard University Press, Cambridge, MA.
Aristotle: 1975/77, Metaphysics, in Hugh Tredennick (ed.), with an English translation, Harvard, Cambridge, MA, USA.
Bell, John: 1985, Boolean-Valued Models and Independence Proofs in Set Theory, 2nd edn. Clarendon, Oxford.
Bell, John and Machover, Moshe: 1977, Mathematical Logic, North Holland, Amsterdam.
Beller, Aaron, Jensen, Ronald, and Welch, Philip: 1982, Coding the Universe. Cambridge University Press, Cambridge.
Berkeley, George: 1974, in A. A. Luce and T. E. Jessop (eds.), Works, Kraus Reprint, Nendeln.
Blaedel, Niels: 1985, Harmoni og Enhed, Niels Bohr: En Biografi. Rhodos, København.
Boolos, George: 1985, The Unprovability of Consistency, Cambridge University Press, Cambridge.
Boolos, George: 1989, ‘A New Proof of the Gödel Incompleteness Theorem’, Notices of the American Mathematical Society, 36(4), 388–390.
Boos, William: 1983, ‘A Self-referential “Cogito”’, Philosophical Studies 44, 269–290.
Boos, William: 1983, ‘Limits of Inquiry’, Erkenntnis 20, 150–194.
Boos, William: 1987a, ‘Consistency and Konsistenz’, Erkenntnis 26, 1–43.
Boos, William: 1987b, ‘Theory-Relative Skepticism’, Dialectica 41(3), 175–207.
Boos, William: 1994, ‘The World, The Flesh, and The Argument from Design’, Synthese 101, 15–52.
Boos, William: 1995, ‘Thoralf Skolem, Hermann Weyl and “Das Gefühl der Welt als Begrenztes Ganzes”’, in: Essays on the Development of the Foundations of Mathematics, ed. Jaako Hintikka, Reidel, Dordrecht, pp. 283–329.
Boos, William: 1996, ‘Metamathematical Quantum Theory’, Synthese 107, 83–143.
Boos, William: forthcoming, ‘Virtual Modality’, Journal of Symbolic Logic.
Cantor, Georg: 1966, Gesammelte Abhandlungen, Springer, Berlin. Reprint Olms, Hildesheim.
Chaitin, Gregory: 1975, ‘Randomness and Mathematical Proof’, Scientific American 47–52.
Descartes, René: 1973–78, in Charles Adam and Paul Tannery (ed.), Oeuvres de Descartes, Nouvelle Présentation. Vrin, Paris.
Descartes, René: 1976, in Étienne Gilson (ed.), Discours de la méthode, texte et commentaire, Vrin, Paris.
Devlin, Keith: 1984, Constructibility. Springer, Berlin.
Friedman, Sy: 1987, ‘Strong Coding’, Annals of Pure and Applied Logic 35 1–98.
Gödel, Kurt: 1986–95, in Solomon Feferman, John Dawson et al. (eds.), Collected Works, Volumes I–III, Oxford University Press, Oxford.
Henkin, Leon: 1949, ‘The Completeness of the First-Order Functional Calculus’, Journal of Symbolic Logic 14, 159–166.
Henkin, Leon: 1950, ‘Completeness in the Theory of Types’, Journal of Symbolic Logic 15, 81–91.
Hilbert, David: 1905, ‘Über die Grundlagen der Logik und der Arithmetik’, in: Verhandlungen des Dritten Internationalen Mathematiker-Kongresses in Heidelberg vom 8. bis 13. August 1904. Teubner, Leibniz.
Hilbert, David: 1930, Grundlagen der Geometrie, siebente umgearbeitete und vermehrte Auflage. Teubner, Leibniz.
Hilbert, David: 1935, Gesammelte Abhandlungen, Springer, Berlin.
Hume: 1976, in J. Price (ed.), Dialogues Concerning Natural Religion, Clarendon, Oxford.
Hume: 1975, in J. Price (ed.), Enquiries, Clarendon, Oxford.
Hume: 1978, in L. Selby-Bigge and P. Nidditch (eds.), A Treatise of Human Nature, Clarendon Oxford.
Jech, Thomas: 1978, Set Theory, Academic Press, New York.
Kanamori, Akihiro: 1994, The Higher Infinite, Springer, Berlin.
Kant, Immanuel: 1965, in Karl Vorländer (ed.), Grundlegung der Metaphysik der Sitten, Meiner, Hamburg.
Kant, Immanuel: 1974, in Karl Vorländer (ed.), Kritik der praktischen Vernunft, Meiner, Hamburg.
Kant, Immanuel: 1956, in Raymund Schmidt (ed.), Kritik der reinen Vernunft, Meiner, Hamburg.
Kant, Immanuel: 1974, in Karl Vorländer (ed.), Kritik der Urteilskraft, Meinter, Hamburg.
Kleene, Stephen: 1974, Introduction to Metamathematics, North-Holland, Amsterdam.
Kline, Morris: 1972, Mathematical Thought from Ancient to Modern Times, Oxford University Press, Oxford.
Leibniz, Gottfried: 1978, in C. Gerhardt (ed.), Die philosophische Schriften von Gottfried Wilhelm von Leibniz, Olms, Hildesheim.
Leibniz, Gottfried: 1966, in Louis Couturat (ed.), Opuscules et fragments inédits, Olms, Hildesheim (Leibniz-Couturat).
Lovejoy Arthur: 1965, The Great Chain of Being, Harper, New York.
Mates, Benson: 1986, The Philosophy of Leibniz, Oxford University Press, Oxford.
Myhill, John and Scott, Dana: 1971, ‘Ordinal Definability’, in Dana Scott (ed.), Axiomatic Set Theory, American Mathematical Society, Providence, 271–278.
Paqué, Ruprecht: 1970, Das Pariser Nominalistenstatut: Zur Entstehung des Realitätsbegriffs der Neuzeitlichen Naturwissenschaft. de Gruyter, Berlin.
Pascal, Blaise: 1963, Pensées, in: Louis Lafuma (ed.), Oeuvres Complètes, Éditions du Seuil, Paris.
Plato: 1977, Apology and Phaedo, ed. with a translation by H. N. Fowler, Harvard, Cambridge, MA.
Plato: 1977, Parmenides, ed. with a translation by H. N. Fowler, Harvard, Cambridge MA.
Plato: 1969, Republic, ed. with a translation by Paul Shorey, Harvard, Cambridge MA.
Plato: 1977, Theaetetus and Sophist, ed. with a translation by H. N. Fowler, Harvard, Cambridge MA.
Rucker, Rudolph v. B.: 1995, Infinity and the Mind, Princeton, Princeton.
Sextus Empiricus: 1976, Vols. I–IV, ed. with an English translation by R. G. Bury. Vol. I, Pyrroneion Hypotyposeon (Outlines of Pyrrhonism) (PH I, PH II); Vol. II, Adversus Mathematicos (Against the Teachers) (M VII, M VIII), Harvard, Cambridge MA.
Shoenfield, Joseph: 1967, Mathematical Logic, Addison Wesley, Reading.
Skolem, Thoralf: 1970, Selected Works in Logic, Universitetsforlaget, Oslo.
Slezak, Peter: 1983, ‘“Descartes” Diagonal Deduction’, British Journal of the Philosophy of Science 34, 13–36.
Smorynski, C.: 1977, ‘The Incompleteness Theorems’, in: Jon Barwise (ed.), Handbook of Mathematical Logic, North Holland, Amsterdam, pp. 821–865.
Takeuti, Gaisi and Zaring, Wilson: 1973, Axiomatic Set Theory, Springer, Berlin.
Tarski, Alfred: 1935, ‘Der Wahrheitsbegriff in den formalisierten Sprachen’, Studia Philosophica 1, 261–405.
Vesley, Richard: 1992, ‘“Boolos” Nonconstuctive Proof of Gödel's Incompleteness Theorem’, in Kurt Gödel: Proceedings of a Symposium Held in Neuchâtel, Neuchâtel, Neuchâtel.
Wang, Hao: 1987, Reflections on Kurt Gödel, M.I.T. Press, Cambridge MA.
Weyl, Hermann: 1928, Philosophie der Mathematik und Naturwissenschaften, Oldenbourg, München.
Wittgenstein, Ludwig: 1984, Bemerkungen über die Grundlagen der Mathematik, in: Werkausgabe in Acht Bänden, Suhrkamp, Frankfurt am Main.
Wittgenstein, Ludwig: 1987, Über Gewiβheit, in: Werkausgabe in Acht Bänden, Suhrkamp, Frankfurt am Main.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Boos, W. The Transzendenz of Mathematical ‘Experience’. Synthese 114, 49–98 (1998). https://doi.org/10.1023/A:1005085922564
Issue Date:
DOI: https://doi.org/10.1023/A:1005085922564