论文摘要
现代道义逻辑兴起于20世纪50、60年代，主要研究含有“应该”、“允许”或“禁止”等道义词的命题逻辑。虽然道义逻辑兴起于现代，但道义逻辑却有很长的思想渊源。从亚里士多德开始，道义模态就始终为逻辑学家所关注。现代道义逻辑的诞生激发了逻辑学家的极大兴趣。在冯赖特的经典道义逻辑系统基础上，新的道义逻辑系统不断产生。50年代以来，道义逻辑系统的内容不断丰富，也不断追踪现代形式逻辑发展的足迹。道义逻辑学家不断克服在构建形式系统过程中所出现的困难，同时不断消解道义形式系统中所谓的悖论，这使得今天的道义逻辑茁壮成长起来，成为广义模态逻辑中一个重要组成部分。本文旨在对道义逻辑思想的起源及其发展进行全面、系统、深入的梳理和研究，特别是对现代道义逻辑产生的背景、道义逻辑奠基人冯赖特的一元道义逻辑到二元道义逻辑的发展以及现代道义逻辑的发展趋势进行系统介绍。除此之外，本文重在分析道义逻辑系统中存在的悖论以及这些道义悖论的解决方案及其困境，进而提供一元算符理论的初步解决设想。本文主要对三种道义悖论的解决方案分别作了简要评价，其目的是希望能在某种程度上深化我们对道义逻辑的认识。道义逻辑的发展不仅能丰富哲学逻辑的内容，而且也有助于拓宽逻辑学研究的领域。