Miguel Sánchez Mazas

(Coria, 1925). Fue el fundador, director y principal animador de la revista «Theoria», de tan prometedora como corta vida. A través de ella comenzó a abrirse camino en España el cultivo en serio de la lógica formal y de la filosofía de la ciencia. Estas preocupaciones han ido acompañadas siempre, en el pensamiento de Sánchez Mazas, por una mentalidad racionalista y crítica, y por una actitud política de corte democrático y socialista. Quizá por todo ello se encuentra en la actualidad todavía exiliado en Suiza, donde imparte clases de lógica en la universidad de Neuchâtel. En la actualidad cultiva en especial la lógica deóntica y jurídica. Su última obra, Cálculo de las normas, constituye una aportación de valor extraordinario a nivel internacional. En ella, aparte de una sabrosa introducción en la que se pone de manifiesto no sólo la amplitud de conocimientos del autor, sino también su estrecha vinculación al pensamiento filosófico español actual, se presenta un cálculo deóntico general como resultado de la integración de un cálculo normativo puro y un cálculo fáctico puro, apto para ser aplicado de forma inmediata al análisis del razonamiento jurídico. En su lógica deóntica Sánchez Mazas ha incorporado un procedimiento de aritmetización de las fórmulas y las operaciones de la lógica de enunciados, que había elaborado previamente y que permiten la automatización del cálculo.

Obras principales: Formalización de la lógica según la perspectiva de la comprehensión, Madrid 1955; Fundamentos matemáticos de la lógica formal, Caracas 1963; Cálculo aritmético de las proposiciones: Teorema 1/3 (1971) 63-92; Cálculo de las normas, Barcelona 1973.