Profesor de Filosofía jubilado en la Universidad de Oviedo. Ha traducido obras de Platón, Aristóteles, Anselmo, Tomás de Aquino, Caramuel, Leibniz y Peano. Entre sus publicaciones destacan: Lógica formal (1982), Proyectos de lengua universal ideados por españoles (1987), Historia de la lógica (1989), Juan Caramuel: vida y obra (1989), Gnoseología de los sistemas difusos (1991), Conocimiento y verdad (1993), El español en los proyectos de lengua universal (2000), Compendio de epistemología (editor, junto con Jacobo Muñoz), Teoría de la definición de Leibniz (2015) y El Agnosticismo (2015). Actualmente prepara un estudio sobre la relación de la mano con la inteligencia humana.