道义逻辑是哲学逻辑的最重要领域。一种非标准的模态逻辑。它研究“应当”、“可以”或 “许可”、“禁止” 这样一些道义概念的逻辑性质,是一种与伦理学或道德哲学有密切关系的模态逻辑。