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.
