Formación y trayectoria académica Doctor en Filosofía por la Universidad Central de Madrid con la tesis La razón práctica, análisis de la función normativa de la razón, en 1962 ganó por oposición la cátedra de Lógica en la Universidad de Valencia, donde dirigió el Departamento de Lógica y Filosofía de la Ciencia. Ejerció la docencia también en la Universidad Complutense de Madrid (desde 1981, sustituyendo en la misma cátedra a Leopoldo Eulogio Palacios Rodríguez), jubilándose en 1990. En 1971 cofundó con J. Blaco y F. Montero la revista Teorema, de la que fue nombrado director, que existió hasta el año 1985, y desde 1976 coordinó la edición en español de la International Division of Logic, Methodology an History of Science.