Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]

Mathijs de Boer; Dov M. Gabbay; Xavier Parent; Marija Slavkovic

doi:10.1007/s11229-010-9866-4

Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]

Mathijs de Boer, Dov M. Gabbay, Xavier Parent, Marija Slavkovic

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

8 Scopus citations

Abstract

This paper offers a two dimensional variation of Standard Deontic Logic SDL, which we call 2SDL. Using 2SDL we can show that we can overcome many of the difficulties that SDL has in representing linguistic sets of Contrary-to-Duties (known as paradoxes) including the Chisholm, Ross, Good Samaritan and Forrester paradoxes. We note that many dimensional logics have been around since 1947, and so 2SDL could have been presented already in the 1970s. Better late than never! As a detailed case study illustrating the power of 2SDL, we examine the system DL of Deontic Logic of Andrew Jones and Ingmar Pörn offered in 1985 to solve the Chisholm paradox of Contrary to Duties. The critical examination is done using logics and methods available in 1985 and solutions are proposed using what was available in 1985.

Original language	English
Pages (from-to)	623-660
Number of pages	38
Journal	Synthese
Volume	187
Issue number	2
DOIs	https://doi.org/10.1007/s11229-010-9866-4
State	Published - Jul 2012

Bibliographical note

Funding Information:
Acknowledgments We would like to express our gratitude to G. Aucher, G. Governatori, and L. van der Torre, for useful comments and discussions. Xavier Parent is currently supported by a grant from the National Research Fund (FNR) of Luxembourg (grant PDR-08-013).

Funding

Acknowledgments We would like to express our gratitude to G. Aucher, G. Governatori, and L. van der Torre, for useful comments and discussions. Xavier Parent is currently supported by a grant from the National Research Fund (FNR) of Luxembourg (grant PDR-08-013).

Funders	Funder number
Fonds National de la Recherche Luxembourg	PDR-08-013

Keywords

Chisholm paradox
Contrary to Duties
Deontic Logic
Two dimensional temporal logic

Access to Document

10.1007/s11229-010-9866-4

Cite this

@article{1dd8d9f324e449b18a6e1b2381796fad,

title = "Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-P{\"o}rn deontic logic system]",

abstract = "This paper offers a two dimensional variation of Standard Deontic Logic SDL, which we call 2SDL. Using 2SDL we can show that we can overcome many of the difficulties that SDL has in representing linguistic sets of Contrary-to-Duties (known as paradoxes) including the Chisholm, Ross, Good Samaritan and Forrester paradoxes. We note that many dimensional logics have been around since 1947, and so 2SDL could have been presented already in the 1970s. Better late than never! As a detailed case study illustrating the power of 2SDL, we examine the system DL of Deontic Logic of Andrew Jones and Ingmar P{\"o}rn offered in 1985 to solve the Chisholm paradox of Contrary to Duties. The critical examination is done using logics and methods available in 1985 and solutions are proposed using what was available in 1985.",

keywords = "Chisholm paradox, Contrary to Duties, Deontic Logic, Two dimensional temporal logic",

author = "{de Boer}, Mathijs and Gabbay, {Dov M.} and Xavier Parent and Marija Slavkovic",

note = "Funding Information: Acknowledgments We would like to express our gratitude to G. Aucher, G. Governatori, and L. van der Torre, for useful comments and discussions. Xavier Parent is currently supported by a grant from the National Research Fund (FNR) of Luxembourg (grant PDR-08-013).",

year = "2012",

month = jul,

doi = "10.1007/s11229-010-9866-4",

language = "אנגלית",

volume = "187",

pages = "623--660",

journal = "Synthese",

issn = "0039-7857",

publisher = "Springer Netherlands",

number = "2",

}

TY - JOUR

T1 - Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]

AU - de Boer, Mathijs

AU - Gabbay, Dov M.

AU - Parent, Xavier

AU - Slavkovic, Marija

N1 - Funding Information: Acknowledgments We would like to express our gratitude to G. Aucher, G. Governatori, and L. van der Torre, for useful comments and discussions. Xavier Parent is currently supported by a grant from the National Research Fund (FNR) of Luxembourg (grant PDR-08-013).

PY - 2012/7

Y1 - 2012/7

N2 - This paper offers a two dimensional variation of Standard Deontic Logic SDL, which we call 2SDL. Using 2SDL we can show that we can overcome many of the difficulties that SDL has in representing linguistic sets of Contrary-to-Duties (known as paradoxes) including the Chisholm, Ross, Good Samaritan and Forrester paradoxes. We note that many dimensional logics have been around since 1947, and so 2SDL could have been presented already in the 1970s. Better late than never! As a detailed case study illustrating the power of 2SDL, we examine the system DL of Deontic Logic of Andrew Jones and Ingmar Pörn offered in 1985 to solve the Chisholm paradox of Contrary to Duties. The critical examination is done using logics and methods available in 1985 and solutions are proposed using what was available in 1985.

AB - This paper offers a two dimensional variation of Standard Deontic Logic SDL, which we call 2SDL. Using 2SDL we can show that we can overcome many of the difficulties that SDL has in representing linguistic sets of Contrary-to-Duties (known as paradoxes) including the Chisholm, Ross, Good Samaritan and Forrester paradoxes. We note that many dimensional logics have been around since 1947, and so 2SDL could have been presented already in the 1970s. Better late than never! As a detailed case study illustrating the power of 2SDL, we examine the system DL of Deontic Logic of Andrew Jones and Ingmar Pörn offered in 1985 to solve the Chisholm paradox of Contrary to Duties. The critical examination is done using logics and methods available in 1985 and solutions are proposed using what was available in 1985.

KW - Chisholm paradox

KW - Contrary to Duties

KW - Deontic Logic

KW - Two dimensional temporal logic

UR - http://www.scopus.com/inward/record.url?scp=84865536935&partnerID=8YFLogxK

U2 - 10.1007/s11229-010-9866-4

DO - 10.1007/s11229-010-9866-4

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:84865536935

SN - 0039-7857

VL - 187

SP - 623

EP - 660

JO - Synthese

JF - Synthese

IS - 2

ER -

Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]

Abstract

Bibliographical note

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Cite this