Representação de dilemas morais em lógica deôntica

Detalhes bibliográficos
Ano de defesa: 2012
Autor(a) principal: Amaral, Juliana de Paula Ferraz do
Orientador(a): Dall'Agnol, Darlei
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Florianópolis
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Link de acesso: http://repositorio.ufsc.br/xmlui/handle/123456789/100608
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas. Programa de Pós-Graduação em Filosofia
id UFSC_793428a6438c8293a679929c712af105
oai_identifier_str oai:repositorio.ufsc.br:123456789/100608
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str
spelling Universidade Federal de Santa CatarinaAmaral, Juliana de Paula Ferraz doDall'Agnol, Darlei2013-06-25T20:50:46Z2013-06-25T20:50:46Z20122012310362http://repositorio.ufsc.br/xmlui/handle/123456789/100608Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas. Programa de Pós-Graduação em FilosofiaEste trabalho propõe uma busca para o desenvolvimento de uma lógica deôntica mais adequada e mais fiel à linguagem ordinária. Nosso ponto central foi a análise e compreensão acerca do que é um dilema moral e o seu correspondente formal. Uma situação é considerada um dilema moral quando um sujeito deve moralmente fazer A e deve moralmente fazer B, mas não pode fazer ambas. Chegamos à conclusão, durante nossas investigações, de que quando dizemos que um sujeito não pode cumprir ambas obrigações, a impossibilidade envolvida em um dilema não é lógica, mas apenas circunstancial. Em outras palavras, as obrigações A e B não são contraditórias, mas conflitantes devido a uma característica contingente da situação. Nossa proposta é a de que dilemas podem ser traduzidos pela fórmula Op Oq (p q). A formalização de dilemas em uma lógica, na maneira como estamos interpretando, envolve operadores deônticos e aléticos. Para que o dilema pudesse ser representado desta maneira, apresentamos um sistema bimodal não normal, o qual chamamos de EMD-S4 e demonstramos teoremas de correção, completude e decidibilidade.This paper seeks to develop a deontic logic more appropriate and faithful to ordinary language. Our focus was the analysis and understanding of what is a moral dilemma and its formal correspondent. A situation is considered a moral dilemma when a subject should morally do A and should morally do B, but cannot do both. We concluded, during our investigation, that when we say that a subject can not fulfill both obligations, the impossibility involved in a dilemma is not logical, but only circumstantial. In other words, the obligations A and B are not contradictory, but conflict due to a contingent feature of the situation. Our proposal is that dilemmas can be translated by the formula (Op ^ Oq) ^ :^(p ^ q). According to our way, the formalization of dilemmas in logic involves deontic and alethic operators. In order to represent a dilemma in this way, we present a non normal bimodal system, which we called EMD-S4, and prove for it soundness, completeness and decidability theorems.89 p.| il.porFlorianópolisFilosofiaLogica deonticaDilemaRepresentação de dilemas morais em lógica deônticainfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINAL310362.pdfapplication/pdf568829https://repositorio.ufsc.br/bitstream/123456789/100608/1/310362.pdfb1af401127d820b21dfe73ffbfe145edMD51123456789/1006082013-06-25 17:50:46.483oai:repositorio.ufsc.br:123456789/100608Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestsandra.sobrera@ufsc.bropendoar:23732013-06-25T20:50:46Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.fl_str_mv Representação de dilemas morais em lógica deôntica
title Representação de dilemas morais em lógica deôntica
spellingShingle Representação de dilemas morais em lógica deôntica
Amaral, Juliana de Paula Ferraz do
Filosofia
Logica deontica
Dilema
title_short Representação de dilemas morais em lógica deôntica
title_full Representação de dilemas morais em lógica deôntica
title_fullStr Representação de dilemas morais em lógica deôntica
title_full_unstemmed Representação de dilemas morais em lógica deôntica
title_sort Representação de dilemas morais em lógica deôntica
author Amaral, Juliana de Paula Ferraz do
author_facet Amaral, Juliana de Paula Ferraz do
author_role author
dc.contributor.pt_BR.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Amaral, Juliana de Paula Ferraz do
dc.contributor.advisor1.fl_str_mv Dall'Agnol, Darlei
contributor_str_mv Dall'Agnol, Darlei
dc.subject.classification.pt_BR.fl_str_mv Filosofia
Logica deontica
Dilema
topic Filosofia
Logica deontica
Dilema
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas. Programa de Pós-Graduação em Filosofia
publishDate 2012
dc.date.submitted.pt_BR.fl_str_mv 2012
dc.date.issued.fl_str_mv 2012
dc.date.accessioned.fl_str_mv 2013-06-25T20:50:46Z
dc.date.available.fl_str_mv 2013-06-25T20:50:46Z
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://repositorio.ufsc.br/xmlui/handle/123456789/100608
dc.identifier.other.pt_BR.fl_str_mv 310362
identifier_str_mv 310362
url http://repositorio.ufsc.br/xmlui/handle/123456789/100608
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 89 p.| il.
dc.publisher.none.fl_str_mv Florianópolis
publisher.none.fl_str_mv Florianópolis
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/100608/1/310362.pdf
bitstream.checksum.fl_str_mv b1af401127d820b21dfe73ffbfe145ed
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv sandra.sobrera@ufsc.br
_version_ 1851759113815457792

Registros relacionados