| Revista: | Tópicos (México) |
| Base de datos: | |
| Número de sistema: | 000604851 |
| ISSN: | 0188-6649 |
| Autores: | P., Mauricio Beuchot |
| Año: | 1991 |
| Volumen: | s/v |
| Número: | 1 |
| Paginación: | 13-23 |
| País: | México |
| Idioma: | Español |
| Resumen en inglés | Aristotle's sylogistics shows some precedents of the logical formalism as a deductive-axiomatic system that employs the notions of implication and validity, besides using variables for the terms. Megaric-Stoic philosophers studied material and formal or strict implication, whereas Scholastic philosophers came to ideas on a purified language for logic. Besides Lulio's, Descartes', Leibniz's or Hobbes' ideas, the combinatory studies of Albert the Great, Roger Bacon's insistence on the importance of mathematics as the paradigm of demonstration in science and logic, and the formal insights of John Buridan and Walter Burleigh on pure logic as a sintactic-semantic study of the schemata of inference and first principles which command how logic operates, are some of the precedents of the logical calculus that came first with George Boole in the nineteenth century. |
| Resumen en español | 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. |
| Palabras clave: | Antecedentes, cálculo, lógica, formalismo, lenguaje. |
| Keyword: | Precedents, calculus, logic, formalism, language. |
| Texto completo: | Texto completo (Ver PDF) Texto completo (Ver HTML) |
