Ementa/Descrição: |
ESTUDO DOS SISTEMAS NÃO-CLÁSSICOS DE LÓGICA DEDUTIVA (LÓGICA PARACONSISTENTE, INTUICIONISTA, PLURIVALENTE, ETC.), SISTEMAS DE LÓGICA INDUTIVA E AS LÓGICAS FILOSÓFICAS PROPRIAMENTE DITAS (LÓGICA MODAL, LÓGICA DO TEMPO, LÓGICA EPISTÊMICA, LÓGICA DEÔNTICA, ETC.). |