"Paraconsistência,
modalidades e cognoscibilidade"
Introdução: Algumas
posições filosóficas
Capítulo 01:Lógicas
paraconsistentes. Resumo do
texto "A Taxonomy of C-Systems" de W. Carnielli e J. Marcos e mais
alguma coisa sobre lógicas paraconsistentes. Sintaxe e
semântica.
Capítulo 02: Lógicas
modais. Resumo de
alguns livros de lógicas modais, apresentando sistemas modais
sintaticamente e semanticamente.
Capítulo 03:
Lógicas modais paraconsistentes e o paradoxo de Fitch.
Conclusão
|