English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/10001
logo share SHARE   Add this article to your Mendeley library MendeleyBASE
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:

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
Lógica modal
Gradualistic logic
Fuzzy logic
Paraconsistent logic
Deontic logic
Degrees of truth
Transitive logic
Legal propositions
Positive rights
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
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
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.