Services on Demand
Journal
Article
Indicators
- Cited by SciELO
- Access statistics
Related links
- Similars in SciELO
Share
Tópicos del Seminario
On-line version ISSN 2594-0619Print version ISSN 1665-1200
Abstract
HERRERA HERNANDEZ, Jorge Alberto. La vision catégorique de la logique. Tóp. Sem [online]. 2020, n.43, pp.65-92. Epub Aug 07, 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.
Keywords : logique; théorie des catégories; topos; Grothendieck; forme.