Doutor em Filosofia. Professor aposentado da UFRJ, lecionou também na PUC-Rio, na Universidade Santa Úrsula, na Universidade Católica de Petrópolis e na UFF.
Traduziu diversos livros do espanhol, do latim e do alemão. Atuou como revisor de diversas obras de lógica e filosofia. É autor de inúmeros artigos e livros que tratam de lógica, história da lógica e filosofia da matemática.