Contenido principal del artículo

Autores

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.

Luz Victoria De La Pava, Universidad del Valle, Cali, Colombia

Profesora de la Universidad del Valle. Licenciada en matemáticas y física. Magister en matemáticas por la Universidad del Valle. Sus principales áreas de trabajo y de investigación son: historia de las matemáticas, lógica y fundamentos de las matemáticas.

E-mail: victoria.delapava@correounivalle.edu.co

Edgar Fernando Gálvez, Universidad del Valle, Cali, Colombia

Profesor de la Universidad del Valle. Licenciado en Filosofía y Magister en Educación Matemática por la Universidad del Valle. Estudios doctorales en filosofía matemática.  Sus principales áreas de trabajo y de investigación son: filosofía de la matemática, historia y educación matemática.

E-mail: edgar.f.galvez@correounivalle.edu.co

De La Pava, L. V., & Gálvez, E. F. (2018). El estructuralismo filosófico y los fundamentos de las matemáticas: el debate Hellman-Awodey. Praxis Filosófica, (45S), 197–218. https://doi.org/10.25100/pfilosofica.v0i45S.6146
Awodey, S. (1996): “Structure in Mathematics and Logic: A categorical Perspective”, Philosophia Mathematica, 4, pp. 209-237.

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.
Recibido 2018-02-01
Aceptado 2018-02-01
Publicado 2018-02-01