El estructuralismo filosófico y los fundamentos de las matemáticas: el debate Hellman-Awodey
Barra lateral del artículo
Contenido principal del artículo
En el marco de la filosofía de las matemáticas contemporáneas, Hellman y Awodey sostienen un debate acerca del rol de la Teoría de Conjuntos de Zermelo-Fraenkel (ZF) y la Teoría de Categorías (TCat) en la perspectiva de una buena fundamentación estructuralista para las matemáticas. Según Hellman, ni ZF ni TCat constituyen un buen marco fundacional para las matemáticas; sin embargo, su punto central en este debate es que TCat no logra una autonomía, en sentido fuerte, respecto a ZF, y, además, sostiene que la tesis de Awodey, favorable a TCat, es inevitablemente una tesis fundacionalista. Desde la otra orilla, Awodey sostiene que la noción categórica de estructura no es fundacional, pero sí constituye la mejor opción para interpretar las matemáticas de manera integral y articulada. De esta manera, pone en cuestión el ideal fundacionalista conjuntista. El objetivo del presente artículo es poner de relieve los aspectos filosóficos centrales de esta polémica, fijar algunas posiciones en relación con la misma y mostrar algunas consecuencias relevantes para la filosofía de las matemáticas.
Awodey, S. (2004): “An Answer to Hellman’s Question: ‘Does Category Theory Provide a Framework for Mathematical Structuralism?’”, Philosophia Mathematica, 12 (1), pp. 54-64.
Benacerraf, P. (1965): “What Numbers Could Not Be”. The Philosophical Review, 74 (1), pp. 47-73.
Bourbaki, N. (1950): “The Architecture of Mathematics”. The American Mathematical Monthly, 57, (4), pp. 221-232.
Bourbaki, N. (1968): Theory of Sets. English translation of volumen 1 of Élements de Mathématiques. 10 vols. Paris: Hermann.
Caramello, O. (2010): “The unification of Mathematics via Topos Theory”. En arXiv:1006.3930v1.
Feferman, S. (1969): “Set-theoretical Foundations of Category Theory”, in M. Barr, et a., eds., Reports of the Midwest Category Seminar III,Lecture Notes in Mathematics 106, American Mathematical Society, 201-247.
Hellman, G. (1989). Mathematics without Numbers: Towards a Modal-Structural Interpretation. UK: Oxford University Press.
Hellman, G. (2003): “Does category theory provide a framework for mathematical structuralism?”, Philosophia Mathematica, 11 (2), pp. 129-157.
Leinster, T. (2014): Basic Category Theory. UK: Cambridge University Press.
Mac Lane, S. and Moerdijk, I. (1992): Sheaves in Geometry and Logic: A First Introduction to Topos Theory, New York: Springer-Verlag.
Shapiro, S. (1997): Philosophy of Mathematics: Structure and Ontology. Oxford university Press.
Zalamea, F. (2009): Filosofía sintética de las matemáticas contemporáneas. Bogotá: Editorial Universidad Nacional de Colombia.
Aceptado 2018-02-01
Publicado 2017-07-15
De acuerdo con nuestra política (Licencia Creative Commons CC BY-NC-SA 4.0) los artículos presentados y sometidos al proceso editorial en la revista Praxis Filosófica no tienen costo alguno para sus autores ni retribuciones económicas para la revista. El artículo de carácter inédito, producto de investigación o de algún proyecto que se presente a Praxis Filosófica, no podrá estar sometido a otro proceso de publicación durante el proceso que se lleve en nuestra revista.