Fenomenología e intuicionismo matemático. Aspectos nodales de la relación entre Husserl, Brouwer y Heyting
DOI:
https://doi.org/10.69967/07194773.v1i11.10Palabras clave:
Husserl, Brouwer, Heyting, Negación, Intuicionismo, FenomenologíaResumen
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.
Descargas
Citas
Hua XI. Analysen zur passiven Synthesis. Aus Vorlesungs und Forschungsmanuskripten (1918-1926). Kluwer Akademic Publishers, Holanda/Boston/Londres.
Schuhmann, K. (1977). Husserl-Chronik (Denk- und Lebensweg Edmund Husserls), Husserliana Dokumente. Nijhoff, Den Haag. DOI: https://doi.org/10.1007/978-94-017-1806-6
Husserl, Edmund. 1994. Briefwechsel. Hrgs. Karl Schuhmann. The Hague, Netherlands: Band III/4: Die Freiburger Schüler.
Investigaciones lógicas (1999). Trad. José Gaos y Manuel García Morente, Alianza Madrid.
Brouwer, L.E.J. (2011). Cambridge Lectures on Intuitionism, Dirk van Dalen (Ed.) Cambridge/London/New York, Cambridge University Press
Brouwer, L.E.J. (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.
Heyting, Arend (1931). Die intuitionistische Grundlegung der Mathematik en Erkenntnis, vol. 2. pp. 106-115. DOI: https://doi.org/10.1007/BF02028143
Heyting, Arend (1955). Les fondements des mathématiques. Intuitionisme, théorie de la démonstration, Gauthier-Villars, Paris, Louvain.
Heyting, Arend (1958). Intuitionism in mathematics en Klibansky (Ed.) Philosophy in the mid-century. A survey, Firenze, La Nuova Italia, pp. 102-115.
Heyting, Arend (1974). Intuitionistic Views on the Nature of Mathematics Bollettino dell’UMI 9, pp. 122-134.
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. DOI: https://doi.org/10.5944/rif.9.2012.750
Anton Mlinar, Ivana (2013a). La evidencia en Ideas I: originariedad del cumplimiento. Δαιμων. Revista Internacional de Filosofía, nº 58, 2013, pp. 125-139.
Anton Mlinar, Ivana (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. DOI: https://doi.org/10.18800/arete.201302.001
Anton Mlinar, Ivana (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. DOI: https://doi.org/10.5944/rif.11.2014.29532
Beyer, C. (1996). Von Bolzano zu Husserl, Eine Untersuchung über den Ursprung der phänomenologischen Bedeutungslehre, Dordrecht, Boston, London, Kluwer. DOI: https://doi.org/10.1007/978-94-009-1691-3
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. DOI: https://doi.org/10.1007/978-94-024-1132-4_3
da Silva, Jairo (2016). Husserl and Hilbert on completeness, still. Synthese, 193. DOI: https://doi.org/10.1007/s11229-015-0821-2
Dummett, Michael (2000), Elements of Intuitionism, Clarendon Press, Oxford. DOI: https://doi.org/10.1093/oso/9780198505242.001.0001
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. DOI: https://doi.org/10.4000/books.pulg.7031
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.
Gerard, Vincent (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. DOI: https://doi.org/10.1007/978-94-007-0071-0_11
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. DOI: https://doi.org/10.4324/9781003070559-8
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. DOI: https://doi.org/10.1080/01445348208837029
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. DOI: https://doi.org/10.1007/978-3-0346-0405-5_14
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. DOI: https://doi.org/10.4000/methodos.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.
Martin-Löf, Per (1987). Truth of a proposition, evidence of a judgement, validity of a proof. Synthese, 73, p. 407–420. DOI: https://doi.org/10.1007/BF00484985
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
Molina, Jorge Alberto (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. DOI: https://doi.org/10.5840/monist199477319
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. DOI: https://doi.org/10.1007/978-94-007-4435-6_3
Rosado Haddock, Guillermo (2017). Husserl and Riemann en Essays on Husserl’s Logic and Philosophy of Mathematics, Centrone, S. (Ed.), Springer, Dordrecht, The Netherlands. DOI: https://doi.org/10.1007/978-94-024-1132-4_10
Sebestik J. (2003). Husserl Reader of Bolzano en Husserl’s Logical Investigations Reconsidered. Contributions to Phenomenology, vol 48. Springer, Dordrecht DOI: https://doi.org/10.1007/978-94-017-0207-2_5
Sundholm, Göran (1983). Constructions, Proofs and the Meaning of Logical Constants, Journal of Philosophical Logic, Vol. 12, No. 2, pp. 151-172. DOI: https://doi.org/10.1007/BF00247187
Tieszen, Richard (1989). Mathematical Intuition. Phenomenology and Mathematical Knowledge, Kluwer Academic Publishers, Dordrecht/Boston/London. DOI: https://doi.org/10.1007/978-94-009-2293-8_4
Tieszen, Richard (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. DOI: https://doi.org/10.1007/978-3-7643-8653-5_6
Troelstra, A.S. (1977). Choise Secuences. A chapter of intuitionistic mathematics, Oxford University Press.
Troelstra, A.S. (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. DOI: https://doi.org/10.1016/S0049-237X(09)70145-4
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. DOI: https://doi.org/10.1093/philmat/10.2.203
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.
van Atten, Mark, (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.
van Atten, Mark, (2007). Brouwer meets Husserl. On the phenomenology of choice sequences, Springer, Netherlands. DOI: https://doi.org/10.1007/978-1-4020-5087-9
van Atten, Mark, (2015). Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer, Springer, Heidelberg/New. DOI: https://doi.org/10.1007/978-3-319-10031-9
van Atten, Mark, (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. DOI: https://doi.org/10.1007/978-94-024-1132-4_12
van Dalen, Dirk (1978). Brouwer: The Genesis of his Intuitionism” en Dialéctica Vol. 32, No 34. DOI: https://doi.org/10.1111/j.1746-8361.1978.tb01318.x
van Dalen, Dirk (1998). From a Brouwerian Point of View, Philosophia Mathematica (3) Vol. 6. DOI: https://doi.org/10.1093/philmat/6.2.209
van Dalen, Dirk (1999). Mystic, Geometer and Intuitionist. The Life of L. E. J. Brouwer. Vol. I, Oxford, Clarendon Press.
van Dalen, Dirk (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. DOI: https://doi.org/10.1007/978-3-7643-8653-5
van Dalen, Dirk (2011). Companion to The Selected Correspondence of L.E.J. Brouwer, Springer, London Dordrecht Heidelberg New York. DOI: https://doi.org/10.1007/978-0-85729-537-8
van Dalen, Dirk (2013). L.E.J. Brouwer. Topologist, Intuitionist, Philosopher. How Mathematics Is Rooted in Life. Springer London/Heidelberg/New York/Dordrecht. DOI: https://doi.org/10.1007/978-1-4471-4616-2
van Stigt, Walter P. (1979). The Rejected Parts of Brouwer’s Dissertation on the Foundations of Mathematics, Historia Mathematics 6, pp. 385-404. DOI: https://doi.org/10.1016/0315-0860(79)90025-9
Descargas
Publicado
Cómo citar
Número
Sección
Licencia
Derechos de autor 2018 Luis Alberto Canela Morales
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-SinDerivadas 4.0.