Antecedentes griegos y medievales del cálculo lógico
Journal
Tópicos
ISSN
2007-8498
Publisher
Universidad Panamericana. Facultad de Filosofía
Date Issued
1991
Author(s)
Beuchot, Mauricio
Type
Resource Types::text::journal::journal article
Abstract
La silogística aristotélica muestra algunos antecedentes del formalismo lógico en tanto sistema deductivo axiomático que emplea nociones de implicación y validez, además de usar variables en los términos. Los megárico-estoicos estudiaron la implicación material y formal o estricta, mientras que los escolásticos formaron ideas sobre un lenguaje depurado para la lógica. Además de las ideas de Lulio, Descartes, Leibniz o Hobbes, los estudios combinatorios de Alberto Magno, la insistencia de Roger Bacon en la importancia de la matemática como paradigma de la demostración en las ciencias y en la lógica, y las consideraciones formales de Juan Buridan y Walter Burleigh sobre la lógica pura en tanto estudio sitáctico-semántico de los esquemas de inferencia y los principios primitivos que comandan el funcionamiento de la lógica, son algunos antecedentes del cálculo lógico que vino por primera vez con George Boole en el siglo XIX.
License
Acceso Abierto
How to cite
Beuchot, M. (1991). Antecedentes griegos y medievales del cálculo lógico. Tópicos, 1, (1), 13-23. DOI: 10.21555/top.v1i1.577