Please use this identifier to cite or link to this item:
Title: Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹.
Authors: Cruz, Ângela Maria Paiva,
Keywords: Lógica Deôntica.;Lógica Relevante.;Axiomática de Eo.
Issue Date: 1996
Publisher: UFRN: CCHLA
Abstract: Normative fragmento natural language makeup sentences that expressacts and describe norms. In this fragmentthere are criteriao flogic thuth and relation of consequence between sentences which constitute a natural d.eontic logic. This paper adopta translation function fromt hese tof sentence sof the normative fragmento natural language intot hese tof formulae intheformal language and claims that such function translates logically true sentences of the natural language into provable formulae of the formal calculus. With Von Wright's deontic calculus (1951), it does not fit and generates paradoxes, whichareknown as Prior's paradoxes. Cruz's paraconsistent d.eontic propositional calculus, D1 (1993) avoids some paradoxes, except that generated by the formula OB ~ O(A ~ B). One buildsa relevant deontic propositional calculusthat aims toavoidtheseparadoxesand keepsintact all other fundamental features of d.eontic operators, since the formulaB ~ (A ~ B) is improable'in somere lavant calculi.
Description: Cruz, Ângela Maria Paiva. Os paradoxos de Prior e o cálculo proposicional deôntico relevante. Princípios, Natal, v. 4, p. 05-18, 1996.
ISSN: 0104-8694
Appears in Collections:CCHLA - DEFIL - Artigos publicados em periódicos

Files in This Item:
File Description SizeFormat 
angela 2.pdf634,54 kBAdobe PDFThumbnail

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.