TY - GEN
T1 - Obligations and prohibitions in Talmudic deontic logic
AU - Abraham, Michael
AU - Gabbay, Dov M.
AU - Schild, Uri
PY - 2010
Y1 - 2010
N2 - This paper examines the deontic logic of the Talmud. We shall find, by looking at examples, that at first approximation we need deontic logic with several connectives: OTA Talmudic obligation FTA Talmudic prohibition FDA Standard deontic prohibition ODA Standard deontic obligation. In classical logic one would have expected that deontic obligation OD is definable by - ODA ≡ FD ¬A and that OT and FT are connected by - O TA ≡ FT ¬A This is not the case in the Talmud for the T (Talmudic) operators, though it does hold for the D operators. We must change our underlying logic. We have to regard {OT, FT} and {OD, FD} as two sets of operators , where O T and FT are independent of one another and where we have some connections between the two sets. We shall list the types of obligation patterns appearing in the Talmud and compare Talmudic Logic with modern deontic logic.
AB - This paper examines the deontic logic of the Talmud. We shall find, by looking at examples, that at first approximation we need deontic logic with several connectives: OTA Talmudic obligation FTA Talmudic prohibition FDA Standard deontic prohibition ODA Standard deontic obligation. In classical logic one would have expected that deontic obligation OD is definable by - ODA ≡ FD ¬A and that OT and FT are connected by - O TA ≡ FT ¬A This is not the case in the Talmud for the T (Talmudic) operators, though it does hold for the D operators. We must change our underlying logic. We have to regard {OT, FT} and {OD, FD} as two sets of operators , where O T and FT are independent of one another and where we have some connections between the two sets. We shall list the types of obligation patterns appearing in the Talmud and compare Talmudic Logic with modern deontic logic.
UR - https://www.scopus.com/pages/publications/77955156598
U2 - 10.1007/978-3-642-14183-6_13
DO - 10.1007/978-3-642-14183-6_13
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:77955156598
SN - 364214182X
SN - 9783642141829
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 166
EP - 178
BT - Deontic Logic in Computer Science - 10th International Conference, DEON 2010, Proceedings
T2 - 10th International Conference on Deontic Logic in Computer Science, DEON 2010
Y2 - 7 July 2010 through 9 July 2010
ER -