Estudos sobre a lógica paraconsciente DL e aplicações em Direito
Autor(a) principal: | |
---|---|
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 |