Professor do departamento de filosofia da Universidade Federal Fluminense (UFF). Atualmente ocupa a vice-presidência da Academia Brasileira de Filosofia. Dedica-se ao estudo da filosofia e história da lógica. Manifesta especial interesse pela evolução histórica da lógica escolástica. É autor, coautor, organizador e tradutor de diversos artigos e livros, entre os quais destacam-se as traduções anotadas da Logica Nova de Raimundo Lúlio e da Begriffsschrift de Gottlob Frege.