作者luciferii (路西瓜)
看板logic
标题Re: 白马是马，黑马是马，所以白马等於黑马？
时间Mon Apr 7 15:24:36 2008
※ 引述《yauhh (姚呵呵)》之铭言：
: 彩虹马与透明马之於白马与黑马的代换,真的是非常好的建议与提醒.
: 在叙述逻辑中,白马,或彩虹马可能都代入变数,变数所指称的事物存在与否不重要.
既然知道「事物存在与否不重要」就好办。
黑马是马，白马是马，所以有些马是黑马有些马是白马
跟黑马白马存不存在并没有关系。
换言之，
彩虹马是马，透明马是马，所以有些马是彩虹马有些马是透明马。
仍然是对的，跟这些马存不存在没有关系。
这个题目在论白马是马， p->q
在命题里我们就只讨论 p是T/F就好
并不会去讨论 p 倒底事实上存不存在
所以
黑马是马，白马是马，所以有些马是黑马有些马是白马
并没有什麽问题。
怎麽会蹦出跟黑马白马倒底存不存在有关的结论？
如果你要考虑马不存在，那末连 p->q <=> ~q->~p 都不能成立了。
建议回头看一下前篇的推文你和其他两位回了什麽。
你大发雷霆却搞错议题了，
没人在跟你讨论原命题，那篇推文里讲的都是前文里的第二句推论。
「马有黑马和白马」
※ 编辑: luciferii 来自: 61.59.167.90 (04/07 15:48)
1F：推 somedoubt:满篇混淆。文中的p若表命题根本无所谓存在可言，居然 04/07 16:07
2F：→ somedoubt:"白马是马"也不应该以命题逻辑的形式翻译。 04/07 16:09
3F：推 somedoubt:承第一句推文，若p表示白马，则p没有真假可言， 04/07 16:25
4F：→ somedoubt:因为语词没有真假可言。 04/07 16:26