《庄子》 “子非鱼”的逻辑分析(图) |
送交者: 2021年03月26日09:46:42 于 [世界时事论坛] 发送悄悄话 |
|
若退 《庄子·秋水》里有一段经典的对话—— 庄子与惠子游于濠梁之上。 这段对话里的逻辑,恐怕不少读者会有点晕。如果用逻辑学的知识来梳理一下就比较容易理解了。惠子(前370年-前310年)与公孙龙子(前293年)是战国时名家的代表人物,他们善于逻辑思辨。有后人评价说名家是诡辩,这是不对的。名家的逻辑思辨是近现代逻辑学的雏形。形式逻辑的创始人是古希腊的亚里士多德(Aristotle,公元前384~前322),与惠子是同时代的人。如果当年战国时代的名辩学得到足够的发展,则中国人有可能也独立地创造出了形式逻辑体系。 如果借助数理逻辑的符号,“子非鱼”的逻辑推理就更容易简洁地表达。但使用数学符号恐怕会使许多读者生畏,所以我不用数学符号而用文字来叙述。先列出几个大前提和推理(推理包含了小前提和结论):
根据三段论推理,我们可以给出惠子的“子非鱼,安知鱼之乐” 的逻辑表达:
如果要否定上面的逻辑推理,只能从以下三个方面:
现在我们来梳理一下“子非鱼”里每一问答里的逻辑推理。 逻辑一、当惠子说“子非鱼,安知鱼之乐”时,这里隐含的是大前提1:非鱼不能知鱼之乐。如果承认这个大前提,而且显然庄子非鱼,所以惠子“子非鱼,安知鱼之乐”这个推理(推理1)就是对的。 逻辑二、庄子把惠子的大前提1再延伸,提出了另一个大前提,即大前提2:非己不能知己。如果承认这个大前提,而且显然惠子非庄子,所以庄子的“子非吾,安知吾不知鱼之乐”这个推理(推理2)就是对的。推理2(惠子不知道庄子知道鱼之乐)间接否定了推理1(庄子不知道鱼之乐)。庄子知道鱼之乐这事,既然惠子不能知道,那庄子就有可能知道。不过庄子也不能从大前提1推出大前提2。只有更为一般的大前提3成立,大前提1和2才能同时成立。 逻辑三、惠子说:“好,如果我承认大前提2,你是对的(推理2)。那你也必须承认大前提1,从而推出“子之不知鱼之乐”(推理1),还是我对。”惠子还得意地说:全矣。意思是:瞧我的推理很完美吧。但与上述逻辑二类似,惠子也不能从大前提2推出大前提1。只有更为一般的大前提3成立,大前提1和2才能同时成立。到此为止,惠子与庄子的推理都对,双方打个平手。 逻辑四、庄子说:让我们从头理一下,你是知道我“知鱼之乐”在先而后才能问我:“子非鱼,安知鱼之乐?”所以庄子的推理是:子非我而已知我(否定了大前提2),故我非鱼亦可知鱼也(否定了大前提1)。至于怎么知道,“吾知之濠上也。”这里庄子玩了一个小花招,把“安知”解释成了“怎么知道”不是“不知道”。这是转移话题而调侃了。但调侃之前,庄子的回答否定了大前提2,从而暗示了大前提1可能也是错的。辩论的最后还是庄子胜出。 逻辑五、大前提1(非鱼不能知鱼)和大前提2(非己不能知己),两者有相似性,但不能相互推导。比如,不能从“鱼能游泳”推出“马能游泳”,反之亦然。但如果“脊椎动物皆能游泳”成立,则可以推出“鱼能游泳”和“马能游泳”同时成立。而如果“马不能游泳”成立,也不能得出“鱼不能游泳”。所以庄子虽然直接否定了大前提2也不能直接否定大前提1。要否定大前提1,必须是隐含引用了大前提3. 综上所述,“子非鱼”辩论的关键在于大前提1和2是否成立。其实大前提2(只有你自己才知道自己)很容易被否定。很多时候,自己并不别人更了解自己,所以才有心理学家和医生的职业。当你与人分享你的快乐或忧愁时,你也是假定别人是能够理解你的。很多辩论,关键都是大前提是否成立,最终是其公理系统是否成立。机器可以根据数理逻辑的公理系统和推导法则而自动证明一个定理是否成立,但机器不能证明一条公理是否成立。数学与科学容易得到一套公认的公理系统,比如两条平行线永不相交,光速不变等。而社会科学和艺术则很难找到一套公认的公理系统,所以其相应的辩论很难有统一的结论。 我把庄子与惠子的对话换成现代人的语境。读者或许可以更容易思考类似的逻辑推理。 甲:我儿子最近很努力。 |
|
|
|
实用资讯 | |
|
|
一周点击热帖 | 更多>> |
|
|
一周回复热帖 |
|
历史上的今天:回复热帖 |
2020: | “”认领”新冠状病毒,自称安排了这场 | |
2020: | 邪教头目“认领”新冠病毒 自称安排了这 | |
2019: | 大崩溃很可能是从这里开始 | |
2019: | 《青春有你》现场助力第一成迷 ,邵浩帆 | |
2018: | 致习主席:再奋斗100年,把这63项核心技 | |
2018: | 看看郭奸背地里如何骂川普!(视频) | |
2017: | 邪教弟子们该清醒了,你们只是棋子! | |
2017: | 刺死辱母者在任何国家都不会像山东这样 | |
2016: | 吊丧进错了门-评《基辅餐厅之感慨》 zt | |
2016: | 向我开炮!俄援叙军官呼叫空袭炸自己 与 | |
|