- 1、本文档共36页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
道义逻辑与伦理学初探 邓永城 2011级哲学系硕士 一、朴素绝对的道义逻辑 二,真值绝对道义逻辑 三,相对道义逻辑 四,道义逻辑的发展中存在问题及意义 道义逻辑的概念 道义逻辑(deontic logic),又叫义务逻辑(logic of obligation)、规范逻辑(logic of norms),是研究含规范表达式的语句的逻辑特性及其相互间的推理关系的逻辑学科。所谓规范表达式,是指“义务”(obligation)、“禁止”(forbiddance)、“允许”(permission)、“承诺”(commitment)这样的一些概念。 —陈波《哲学逻辑》 道义逻辑的由来 道义逻辑的历史并不长。尽管有关道义逻辑的片段思想可以追溯到古希腊的亚里士多德、斯多亚派,中世纪的经院学者罗伯特·霍尔科特、托马斯·阿奎那以及近代的莱布尼茨等人。如,罗伯特·霍尔科特就曾论证说:从“如果p,则q”可以推出“如果允许P,则允许q”,但是第一个给出规范概念的形式的理论的是马里(Ernst Mally)。他在1926年出版了《意愿的根本规律——意愿逻辑纲要》。 他认为,判断和意愿是人们对事态所采取的两种不同的态度。经典逻辑是判断的逻辑,它规定了判别正确的或不正确的判断的标准。马里则打算构造一种意愿的逻辑,并把它称为“deontik”。他认为一个人希望、意愿事态P发生,可以表述为“P应该发生”,于是,“应该”作初始概念的第一个道义逻辑的公里系统。但是,在他的系统中,可以证明一些奇怪的定理。 马里的尝试归于失败。此后,门格尔、哈夫斯塔特和麦肯赛、兰德、格雷林分别构造了一些道义逻辑系统,但这些系统都具有类似于马里系统的根本缺陷,不能成立。 1951年,冯·莱特发表了经典性的论文《道义逻辑》,提出了一个道义逻辑系统。在他的系统中,A,B,C,.. ….表示动作或行为;逻辑连接词被用来联结词项,也被用来联结命题;P(允许、许可)是仅有的道义初始概念,其他的道义概念如O(应该、义务)、F(禁止)、I(道义中性)等则通过下述定义引进: 此外,冯·莱特除采用经典命题逻辑的那些推理规则之外,还采用了下述规则:如果P和q逻辑等值,那么PP和Pq逻辑等值。冯·莱特并且利用真值表的方法作为他的道义逻辑系统的判定程序,即利用它判定该系统的任一合式公式是否是该系统的一个定理。 冯·莱特提出的这一系统是第一个可行的道义逻辑系统,他为建立道义逻辑跨出了重要的一部,此后道义逻辑方面的大多数研究都是由他的论文刺激起来的,冯·莱特因此成为道义逻辑领域最重要的人物之一。他后来又发表了一些论文,发展或修改自己在这方面的工作,并提出了条件义务演算系统。 有些逻辑学家根据冯·莱特所提示的道义逻辑与模态逻辑的类似,发展了朴素绝对的道义逻辑;安德森通过在模态逻辑中引入常项S(惩罚、刑罚)去定义道义概念“义务”、“允许”、“禁止”等,从而建立了真值绝对的道义逻辑;另外一些逻辑学家为了避免上述道义逻辑系统的悖论,提出了相对道义逻辑。这些不同类型的道义逻辑系统大都属于道义命题逻辑的范围。从50年代后期开始,有的逻辑学家如欣迪卡、坎格尔等人开始研究道义谓词逻辑。 一、朴素绝对的道义逻辑 所谓朴素绝对的道义逻辑, 就是由重新解释真值模态逻辑中的某些算子,从中去掉那些 在道义逻辑中不成立的公理或规则并适当增加新的公理或规则而得到的逻辑系统。 两个较弱的公理: Ad8 是说, 若P是应该的, 则p是允许的,Ad9 是说, 应该做的事情实际做了, 这是应该的。这两个定理与我们的日常直觉是相符的。 我们这里主要讨论这些系统中的一些不合常识的悖论性定理。例如(编号只涉及给出的定理): 罗斯悖论:T1是义务不矛盾律,T2则表达所谓的“ 罗斯悖论” 。T2 是说, 如果应该P ,则应该P或q 。 根据这个定理, 如果允许一个人抽烟,则允许一个人抽烟或者杀人。这也是违反人们的直觉和常识的。我认为, 只要记住OT 中的联结词是真值联结词、而不是日常语言中的联结词, 上述悖论就不悖了。我们知道, P真, q真, p 和q 都真, 这三种可能中只要有一种可能出现,必定为真。 同理, 中只要有一个出现, 结论必定为真。 而T2中已有前提Op 。, 当然可以有结论了。人们之所以把它看作是悖论, 似乎是认为, 从“ 你应该寄走这封信” 和“如果你应该寄走这封信, 则你应该寄走这封信或者烧掉它” , 可以推出“ 你应该烧掉这封信” , 但这无论如何
文档评论(0)