Teoria de Modelos num Ambiente Paraconsistente

O propósito desta tese é desenvolver uma Teoria de Modelos paraconsistente a partir das bases lançadas por Walter Carnielli, Marcelo Esteban Coniglio, Rodrigo Podiack e Tarcísio Rodrigues no artigo ‘On the Way to a Wider Model Theory: Completeness Theorems for First-Order Logics of Formal Inconsistency’ de 2014. A busca por uma compreensão mais profunda do fenômeno da paraconsistência de um ponto de vista epistemológico leva a um sistema de raciocínio baseado nas ”Lógicas de Inconsistência Formal” (LFI’s). Os modelos são tratados como estados de conhecimento e o conceito de isomorfismo é reformulado de modo a preservar uma porçãao da totalidade do conhecimento de cada estado. Com base nisso, é criada uma noção de refinamento que pode acontecer de dentro ou de fora do estado. Na sequência, mostra-se que dois importantes resultados clássicos, a saber o Teorema da Omissão de Tipos e o Teorema da Interpolação de Craig, valem no novo sistema e se mostra, ainda que, caso se queira que os resultados clássicos em geral valham em um sistema paraconsistente, é necessário que tal sistema seja essencialmente como o que foi desenvolvido aqui. Em seguida, é feito um ensaio sobre como deveria ser um PROLOG paraconsistente à luz das ideias que foram desenvolvidas até então.