道义逻辑是上世纪五十年代创立的关于研究义务、允许、禁止等道义概念的符号逻辑,是广义模态逻辑的一个分支,也被称为规范逻辑或义务逻辑。现代道义逻辑自1951年由冯·赖特创立至今,经过了从语形学到语义学,从绝对道义逻辑到相对道义逻辑,从命题道义逻辑到谓词道义逻辑的迅速发展,很多知名逻辑学家为此做出过不懈地努力。它的创立和发展深受早期真势模态逻辑的影响,也具有模态逻辑那样的理论重要性,而它的实践重要性甚至更突出。道义逻辑根据研究内容的不同可以分为绝对道义逻辑和相对道义逻辑两大类,其中绝对道义逻辑又可分为朴素绝对道义逻辑和真势绝对道义逻辑两部分。本文将通过阐述道义逻辑的发展历程和背景知识,以及分别对在朴素绝对道义逻辑和在真势绝对道义逻辑中最具代表性的一元道义逻辑系统进行分析,来探讨绝对道义逻辑,并对一元道义逻辑的系统中存在的一些主要问题提出一些看法。本文主要分为三个部分：一、道义逻辑综述。这部分主要从1)道义逻辑的发展历程,2)真势模态逻辑,3)类似模态的传统道义模式,以及4)道义逻辑的命题语言和一些预设原则这四个方而对道义逻辑研究的知识背景作出必要阐述。二、具有代表性的一元道义逻辑系统。这部分分别从语形和语义方面,详细分析了在朴素绝对道义逻辑和真势绝对道义中分别具有代表性的标准道义逻辑系统(SDL)和安德森——康格尔还原以及一些与其相关的附加系统。三、一些难题及对其的反思。这部分根据SDL中不同的可行原则,将道义逻辑中出现的一些主要悖论进行了归类整理,并且通过分析来寻求初步地解决方法。这些悖论主要分为下列八种：关于道义逻辑本身的难题；关于NEC的难题；关于RM的难题；关于NC、OD的难题；关于道义条件句的难题；关于SDL的表达的不充分的难题；关于道义语境中行为的难题；对时间、变化和义务的质疑。