Lógicas paraconsistentes de um ponto de vista filosófico

• Ano de defesa: 2013
• Autor(a) principal: Dias, Diogo Henrique Bispo
• Orientador(a): Souza, Edelcio Gonçalves de
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Pontifícia Universidade Católica de São Paulo
• Programa de Pós-Graduação: Programa de Estudos Pós-Graduados em Filosofia
• Departamento: Filosofia
• País: BR
• Palavras-chave em Português: Lógica paraconsistente; Dialeteismo; Lógica paraclássica; Lei de não-contradição; Explosão; Paraconsistentização
• Palavras-chave em Inglês: Paraconsistent logics; Dialetheism; Paraclassical logic; Law of non-contradiction; Explosion; Paraconsistentization
• Área do conhecimento CNPq: CNPQ::CIENCIAS HUMANAS::FILOSOFIA
• Link de acesso: https://tede2.pucsp.br/handle/handle/11631

This master' s thesis comprehends the philosophical aspects of paraconsistent logic. It will analyze the history of the fundamental logical principles to this particular logic, namely: the law of non-contradiction and the principle of explosion, as well as the history of paraconsistency. Moreover, an interpretation of paraconsistency that defends the existence of true contradiction, known as dialetheism, will be discussed, as well as the criticism to' this position, and, in general, to paraconsistent logics. The philosophical character of this thesis does not mean that the text will be exempt from theorems, formulas, demonstrations and other formal questions. But this formal aspect will not be treated as a end in itself. The formalism will be used to present two proposicional paraconsistent systems, namely: paraclassicallogic and paraclassical logic with inclusion, and to compare them with classical logic. The theoretical framework built for such aim is philosophically relevant, for the discussion on central points in logic, such as the existence of logical laws, its a priori character, and even the very definition of logic. Finally, a method will be proposed in order to find, from a given logic, its paraconsistent version. Due to the multiplicity of paraconsistent systems,' I this study is important in order to explore the general features of paraconsistent logics, their specificities and, mainly, abstract methods for generation of paraconsisent logic