CRIS

Permanent URI for this communityhttps://scripta.up.edu.mx/handle/20.500.12552/1

Browse

Settings

Author: search.filters.author.Beuchot, MauricioSubject: search.filters.subject.Lenguaje

Search Results

Now showing 1 - 1 of 1
  • Loading...
    Thumbnail Image
    Some of the metrics are blocked by your 
    consent settings
    Item type:Publication,
    Antecedentes griegos y medievales del cálculo lógico
    (Universidad Panamericana. Facultad de Filosofía, 1991)
    Beuchot, Mauricio
    ;
    Campus Ciudad de México
    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.
      21  46