Estudos em lógica paraconsistente deôntica DL-DQ=

Autor(es)

Saul Gurfinkel Marques de Godoy

• Tipo de documento: Tese de Doutorado
• Imprenta: São Paulo.
• Instituição: Universidade de São Paulo (USP). Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH/SBD)
• Data de defesa: 2017-01-18

Membros da banca

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

• Orientador: Newton Carneiro Affonso da Costa

Resumo

Em nossa dissertação de mestrado, ESTUDOS SOBRE A LÓGICA PARACONSISTENTE DL E APLICAÇÕES EM DIREITO estávamos interessados na construção de um sistema deôntico paraconsistente a partir de uma lógica dialética e na introdução de operadores de interpretação na lógica clássica. A pesquisa atual pretende ampliar o uso de lógicas deônticas paraconsistentes para formalizações com quantificadores e operador de igualdade e apresentar a lógica DL-DQ=, como uma melhor formalização do que os sistemas input/out e algumas lógicas de proposições normativas. Pretendemos aplicar a lógica DL-DQ= na solução de paradoxos deônticos. (AU)

• Processo FAPESP: 12/23377-0 - Estudos em lógica paraconsistente deôntica DL-DQ=
• Beneficiário: Saul Gurfinkel Marques de Godoy
• Modalidade de apoio: Bolsas no Brasil - Doutorado