منطق تکلیف دو موضعی و تعارض تکالیف

پس از بروز پارادوکس تعارض تکالیف در منطق های استاندارد تکلیف (SDL)،منطق دانان درصدد برآمدند تا با پایه ریزی منطق تکلیف شرطی قدمی اساسی درحل پارادوکس ها بردارند. نظام شرطی منطق تکلیف، نظامی است که در آن به شرایطو اوضاعی که لزوم، جواز و یا منع یک عمل و یک فعل مطرح م یگردد، نیز توجهمی شود. در این مقاله پس از معرفی ساختار نحوی و معنایی نظام تکلیف شرطی برپایه SDL بنابر قرائت هرتی از آن، توانایی چنین نظامی در تحمل تعارض تکالیفمورد ارزیابی قرار گرفته است.