Servicios Personalizados
Revista
Articulo
Indicadores
Citado por SciELO
Accesos
Links relacionados
Similares en SciELO
Compartir
Tópicos del Seminario
versión On-line ISSN 2594-0619versión impresa ISSN 1665-1200
Resumen
HERRERA HERNANDEZ, Jorge Alberto. La vision catégorique de la logique. Tóp. Sem [online]. 2020, n.43, pp.65-92. Epub 07-Ago-2020. ISSN 2594-0619.
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.
Palabras llave : logique; théorie des catégories; topos; Grothendieck; forme.