Soft Deontic Logic

An implementation of nonstandard deontic logic on the ground of a fuzzy paraconsistent sentential calculus

Detalles Bibliográficos
Autores: Ausín, Txetxu, Peña, Lorenzo
Tipo de recurso: otro
Fecha de publicación:2012
País:España
Institución:Consejo Superior de Investigaciones Científicas (CSIC)
Repositorio:DIGITAL.CSIC. Repositorio Institucional del CSIC
OAI Identifier:oai:digital.csic.es:10261/45103
Acceso en línea:http://hdl.handle.net/10261/45103
Access Level:acceso abierto
Palabra clave:Paraconsistent logics
Deontic logic
fuzzy logic
degrees
gradualism
Proportionality
id ES_d907d4993d4884b3acdcd2af80b6bf76
oai_identifier_str oai:digital.csic.es:10261/45103
network_acronym_str ES
network_name_str España
repository_id_str
spelling Soft Deontic LogicAusín, TxetxuPeña, LorenzoParaconsistent logicsDeontic logicfuzzy logicdegreesgradualismProportionalityAn implementation of nonstandard deontic logic on the ground of a fuzzy paraconsistent sentential calculusDeontic logic is the theory of valid inference rules containing qualifications of prohibition, duty, or permission. Three main assumptions of standard deontic-logic approaches are here discussed and rejected: (1) the modal conception of deontic logic, according to which «licit» means «possible without breaking the rules»; (2) the gap between facts and norms, which contends that what actually happens has no bearing on duties; and (3) bivalence, which bars any situation inbetween absolute truth and downright falseness. As against such approaches, we put forward an alternative deontic logic we call soft, which, while being fuzzy (and based on a a paraconsistent gradualistic sentential calculus), binds duties to facts by espousing the implantation principle, according to which, if A is the case, then the duty (or permission) to do B-if-A implies the duty (or permission) to do B. By embracing degrees of licitness our proposal upholds a principle of proportionality ruling out deontic leaps. A formalized axiomatic system along those lines is developed.Peer reviewedSpringer NaturePeña, Lorenzo [0000-0002-0186-6215]Ausín, Txetxu [0000-0003-2098-5540]201220122012info:eu-repo/semantics/otherhttp://purl.org/coar/resource_type/c_3248info:eu-repo/semantics/bookParthttp://hdl.handle.net/10261/45103reponame:DIGITAL.CSIC. Repositorio Institucional del CSICinstname:Consejo Superior de Investigaciones Científicas (CSIC)Ingléshttp://www.springerlink.com/content/16x0814p4102q377/info:eu-repo/semantics/openAccessoai:digital.csic.es:10261/451032026-05-22T06:33:51Z
dc.title.none.fl_str_mv Soft Deontic Logic
title Soft Deontic Logic
spellingShingle Soft Deontic Logic
Ausín, Txetxu
Paraconsistent logics
Deontic logic
fuzzy logic
degrees
gradualism
Proportionality
title_short Soft Deontic Logic
title_full Soft Deontic Logic
title_fullStr Soft Deontic Logic
title_full_unstemmed Soft Deontic Logic
title_sort Soft Deontic Logic
dc.creator.none.fl_str_mv Ausín, Txetxu
Peña, Lorenzo
author Ausín, Txetxu
author_facet Ausín, Txetxu
Peña, Lorenzo
author_role author
author2 Peña, Lorenzo
author2_role author
dc.contributor.none.fl_str_mv Peña, Lorenzo [0000-0002-0186-6215]
Ausín, Txetxu [0000-0003-2098-5540]
dc.subject.none.fl_str_mv Paraconsistent logics
Deontic logic
fuzzy logic
degrees
gradualism
Proportionality
topic Paraconsistent logics
Deontic logic
fuzzy logic
degrees
gradualism
Proportionality
description An implementation of nonstandard deontic logic on the ground of a fuzzy paraconsistent sentential calculus
publishDate 2012
dc.date.none.fl_str_mv 2012
2012
2012
dc.type.none.fl_str_mv info:eu-repo/semantics/other
http://purl.org/coar/resource_type/c_3248
dc.type.openaire.fl_str_mv info:eu-repo/semantics/bookPart
format other
dc.identifier.none.fl_str_mv http://hdl.handle.net/10261/45103
url http://hdl.handle.net/10261/45103
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv http://www.springerlink.com/content/16x0814p4102q377/
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Springer Nature
publisher.none.fl_str_mv Springer Nature
dc.source.none.fl_str_mv reponame:DIGITAL.CSIC. Repositorio Institucional del CSIC
instname:Consejo Superior de Investigaciones Científicas (CSIC)
instname_str Consejo Superior de Investigaciones Científicas (CSIC)
reponame_str DIGITAL.CSIC. Repositorio Institucional del CSIC
collection DIGITAL.CSIC. Repositorio Institucional del CSIC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869421277426483200
score 15,811543

Similares en LA Referencia