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

• Autores: Luis Alberto Canela Morales
• Localización: Mutatis Mutandis: Revista Internacional de Filosofía, ISSN-e 0719-4773, Nº. 11, 2018 (Ejemplar dedicado a: Husserl en perspectiva), págs. 57-84
• Idioma: español
• DOI: 10.69967/07194773.v1i11.10
• Títulos paralelos:
  • Phenomenology and mathermatical intuitionism. Main aspects of relationship among the work of Husserl, Brouwer and Heyting
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    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.

  • English

    This paper analyzes the linkage between Husserl’s phenomenology and Brouwer’s and Heyting’s intuitionism. The linkages are presented from some theses of Intuitionism and Phenomenology, namely, the role of our subjectivity in the constitution of the mathematical world; the notion of fulfilment and the study of the concept of negation in classical logic.

• Referencias bibliográficas
  • 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...
  • 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...
  • 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...
  • 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...
  • ---------------------- (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,...
  • ------------------------- (2013a), La evidencia en Ideas I: originariedad del cumplimiento en Δαιμων. Revista Internacional de Filosofía,...
  • -------------------------- (2013b), Sentido modal de la evidencia en Husserl: modalidad versus modalización, Areté, Revista de Filosofía,...
  • -------------------------- (2014) La evidencia en los Prolegómenos y las Investigaciones lógicas. Primeros aportes para una comprensión modal...
  • 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...
  • Grattan-Guinness, I. (1982), “Psychology in the Foundations of Logic and Mathematics: the Cases of Boole, Cantor and Brouwer” en History and...
  • 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....
  • 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...
  • -------------------- (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...
  • ----------------------- (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...
  • 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”...
  • van Atten, Mark, (2004). “Brouwer and the Hypothetical Judgement. Second Thoughts on John Kuiper´s Ideas and Explorations. Brouwer´s Road...
  • ---------------------- (2005). “The Correspondence between Oskar Becker and Arendt Heyting”. Oskar becker und die Philosophie der Mathematik,...
  • --------------------- (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...
  • 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...
  • -------------------- (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...
  • van Stigt, Walter P. (1979), “The Rejected Parts of Brouwer's Dissertation on the Foundations of Mathematics”, Historia Mathematics 6,...
  • 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,...
  • 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.),...