- 1、本文档共5页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
从数理逻辑的观点看邓析的“两可”之说
摘要:邓析是春秋末期一位杰出的辩者,同时也是一位颇受争议的辩者。古往今来,人们对于他的“两可”之说的讨论从未停止过。本文将尝试运用数理逻辑的观点分析邓析的“两可”思想,探寻其合理因素。
关键词:邓析;两可;数理逻辑
一、邓析的“两可”之说
邓析春秋末年郑国人,在《汉书·艺文志》中邓析被列为名家第一人。在中国古代逻辑[1]思想史上,邓析是一位举足轻重的人物,原因在于他敢于打破传统并发表与众不同的见解。所以,邓析思想往往被正统思想家视为“别类”,并批评他“不法先王,不是礼义,而好治怪说,玩奇词”[2]、“邓析操两可之说,设无穷之词。”[2]。但是这正说明邓析并不以古圣先王作为评判是非的标准,而是要求进步与革新。
在邓析的众多论辩中,最著名的当属《吕氏春秋·离谓》中记载的一则“尸体买卖”的辩说[3]故事,这则故事非常典型的体现了“两可”之说。原文如下:
洧水甚大,郑之富人有溺者,人得其死者,富人赎之,其人求金甚多,以告邓析。邓析曰:“安之,人必莫之卖矣。”得死者患之,以告邓析。邓析又答之曰:“安之,此必无所更买矣。”[4]
在这里,对于利益相反的两个对立方,邓析给的都是“安之”的回答。正如鲁胜《墨辩注序》的解释:“是有(又)不是,可有(又)不可,是名两可。”[5]按照现代术语解释,就是指同时断定事物某一性质有与无或反映事物性质有与无的矛盾判断同时给予肯定。[6]这种“两可”式的回答,确实有诡辩的味道,但如果我们深刻分析是什么原因造成“两可”,便能够理解邓析如此回答的道理。赎尸者和得尸者是站在对立的立场之上的:买者只要安于不买,则卖者无所可卖,只能压低赎金;反之卖者只要安于不卖,则买者又无处可买,只能增加赎金。[4]正是由于双方的立场不同,思考角度不同,邓析才能够给对立的双方相同的结论“安之”。但是邓析的“两可”之说并没有得到普遍的赞同,从古到今,争议不断。按照现代术语解释,“两可”之说存在逻辑矛盾[7]。下面就从数理逻辑的观点分析一下邓析的“两可”之说。
二、从数理逻辑的观点看邓析的“两可”之说
数理逻辑主要包括命题逻辑和谓词逻辑两大部分,谓词逻辑以命题逻辑为基础。命题逻辑的根本特征是把原子命题作为最基本的单位,而对原子命题的内部结构不再进行分析。而谓词逻辑则是把原子命题进一步分析为谓词﹑个体词﹑量词和联结词这样的几个基本成分。在这里,我们主要运用的是数理逻辑中命题逻辑的常用方法来分析一下邓析的“两可”之说。[8]
邓析站在赎尸者和得尸者的立场上分别说了一段话,总结便是:如果买者安于不买,那么卖者无所可卖,只能压低赎金;反之如果卖者安于不卖,那么买者又无处可买,只能增加赎金。此时,“如果买者安于不买”结果便是“买者不买”,而“那么买者又无处可买”结果也是“买者不买”,因此我们便可以可以将“如果买者安于不买”和“那么买者又无处可买”分析为同一命题,用┐p表示。同样,也可以将“那么卖者无所可卖”和“如果卖者安于不卖”统一视为“卖者不卖”,用┐q表示。另外,“只能压低赎金”用r表示,则“只能增加赎金”用┐r表示。那么,原命题“:如果买者安于不买,那么卖者无所可卖,只能压低赎金;反之如果卖者安于不卖,那么买者又无处可买,只能增加赎金”则可分别表示为(┐p→┐q)→r和(┐q→┐p)→┐r的形式。
第一,用命题逻辑的常用证明方法之一真值表法分析这两个真值形式。根据真值表,如果真值形式在真值表各行中的真值都相反,那么两个真值形式相矛盾;如果它们在真值表各行中的真值都相同,两个真值形式相等同。
这两个真值形式总共有三个命题变项,因此共有八种取值情况。依次计算这八种情况下真值形式的值,即得真值表。pqr(┐p→┐q)→r(┐q→┐p)→┐r111(┐1→┐1)→1=1(┐1→┐1)→┐1=0110(┐1→┐1)→0=0(┐1→┐1)→┐0=1101(┐1→┐0)→1=1(┐0→┐1)→┐1=1100(┐1→┐0)→0=0(┐0→┐1)→┐0=1011(┐0→┐1)→1=1(┐1→┐0)→┐1=0010(┐0→┐1)→0=1(┐1→┐0)→┐0=1001(┐0→┐0)→1=1(┐0→┐0)→┐1=0000(┐0→┐0)→0=0(┐0→┐0)→┐0=1由真值表我们可以很明显的看出,两个真值形式并不等值,但却也不存在矛盾,因此我们可以判定,邓析的“两可”之说并不构成矛盾。
第二,也可以运用范式的方法来证明这两个真值形式并不矛盾。根据数理逻辑的定理“除重言式外任一真值形式都有唯一的优合取范式”、“除矛盾式外任一真值形式都有唯一的优析取范式”。[9]由此,我们便可以知道,两个表面看起来并不相同的真值形式,如果它们拥有相同的优合取范式或优
文档评论(0)