Revista: | Andamios |
Base de datos: | |
Número de sistema: | 000592326 |
ISSN: | 1870-0063 |
Autores: | Bautista Sánchez, Eduardo Antonio1 |
Instituciones: | 1Centro de Juventudes y Derechos Humanos, San Salvador. El Salvador |
Año: | 2023 |
Periodo: | Sep-Dic |
Volumen: | 20 |
Número: | 53 |
Paginación: | 91-127 |
País: | México |
Idioma: | Español |
Tipo de documento: | Artículo |
Resumen en español | Este texto propone una reconstrucción innovadora del sistema lógico de Aristóteles dentro de la línea reinterpretativa de Smiley y Corcoran basada en lógicas algebraicas, pero escapando al canon boeciano al integrar otras herramientas conceptuales de las fuentes, en particular, se propone el uso de términos «negativos» (aquí infinitos) junto a la incorporación del concepto de «ἐπαγογή» presente en los Analíticos Posteriores como contexto heurístico del sistema expuesto en los Analíticos Primeros donde se establecen relaciones explícitas entre dos universos de términos representando las esferas intensionales y extensionales, para generar un marco que permita introducir orgánicamente el método ectético de prueba, en cuya formalización y estructuración computable resulta un lenguaje lógico no-clásico más fidedigno a la inferencia silogística. |
Resumen en inglés | This text proposes an innovative reconstruction of Aristotle’s logical system within the reinterpretative line of Smiley and Corcoran based on algebraic logics, escaping, however, Boethiu’s canon by integrating other conceptual tools from the sources, in particular, the use of «negative» terms (here infinite) is proposed together with the concept of «ἐπαγογή» presented in the Posterior Analytics as a heuristical context for the system exposed in the Prior Analytics, in which explicit relationships between two universes of terms representing the intensional and extensional realms are established, generating a framework where the ecthetic proof method can be organically incorporated, resulting from its formalization and computable structuralization a more fitter non-classical logical language for syllogistic inference. |
Disciplinas: | Filosofía |
Palabras clave: | Silogística, Lógica algebraica, Teoría de la prueba, Filosofía de la lógica, Inferencia, Doctrinas y corrientes filosóficas |
Keyword: | Syllogistic, Algebraic logic, Proof theory, Philosophy of logic, Inference, Philosophical doctrines |
Texto completo: | Texto completo (Ver PDF) Texto completo (Ver HTML) |