@article{P._2013, title={Antecedentes griegos y medievales del cálculo lógico}, url={https://revistas.up.edu.mx/topicos/article/view/577}, DOI={10.21555/top.v1i1.577}, abstractNote={<p class="western" style="margin-bottom: 0cm;" align="justify">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.</p>}, number={1}, journal={Tópicos, Revista de Filosofía}, author={P., Mauricio Beuchot}, year={2013}, month={nov.}, pages={13–23} }