Lógica

Descrição: Investigação sistemática das formulações lógicas contemporâneas em sua pluralidade, segundo o fio condutor de suas possíveis combinações produtivas, esta linha abrange os segmentos:

• a) Lógicas Não-Clássicas, dedicada à investigação dos diversos aspectos conceituais das lógicas polivalentes paraconsistentes, subestruturais, modais e outros sistemas de lógicas ditas "não-clássicas", procurando encontrar inter-relações entre diferentes tipos de lógicas (utilizando-se, por exemplo, traduções entre sistemas lógicos), assim como a definição de sistemas de prova e semânticas adequadas, e,
• b) Semânticas Formais, dedicada à investigação e proposta de semânticas formais (semânticas de traduções possíveis, semânticas de mundos possíveis, semânticas de valorações e fibrilações) apropriadas para lógicas de características heterogêneas. Estes estudos incluem aspectos algébricos e da teoria da categoria. Um dos objetivos do desenvolvimento de semânticas gerais é a sua aplicação na teoria de combinações entre lógicas.