道义逻辑是哲学逻辑的一个分支,主要研究“应当”、“允许”等相关概念的基本逻辑特征。道义逻辑标准系统自建立之初便一直受到道义悖论的困扰,如罗斯悖论、承诺悖论、乐善好施者悖论以及反义务命令悖论等等。在哲学逻辑快速发展的背景下,逻辑学家们建立了各种道义逻辑系统,但都没有完全解决道义悖论。由于道义悖论的产生亦与道义词在自然语言中的意义有密切关系,所以本文通过介绍理论语言学家克拉特采尔建立在可能世界语义基础上的情态助动词语义理论,以及芬特尔与克里斯曼在其基础上对“应当”的逻辑结构进行的深入研究,展现了自然语言中“应当”意义的复杂性,包括了情境条件因素、可能世界的排序、可废止性等等。现代道义逻辑的发展过程中构建的二元道义逻辑系统、优先的道义逻辑系统、可废止的道义逻辑系统等等,各自都刻画了“应当”意义的某些本质特征,但都不完全。道义逻辑学家应参照理论语言学与元伦理对“应当”的语义研究,融合哲学逻辑各分支的成果,尝试建立对“应当”的本质特征有全面的刻画的道义逻辑系统,由此消解道义悖论。