在冯·赖特和J·F霍蒂工作的基础上,J·汉森将建立了新的二元道义逻辑系统DDFS。本文描述了DDFS系统的一些性质,采用与汉森略有不同的方法,证明了系统中的公理的有效性和部分定理,并且证明了系统的可靠性。首先,本文简要描述了现代道义逻辑兴起的背景。对现代道义逻辑的发展史作了一个简要的回顾,从而阐明了对本文所论述对象进行研究的必要性和可行性。在第二章里面,简要描述了一元道义逻辑系统,这是进一步研究二元道义逻辑的基础。也指出了一元道义逻辑的特性及局限。第三章介绍了冯·赖特的两个二元道义逻辑系统,并阐述了由弗兰岑和霍蒂分别提出的两个道义算子“O~F”和“O~S”的理论背景,对于这两个算子的语义,可以借用非单调逻辑的缺省理论来理解。第四章集中介绍了二元道义逻辑系统DDFS的各个方面,包括其产生的缘由,其初始符号、形成规则、公理及定理等,还给出了关于DDFS可靠性的证明。DDFS是一个不允许含道义命题算子公式与命题逻辑中公式混合使用和不允许道义算子重叠的系统,从这一点上,它与冯·赖特的二元道义逻辑系统类似,因而,其推理能力受到一定限制,不是非常强。这一部分,也可算是本文的重点,除了对重要的定理给出了简要的证明外,还对DDFS系统的可靠性做了详细的证明。论文最后的第五章,用于阐述作者个人对DDFS系统在包括逻辑学和伦理学等各学科中的应用价值。并且对悬疑未决的一些问题作了畅想,以期能在今后进一步的研究中得以逐步解决。