Re(dis)covering Leibniz's Diagrammatic Logic



Título del documento: Re(dis)covering Leibniz's Diagrammatic Logic
Revue: Tópicos (México)
Base de datos: CLASE
Número de sistema: 000455688
ISSN: 0188-6649
Autores: 1
Instituciones: 1Universidad Popular Autónoma del Estado de Puebla, Puebla. México
Año:
Periodo: Ene-Jun
Número: 52
Paginación: 89-116
País: México
Idioma: Inglés
Tipo de documento: Artículo
Enfoque: Analítico, crítico
Resumen en español En este artículo recuperamos la lógica diagramática lineal de Leibniz para la silogística y descubrimos sus propiedades lógicas y computacionales a través de una aproximación formal en términos metalógicos, lo cual es algo que, hasta donde sabemos, aún falta por hacerse. Así, en esta contribución buscamos, respectivamente, dos metas, una histórica y una lógica: i) prestar más atención a los aspectos algorítmicos del sistema diagramático lineal de Leibniz para la silogística, de los cuales creemos que han sido desdeñados por un prejuicio general en contra del razonamiento diagramático; y ii) probar propiedades metalógicas del sistema para argumentar que es un sistema lógico bona fide
Resumen en inglés In this paper I attempt to retrieve Leibniz’s linear diagrammatic logic for his syllogistic and highlight its computational and logical features by providing a formal approach to it in metalogical terms, which is something that, as far as we know, has not yet been accomplished. Thus, in this contribution I pursue two goals, one historical and the other logical: i) to bring more attention on the algorithmic aspects of Leibniz’s linear diagrammatic system for his syllogistic, which I believe has been neglected because of a general bias against diagram-based reasoning; and ii) to prove the metalogical properties of the system in order to argue that such a system is a bona fide logical system
Disciplinas: Filosofía
Palabras clave: Lógica,
Razonamiento,
Diagramas,
Leibniz, Gottfried Wilhelm,
Silogismo,
Lógica matemática
Texte intégral: Texto completo (Ver PDF)