Estudo dos fundamentos da semântica formal e sua aplicação à linguagem natural, à teoria da ação e para sistemas formais específicos. Em relação aos aspectos formais, o projeto visa desenvolver semânticas algébricas e categóricas para algumas lógicas não clássicas. Ferramentas da teoria das categorias serão consideradas no desenvolvimentos das semânticas propostas, em particular, será investigado o tema da dualidade entre o intuicionismo e a paraconsistência. Algumas questões advindas da filosofia da matemática, e.g., o problema dos objetos matemáticos, a questão do realismo em matemática também serão temas da pesquisa. O grupo investiga, ainda, questões epistemológicas mais gerais, em particular, o contextualismo em epistemologia como alternativa às objeções céticas.
