La visión categórica de la lógica

  • Jorge Alberto Herrera Hernández Universidad de Barcelona, España
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.

Biografía del autor/a

Jorge Alberto Herrera Hernández, Universidad de Barcelona, España

Estudiante de Máster en la Facultad de Matemáticas

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.
Publicado
2020-05-06