二元道义逻辑DDFS系统研究

发布时间：2017-04-27 02:02

  本文关键词：二元道义逻辑DDFS系统研究，，由笔耕文化传播整理发布。

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

• 内容摘要6-7
• Abstract7-9
• 第一章、引言:道义逻辑的研究现状及主要问题9-12
• 1.1 现代道义逻辑的产生9-11
• 1.2 经典道义逻辑的二难和悖论11
• 1.3 道义逻辑研究的必要性和可行性。11-12
• 第二章、一元道义逻辑12-14
• 2.1 朴素道义逻辑系统OK和经典道义逻辑系统SDL12-13
• 2.2 一元道义逻辑系统的特性及局限13-14
• 第三章、道义逻辑发展史上某些二元道义逻辑系统14-16
• 3.1 冯·赖特的二元道义模态系统14
• 3.2 另一个二元道义模态系统系统14
• 3.3 弗兰岑的DF系统和非单调逻辑14-16
• 3.4 霍蒂的改进:怀疑算子O~S16
• 第四章、二元道义逻辑系统DDFS16-27
• 4.1 DDFS初始符号16-17
• 4.2 DDFS形成规则17
• 4.3 DDFS公理模式17-18
• 4.4 DDFS推理规则18-19
• 4.5 DDFS的推导及定理19
• 4.6 关于基本置换定理19
• 4.7 DDFS的直观涵义19
• 4.8 DDFS中的若干定理19-20
• 4.9 DDFS的可靠性和完全性20-27
• 第五章、进一步探讨27-35
• 5.1 DDFS对于道义逻辑的价值27-28
• 5.2 DDFS对哲学理论的贡献28-29
• 5.3 DDFS解决现实生活问题29-30
• 5.4 对尚存在的问题所作的思考30-35
• 附录35-44
• 后记44-45
• 参考文献45

【共引文献】

中国期刊全文数据库 前10条

1 李春泰;可能世界为真的确认方式[J];安徽师范大学学报(自然科学版);2003年04期

2 方政,杨正群,刘英;休谟因果联系的人性论基础[J];安庆师范学院学报(社会科学版);2004年02期

3 徐孝霞;道德情感教育中的“同情”与“移情”[J];鞍山师范学院学报;2005年02期

4 陈波;;语句的真、真的语句、真的理论体系——“truth”的三重含义辨析[J];北京大学学报(哲学社会科学版);2007年01期

5 马宁;;构建社会主义和谐社会的道德思考[J];北京青年政治学院学报;2006年01期

6 吴坚;;批判性思维:逻辑的革命[J];北京理工大学学报(社会科学版);2007年05期

7 周玲,李永海;论休谟问题的逻辑解答[J];重庆大学学报(社会科学版);2003年06期

8 袁正校;;关于现代逻辑教学中若干问题的思考[J];重庆工学院学报;2006年01期

9 杨万斌;阅读理解水平层次试析[J];楚雄师范学院学报;1997年02期

10 陈志钢;蔡泽辉;;非均衡性旅游地空间竞争中搭便车问题研究[J];地理与地理信息科学;2006年05期

中国重要会议论文全文数据库 前1条

1 戴昭铭;;语言功能和可能规范[A];世纪之交的中国应用语言学研究——第二届全国语言文字应用学术研讨会论文集[C];1998年

中国博士学位论文全文数据库 前10条

1 费多益;论科学的合理性[D];中国社会科学院研究生院;2001年

2 余俊伟;弗协调逻辑应用于道义逻辑的研究[D];中国社会科学院研究生院;2001年

3 刘勇;多Agent系统理论和应用研究[D];重庆大学;2003年

4 许身健;刑事程序现代性研究[D];中国政法大学;2004年

5 尧新瑜;学校道德课程理解论[D];华东师范大学;2004年

6 安斌;战国与启蒙时代的刑法思想研究[D];西南政法大学;2004年

7 方秋明;汉斯·约纳斯的责任伦理学研究[D];复旦大学;2004年

8 李恒威;“生活世界”复杂性的动力模式[D];浙江大学;2005年

9 李朝东;论教育启蒙与公民人格建构[D];西北师范大学;2005年

10 关锋;论马克思的实践理性[D];华南师范大学;2005年

中国硕士学位论文全文数据库 前10条

1 杨家胜;现代俄语中的评价范畴[D];黑龙江大学;2001年

2 韩宇胜;论法律的不确定性[D];中国政法大学;2001年

3 李云飞;“解释学境遇”的本体论意蕴[D];中共中央党校;2002年

4 孙华程;言说的逻辑与沉默之域[D];西南师范大学;2002年

5 施群丽;真之收缩论研究[D];华南师范大学;2003年

6 刘国锋;D·刘易斯的可能世界理论——模态实在论研究[D];华南师范大学;2003年

7 焦志伟;决策过程中的逻辑应用[D];河南大学;2003年

8 张高宏;亚里士多德的存在学及其对海德格尔的影响[D];四川大学;2003年

9 刘素姣;一阶谓词逻辑在人工智能中的应用[D];河南大学;2004年

10 谢腾云;交往理性与话语政治[D];湖南师范大学;2004年

  本文关键词：二元道义逻辑DDFS系统研究，由笔耕文化传播整理发布。

本文编号：329659