SEMÂNTICAS DE JOGOS PARA LÓGICAS DE INCONSISTÊNCIA FORMAL E A PRAGMÁTICA DA PARACONSISTÊNCIA

NESTA DISSERTAÇÃO APRESENTO SEMÂNTICAS DE JOGOS ADEQUADAS PARA AS LÓGICAS DE INCONSISTÊNCIAS FORMAL (LIFS) CONHECIDAS COMO MBC E MBCCIW, E ENTÃO DISCUTO COMO ESSAS SEMÂNTICAS PERMITEM A CONSTRUÇÃO RIGOROSA DE EXEMPLOS QUE ILUSTRAM A PRAGMÁTICA DESSAS LÓGICAS. DE UM PONTO DE VISTA TÉCNICO, PARA SE OBTEREM ESSAS SEMÂNTICAS DE JOGOS FEZ-SE NECESSÁRIA A INTRODUÇÃO DE UM ARTIFÍCIO, AQUI O DENOMINADO INSTANCIAÇÕES, A FIM DE FORÇAR UMA FORMA DE COMPOSICIONALIDADE ÀS OPERAÇÕES LÓGICAS NÃO-DETERMINÍSTICAS DE MBC E MBCCIW. DE UM PONTO DE VISTA FILOSÓFICO, ESSES RESULTADOS PERMITIRAM, DE INTERESSE, A COMPARAÇÃO CONCRETA DAS DISTINTAS MOTIVAÇÕES E CONSEQUÊNCIAS DO ESTILO DE PARACONSISTÊNCIA DESSAS DUAS LIFS COM O DA LÓGICA PARACONSISTENTE CONHECIDA COMO LP.