弗协调逻辑应用于道义逻辑的研究

发布时间：2017-09-29 01:33

  本文关键词：弗协调逻辑应用于道义逻辑的研究

  更多相关文章： 弗协调逻辑 道义逻辑 道义逻辑悖论 可靠性 完全性 归约

【摘要】： 道义逻辑的思想最早可上溯至亚里士多德。亚氏在构造三段论体系时就注意到了实践推理这种逻辑论证类型。亚里士多德论述“应该”不是从伦理规范的角度，，而是把“应该”理解为体现事物本质特性的意义。到司科特时，道义逻辑思想才较以前的有了一个较大的改变，司科特的伦理学是一种规范伦理学。奥卡姆提出了“上帝是否能指令人去恨他”这样一个具有理论意义的问题。罗斯图思认为一个规范系统是合理的意味着履行规范不会导致矛盾；有一些义务只有在某些规范已被违犯的情况下履行才是合理的。 近代道义逻辑思想主要表现在莱布尼茨和边沁二人的思想中。莱布尼茨注意到道义模态和传统的模态之间的类似和转换。边沁在1780年提出一个关于意志的或者说命令句的逻辑。 恩斯特·马利第一个试图建立道义逻辑形式系统，但失败了。1951年芬兰逻辑学家冯·赖特发表了经典性论文《道义逻辑》，标志着现代道义逻辑的诞生。 到日前已有若干道义逻辑形式系统，例如朴素道义逻辑系统OK、OS5~*，真值道义逻辑系统MK、MS5~*，等等。这些系统虽然有漂亮的完全性，但都含有一些道义逻辑悖论。 罗斯悖论的根源在于：道义逻辑系统中的联结词“V”与道义算子“O”、“P”相结合使用时，其含义、逻辑功效跟这三个符号据通常的理解所对应的日常用语“或者”与“应当”、“允许”相结合用时其含义、逻辑功效差异较大。承诺悖论的两个公式是绝对道义逻辑系统的特征公式。承诺悖论的出现是源于标准系统对应当、允许和禁止这类道义概念的绝对性理解。对齐硕姆二难进行语义分析表明，齐硕姆的例子本身在OS5~*之类的系统中不能成立；它揭示了该类系统不能塑述反义务命令，原因在于该类系统未能区分命令的层次，相应地在语义学中理想世界也不分层次，无优劣先后。善良的撒玛利顿人悖论是源于安德森想通过定义Op(?)□(～p→S)把道义逻辑归约为协调的真值模态逻辑。在对善良的撒玛利顿人悖论进行语义分析以及对必然与必须两概念间的差别进行分析后，我们可得出结论：无论是把S理解为“惩罚”或“制裁”，还是把S解释为违禁境界的实现，其归约定义Op(?)□(～p→S)均不能成立，Op只能以O(～p→S)来说明。造成杰弗塔二难(the Jephta Dilemma)的根源是现实世界中伦理规范有时会彼此冲突。该二难揭示了义务应是相对于某一伦理规范而言的。 20世纪60年代，经典逻辑发展相对停滞，非经典逻辑蓬勃兴起，在对逻辑学、自然科学及社会科学等领域中许多不协调命题进行思索后，人们对经典逻辑发起挑战，认为矛盾律并不是普遍有效的。在这一背景下达·科斯塔创立了弗协调逻辑。 张清宇教授在科斯塔的弗协调命题逻辑系统C_n的基础上得到弗协调模态命题逻辑系统C_nG'。我们在C_nG'的基础上添加常元Q及公理◇Q和Q~((n))得到一个具有完全性的弗协调真值模态命题逻辑系统C_(nM)G'；通过定义Oa=_(df)□(Q→a)、Pa=_(df)-O-a和Fa=_(df)O-a我们可得到一包含在C_(nM)G'中的弗协调真值道义逻辑系统C_(nM)G'。C_(nM)G'避免了善良的撒玛利顿人悖论并且能容忍道义二难。 然而让我们一直深为不安的□a→Oa和～◇a→Fa等公式仍是C_(nM)G'的定理。这表明只有在相干(衍推)弗协调逻辑的基础上构造道义逻辑才有可能在吸取了C_(nM)G'的优点的同时又将这些可疑的公式去除。但是即使如此，在这样的系统中完全有可能又会包含一些跟我们的直观不符合的公式。所有这些都表明，归约这一做法的可行性始终是很让人怀疑的。 应当规则同样是可疑的。该规则的直观背景是：从事实判断能推出价值判断。这一命题成立否在哲学史上一直有争论，但现在哲学家们基本一致认为：从事实判断推不出价值 判断。口此我们现在拥有的道义逻辑系统可能包含一个下合理的推理规则。若真是这样 道义逻辑什论可能正是源于应当规则，所以构建－种不含应当规则的道义逻辑系统可能会 解决困扰道义逻辑的悻论问题。
【关键词】：弗协调逻辑 道义逻辑 道义逻辑悖论 可靠性 完全性 归约
【学位授予单位】：中国社会科学院研究生院
【学位级别】：博士
【学位授予年份】：2001
【分类号】：B815
【目录】：

• 第一章 道义逻辑发展史7-13
• 第一节 概述7
• 第二节 西方古代道义逻辑思想7-8
• 第三节 中世纪西方道义逻辑思想8-10
• 第四节 西方近代道义逻辑思想10-11
• 第五节 现代道义逻辑的创立及发展11-13
• 第二章 朴素道义逻辑系统13-32
• 第一节 朴素道义逻辑系统的语法性质13-22
• 第二节 S的可靠性、完全性和一致性22-32
• 第三章 真值道义逻辑系统32-43
• 第一节 真值道义逻辑系统的语法性质32-38
• 第二节 正的可靠性、完全性和一致性38-43
• 第四章 道义逻辑悖论分析43-55
• 第一节 罗斯悖论43-45
• 第二节 承诺悖论45-47
• 第三节 齐硕姆二难47-48
• 第四节 善良的撒玛利顿人悖论48-52
• 第五节 杰弗塔二难52-54
• 第六节 小结54-55
• 第五章 弗协调逻辑系统55-79
• 第一节 弗协调逻辑史概述55-58
• 第二节 弗协调命题逻辑58-72
• 第三节 弗协调模态命题逻辑72-79
• 第六章 弗协调真值道义逻辑系统79-86
• 总结86-88
• 参考文献88

【相似文献】

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

1 苏愉仁;贾春华;;弗协调逻辑与《金匮要略》“方证论治系统”[A];仲景医学求真（续三）[C];2009年

2 柳祥美;;对冯·莱特关于道义逻辑起源问题的探讨[A];1997年逻辑研究专辑[C];1997年

3 张清宇;;弗协调逻辑[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

4 周祯祥;;规范、动态道义逻辑和法律规范知识表达[A];第一届全国非形式逻辑与法律逻辑学术研讨会论文集[C];2004年

5 樊明亚;;意愿逻辑[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

6 余俊伟;;弗协调真值道义逻辑分析[A];2003年逻辑研究专辑[C];2003年

7 余俊伟;;道义逻辑中的“悖论”及道义系统的归约问题[A];1997年逻辑研究专辑[C];1997年

8 周祯祥;;道义逻辑不是坏逻辑——与金承光先生商榷[A];第十四届全国法律逻辑学术讨论会论文集[C];2006年

9 张清宇;;弗协调逻辑系统Zn和ZnUS[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年

10 杨武金;;弗协调逻辑及其哲学意义[A];2004年逻辑研究专辑[C];2004年

中国重要报纸全文数据库 前7条

1 华南师范大学政治与行政学院 胡泽洪;哲学逻辑的发展趋势及其对我们的启示[N];光明日报;2008年

2 林圭;固有不然必无不至[N];人民日报海外版;2001年

3 贾春华 北京中医药大学;“以方测证法”不可行[N];中国中医药报;2006年

4 科研局 供稿;开拓创新 服务社会[N];中国社会科学院院报;2004年

5 辛望旦;悖论的意义与理性形式的演化[N];社会科学报;2000年

6 中山大学逻辑与认知研究所 熊明辉;逻辑与认知[N];社会科学报;2002年

7 何仑;贫富拉大的罪魁？[N];国际商报;2001年

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

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

2 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年

3 苏愉仁;基于逻辑的《金匮要略》方证理论体系研究[D];北京中医药大学;2010年

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

1 张法清;冯·赖特道义逻辑研究[D];西南大学;2010年

2 段宏立;道义逻辑[D];西南大学;2006年

3 黄慎;政策驱动的Agent行为模型研究[D];湖南大学;2009年

4 王小静;墨经逻辑学之模态词分析[D];燕山大学;2008年

5 王婉玲;冯·赖特行动逻辑研究[D];华南师范大学;2004年

6 丁永强;规范逻辑的法律思考[D];河南大学;2005年

本文编号：939258