TEORIA DE MODELOS NUM AMBIENTE PARACONSISTENTE

O PROP´OSITO DESTA TESE ´E DESENVOLVER UMA TEORIA DE MODELOS PARACONSISTENTE A PARTIR DAS BASES LANC¸ADAS POR WALTER CARNIELLI, MARCELO ESTEBAN CONIGLIO, RODRIGO PODIACK E TARC´ISIO 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˜AO MAIS PROFUNDA DO FENˆOMENO DA PARACONSISTˆENCIA DE UM PONTO DE VISTA EPISTEMOL´OGICO LEVA A UM SISTEMA DE RACIOC´INIO BASEADO NAS “LO´GICAS DE INCONSISTˆENCIA FORMAL” (LFI’S). OS MODELOS SA˜O TRATADOS COMO ESTADOS DE CONHECIMENTO E O CONCEITO DE ISOMOR¿SMO ´E REFORMULADO DE MODO A GERAR OUTRO QUE PRESERVA UMA PORC¸A˜O DA TOTALIDADE DO CONHECIMENTO DE CADA ESTADO. COM BASE NISSO, ´E CRIADA UMA NOC¸A˜O DE RE¿NAMENTO QUE PODE ACONTECER DE DENTRO OU DE FORA DO ESTADO. NA SEQUˆENCIA, MOSTRA-SE QUE DOIS IMPORTANTES RESULTADOS CL´ASSICOS, A SABER O TEOREMA DA OMISSA˜O DE TIPOS E O TEOREMA DA INTERPOLAC¸A˜O DE CRAIG, VALEM NO NOVO SISTEMA E SE MOSTRA AINDA QUE, CASO SE QUEIRA QUE OS RESULTADOS CL´ASSICOS EM GERAL VALHAM EM UM SISTEMA PARACONSISTENTE, ´E NECESSA´RIO QUE TAL SISTEMA SEJA ESSENCIALMENTE COMO O QUE FOI DESENVOLVIDO AQUI. FINALMENTE, ´E FEITO UM ENSAIO SOBRE COMO DEVERIA SER UM PROLOG PARACONSISTENTE `A LUZ DAS IDEIAS QUE FORAM DESENVOLVIDAS AT´E ENT˜AO.