La vision catégorique de la logique
DOI :
https://doi.org/10.35494/topsem.2020.1.43.664Mots-clés :
Logique, Théorie des catégories, Topos, Grothendieck, FormeRésumé
Dans cet article, nous ébauchons rapidement le développement
de la logique à partir de son incorporation à la connaissance
mathématique afin d’exposer comment la théorie des catégories
est liée aux problèmes logiques. Nous examinerons l’apparition
de la pensée catégorique au sein des mathématiques pour finalement
résumer comment les concepts logiques ont acquis plus
de clarté et ont fait l’objet d’une unification complète dans les
connaissances mathématiques grâce à l’utilisation du langage
de la théorie des catégories. On en conclut que la théorie des
catégories développe un concept de forme capable de réaliser
cette unification.
Téléchargements
Les données relatives au téléchargement ne sont pas encore disponibles.
Références
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.
Téléchargements
Publiée
2020-05-06
Comment citer
Herrera Hernández, J. A. (2020). La vision catégorique de la logique. Tópicos Del Seminario, 1(43), 65–92. https://doi.org/10.35494/topsem.2020.1.43.664
Numéro
Rubrique
Artículos
Licence
Tópicos del Seminario is licensed under a Creative Commons Reconocimiento-NoComercial-CompartirIgual 4.0 Internacional License.
