PLURALISMO LÓGICO E COMBINAÇÕES DE LÓGICAS

A EXISTÊNCIA DE UMA DIVERSIDADE DE LÓGICAS MOTIVA FORMAS DE PLURALISMO LÓGICO, QUE ADMITE MAIS DE UMA LÓGICA CORRETA, REFLETINDO DIVERSAS ABORDAGENS À CONSEQUÊNCIA LÓGICA. CONTUDO, ISSO PODE CONFLITAR COM A IDEIA DE QUE A LÓGICA CLÁSSICA DESCREVE UMA REALIDADE INDEPENDENTE DE CRENÇAS, PRÁTICAS OU LINGUAGEM, SEGUINDO UM PRINCÍPIO REALISTA. ESTA TESE DEFENDE UM PLURALISMO BASEADO NA DIVERSIDADE DE PROPRIEDADES PRESERVADAS DAS PREMISSAS PARA A CONCLUSÃO. A LÓGICA CLÁSSICA É INTERPRETADA DE FORMA REALISTA, PRESERVANDO A VERDADE, ENQUANTO OUTRAS LÓGICAS PODEM SER JUSTIFICADAS POR PRESERVAREM OUTRAS PROPRIEDADES, SEM COMPETIR COM A LÓGICA CLÁSSICA. GÖDEL PROPÔS UM MERGULHO DA LÓGICA INTUICIONISTA ($INT$) NA LÓGICA MODAL $S4$, ONDE $\NEWSQUARE$ SIGNIFICA \TEXTIT{DEMONSTRABILIDADE POR QUAISQUER MEIOS CORRETOS}, INTERPRETADA AQUI COMO UM TIPO DE EVIDÊNCIA FACTIVA. FITTING, POR OUTRO LADO, PROPÔS UM MERGULHO DA LÓGICA BÁSICA DA EVIDÊNCIA ($BLE$) NA LÓGICA MODAL $KX4$, ONDE SEU OPERADOR MODAL, REPRESENTADO AQUI POR $\BOXDOT$, É INTERPRETADO COMO EVIDÊNCIA NÃO-FACTIVA. EVIDÊNCIA NÃO-FACTIVA NÃO GARANTE A VERDADE DA SENTENÇA, ENQUANTO A EVIDÊNCIA FACTIVA SIM. NESTA TESE, OS SISTEMAS MODAIS $S4$ E $KX4$ SÃO COMBINADOS PARA FORMAR UM ÚNICO SISTEMA, $SKX4^{+}$, CAPAZ DE COMPORTAR AMBOS OS MERGULHOS E REPRESENTAR O COMPORTAMENTO DEDUTIVO DE EVIDÊNCIAS FACTIVAS E NÃO-FACTIVAS. ALÉM DOS AXIOMAS DE $S4$ E $KX4$, $SKX4^{+}$ INCLUI O PRINCÍPIO DA CONCLUSIVIDADE $(CP)$, QUE LIGA $\NEWSQUARE$ E $\BOXDOT:$ $ \NEWSQUARE A \RIGHTARROW \NEG \BOXDOT \NEG A $. $(CP)$ EXPRESSA A IDEIA DE QUE EVIDÊNCIA FACTIVA PARA $A$ CANCELA EVIDÊNCIA NÃO-FACTIVA PARA $\NEG A$.