Busca avançada
Ano de início
Entree

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

Processo: 12/23377-0
Linha de fomento:Bolsas no Brasil - Doutorado
Vigência (Início): 01 de junho de 2013
Vigência (Término): 31 de janeiro de 2017
Área do 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

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)