※ 引述《meheong (早起的鸟儿有虫吃)》之铭言： : 我找到的资料是说 : 公孙龙认为白马有两个特徵 : 牠是白色的，牠是马 : 而马就只有一个特徵 马 : 所以白马跟马是不一样的 以下提出小弟的一些个人看法: 白马有符合"马"的特徵...尽管牠的特徵多了一个:) 所以白马是*[1;33m一种*[m马 (用"白马是马"似乎语意模糊XD) 也就是说"马"这个集合包含"白马"这个集合 所以说白马跟马没有一样, 也没有不一样XD 两者是集合包含的关系. (这似乎有点像亚里斯多德的三段论 无法用命题逻辑来解释, 而必须采用量化逻辑^^") : 我想问这样有没有符合逻辑????? : ※ 引述《SYYANG401 (爱上爱上你)》之铭言： : : 白马是马 黑马是马 所以黑马是白马 : : 这句话我记得我很久前就看过了 不过一直没有想出个所以然 : : 看完这一整个讨论串 也在不少过程中 获得了一些想法 : : 不知对不对 想拿出来讨论 : : 还请各位鞭小力一点....想想逻辑一直都是我的小兴趣阿.... : : 正文开始 : : 我第一次听到类似的文句是从国文老师那边听到的 : : 从公孙龙的白马论出来的 (推文中有看到好像有人提到 就顺便提一下好了) : : 原文是白马非马 : : 他主要是论述 大致上我懂的部份是 当你需要"一匹马"的时候 : : 黑马 白马 黄马 赤兔马 什麽马都可以 所以你可以说 白马是马 : : 但如果今天我一定要一匹赤兔马的话 你给我黑马 白马 甚至汗血马 爪黄飞电 : : 都不是我要的"赤兔马" 所以这时就会出现黑马非马 白马非马 爪黄飞电非马.... : : 也就不是你所指定要的马... : : 那时我还觉得公孙先生根本就在虎烂....只是在抓"文字的小辫子" : : 至於现在大家所看到黑马是白马这个问题.... : : 就大家的直觉面来说...白马不是黑马 黑马不是白马 两者互不属於 不包含 : : 所以心中就会出现一个绝对的式子 "白马不等於黑马" : : 当有版上讨论到空集合这问题的时候 (彩虹马情况) : : 当下刚好教授在我旁边印讲义...我随口问了一下 : : "教授 空集合应该属於任何集合吧?!" : : 她匆匆忙忙印完讲义就随口回答我 : : "用属於似乎不太对 用包含这个词 应该比较妥当" : : 又开启了我一些想法.... : : 如果说空集合存在这个大集合之内 (大集合:所有的马) : : (在此就不讨论大家都知道的 非空集合A 非空集合B 也就是说 白马 黑马的集合 ) : : 就又会出现一些不同的情况了 : : 同一种论调 A马 是 B马 : : 如果说A马是一种彩虹马(是个集合 但是实务上来说是个空集合) : : B马 白 马(同样是个集合 实务上来说 是个非空集合) : : 这样会推出 彩虹马这个空集合 被包含於 白马这个集合内 : : 所以可以得知...彩虹马是白马!!!! (空集合是任何集合的子集) 在这里"实务上"这个词如果能够写出逻辑句子 就更站得住脚了 (个人看法:)) 也就是说: 彩虹马和白马都是马这个集合的子集合 在逻辑上, 我们只能认知到这里而已. 除非彩虹马这个集合可以用"逻辑"推论得知它是空集合 (证明, 而非"实务上"的观察) 那麽我们就可以笃定白马这个集合包含彩虹马这个集合 (既然任何集合都包含空集合) 不知道有没有想错...欢迎大家指正^^ : : 但是不能反过来说 白马是彩虹马 : : 也就是常识认知:男人是一种人 但是人不能说一定是男人 : : 这下我超开心了 我似乎觉得我逻辑好像有进步了XDDD : : 再来 空集合VS空集合 : : A马是彩虹马 : : B马是八脚马 : : 两个都是空集合 又回到前面的话题 "空集合是任何集合的子集" : : A包含於B 且 B包含於A 所以....A=B 推得彩虹马就是八脚马!!!!! : : 也可推得八脚马就是彩虹马!!!!! : : 最後我觉得 白马是马 黑马是马 白马是黑马 : : 如果在文意上来说这样是不对的 因为所谓的"文意"就是你了解他文字下所代表的意义 : : 这样你就会知道 事实上存在 黑马 白马(两个非空集合的讨论) : : 但如果就严谨的数学上来说 要先讨论出 : : 有一个集合叫做白马 另一个集合叫做黑马 他们两个各是哪种类型的集合 : : 才能做下一句判断 (白马是不是黑马) : : 以上是我想这讨论串的心路历程..可能过程有点笨XDD : : 不过这种东西拿出来讨论 才会变更厉害阿~ -- 我是新手@@, 感谢各位的指教 <(_ _)> --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 210.64.134.186