Paraconsistência e modalidade

O presente trabalho tem por objetivo examinar, sob a perspectiva lógico-filosófica da.paraconsistência e da modalidade, as relações entre os conceitos lógico-filosófico-formais.de negação paraconsistente e o conceito de modalidade..Nosso objetivo central consiste no exame de um operador modal de negação.paraconsistente..Examinamos conhecidos resultados envolvendo os operadores modais e.paraconsistentes, como as lógicas modais normais K, T, S4, S5 e outras lógicas modais;.algumas lógicas paraconsistentes, incluindo a lógica modal paraconsistente Z. Além disso,.realizamos uma análise crítica concernente às relações entre o conhecido Quadrado de.Oposições Aristotélico e a negação paraconsistente, contribuindo para o tema com alguns.argumentos..Finalmente, investigamos a questão de como a generalização do Quadrado de.Oposições Aristotélico, dita Teoria de n-Oposições, se relaciona com o tema da.modalidade, da paraconsistência e da geometrização lógica, propondo idéias para este.último.