Obligations and prohibitions in Talmudic deontic logic

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: O_TA Talmudic obligation F_TA Talmudic prohibition F_DA Standard deontic prohibition O_DA Standard deontic obligation. In classical logic one would have expected that deontic obligation OD is definable by - O_DA 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 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.