La visión categórica de la lógica
Palabras clave:
Teoría de categorías, topos, Grothendieck, Forma, Lógica
Resumen
En el presente artículo se esboza brevemente el desarrollo de la
lógica a partir de su incorporación al saber matemático, con el
fin de exponer la manera en que la teoría de categorías se relaciona
con los problemas lógicos. Se revisará el surgimiento del
pensamiento categórico dentro de la matemática, para finalmente
resumir cómo es que los conceptos lógicos adquieren mayor
claridad y experimentan una completa unificación dentro del
saber matemático mediante el uso del lenguaje de la teoría de
categorías. Se concluye que la teoría de categorías desarrolla un
concepto de forma capaz de lograr dicha unificación.
Citas
GROTHENDIECK, A. Récoltes et semailles : Réflexions et témoignages sur in passé de mathématicien.
Manuscrito inédito disponible en: http://matematicas.unex.es/~navarro/res/res.pdf
KLEIN, F. (1893). "A Comparative Review of Recent Researches in Geometry". Bulletin of the New York
Mathematical Society, vol. 2, núm. 10, pp. 215-249. Disponible en: https://projecteuclid.org/
euclid.bams/1183407629
LAWVERE, W. & SCHNAUEL, H. (2009). Conceptual Mathematics. A First Introduction to Categories. Cambridge:
Cambridge University Press [Traducción al español por Francisco Marmolejo. Disponible en:
http://www.acsu.buffalo.edu/~wlawvere/concep-3.pdf]
MAC LANE, S. & MOERDIJK, I. (1992). Sheaves in Geometry and Logic. Springer: Nueva York.
NAGEL, E. y NEWMAN, J. (2007). El teorema de Gödel. Madrid: Tecnos.
PRIEST, G. (2008). An Introduction to Non-Classical Logics. From if to Is. Cambridge: Cambridge University
Press.
SMULLYAN, R. (2002). Bosques curiosos y pájaros aristocráticos. Barcelona: Gedisa.
TILES, M. (1989). The Philosophy of Set Theory. Nueva York: Dover Publications.
TORRETI, R. (1978). Philosophy of Geometry from Riemann to Poincaré. Dodrecht: Reidel Publishing Company.
Manuscrito inédito disponible en: http://matematicas.unex.es/~navarro/res/res.pdf
KLEIN, F. (1893). "A Comparative Review of Recent Researches in Geometry". Bulletin of the New York
Mathematical Society, vol. 2, núm. 10, pp. 215-249. Disponible en: https://projecteuclid.org/
euclid.bams/1183407629
LAWVERE, W. & SCHNAUEL, H. (2009). Conceptual Mathematics. A First Introduction to Categories. Cambridge:
Cambridge University Press [Traducción al español por Francisco Marmolejo. Disponible en:
http://www.acsu.buffalo.edu/~wlawvere/concep-3.pdf]
MAC LANE, S. & MOERDIJK, I. (1992). Sheaves in Geometry and Logic. Springer: Nueva York.
NAGEL, E. y NEWMAN, J. (2007). El teorema de Gödel. Madrid: Tecnos.
PRIEST, G. (2008). An Introduction to Non-Classical Logics. From if to Is. Cambridge: Cambridge University
Press.
SMULLYAN, R. (2002). Bosques curiosos y pájaros aristocráticos. Barcelona: Gedisa.
TILES, M. (1989). The Philosophy of Set Theory. Nueva York: Dover Publications.
TORRETI, R. (1978). Philosophy of Geometry from Riemann to Poincaré. Dodrecht: Reidel Publishing Company.
Publicado
2020-05-06
Cómo citar
Herrera Hernández, J. (2020). La visión categórica de la lógica. Tópicos Del Seminario, 1(43), 65-92. Recuperado a partir de http://rda.buap.mx/ojs-ts1/index.php/topsem/article/view/664
Sección
Artículos
Tópicos del Seminario is licensed under a Creative Commons Reconocimiento-NoComercial-CompartirIgual 4.0 Internacional License.
