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

Detalhes bibliográficos
Autor(a) principal: Godoy, Saul Gurfinkel Marques de
Data de Publicação: 2017
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-07082019-142646/
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.
id USP_41bc7fbbe82de4265be25cc385a2d50a
oai_identifier_str oai:teses.usp.br:tde-07082019-142646
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Estudos em lógica paraconsistente deôntica DL-DQ=Studies of paraconsistent logic DL-DQ=DeonticDeônticaDireitoLawLogicLógicaParaconsistentParaconsistenteParadoxParadoxosEm 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.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.Biblioteca Digitais de Teses e Dissertações da USPCosta, Newton Carneiro Affonso daGodoy, Saul Gurfinkel Marques de2017-01-18info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/8/8133/tde-07082019-142646/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2019-08-20T23:07:30Zoai:teses.usp.br:tde-07082019-142646Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212019-08-20T23:07:30Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Estudos em lógica paraconsistente deôntica DL-DQ=
Studies of paraconsistent logic DL-DQ=
title Estudos em lógica paraconsistente deôntica DL-DQ=
spellingShingle Estudos em lógica paraconsistente deôntica DL-DQ=
Godoy, Saul Gurfinkel Marques de
Deontic
Deôntica
Direito
Law
Logic
Lógica
Paraconsistent
Paraconsistente
Paradox
Paradoxos
title_short Estudos em lógica paraconsistente deôntica DL-DQ=
title_full Estudos em lógica paraconsistente deôntica DL-DQ=
title_fullStr Estudos em lógica paraconsistente deôntica DL-DQ=
title_full_unstemmed Estudos em lógica paraconsistente deôntica DL-DQ=
title_sort Estudos em lógica paraconsistente deôntica DL-DQ=
author Godoy, Saul Gurfinkel Marques de
author_facet Godoy, Saul Gurfinkel Marques de
author_role author
dc.contributor.none.fl_str_mv Costa, Newton Carneiro Affonso da
dc.contributor.author.fl_str_mv Godoy, Saul Gurfinkel Marques de
dc.subject.por.fl_str_mv Deontic
Deôntica
Direito
Law
Logic
Lógica
Paraconsistent
Paraconsistente
Paradox
Paradoxos
topic Deontic
Deôntica
Direito
Law
Logic
Lógica
Paraconsistent
Paraconsistente
Paradox
Paradoxos
description 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.
publishDate 2017
dc.date.none.fl_str_mv 2017-01-18
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://www.teses.usp.br/teses/disponiveis/8/8133/tde-07082019-142646/
url http://www.teses.usp.br/teses/disponiveis/8/8133/tde-07082019-142646/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1815256765423419392

Registros relacionados