Lógica paraconsistente como fundamento de teorias e sistemas inconsistentes: uma reflexão à luz do pensamento de Newton Da Costa

Abstract

A presente dissertação aborda o uso da Lógica Paraconsistente como base para teorias e sistemas inconsistentes, tendo como referência o pensamento de Newton da Costa. Aqui questiona-se o destino das teorias consideradas contraditórias ou inconsistentes, com destque para a necessidade de uma abordagem lógica que possa lidar de forma sistemática com tais sistemas, tal lógica denomina-se Paraconsistente, pois lida com inconsistências não triviais. A pesquisa busca preencher uma lacuna no estudo da lógica, contribuindo para superar as limitações da lógica clássica ao enfrentar teorias inconsistentes, e promover uma inclusão das contradições dentro da lógica. Não obstante, nesta dissertação busca-se identificar os fundamentos da lógica clássica, explorar as circunstâncias que levam ao surgimento de lógicas não clássicas, evidenciar o papel da lógica paraconsistente na abordagem de teorias inconsistentes, construir um sistema paraconsistente como base para teorias inconsistentes e expor as implicações filosóficas decorrentes da lógica paraconsistente. A dissertação baseia-se principalmente em pesquisa bibliográfica, com base em textos e artigos científicos relacionados ao tema. Além disso, emprega técnicas de hermenêutica e comparação textual para interpretar e relacionar os conceitos apresentados. Os resultados da pesquisa mostraram que a lógica paraconsistente oferece um fundamento sólido para abordar e integrar contradições sem trivializar teorias ou sistemas inconsistentes. Esses resultados ampliam significativamente as fronteiras da lógica clássica e promovem avanços no entendimento epistemológico e aplicações práticas da Lógica Paraconsistente, especialmente em áreas como Direito, Ética e Ciência da Computação.