Robert S. Tragesser (tragesser-r)

Contributions to Philosophie.ch

Bibliography

Tragesser, Robert S. 1973. “On the Phenomenological Foundations of Mathematics.” in Explorations in Phenomenology, edited by David Carr and Edward S. Casey, pp. 285–298. Selected Studies in Phenomenology and Existential Philosophy n. 4. Den Haag: Martinus Nijhoff Publishers.
Tragesser, Robert S. 1984. Husserl and Realism in Logic and Mathematics. Modern European Philosophy. Cambridge: Cambridge University Press.
Tragesser, Robert S. 1991. “Topos Theory.” in Handbook of Metaphysics and Ontology, edited by Hans Burkhardt and Barry Smith, pp. 901–905. Analytica: Investigations in Logic, Ontology, and the Philosophy of Language n. 2. München: Philosophia Verlag.
Tragesser, Robert S. 1992. “Three Insufficiently Attended to Aspects of Most Mathematical Proofs: Phenomenological Studies.” in Proof, Logic and Formalization, edited by Michael Detlefsen, pp. 71–87. London: Routledge.
Tragesser, Robert S. and Atten, Mark van. 2003. “Mysticism and Mathematics: Brouwer, Gödel, and the Common Core Thesis.” in Klarheit in Religionsdingen, edited by Wolfgang Deppert and M. Rahnfeld, pp. 145–160. Leipzig: Leipziger Universitätsverlag. Reprinted in van Atten (2015, 173–188).
Zucker, Jeffrey I. and Tragesser, Robert S. 1978. “The Adequacy Problem for Inferential Logic.” The Journal of Philosophical Logic 7(4): 501–516.

Further References

van Atten, Mark. 2015. Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Logic, Epistemology, and the Unity of Science n. 35. Cham: Springer.