Fenomenología e intuicionismo matemático. Aspectos nodales de la relación entre Husserl, Brouwer y Heyting
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.
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.
Los autores ceden a la revista el derecho de primera publicación, con el trabajo asimismo bajo la licencia Atribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0) que permite a terceros utilizar lo publicado siempre que hagan referencia al autor o autores del trabajo y a su publicación en esta revista.
Los autores son libres de realizar otros acuerdos contractuales para la distribución no exclusiva del artículo que publiquen en esta revista (como puede ser incluirlo en una colección institucional o publicarlo en un libro), siempre que indiquen claramente la publicación original del trabajo en esta revista.
Se permite y anima a los autores a publicar su trabajo en Internet (por ejemplo en páginas institucionales o personales) en forma de "working paper" o "preprint" de forma previa y durante el proceso de revisión y publicación, ya que puede conducir a intercambios productivos y a una mayor y más rápida difusión del trabajo publicado. (Vea The Effect of Open Access).