English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/10001
Compartir / Impacto:
Estadísticas
Add this article to your Mendeley library MendeleyBASE
Ver citas en Google académico
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar otros formatos: Exportar EndNote (RIS)Exportar bibText (RIS)Exportar csv (RIS)
Título

Paraconsistent Deontic Logic with Enforceable Rights

AutorPeña, Lorenzo ; Ausín, Txetxu
Palabras claveLógica gradualista
Lógica fuzzy
Lógica paraconsistente
Lógica deóntica
Grados de verdad
Lógica transitiva
Proposiciones jurídicas
Derechos positivos
Cuantificadores
Lógica modal
Gradualistic logic
Fuzzy logic
Paraconsistent logic
Deontic logic
Degrees of truth
Transitive logic
Legal propositions
Positive rights
Quantifiers
Modal logic
Fecha de publicación2000
EditorResearch Studies Press
ResumenThis paper is devoted to proposing a system of gradualistic (fuzzy) paraconsistent deontic logic, a logic which implements the idea not just of degrees of truth (and falseness) but also that of degrees of obligatoriness and licitness. The system we propose (transitive deontic logic) tries to implement a correct treatment of quantified deontic and juridical propositions, chiefly those concerning positive rights, which are couched in terms of existential quantifiers (the right to have a dwelling, a job, to enjoy medical care and so on). Even negative rights are expressed through universal quantifiers. Thus, without an adequate treatment of quantifiers, no system of deontic logic is satisfactory. However, standard systems of deontic logic make it extremely difficult, if not downright impossible, to implement quantifiers in any reasonable way. In order to achieve such a treatment, new postulates are put forward, but at the same time most of the usual axioms of standard systems of deontic logic are dropped. In fact, our approach departs from the common assimilation between deontic and modal notions. We start with three preliminary considerations.
DescripciónEn: Frontiers of Paraconsistent Logic ed. por D. Batens, Ch. Mortensen, G. Priest & J.-P. van Bendegem Baldford (England): Research Studies Press Ltd. (RSP) [Logic and Computation Series], 2000. ISBN 086302532, pp. 29-47
URIhttp://hdl.handle.net/10261/10001
ISBN086302532
Aparece en las colecciones: (CCHS-IFS) Libros y partes de libros
Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
enforcea.pdf76,88 kBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro completo
 


NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.