Estudos sobre a lógica paraconsciente DL e aplicações em Direito

Detalhes bibliográficos
Autor(a) principal: Godoy, Saul Gurfinkel Marques de
Data de Publicação: 2009
Tipo de documento: Dissertação
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-04022010-114639/
Resumo: O desenvolvimento de sistemas de lógica paraconsistente tem melhorado o nosso poder analítico e aprofundou nossa compreensão dos sistemas de lógicas não-clássicas. Esses sistemas têm possibilitado aplicações em diversas áreas, notadamente em Direito. Embora a lógica clássica seja aceita como um valioso mecanismo para analisar os problemas no domínio dos estudos jurídicos, existem outras abordagens, como o cálculo DL, que contém, em certo sentido, a lógica clássica e, portanto, a teoria dos silogismos, amplamente aceitos no raciocínio jurídico. O objetivo principal da dissertação é apresentar a lógica paraconsistente DL, um sistema desenvolvido por N. da Costa e R. Wolf, baseado no trabalho de McGuill e Parry. Apresentaremos como este sistema pode ser aplicado como uma ferramenta para resolver problemas relacionados com o Direito e de uma formalização de aspectos da hermenêutica.
id USP_bcd04062e584ee35e5f32ba217ac68e5
oai_identifier_str oai:teses.usp.br:tde-04022010-114639
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Estudos sobre a lógica paraconsciente DL e aplicações em DireitoStudies about DL paraconsistent and applications in LawDireitoDL paraconsistentLawLogicLógicaLógica DLParaconsistenteO desenvolvimento de sistemas de lógica paraconsistente tem melhorado o nosso poder analítico e aprofundou nossa compreensão dos sistemas de lógicas não-clássicas. Esses sistemas têm possibilitado aplicações em diversas áreas, notadamente em Direito. Embora a lógica clássica seja aceita como um valioso mecanismo para analisar os problemas no domínio dos estudos jurídicos, existem outras abordagens, como o cálculo DL, que contém, em certo sentido, a lógica clássica e, portanto, a teoria dos silogismos, amplamente aceitos no raciocínio jurídico. O objetivo principal da dissertação é apresentar a lógica paraconsistente DL, um sistema desenvolvido por N. da Costa e R. Wolf, baseado no trabalho de McGuill e Parry. Apresentaremos como este sistema pode ser aplicado como uma ferramenta para resolver problemas relacionados com o Direito e de uma formalização de aspectos da hermenêutica.The development of Paraconsistent logical systems has enhanced our analytical power and deepened our understanding of non-classic logic systems. It also has rendered applications in many fields, notably in Law. Although classical logic is accepted as a valuable mechanism to analyze problems in the realm of legal studies, there are stronger frameworks such as the DL calculus, which encompasses classical logic and therefore the silogism, widely accepted in legal reasoning. My chief aim is to present an overview of the DL paraconsistent calculus, a system developed by da Costa and Wolf, based on the work of McGuill and Parry. I will also show how this system may be applied as a tool in solving problems relating lawlogic and how the formalization of these problems allows for hermeneutical analysis.Biblioteca Digitais de Teses e Dissertações da USPCosta, Newton Carneiro Affonso daGodoy, Saul Gurfinkel Marques de2009-09-09info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/8/8133/tde-04022010-114639/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/openAccesspor2016-07-28T16:10:01Zoai:teses.usp.br:tde-04022010-114639Biblioteca 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:27212016-07-28T16:10:01Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Estudos sobre a lógica paraconsciente DL e aplicações em Direito
Studies about DL paraconsistent and applications in Law
title Estudos sobre a lógica paraconsciente DL e aplicações em Direito
spellingShingle Estudos sobre a lógica paraconsciente DL e aplicações em Direito
Godoy, Saul Gurfinkel Marques de
Direito
DL paraconsistent
Law
Logic
Lógica
Lógica DL
Paraconsistente
title_short Estudos sobre a lógica paraconsciente DL e aplicações em Direito
title_full Estudos sobre a lógica paraconsciente DL e aplicações em Direito
title_fullStr Estudos sobre a lógica paraconsciente DL e aplicações em Direito
title_full_unstemmed Estudos sobre a lógica paraconsciente DL e aplicações em Direito
title_sort Estudos sobre a lógica paraconsciente DL e aplicações em Direito
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 Direito
DL paraconsistent
Law
Logic
Lógica
Lógica DL
Paraconsistente
topic Direito
DL paraconsistent
Law
Logic
Lógica
Lógica DL
Paraconsistente
description O desenvolvimento de sistemas de lógica paraconsistente tem melhorado o nosso poder analítico e aprofundou nossa compreensão dos sistemas de lógicas não-clássicas. Esses sistemas têm possibilitado aplicações em diversas áreas, notadamente em Direito. Embora a lógica clássica seja aceita como um valioso mecanismo para analisar os problemas no domínio dos estudos jurídicos, existem outras abordagens, como o cálculo DL, que contém, em certo sentido, a lógica clássica e, portanto, a teoria dos silogismos, amplamente aceitos no raciocínio jurídico. O objetivo principal da dissertação é apresentar a lógica paraconsistente DL, um sistema desenvolvido por N. da Costa e R. Wolf, baseado no trabalho de McGuill e Parry. Apresentaremos como este sistema pode ser aplicado como uma ferramenta para resolver problemas relacionados com o Direito e de uma formalização de aspectos da hermenêutica.
publishDate 2009
dc.date.none.fl_str_mv 2009-09-09
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://www.teses.usp.br/teses/disponiveis/8/8133/tde-04022010-114639/
url http://www.teses.usp.br/teses/disponiveis/8/8133/tde-04022010-114639/
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_ 1815256648314257408