Resumo

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.

Palavras-chave : logique; théorie des catégories; topos; Grothendieck; forme.