Regras como argumentos: uma análise lógica
Autor(a) principal: | |
---|---|
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: | https://www.teses.usp.br/teses/disponiveis/2/2139/tde-13112020-171701/ |
Resumo: | A representação da inferência a partir de regras jurídicas, em Direito, tem como modelo padrão a definição de Alchourrón e Bulygin. Nesta tese, investigamos a adequação das operações Input/Output, de Makinson e van der Torre, ao papel de modelo de sistemas normativos jurídicos, levando em conta suas especificidades. A partir das operações Input/ Output, construímos uma nova operação que chamamos de Input/Output argumentativa, e a partir dela uma definição de sistema normativo. Esta operação é baseada na concepção de regras jurídicas como resultante de argumentação justificatória, de modo que nesta representação temos os argumentos e suas relações de ataques recíprocos levados à estrutura de um sistema normativo jurídico, gerando uma maneira de representar regras jurídicas e exceções explícitas em um mesmo sistema. Por fim, na Conclusão procuramos discutir de que maneira estes resultados formais colaboram na defesa da visão de que há uma complementaridade entre o raciocínio a partir de regras e a argumentação não dedutiva na solução de problemas jurídicos. |
id |
USP_18c55b6263b6ecffcdece8443ae90aed |
---|---|
oai_identifier_str |
oai:teses.usp.br:tde-13112020-171701 |
network_acronym_str |
USP |
network_name_str |
Biblioteca Digital de Teses e Dissertações da USP |
repository_id_str |
2721 |
spelling |
Regras como argumentos: uma análise lógicaRules as arguments: a logical analysisArgumentaçãoArgumentation TheoryArtificial Intelligence and LawInteligência artificialLegal LogicLegal ReasoningLógica do DireitoNormative SystemsA representação da inferência a partir de regras jurídicas, em Direito, tem como modelo padrão a definição de Alchourrón e Bulygin. Nesta tese, investigamos a adequação das operações Input/Output, de Makinson e van der Torre, ao papel de modelo de sistemas normativos jurídicos, levando em conta suas especificidades. A partir das operações Input/ Output, construímos uma nova operação que chamamos de Input/Output argumentativa, e a partir dela uma definição de sistema normativo. Esta operação é baseada na concepção de regras jurídicas como resultante de argumentação justificatória, de modo que nesta representação temos os argumentos e suas relações de ataques recíprocos levados à estrutura de um sistema normativo jurídico, gerando uma maneira de representar regras jurídicas e exceções explícitas em um mesmo sistema. Por fim, na Conclusão procuramos discutir de que maneira estes resultados formais colaboram na defesa da visão de que há uma complementaridade entre o raciocínio a partir de regras e a argumentação não dedutiva na solução de problemas jurídicos.The representation of inference from rules, in Law, has as a standard model the definition of Alchourrón and Bulygin. In this thesis, we investigated the suitability of the Input / Output operations, given by Makinson and van der Torre, to the role of modelling legal normative systems, taking into account their specificities. Based on Input / Output operations, we construct a new operation that we call argumentative Input / Output, and from there a normative system definition. This operation is based on the concept of legal rules as resulting from justificatory argumentation, so that in this representation we have the arguments and their relations of reciprocal attacks brought to the structure of a legal normative system, generating a way to represent legal rules and explicit exceptions in the same system. Finally, in Conclusion, we try to discuss in what way these formal results collaborate in the defense of the view that there is a complementarity between the reasoning from rules and the non deductive argumentation when solving juridical problems.Biblioteca Digitais de Teses e Dissertações da USPMaranhão, Juliano Souza de AlbuquerqueGomes, Fabricio Vasconcelos2017-05-17info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/2/2139/tde-13112020-171701/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/openAccesspor2022-11-13T12:57:38Zoai:teses.usp.br:tde-13112020-171701Biblioteca 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:27212022-11-13T12:57:38Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false |
dc.title.none.fl_str_mv |
Regras como argumentos: uma análise lógica Rules as arguments: a logical analysis |
title |
Regras como argumentos: uma análise lógica |
spellingShingle |
Regras como argumentos: uma análise lógica Gomes, Fabricio Vasconcelos Argumentação Argumentation Theory Artificial Intelligence and Law Inteligência artificial Legal Logic Legal Reasoning Lógica do Direito Normative Systems |
title_short |
Regras como argumentos: uma análise lógica |
title_full |
Regras como argumentos: uma análise lógica |
title_fullStr |
Regras como argumentos: uma análise lógica |
title_full_unstemmed |
Regras como argumentos: uma análise lógica |
title_sort |
Regras como argumentos: uma análise lógica |
author |
Gomes, Fabricio Vasconcelos |
author_facet |
Gomes, Fabricio Vasconcelos |
author_role |
author |
dc.contributor.none.fl_str_mv |
Maranhão, Juliano Souza de Albuquerque |
dc.contributor.author.fl_str_mv |
Gomes, Fabricio Vasconcelos |
dc.subject.por.fl_str_mv |
Argumentação Argumentation Theory Artificial Intelligence and Law Inteligência artificial Legal Logic Legal Reasoning Lógica do Direito Normative Systems |
topic |
Argumentação Argumentation Theory Artificial Intelligence and Law Inteligência artificial Legal Logic Legal Reasoning Lógica do Direito Normative Systems |
description |
A representação da inferência a partir de regras jurídicas, em Direito, tem como modelo padrão a definição de Alchourrón e Bulygin. Nesta tese, investigamos a adequação das operações Input/Output, de Makinson e van der Torre, ao papel de modelo de sistemas normativos jurídicos, levando em conta suas especificidades. A partir das operações Input/ Output, construímos uma nova operação que chamamos de Input/Output argumentativa, e a partir dela uma definição de sistema normativo. Esta operação é baseada na concepção de regras jurídicas como resultante de argumentação justificatória, de modo que nesta representação temos os argumentos e suas relações de ataques recíprocos levados à estrutura de um sistema normativo jurídico, gerando uma maneira de representar regras jurídicas e exceções explícitas em um mesmo sistema. Por fim, na Conclusão procuramos discutir de que maneira estes resultados formais colaboram na defesa da visão de que há uma complementaridade entre o raciocínio a partir de regras e a argumentação não dedutiva na solução de problemas jurídicos. |
publishDate |
2017 |
dc.date.none.fl_str_mv |
2017-05-17 |
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 |
https://www.teses.usp.br/teses/disponiveis/2/2139/tde-13112020-171701/ |
url |
https://www.teses.usp.br/teses/disponiveis/2/2139/tde-13112020-171701/ |
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_ |
1809090694460997632 |