En este trabajo se presenta un estudio de cómo la teoría de categorías lleva a la creación de sistemas lógicos diferentes a los clásicos. En particular, se describe el caso del topos elemental de grafos, donde existen otros tres estados de verdad diferentes al falso y verdadero. El abordaje en este artículo de la teoría de categorías no necesita una formación matemática especializada para su comprensión, ya que se busca hacer accesibles las principales ideas de esta rama de las matemáticas a otras disciplinas del conocimiento. Este trabajo fue presentado por el segundo autor, bajo el título de «Lógica y Categorías», en el I Coloquio de Lógica, Epistemología y Metodología organizado por la Escuela de Filosofía de la Universidad de Costa Rica.
This paper presents a study of how the theory of categories leads to the creation of non-classical logical systems. In particular, the case of the elementary topos of graphs, where there are three other truth values different from false and true. The approach in this article to the theory of categories avoids specialized mathematical training to understand it, since it seeks to make accessible the main ideas of this branch of mathematics to other disciplines of knowledge. This work was presented by the second author, under the title of «Logic and Categories», at the I Colloquium on Logic, Epistemology and Methodology organized by the School of Philosophy of the University of Costa Rica.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados