: Mirja Hartimo
: Mirja Hartimo
: Phenomenology and Mathematics
: Springer-Verlag
: 9789048137299
: 1
: CHF 139.30
:
: 20. und 21. Jahrhundert
: English
: 216
: Wasserzeichen/DRM
: PC/MAC/eReader/Tablet
: PDF

During Edmund Husserl's lifetime, modern logic and mathematics rapidly developed toward their current outlook and Husserl's writings can be fruitfully compared and contrasted with both 19th century figures (Boole, Schröder, Weierstrass) as well as the 20th century characters (Heyting, Zermelo, Gödel). Besides the more historical studies, the internal ones on Husserl alone and the external ones attempting to clarify his role in the more general context of the developing mathematics and logic, Husserl's phenomenology offers also a systematically rich but little researched area of investigation. This volume aims to establish the starting point for the development, evaluation and appraisal of the phenomenology of mathematics. It gathers the contributions of the main scholars of this emerging field into one publication for the first time. Combining both historical and systematic studies from various angles, the volume charts answers to the question 'What kind of philosophy of mathematics is phenomenology?'



Mirja Hartimo (Ph.D, Docent) graduated from Boston University in 2005 with a dissertation entitled 'Edmund Husserl's Phenomenology and the Development of Mathematics in the Late Nineteenth Century' (Boston University, 2005). Currently she works as a post doctoral researcher funded by the Academy of Finland, at the University of Helsinki, Finland. She has published articles especially on Husserl and mathematics in journals such asSynthese, Journal of History and Philosophy of Logic,andSouthern Journal of Philosophy.

Contents6
Acknowledgements10
Contributors12
List of Abbreviations16
Introduction20
I Mathematical Realism and Transcendental Phenomenological Idealism29
I. Standard Simple Formulations of Realism and Idealism (Anti-Realism) About Mathematics31
II. Mathematical Realism32
III. Transcendental Phenomenological Idealism36
IV. Mind-Independence and Mind-Dependence in Formulations of Mathematical Realism42
V. Compatibility or Incompatibility?45
VI. Brief Interlude: Where to Place Gdel, Brouwer, and Other Mathematical Realists and Idealists in our Schematization?48
VII. A Conclusion and an Introduction48
References50
II Platonism, Phenomenology, and Interderivability51
I. Introduction51
II. Phenomenology, Constructivism and Platonism54
III. Interderivability58
IV. Situations of Affairs: Historical Preliminaries61
V. Situations of Affairs: Systematic Treatment66
VI. Conclusion69
VII. Appendix69
References72
III husserl on axiomatization andarithmetic75
I. Introduction75
II. Husserls Initial Opposition to the Axiomatization of Arithmetic77
III. Husserls VOLTE-FACE Volte-Face 78
IV. Analysis of the Concept of Number80
V. Calculating with Concepts and Propositions84
VI. Three Levels of Logic85
VII. Manifolds and Imaginary Numbers87
VIII. Mathematics and Phenomenology89
IX. What Numbers Could Not Be For Husserl91
X. Conclusion94
References97
IV Intuition in Mathematics: on the Function of Eidetic Variation in Mathematical Proofs100
I. Some Basic Features of Husserls Theory of Knowledge102
II. The Method of Seeing Essences in Mathematical Proofs105
1. The Eidetic Method (Wesensschau) Used for Real Objects105
2. Eidetics in Material Mathematical Disciplines109
3. Eidetics in Formal-Axiomatic Contexts114
References117
V How Can a Phenomenologist Have a Philosophy of Mathematics?118
References131
VI The Development of Mathematics and the Birth of Phenomenology133
I. Weierstrass and Mathematics as Rigorous Science135
II. Husserl in Weierstrasss Footsteps136
III. Philosophy of Arithmetic as an Analysis of the Concept of Number138
IV. Logical Investigations and the Axiomatic Approach140
V. Categorial Intuition45
VI. Aristotle or Plato (and Which Plato)?143
VII. Platonism of the Eternal, Self-Identical, Unchanging Objectivities144
VIII. Platonism as an Aspiration for Reflected Foundations145
IX. Conclusion146
References146
VII Beyond Leibniz: Husserl's Vindication of Symbolic Knowledge148
I. Introduction148
II. Symbolic Knowledge150
III. Meaningful Symbols in PA 152
IV. Meaningless Symbols in PA 42
V. Logical Systems45
VI. Imaginary Elements: Earlier Treatment48
VII. Imaginary Elements: Later Treatment48
VIII. Formal Ontology89
IX. Critical Considerations91
X. The Problem of Symbolic Knowledge in the Development of Husserls Philosophy93
References170
VIII Mathematical Truth Regained171
I. Introduction31
II. Benacerrafs Dilemma and Some Negative or Skeptical Solutions32
1. Pre-emptive Negative or Skeptical Solutions105
2. Concessive Negative or Skeptical Solutions109
III. Benacerrafs Dilemma and Kantian Structuralism45
IV. The HW Theory48
V. Conclusion: Benacerrafs Dilemma Again and Recovered Paradise48
References204
IX On Referring to Gestalts206
I. Introduction31
II. R-Structured Wholes32
1. Preliminaries105
2. The Part-of Relation109
3. One Sort of Structured Wholes: R-Structured Wholes114
4. Questions of Identify217
III. On Relations220
IV. Mereological Semantics: Logig As Philosophy?229
References232
INDEX235