nLab Edmund Husserl

Edmund Husserl was a philosopher who initiated the philosophical movement of phenomenology. His work has influenced the type theory of Per Martin-Löf (Sundholm 12, p. xx)

• Wikipedia entry

• Stanford Encyclopedia of Philosophy entry

Selected writings

• 1900/1 [2nd, revised edition 1913], Logical Investigations, trans. J. N. Findlay, London: Routledge 1973.

• 1910, “Philosophy as Rigorous Science,” trans. in Q. Lauer (ed.), Phenomenology and the Crisis of Philosophy, New York: Harper 1965.

• 1913, Ideas Pertaining to a Pure Phenomenology and to a Phenomenological Philosophy—First Book: General Introduction to a Pure Phenomenology, trans. F. Kersten. The Hague: Nijhoff 1982 (= Ideas).

• 1929, Formal and Transcendental Logic, trans. D. Cairns. The Hague: Nijhoff 1969.

• 1931, Cartesian Meditations, trans. D. Cairns, Dordrecht: Kluwer 1988.

• 1939, Experience and Judgement, trans. J. S. Churchill and K. Ameriks, London: Routledge 1973.

• 1954, The Crisis of European Sciences and Transcendental Phenomenology, trans. D. Carr. Evanston: Northwestern University Press (= Crisis) 1970.

References

• Göran Sundholm (2012), On the Philosophical Work of Per Martin-Löf. In: Dybjer P., Lindström S., Palmgren E., Sundholm G. (Eds.) Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Logic, Epistemology, and the Unity of Science no. 27 Dordrecht: Springer Netherlands. xvii-xxiv. (pdf)

category: people