25 found
Order:
Disambiguations
Mirja Hartimo [22]M. Hartimo [3]
See also
Profile: Mirja Helena Hartimo (University of Tampere)
Profile: Mirja Hartimo
  1.  18
    Husserl and Gödel's Incompleteness Theorems.Mirja Hartimo - 2017 - Review of Symbolic Logic 2017.
    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  
     
    Export citation  
     
    My bibliography  
  2.  73
    Towards Completeness: Husserl on Theories of Manifolds 1890–1901.Mirja 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 (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  3.  74
    From Geometry to Phenomenology.Mirja 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 (5 more)  
     
    Export citation  
     
    My bibliography  
  4.  23
    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  
     
    My bibliography   1 citation  
  5.  53
    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 (9 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  6.  48
    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  
     
    My bibliography   1 citation  
  7.  8
    Husserl on Completeness, Definitely.Mirja Hartimo - forthcoming - Synthese:1-19.
    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  
     
    My bibliography  
  8.  32
    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 (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  9.  32
    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 (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10.  66
    Husserl and the Algebra of Logic: Husserl's 1896 Lectures. [REVIEW]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 (6 more)  
     
    Export citation  
     
    My bibliography  
  11.  10
    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 (3 more)  
     
    Export citation  
     
    My bibliography  
  12.  20
    Burt C. Hopkins: The Origin of the Logic of Symbolic Mathematics. Edmund Husserl and Jacob Klein. [REVIEW]Mirja Hartimo - 2013 - Husserl Studies 29 (3):239-249.
  13.  13
    The Development of Mathematics and the Birth of Phenomenology.Mirja Hartimo - 2010 - In Phenomenology and Mathematics. Springer. pp. 107--121.
  14.  24
    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-. [REVIEW]M. Hartimo - 2010 - Philosophia Mathematica 18 (3):344-349.
  15.  8
    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.
  16.  10
    Spielbedeutungen.Mirja Hartimo - 2003 - Philosophy Today 47 (5):71-78.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  17.  2
    Spielbedeutungen: Hussserl on Rule Following and the Mechanization of Thought.Mirja Hartimo - 2003 - Philosophy Today 47 (Supplement):71-78.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  18.  3
    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.
  19. REVIEWS-Truth, Etc.J. Barnes & Mirja Hartimo - 2007 - Bulletin of Symbolic Logic 13 (4).
  20. Muisti.Jani Hakkarainen, Mirja Hartimo & Jaana Virta (eds.) - 2013 - Tampere University Press.
    Proceedings of the annual congress of the Finnish Philosophical Association in 2013. Theme: memory.
    Translate
     
     
    Export citation  
     
    My bibliography  
  21. 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 and Jaakko and Merrill B. Hintikka’s 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 logic does not (...)
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  22. Stefania Centrone. Logic and Philosophy of Mathematics in the Early Husserl. Synthese Library 345. Dordrecht: Springer, 2010. Pp. Xxii &Plus; 232. ISBN 978-90-481-3245-4: Critical Studies/Book Reviews. [REVIEW]Mirja Hartimo - 2010 - Philosophia Mathematica 18 (3):344-349.
    Direct download  
     
    Export citation  
     
    My bibliography  
  23. 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 (2 more)  
     
    Export citation  
     
    My bibliography  
  24. Truth, Etc. [REVIEW]Mirja Hartimo - 2007 - Bulletin of Symbolic Logic 13 (4):549-552.
     
    Export citation  
     
    My bibliography  
  25. Phenomenology and the Transcendental.Heinämaa Sara, Hartimo Mirja & Miettinen Timo (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  
     
    My bibliography