Mally's Deontic Logic: Reducibility and Semantics

Verfasser / Beitragende:
[Gert-Jan Lokhorst]
Ort, Verlag, Jahr:
2015
Enthalten in:
Journal of Philosophical Logic, 44/3(2015-06-01), 309-319
Format:
Artikel (online)
ID: 605539049
LEADER caa a22 4500
001 605539049
003 CHVBK
005 20210128100905.0
007 cr unu---uuuuu
008 210128e20150601xx s 000 0 eng
024 7 0 |a 10.1007/s10992-014-9320-z  |2 doi 
035 |a (NATIONALLICENCE)springer-10.1007/s10992-014-9320-z 
100 1 |a Lokhorst  |D Gert-Jan  |u Section of Philosophy Faculty of Technology, Policy and Management, Delft University of Technology, P.O. Box 5015, 2600, Delft, GA, The Netherlands  |4 aut 
245 1 0 |a Mally's Deontic Logic: Reducibility and Semantics  |h [Elektronische Daten]  |c [Gert-Jan Lokhorst] 
520 3 |a We discuss three aspects of the intuitionistic reformulation of Mally's deontic logic that was recently proposed (Journal of Philosophical Logic 42, 635-641, (2013)). First, this reformulation is more similar to Standard Deontic Logic than appears at first sight: like Standard Deontic Logic, it is Kanger reducible and Anderson reducible to alethic logic and it has a semantical interpretation that can be read in deontic terms. Second, this reformulation has an extension that provides 100% of the theorems stated by Mally himself (and that does not provide O A → A, which Mally himself did not state either). Third, it is interesting to view Mally's original deontic logic as an extension of this reformulation. 
540 |a Springer Science+Business Media Dordrecht, 2014 
690 7 |a Deontic logic  |2 nationallicence 
690 7 |a Intuitionistic logic  |2 nationallicence 
773 0 |t Journal of Philosophical Logic  |d Springer Netherlands  |g 44/3(2015-06-01), 309-319  |x 0022-3611  |q 44:3<309  |1 2015  |2 44  |o 10992 
856 4 0 |u https://doi.org/10.1007/s10992-014-9320-z  |q text/html  |z Onlinezugriff via DOI 
898 |a BK010053  |b XK010053  |c XK010000 
900 7 |a Metadata rights reserved  |b Springer special CC-BY-NC licence  |2 nationallicence 
908 |D 1  |a research-article  |2 jats 
949 |B NATIONALLICENCE  |F NATIONALLICENCE  |b NL-springer 
950 |B NATIONALLICENCE  |P 856  |E 40  |u https://doi.org/10.1007/s10992-014-9320-z  |q text/html  |z Onlinezugriff via DOI 
950 |B NATIONALLICENCE  |P 100  |E 1-  |a Lokhorst  |D Gert-Jan  |u Section of Philosophy Faculty of Technology, Policy and Management, Delft University of Technology, P.O. Box 5015, 2600, Delft, GA, The Netherlands  |4 aut 
950 |B NATIONALLICENCE  |P 773  |E 0-  |t Journal of Philosophical Logic  |d Springer Netherlands  |g 44/3(2015-06-01), 309-319  |x 0022-3611  |q 44:3<309  |1 2015  |2 44  |o 10992