Realizar estudos lógicos e filosóficos sobre métodos e técnicas para a avaliação e correção formal de raciocínios estruturados ou engendrados a partir da codificação e decodificação de proposições utilizadas na fundamentação de teorias das Ciências (em geral) e das Ciências Exatas (em particular) em conformidade com a evolução e o alcance das Lógicas Formais e da Filosofia Analítica.
