Abstract
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 - OTA 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 OT 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 develop an intuitionistic deontic logic to accommodate them. We shall compare Talmudic deontic logic with modern deontic logic.
Original language | English |
---|---|
Pages (from-to) | 117-148 |
Number of pages | 32 |
Journal | Artificial Intelligence and Law |
Volume | 19 |
Issue number | 2-3 |
DOIs | |
State | Published - Aug 2011 |
Keywords
- Contrary to duty
- Deontic logic
- Obligations
- Prohibitions
- Talmudic logic