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

Detalhes bibliográficos
Autor(a) principal: Amaral, Juliana de Paula Ferraz do
Data de Publicação: 2012
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: 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 2373
spelling Representação de dilemas morais em lógica deônticaFilosofiaLogica deonticaDilemaDissertaçã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.FlorianópolisDall'Agnol, DarleiUniversidade Federal de Santa CatarinaAmaral, Juliana de Paula Ferraz do2013-06-25T20:50:46Z2013-06-25T20:50:46Z20122012info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis89 p.| il.application/pdf310362http://repositorio.ufsc.br/xmlui/handle/123456789/100608porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2013-06-25T20:50:46Zoai:repositorio.ufsc.br:123456789/100608Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732013-06-25T20:50:46Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.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.none.fl_str_mv Dall'Agnol, Darlei
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Amaral, Juliana de Paula Ferraz do
dc.subject.por.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.none.fl_str_mv 2012
2012
2013-06-25T20:50:46Z
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 310362
http://repositorio.ufsc.br/xmlui/handle/123456789/100608
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.
application/pdf
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
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652197534105600

Registros relacionados