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

Luis Alberto Canela Morales

Resumen


El objetivo de este trabajo es resaltar el vínculo entre la fenomenología de Husserl y el intuicionismo de Brouwer y Heyting, principalmente. Hay que recordar que la conexión entre la fenomenología y el intuicionismo también está ejemplificada en la obra de H. Weyl y O. Becker .  Los vínculos se presentan a partir de algunas tesis sostenidas por el padre del Intuicionismo y el padre de la Fenomenología. A saber, el rechazo a toda verdad no-experimentada, no comprobada intuitivamente; al papel que tiene nuestra subjetividad en la constitución (y en el caso de Brouwer construcción) del mundo matemático; a la dialéctica entre lo “continuo-discreto” y finalmente al estudio del concepto de negación en la lógica clásica

Palabras clave


Fenomenología, Husserl, Brouwer, Heyting, Construcción, Intención, Prueba.

Texto completo:

PDF

Referencias


Husserliana

[Hua X] Zur Phänomenologie des inneren Zeitbewußtseins (1893-1917). Kluwer Akademic Publishers, Holanda/Boston/Londres.

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

[Hua XX-1] Logische Untersuchungen. Ergänzungsband. Erster Teil. Entwürfe zur Umarbeitung der VI. Untersuchung und zur Vorrede für die Neuafulageder Logischen Untersuchungen, Kluwer Akademic Publishers, Holanda/Boston/Londres.

Husserliana Dokumente

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

Husserl, Edmund (1994). Briefwechsel. Hrgs. Karl Schuhmann. The Hague, Netherlands:

Band III: Die Göttinger Schule

Band IV: Die Freiburger Schüler.

Band V: Die Neukantianer.

Logische Untersuchungen (1901). Zweiter Theil. Untersuchungen zur Phänomenologie und theorie der Erkenntnis, 1ª ed. Max Niemeyer, Halle de Salle.

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

L.E.J.Brouwer

(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.

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 (1931), 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, en Investigaciones Fenomenológicas, UNED, Madrid, No. 9, 2012, pp. 195-220.

------------------------- (2013a), La evidencia en Ideas I: originariedad del cumplimiento en Δαιμων. 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 en Investigaciones Fenomenológicas, UNED, Madrid, No. 11, pp. 33-56.

Derrida, Jacques (2015). El problema de la génesis en la filosofía de Husserl, Sígueme, Salamanca, España.

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

Fernández Beites, Pilar (1999), Fenomenología del ser espacial, Publicaciones Universidad Pontificia Salamanca, Salamanca.

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

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.

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

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, 5 de septiembre de 2007, 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.

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

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.

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

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”. Oskar becker und die Philosophie der Mathematik, comp. por Volker Peckhaus. 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 Stefania Centrone (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 Mark van Atten, 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.

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 Mark van Atten, 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 A.S. Troelstra y D. van Dalen (Eds.), The L.E.J. Brower Centenary Symposium, North-HoNand Publishing Company.


Enlaces refback

  • No hay ningún enlace refback.


Copyright (c) 2019 Mutatis Mutandis: Revista Internacional de Filosofía