Fenomenología e intuicionismo matemático. Aspectos nodales de la relación entre Husserl, Brouwer y Heyting

  • Luis Alberto Canela Morales Universidad Nacional Autónoma de México
Palabras clave: Husserl, Brouwer, Heyting, Negación, Intuicionismo, Fenomenología

Resumen

El objetivo de este trabajo es resaltar el vínculo entre la fenomenología de Husserl y el intuicionismo de Brouwer y Heyting. Los vínculos se presentaran siguiendo algunas de las tesis principales del Intuicionismo y de la Fenomenología, a saber, el papel que tiene nuestra subjetividad en la constitución-construcción del mundo; a la noción de cumplimiento y en el estudio del concepto de negación en la lógica clásica.

Biografía del autor/a

Luis Alberto Canela Morales, Universidad Nacional Autónoma de México

Licenciado en Filosofía por la Universidad Veracruzana, Magíster por la Universidad de Guanajuato y candidato a Doctor en Filosofía en la Universidad Nacional Autónoma de México, con estancia doctoral en los Archivos Husserl de la Universidad de Colonia, Alemania.

Citas

[Hua XI] Analysen zur passiven Synthesis. Aus Vorlesungs und Forschungsmanuskripten (1918-1926). Kluwer Akademic Publishers, Holanda/Boston/Londres.

Husserliana Dokumente

Schuhmann, K. (1977). Husserl-Chronik (Denk- und Lebensweg Edmund Husserls), Husserliana Dokumente. Nijhoff, Den Haag.

Husserl, Edmund. 1994. Briefwechsel. Hrgs. Karl Schuhmann. The Hague, Netherlands: Band III/4: Die Freiburger Schüler.

Otras ediciones

Investigaciones lógicas (1999). Trad. José Gaos y Manuel García Morente, Alianza Madrid.

L.E.J. Brouwer

Brouwer, L.E.J. (2011). Cambridge Lectures on Intuitionism, Dirk van Dalen (Ed.) Cambridge/London/New York, Cambridge University Press

------------------- (1975). Collected Works I. Philosophy and Foundations of Mathematics, A. Heyting (Ed.), Amsterdam/Oxford American Elsevier Publishing Company, Inc. New York. North-Holland Publishing Company.

Arendt Heyting

Heyting, Arend (1930). Sur la logique intuitionniste, Académie Royale de Belgique, Bullletin de la Classe des Sciences 16: pp. 957–963.

------------------- (1931). Die intuitionistische Grundlegung der Mathematik en Erkenntnis, vol. 2. pp. 106-115.

-------------------- (1955). Les fondements des mathématiques. Intuitionisme, théorie de la démonstration, Gauthier-Villars, Paris, Louvain.

---------------------(1958). Intuitionism in mathematics en Klibansky (Ed.) Philosophy in the mid-century. A survey, Firenze, La Nuova Italia, pp. 102-115.

--------------------(1974). Intuitionistic Views on the Nature of Mathematics Bollettino dell’UMI 9, pp. 122-134.

Bibliografía secundaria

Anton Mlinar, Ivana (2012). Un análisis de la evidencia en la Lógica formal y trascendental de Husserl. Investigaciones Fenomenológicas, UNED, Madrid, No. 9, 2012, pp. 195-220.

------------------------- (2013a). La evidencia en Ideas I: originariedad del cumplimiento. Δαιμων. Revista Internacional de Filosofía, nº 58, 2013, pp. 125-139.

-------------------------- (2013b). Sentido modal de la evidencia en Husserl: modalidad versus modalización. Areté, Revista de Filosofía, vol. XXV, N° 2, 2013. Pp. 199-200.

-------------------------- (2014). La evidencia en los Prolegómenos y las Investigaciones lógicas. Primeros aportes para una comprensión modal de la evidencia en Husserl. Investigaciones Fenomenológicas, UNED, Madrid, No. 11, pp. 33-56.

Beyer, C. (1996). Von Bolzano zu Husserl, Eine Untersuchung über den Ursprung der phänomenologischen Bedeutungslehre, Dordrecht, Boston, London, Kluwer.

Canela Morales, Luis Alberto (2016). Aritmetización del análisis y construcción formal: Husserl como alumno de Weierstrass y Kronecker. Eikasia. Revista de Filosofía, No. 72, Editorial Eikasia S.L. Pp. 133-152.

Casari, Ettore (2017). Husserl and Bolzano en Centrone, S. (Ed.) Essays on Husserl’s Logic and Philosophy of Mathematics, Springer Science+Business Media B.V.

da Silva, Jairo (2016). Husserl and Hilbert on completeness, still. Synthese, 193.

Dummett, Michael (2000), Elements of Intuitionism, Clarendon Press, Oxford.

Franchella, Miriam (2007). Arend Heyting and Phenomenology: Is the Meeting Feasible? Bulletin d’analyse phénoménologique III 2.

Frechétte, G. (2011). De la proposition à l’état de choses: Husserl lecteur de Bolzano en A. Dewalque, D. Seron, y B. Leclercq (Eds.) Catégories ontologiques et catégories logiques, Liège, Presses de l’Université de Liège, pp. 33-53.

Gerard, Vincent (2008). Husserl, élève de Kronecker et Weierstrass: Théorie de la signification, théorie des nombres et théorie des fonctions” en J. Benoist (Ed.) Husserl, Paris: Les Éditions du Cerf.

-------------------- (2010). Mathesis universalis et géométrie: Husserl et Grassmann en Ierna, Carlo et al. (Eds.) Philosophy, Phenomenology, Sciences, Springer Science+Business Media, pp. 255-300.

Gethmann, Carl Friedrich (2003). Hermeneutic Phenomenology and Logical Intuitionism: On Oskar Becker’s Mathematical Existence. The New Yearbook for Phenomenology and Phenomenological Philosophy III, pp. 143–60.

Grattan-Guinness, I. (1982). Psychology in the Foundations of Logic and Mathematics: the Cases of Boole, Cantor and Brouwer en History and Philosophy of Logic, Taylor & Francis, 3:1.

Hartimo, Mirja (2011). Grassmann’s influence on Husserl en H.-J. Petsche et al. (Eds.), From Past to Future: Graßmann’s Work in Context, Springer, Basel. Pp. 149-159.

Heidegger, M. (2006). Prolegómenos para una historia del concepto de tiempo, Alianza, Madrid.

Hernández Marcelo Jimmy (2015) El puesto de Husserl en el conflicto entre Weierstrass y Kronecker, El Mirador, Nº. 16, pp. 29-47

Ierna, Carlo (2012). La notion husserlienne de multiplicité: au-delà de Cantor et Riemann en Methodos [En línea], 12. URL: http://methodos.revues.org/2943.

Legris, Javier (2008). Intención y conflicto: sobre la interpretación de la negación en el intuicionismo matemático en O que os faz pensar. Cadernos do Departamento de Filosofia da PUC-Rio.

Martin-Löf, Per (1985/1996). On the meanings of the logical constants and the justifications of the logical laws en Nordic Journal of Philosophical Logic 1, pp. 11–60.

-------------------- (1987). Truth of a proposition, evidence of a judgement, validity of a proof. Synthese, 73, p. 407–420.

Molina, Jorge Alberto (2007). Cálculo y lenguaje en el intuicionismo matemático. Simposio 100 años de intuicionismo matemático. El Centenario de la tesis doctoral de L. E. J. Brouwer. Buenos Aires, Academia Nacional de Ciencias de Buenos Aires

----------------------- (2008). Negación y Doble Negación en el Intuicionismo de Brouwer, O que nos faz pensar nº23, junho.

Okada, M. (2013). Husserl and Hilbert on Completeness and Husserl’s Term Rewrite-based Theory of Multiplicity. Invited paper, 24th International Conference on Rewriting Techniques and Applications (RTA’13) (pp. 4–19). Edited por Femke van Raamsdonk. The Netherlands.

Ortiz Hill, Claire (1994). Frege’s Attack on Husserl and Cantor, The Monist, vol. 77, No. 3, pp. 345-357.

Palau, Gladys (2002). Introducción filosófica a las lógicas no-clásicas, Gedisa, Barcelona.

Paredes Martín, María del Carmen (2002). Teorías de la intencionalidad, Síntesis, Madrid.

Prawitz, Dag (2012). Truth and Proof in Intuitionism en Peter Dybjer et. al. (Eds.) Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf, Springer, Dordrecht/Heidelberg/New York/London.

Rosado Haddock, Guillermo (2017). Husserl and Riemann en Essays on Husserl’s Logic and Philosophy of Mathematics, Centrone, S. (Ed.), Springer, Dordrecht, The Netherlands.

Sebestik J. (2003). Husserl Reader of Bolzano en Husserl’s Logical Investigations Reconsidered. Contributions to Phenomenology, vol 48. Springer, Dordrecht

Sundholm, Göran (1983). Constructions, Proofs and the Meaning of Logical Constants, Journal of Philosophical Logic, Vol. 12, No. 2, pp. 151-172.

Tieszen, Richard (1989). Mathematical Intuition. Phenomenology and Mathematical Knowledge, Kluwer Academic Publishers, Dordrecht/Boston/London.

------------------------ (2008). The intersection of intuitionism (Brouwer) and phenomenology (Husserl) en van Atten Mark, Pascal Boldini, Michel Bourdeau y Gerhard Heinzmann (Eds.) One Hundred Years of Intuitionism (1907-2007), Birkhäuser, Basel/Boston/Berlín.

Troelstra, A.S. (1977). Choise Secuences. A chapter of intuitionistic mathematics, Oxford University Press.

---------------- (1982). On the Origin and Development of Brouwer’s Concept of Choice Sequence en Troelstra A.S. y D. van Dalen (Eds.), The L.E.J. Brower Centenary Symposium, North-HoNand Publishing Company.

van Atten, Mark, Dirk van Dalen y Richard Tieszen (2002). Brouwer and Weyl: The Phenomenology and Mathematics of the Intuitive Continuum en Philosophia Mathematica (3) Vol. 10.

van Atten, Mark, (2004). Brouwer and the Hypothetical Judgement. Second Thoughts on John Kuiper´s Ideas and Explorations. Brouwer´s Road to Intutionism. Revue Internationale de Philosophie 58, 4, pp. 501-516.

---------------------- (2005). The Correspondence between Oskar Becker and Arendt Heyting en Peckhaus, V. (Comp.) Oskar becker und die Philosophie der Mathematik, Múnich, Wilhelm Fink, Verlag.

--------------------- (2007). Brouwer meets Husserl. On the phenomenology of choice sequences, Springer, Netherlands.

--------------------- (2015). Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer, Springer, Heidelberg/New.

-----------------------(2017)- Construction and Constitution in Mathematics en Centrone, S. (Ed.) Essays on Husserl’s Logic and Philosophy of Mathematics, Springer, Science+Business Media B.V, Dordrecht, The Netherlands.

van Dalen, Dirk (1978). Brouwer: The Genesis of his Intuitionism” en Dialéctica Vol. 32, No 34.

------------------ (1998). From a Brouwerian Point of View, Philosophia Mathematica (3) Vol. 6.

--------------------- (1999). Mystic, Geometer and Intuitionist. The Life of L. E. J. Brouwer. Vol. I, Oxford, Clarendon Press.

-------------------- (2008). Another look at Brouwer’s dissertation en van Atten, Mark Pascal Boldini, Michel Bourdeau y Gerhard Heinzmann (Eds.) One Hundred Years of Intuitionism (1907-2007), Birkhäuser, Basel/Boston/Berlín.

-------------------- (2011). Companion to The Selected Correspondence of L.E.J. Brouwer, Springer, London Dordrecht Heidelberg New York.

------------------- (2013). L.E.J. Brouwer. Topologist, Intuitionist, Philosopher. How Mathematics Is Rooted in Life. Springer London/Heidelberg/New York/Dordrecht.

van Stigt, Walter P. (1979). The Rejected Parts of Brouwer’s Dissertation on the Foundations of Mathematics, Historia Mathematics 6, pp. 385-404.

Publicado
2018-12-26