Studies of paraconsistent logic DL-DQ=

Author(s)

Saul Gurfinkel Marques de Godoy

• Document type: Doctoral Thesis
• Press: São Paulo.
• Institution: Universidade de São Paulo (USP). Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH/SBD)
• Defense date: 2017-01-18

Examining board members

Rodrigo Bacellar da Costa e Silva; Evandro Luís Gomes; Alexandre Fernandes Batista Costa Leite; Caetano Ernesto Plastino; Edelcio Gonçalves de Souza

• Advisor: Newton Carneiro Affonso da Costa

Abstract

In our masters dissertation, ESTUDOS SOBRE A LÓGICA PARACONSISTENTE DL E APLICAÇÕES EM DIREITO (Studies of Paraconsistent Logic DL and its applications in Law) we focused on establishing a paraconsistent deontic system based on specific dialectical logic and urging in interpretations symbols in classical logic. In this research we try to expand the paraconsistent deontic logic to formal languages with symbols for quantifiers and equality and to develop the logic DL-DQ= which we believe presents a better formalization, compared to two other system called Input\\Output and Normative Propositional Logics. We intend to apply DL-DQ= as tool to solve deontic paradoxes. (AU)

• FAPESP's process: 12/23377-0 - Studies in Deontic paraconsistent logic DL-DQ=
• Grantee: Saul Gurfinkel Marques de Godoy
• Support Opportunities: Scholarships in Brazil - Doctorate