Deontic logic , Branch of modal logic ที่ศึกษาเกี่ยวกับอนุญาติบังคับและสิ่งต้องห้ามซึ่งมีลักษณะเป็นรูปแบบ deontic (กรีก, deontos : "ซึ่งมีผลผูกพัน") พยายามที่จะจัดระบบนามธรรมความสัมพันธ์เชิงแนวคิดอย่างหมดจดระหว่างข้อเสนอในขอบเขตนี้เช่นสิ่งต่อไปนี้: หากการกระทำมีผลบังคับใช้จะต้องได้รับอนุญาตให้ปฏิบัติได้และห้ามละเว้น ในสถานการณ์ที่กำหนดการกระทำทุกอย่างเป็นไปอย่างนั้นหรือการละเว้นก็ได้รับอนุญาต ตรรกะแบบโมดอลทำให้เกิดความแตกต่างที่สำคัญเช่นจริยธรรมและกฎหมายคำถามที่เป็นรูปธรรมเกี่ยวกับการกระทำที่เฉพาะเจาะจงหรือสถานะของกิจการที่ต้องห้ามอนุญาตหรือสิ่งที่คล้ายกัน
อ่านเพิ่มเติมเกี่ยวกับหัวข้อนี้ใช้ตรรกะ: ตรรกะ Deontic และตรรกะของหน่วยงานDeontic logicศึกษาพฤติกรรมเชิงตรรกะของแนวคิดเชิงบรรทัดฐานและการให้เหตุผลเชิงบรรทัดฐาน แนวคิดเชิงบรรทัดฐาน ได้แก่ ... บทความนี้ได้รับการแก้ไขและปรับปรุงล่าสุดโดย Brian Duignan บรรณาธิการอาวุโส
