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

• Processo: 12/23377-0
• Modalidade de apoio: Bolsas no Brasil - Doutorado
• Data de Início da vigência: 01 de junho de 2013
• Data de Término da vigência: 31 de janeiro de 2017
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Newton Carneiro Affonso da Costa
• Beneficiário: Saul Gurfinkel Marques de Godoy
• Instituição Sede: Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Direito Lógica dialética Lógica paraconsistente
• Palavra(s)-Chave do Pesquisador: Deôntica | Direito | Lógica | Paraconsistente | Lógica

Resumo

Em nossa dissertação de mestrado, ESTUDOS SOBRE A LÓGICA PARACONSISTENTE DL E APLICAÇÕES EM DIREITO estávamos interessados, a partir de uma lógica dialética, na construção de um sistema deôntico paraconsistente 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 com o operador de igualdade e apresentar a lógica DL-DQ=, como uma melhor formalização em relação aos sistemas input/output e algumas lógicas de proposições normativas. Também pretendemos aplicar a lógica DL-DQ= na solução de paradoxos deônticos. (AU)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

GODOY, Saul Gurfinkel Marques de. Estudos em lógica paraconsistente deôntica DL-DQ=. 2017. Tese de Doutorado - Universidade de São Paulo (USP). Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH/SBD) São Paulo.