The fanciful optimism of Miguel Sánchez-Mazas. Let us calculate... = Freedom and Justice

Abstract

May 2020 marked the 25th anniversary of the death of Miguel Sánchez-Mazas, founder of Theoria. An International Journal of Theory, History and Foundations of Science, and regarded as the person who brought mathematical logic to Spain. Here we present some of his biographical features and a summary of his contributions, from his early work in the 1950s - introducing contemporary advances in logic and philosophy of science in a philosophically backward milieu dominated by the scholasticism of that era in Spain - to the development of a project of Lebnizian lineage aimed at producing an arithmetic calculation that would elude some of the difficulties confronting Leibniz’s calculus.; En mayo de 2020 se cumplen 25 años del fallecimiento de Miguel Sánchez-Mazas, fundador de Theoria. An International Journal of Theory, History and Foundations of Science y considerado como el introductor de la lógica matemática en España. En esta contribución presentamos algunos sus rasgos biográficos, así como un resumen de sus aportaciones, desde las iniciales en la década de los cincuenta del siglo XX introduciendo los avances en lógica y filosofía de la ciencia contemporáneos en un medio filosóficamente retrasado como el dominado por la escolástica de aquel tiempo en España hasta el desarrollo de un proyecto de estirpe lebniziana orientado a elaborar un cálculo aritmético que eludiera algunos de los problemas con los que se vio confrontado el calculo de Leibniz.