Es catedrático de Filosofía 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) (Trotta, 2000) y Teoría de la definición de Leibniz (2015). Actualmente trabaja en las líneas de investigación de teoría del conocimientoy teoría del lenguaje.