English   español  
Please use this identifier to cite or link to this 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 | DATACITE
Exportar a otros formatos:


Paraconsistent Deontic Logic with Enforceable Rights

AuthorsPeña, Lorenzo ; Ausín, Txetxu
KeywordsLó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
Issue Date2000
PublisherResearch Studies Press
AbstractThis 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.
DescriptionEn: 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
Appears in Collections:(CCHS-IFS) Libros y partes de libros
Files in This Item:
File Description SizeFormat 
enforcea.pdf76,88 kBAdobe PDFThumbnail
Show full item record
Review this work

WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.