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

TY - JOUR

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

AU - de Boer, Mathijs

AU - Gabbay, Dov M.

AU - Parent, Xavier

AU - Slavkovic, Marija

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 Porn 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 Porn 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.

U2 - 10.1007/s11229-010-9866-4

DO - 10.1007/s11229-010-9866-4

M3 - Article

SN - 0039-7857

VL - 187

SP - 623

EP - 660

JO - SYNTHESE

JF - SYNTHESE

IS - 2

ER -