作者meheong (早起的鸟儿有虫吃)
看板logic
标题Re: 白马是马，黑马是马，所以白马等於黑马？
时间Sun Jan 4 10:48:45 2009
我找到的资料是说
公孙龙认为白马有两个特徵
牠是白色的，牠是马
而马就只有一个特徵 马
所以白马跟马是不一样的
我想问这样有没有符合逻辑?????
※ 引述《SYYANG401 (爱上爱上你)》之铭言：
: 白马是马 黑马是马 所以黑马是白马
: 这句话我记得我很久前就看过了 不过一直没有想出个所以然
: 看完这一整个讨论串 也在不少过程中 获得了一些想法
: 不知对不对 想拿出来讨论
: 还请各位鞭小力一点....想想逻辑一直都是我的小兴趣阿....
: 正文开始
: 我第一次听到类似的文句是从国文老师那边听到的
: 从公孙龙的白马论出来的 (推文中有看到好像有人提到 就顺便提一下好了)
: 原文是白马非马
: 他主要是论述 大致上我懂的部份是 当你需要"一匹马"的时候
: 黑马 白马 黄马 赤兔马 什麽马都可以 所以你可以说 白马是马
: 但如果今天我一定要一匹赤兔马的话 你给我黑马 白马 甚至汗血马 爪黄飞电
: 都不是我要的"赤兔马" 所以这时就会出现黑马非马 白马非马 爪黄飞电非马....
: 也就不是你所指定要的马...
: 那时我还觉得公孙先生根本就在虎烂....只是在抓"文字的小辫子"
: 至於现在大家所看到黑马是白马这个问题....
: 就大家的直觉面来说...白马不是黑马 黑马不是白马 两者互不属於 不包含
: 所以心中就会出现一个绝对的式子 "白马不等於黑马"
: 当有版上讨论到空集合这问题的时候 (彩虹马情况)
: 当下刚好教授在我旁边印讲义...我随口问了一下
: "教授 空集合应该属於任何集合吧?!"
: 她匆匆忙忙印完讲义就随口回答我
: "用属於似乎不太对 用包含这个词 应该比较妥当"
: 又开启了我一些想法....
: 如果说空集合存在这个大集合之内 (大集合:所有的马)
: (在此就不讨论大家都知道的 非空集合A 非空集合B 也就是说 白马 黑马的集合 )
: 就又会出现一些不同的情况了
: 同一种论调 A马 是 B马
: 如果说A马是一种彩虹马(是个集合 但是实务上来说是个空集合)
: B马 白 马(同样是个集合 实务上来说 是个非空集合)
: 这样会推出 彩虹马这个空集合 被包含於 白马这个集合内
: 所以可以得知...彩虹马是白马!!!! (空集合是任何集合的子集)
: 但是不能反过来说 白马是彩虹马
: 也就是常识认知:男人是一种人 但是人不能说一定是男人
: 这下我超开心了 我似乎觉得我逻辑好像有进步了XDDD
: 再来 空集合VS空集合
: A马是彩虹马
: B马是八脚马
: 两个都是空集合 又回到前面的话题 "空集合是任何集合的子集"
: A包含於B 且 B包含於A 所以....A=B 推得彩虹马就是八脚马!!!!!
: 也可推得八脚马就是彩虹马!!!!!
: 最後我觉得 白马是马 黑马是马 白马是黑马
: 如果在文意上来说这样是不对的 因为所谓的"文意"就是你了解他文字下所代表的意义
: 这样你就会知道 事实上存在 黑马 白马(两个非空集合的讨论)
: 但如果就严谨的数学上来说 要先讨论出
: 有一个集合叫做白马 另一个集合叫做黑马 他们两个各是哪种类型的集合
: 才能做下一句判断 (白马是不是黑马)
: 以上是我想这讨论串的心路历程..可能过程有点笨XDD
: 不过这种东西拿出来讨论 才会变更厉害阿~
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 71.63.157.14
1F：推 gold97972000:你把公孙龙当智障就好了 01/05 07:09