28 found
Order:
Disambiguations
Mirja Hartimo [23]Mirja Helena Hartimo [3]M. Hartimo [2]
See also
Mirja Helena Hartimo
Tampere University
  1.  31
    Husserl on Completeness, Definitely.Mirja Hartimo - 2018 - Synthese 195 (4):1509-1527.
    The paper discusses Husserl’s notion of definiteness as presented in his Göttingen Mathematical Society Double Lecture of 1901 as a defense of two, in many cases incompatible, ideals, namely full characterizability of the domain, i.e., categoricity, and its syntactic completeness. These two ideals are manifest already in Husserl’s discussion of pure logic in the Prolegomena: The full characterizability is related to Husserl’s attempt to capture the interconnection of things, whereas syntactic completeness relates to the interconnection of truths. In the Prolegomena (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  88
    Towards Completeness: Husserl on Theories of Manifolds 1890–1901.Mirja Helena Hartimo - 2007 - Synthese 156 (2):281-310.
    Husserl’s notion of definiteness, i.e., completeness is crucial to understanding Husserl’s view of logic, and consequently several related philosophical views, such as his argument against psychologism, his notion of ideality, and his view of formal ontology. Initially Husserl developed the notion of definiteness to clarify Hermann Hankel’s ‘principle of permanence’. One of the first attempts at formulating definiteness can be found in the Philosophy of Arithmetic, where definiteness serves the purpose of the modern notion of ‘soundness’ and leads Husserl to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  3.  21
    On the Origins of Scientific Objectivity.Mirja Hartimo - 2019 - In F. Kjosavik, C. Beyer & C. Fricke (eds.), Husserl’s Phenomenology of Intersubjectivity : Historical Interpretations and Contemporary Applications. pp. 302-321.
  4.  78
    Husserl's Pluralistic Phenomenology of Mathematics.M. Hartimo - 2012 - Philosophia Mathematica 20 (1):86-110.
    The paper discusses Husserl's phenomenology of mathematics in his Formal and Transcendental Logic (1929). In it Husserl seeks to provide descriptive foundations for mathematics. As sciences and mathematics are normative activities Husserl's attempt is also to describe the norms at work in these disciplines. The description shows that mathematics can be given in several different ways. The phenomenologist's task is to examine whether a given part of mathematics is genuine according to the norms that pertain to the approach in question. (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5. Husserl and Hilbert.Mirja Hartimo - 2017 - In Stefania Centrone (ed.), Essays on Husserl’s Logic and Philosophy of Mathematics. Springer Verlag.
    The paper examines Husserl’s phenomenology and Hilbert’s view of the foundations of mathematics against the backdrop of their lifelong friendship. After a brief account of the complementary nature of their early approaches, the paper focuses on Husserl’s Formale und transzendentale Logik viewed as a response to Hilbert’s “new foundations” developed in the 1920s. While both Husserl and Hilbert share a “mathematics first,” nonrevisionist approach toward mathematics, they disagree about the way in which the access to it should be construed: Hilbert (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. Radical Besinnung in Formale Und Transzendentale Logik.Mirja Hartimo - 2018 - Husserl Studies 34 (3):247-266.
    This paper explicates Husserl’s usage of what he calls “radical Besinnung” in Formale und transzendentale Logik. Husserl introduces radical Besinnung as his method in the introduction to FTL. Radical Besinnung aims at criticizing the practice of formal sciences by means of transcendental phenomenological clarification of its aims and presuppositions. By showing how Husserl applies this method to the history of formal sciences down to mathematicians’ work in his time, the paper explains in detail the relationship between historical critical Besinnung and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7. Phenomenology and the Transcendental.Sara Heinämaa, Mirja Hartimo & Timo Miettinen (eds.) - 2014 - Routledge.
    The aim of this volume is to offer an updated account of the transcendental character of phenomenology. The main question concerns the sense and relevance of transcendental philosophy today: What can such philosophy contribute to contemporary inquiries and debates after the many reasoned attacks against its idealistic, aprioristic, absolutist and universalistic tendencies—voiced most vigorously by late 20th century postmodern thinkers—as well as attacks against its apparently circular arguments and suspicious metaphysics launched by many analytic philosophers? Contributors also aim to clarify (...)
     
    Export citation  
     
    Bookmark   2 citations  
  8.  42
    Husserl and Gödel’s Incompleteness Theorems.Mirja Hartimo - 2017 - Review of Symbolic Logic 10 (4):638-650.
    The paper examines Husserl’s interactions with logicians in the 1930s in order to assess Husserl’s awareness of Gödel’s incompleteness theorems. While there is no mention about the results in Husserl’s known exchanges with Hilbert, Weyl, or Zermelo, the most likely source about them for Husserl is Felix Kaufmann (1895–1949). Husserl’s interactions with Kaufmann show that Husserl may have learned about the results from him, but not necessarily so. Ultimately Husserl’s reading marks on Friedrich Waismann’s Einführung in das mathematische Denken: die (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  48
    Mathematical Roots of Phenomenology: Husserl and the Concept of Number.Mirja Hartimo - 2006 - History and Philosophy of Logic 27 (4):319-337.
    The paper examines the roots of Husserlian phenomenology in Weierstrass's approach to analysis. After elaborating on Weierstrass's programme of arithmetization of analysis, the paper examines Husserl's Philosophy of Arithmetic as an attempt to provide foundations to analysis. The Philosophy of Arithmetic consists of two parts; the first discusses authentic arithmetic and the second symbolic arithmetic. Husserl's novelty is to use Brentanian descriptive analysis to clarify the fundamental concepts of arithmetic in the first part. In the second part, he founds the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  10.  40
    Syntactic Reduction in Husserl’s Early Phenomenology of Arithmetic.Mirja Hartimo & Mitsuhiro Okada - 2016 - Synthese 193 (3):937-969.
    The paper traces the development and the role of syntactic reduction in Edmund Husserl’s early writings on mathematics and logic, especially on arithmetic. The notion has its origin in Hermann Hankel’s principle of permanence that Husserl set out to clarify. In Husserl’s early texts the emphasis of the reductions was meant to guarantee the consistency of the extended algorithm. Around the turn of the century Husserl uses the same idea in his conception of definiteness of what he calls “mathematical manifolds.” (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  53
    Phenomenology and Mathematics.Mirja Hartimo (ed.) - 2010 - Springer.
    This volume aims to establish the starting point for the development, evaluation and appraisal of the phenomenology of mathematics.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  96
    From Geometry to Phenomenology.Mirja Helena Hartimo - 2008 - Synthese 162 (2):225-233.
    Richard Tieszen [Tieszen, R. (2005). Philosophy and Phenomenological Research, LXX(1), 153–173.] has argued that the group-theoretical approach to modern geometry can be seen as a realization of Edmund Husserl’s view of eidetic intuition. In support of Tieszen’s claim, the present article discusses Husserl’s approach to geometry in 1886–1902. Husserl’s first detailed discussion of the concept of group and invariants under transformations takes place in his notes on Hilbert’s Memoir Ueber die Grundlagen der Geometrie that Hilbert wrote during the winter 1901–1902. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  19
    The Development of Mathematics and the Birth of Phenomenology.Mirja Hartimo - 2010 - In Phenomenology and Mathematics. Springer. pp. 107--121.
  14.  49
    Logic as a Universal Medium or Logic as a Calculus? Husserl and the Presuppositions of “the Ultimate Presupposition of Twentieth Century Philosophy”.Mirja Hartimo - 2006 - Southern Journal of Philosophy 44 (4):569-580.
    This paper discusses Jean van Heijenoort’s (1967) and Jaakko and Merrill B. Hintikka’s (1986, 1997) distinction between logic as auniversal language and logic as a calculus, and its applicability to Edmund Husserl’s phenomenology. Although it is argued that Husserl’s phenomenology shares characteristics with both sides, his view of logic is closer to the model-theoretical, logic-as-calculus view. However, Husserl’s philosophy as transcendental philosophy is closer to the universalist view. This paper suggests that Husserl’s position shows that holding a model-theoretical view of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  49
    Stefania Centrone. Logic and Philosophy of Mathematics in the Early Husserl. Synthese Library 345. Dordrecht: Springer, 2010. Pp. Xxii + 232. ISBN 978-90-481-3245-4. [REVIEW]Mirja Hartimo - 2010 - Philosophia Mathematica 18 (3):344-349.
    It is beginning to be rather well known that Edmund Husserl, the founder of phenomenological philosophy, was originally a mathematician; he studied with Weierstrass and Kronecker in Berlin, wrote his doctoral dissertation on the calculus of variations, and was then a colleague of Cantor in Halle until he moved to the Göttingen of Hilbert and Klein in 1901. Much of Husserl’s writing prior to 1901 was about mathematics, and arguably the origin of phenomenology was in Husserl’s attempts to give philosophical (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  16.  79
    Husserl and the Algebra of Logic: Husserl’s 1896 Lectures.Mirja Hartimo - 2012 - Axiomathes 22 (1):121-133.
    In his 1896 lecture course on logic–reportedly a blueprint for the Prolegomena to Pure Logic –Husserl develops an explicit account of logic as an independent and purely theoretical discipline. According to Husserl, such a theory is needed for the foundations of logic (in a more general sense) to avoid psychologism in logic. The present paper shows that Husserl’s conception of logic (in a strict sense) belongs to the algebra of logic tradition. Husserl’s conception is modeled after arithmetic, and respectively logical (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  21
    Spielbedeutungen.Mirja Hartimo - 2003 - Philosophy Today 47 (5):71-78.
  18.  8
    Spielbedeutungen: Hussserl on Rule Following and the Mechanization of Thought.Mirja Hartimo - 2003 - Philosophy Today 47 (Supplement):71-78.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  6
    Husserl on Kant and the Critical View of Logic.Mirja Hartimo - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy:1-18.
    ABSTRACTThis paper seeks to clarify Husserl’s critical remarks about Kant’s view of logic by comparing their respective views of logic. In his Formal and Transcendental Logic Husserl c...
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  35
    Burt C. Hopkins: The Origin of the Logic of Symbolic Mathematics. Edmund Husserl and Jacob Klein: Bloomington and Indianapolis, Indiana University Press, 2011, 559 Pp., ISBN 978-0-253-35671-0. [REVIEW]Mirja Hartimo - 2013 - Husserl Studies 29 (3):239-249.
  21.  22
    Stefania Centrone. Logic and Philosophy of Mathematics in the Early Husserl. Synthese Library 345. Dordrecht: Springer, 2010. Pp. Xxii+232. ISBN 978-90-481-3245-4: Correction to Book Review. [REVIEW]Mirja Hartimo - 2011 - Philosophia Mathematica 19 (1):90-90.
  22.  15
    Essays on Gödel's Reception of Leibniz, Husserl, and Brouwer.M. Hartimo - 2016 - History and Philosophy of Logic 37 (3):297-299.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  15
    Hill, Claire Ortiz and Jairo Jose da Silva., The Road Not Taken, On Husserl's Philosophy of Logic and Mathematics. [REVIEW]Mirja Hartimo - 2014 - Review of Metaphysics 68 (1):167-168.
  24. Muisti.Jani Hakkarainen, Mirja Hartimo & Jaana Virta (eds.) - 2013 - Tampere: Tampere University Press.
    Proceedings of the annual congress of the Finnish Philosophical Association in 2013. Theme: memory.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. Constitution and Construction.Mirja Hartimo - 2019 - In Christina Weiss (ed.), Constructive Semantics. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  26. Husserl and Peirce and the Goals of Mathematics.Mirja Hartimo - 2019 - In Ahti-Veikko Pietarinen & Mohammad Shafiei (eds.), Peirce and Husserl: Mutual Insights on Logic, Mathematics and Cognition. Springer Verlag.
    ABSTRACT. The paper compares the views of Edmund Husserl (1859-1938) and Charles Sanders Peirce (1839-1914) on mathematics around the turn of the century. The two share a view that mathematics is an independent and theoretical discipline. Both think that it is something unrelated to how we actually think, and hence independent of psychology. For both, mathematics reveals the objective and formal structure of the world, and both think that modern mathematics is a Platonist enterprise. Husserl and Peirce also share a (...)
     
    Export citation  
     
    Bookmark  
  27. Husserl on 'Besinnung' and Formal Ontology.Mirja Helena Hartimo - 2019 - In Metametaphysics and the Sciences: Historical and Philosophical Perspectives. pp. 200-215.
  28. Truth, Etc. [REVIEW]Mirja Hartimo - 2007 - Bulletin of Symbolic Logic 13 (4):549-552.