导读:本文包含了二元道义逻辑论文开题报告文献综述及选题提纲参考文献，主要关键词:道义逻辑,一元道义逻辑,道义悖论
二元道义逻辑论文文献综述
刘文娟[1]（2012）在《一元道义逻辑及其中一些悖论》一文中研究指出道义逻辑是上世纪五十年代创立的关于研究义务、允许、禁止等道义概念的符号逻辑,是广义模态逻辑的一个分支,也被称为规范逻辑或义务逻辑。现代道义逻辑自1951年由冯·赖特创立至今,经过了从语形学到语义学,从绝对道义逻辑到相对道义逻辑,从命题道义逻辑到谓词道义逻辑的迅速发展,很多知名逻辑学家为此做出过不懈地努力。它的创立和发展深受早期真势模态逻辑的影响,也具有模态逻辑那样的理论重要性,而它的实践重要性甚至更突出。道义逻辑根据研究内容的不同可以分为绝对道义逻辑和相对道义逻辑两大类,其中绝对道义逻辑又可分为朴素绝对道义逻辑和真势绝对道义逻辑两部分。本文将通过阐述道义逻辑的发展历程和背景知识,以及分别对在朴素绝对道义逻辑和在真势绝对道义逻辑中最具代表性的一元道义逻辑系统进行分析,来探讨绝对道义逻辑,并对一元道义逻辑的系统中存在的一些主要问题提出一些看法。本文主要分为叁个部分：一、道义逻辑综述。这部分主要从1)道义逻辑的发展历程,2)真势模态逻辑,3)类似模态的传统道义模式,以及4)道义逻辑的命题语言和一些预设原则这四个方而对道义逻辑研究的知识背景作出必要阐述。二、具有代表性的一元道义逻辑系统。这部分分别从语形和语义方面,详细分析了在朴素绝对道义逻辑和真势绝对道义中分别具有代表性的标准道义逻辑系统(SDL)和安德森——康格尔还原以及一些与其相关的附加系统。叁、一些难题及对其的反思。这部分根据SDL中不同的可行原则,将道义逻辑中出现的一些主要悖论进行了归类整理,并且通过分析来寻求初步地解决方法。这些悖论主要分为下列八种：关于道义逻辑本身的难题；关于NEC的难题；关于RM的难题；关于NC、OD的难题；关于道义条件句的难题；关于SDL的表达的不充分的难题；关于道义语境中行为的难题；对时间、变化和义务的质疑。(本文来源于《苏州大学》期刊2012-04-01）
段宏立[2]（2008）在《一元道义逻辑OAP系统》一文中研究指出已有道义算子不能很好地表述诸如提倡、限制等法律事务和日常事务中的命题。于是,增加了"提倡"、"限制"两个新的道义算子,并研究其和已有道义算子间的关系。(本文来源于《重庆工学院学报(社会科学版)》期刊2008年12期）
武戈[3]（2008）在《二元道义逻辑DDFS系统研究》一文中研究指出在冯·赖特和J·F霍蒂工作的基础上,J·汉森将建立了新的二元道义逻辑系统DDFS。本文描述了DDFS系统的一些性质,采用与汉森略有不同的方法,证明了系统中的公理的有效性和部分定理,并且证明了系统的可靠性。首先,本文简要描述了现代道义逻辑兴起的背景。对现代道义逻辑的发展史作了一个简要的回顾,从而阐明了对本文所论述对象进行研究的必要性和可行性。在第二章里面,简要描述了一元道义逻辑系统,这是进一步研究二元道义逻辑的基础。也指出了一元道义逻辑的特性及局限。第叁章介绍了冯·赖特的两个二元道义逻辑系统,并阐述了由弗兰岑和霍蒂分别提出的两个道义算子“O~F”和“O~S”的理论背景,对于这两个算子的语义,可以借用非单调逻辑的缺省理论来理解。第四章集中介绍了二元道义逻辑系统DDFS的各个方面,包括其产生的缘由,其初始符号、形成规则、公理及定理等,还给出了关于DDFS可靠性的证明。DDFS是一个不允许含道义命题算子公式与命题逻辑中公式混合使用和不允许道义算子重迭的系统,从这一点上,它与冯·赖特的二元道义逻辑系统类似,因而,其推理能力受到一定限制,不是非常强。这一部分,也可算是本文的重点,除了对重要的定理给出了简要的证明外,还对DDFS系统的可靠性做了详细的证明。论文最后的第五章,用于阐述作者个人对DDFS系统在包括逻辑学和伦理学等各学科中的应用价值。并且对悬疑未决的一些问题作了畅想,以期能在今后进一步的研究中得以逐步解决。(本文来源于《华东师范大学》期刊2008-05-01）
陈锐[4]（2004）在《二元道义逻辑研究》一文中研究指出道义逻辑是逻辑学研究的新领域 ,二元道义系统的提出时间更短 ,因此 ,国内的逻辑研究者对之较为陌生。为此 ,本文首先对二元道义系统产生的一些情况进行考察 ,分析其产生的原因 ,接着对主要的道义系统进行了详尽的剖析 ,指出其优缺点。最后 ,对现存的二元道义系统存在的不足进行了总结(本文来源于《黔南民族师范学院学报》期刊2004年02期）
二元道义逻辑论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
已有道义算子不能很好地表述诸如提倡、限制等法律事务和日常事务中的命题。于是,增加了"提倡"、"限制"两个新的道义算子,并研究其和已有道义算子间的关系。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
二元道义逻辑论文参考文献
[1].刘文娟.一元道义逻辑及其中一些悖论[D].苏州大学.2012
[2].段宏立.一元道义逻辑OAP系统[J].重庆工学院学报(社会科学版).2008
[3].武戈.二元道义逻辑DDFS系统研究[D].华东师范大学.2008
[4].陈锐.二元道义逻辑研究[J].黔南民族师范学院学报.2004