作者phantomsq (小颖)
看板W-Philosophy
标题[问题] 这三段论推论有效吗？
时间Tue Apr 1 09:19:04 2014
布玛喜欢外星人
达尔是外星人
因此，布玛喜欢达尔
如题，此推论是否有效？
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 114.34.57.99
※ 文章网址: http://webptt.com/cn.aspx?n=bbs/W-Philosophy/M.1396315148.A.A75.html
1F：→ a5378623:布玛喜欢「所有」外星人 04/01 09:55
2F：推 t0444564:同楼上. 04/01 10:11
3F：推 t0444564:要使用述词逻辑 04/01 10:11
我同意这是一个问题，
不过基於一般习惯，
假设第一句的外星人就是指所有外星人，
这样的推论有效吗？
※ 编辑: phantomsq (114.37.238.27), 04/01/2014 14:27:08
4F：推 a5378623:有 04/01 21:30
我想到一个问题，假如是以下的推论：
布玛认为外星人都很善良
达尔是外星人
因此，布玛认为达尔很善良
这推论似乎是无效的，
因为布玛可能不知道达尔是外星人，
如此一来，就不一定认为达尔很善良。
那麽回到原例：
布玛喜欢所有外星人
达尔是外星人
因此，布玛喜欢达尔
似乎也不一定成立，因为布玛可能不知道达尔是外星人？
※ 编辑: phantomsq (114.37.238.27), 04/01/2014 23:23:30
5F：推 sunny1991225:严格来说第一句要翻译成形式语言应该是「如若有任何 04/02 02:53
6F：→ sunny1991225:东西是外星人，则该东西为布马所喜欢」 04/02 02:53
7F：→ sunny1991225:你会认为那个推论无效，问题可能出在语句翻译上 04/02 03:02
8F：推 sunny1991225:我们在检察推论的有效性时通常不太会管前提是否实际 04/02 03:08
9F：→ sunny1991225:上为真，而你举的例子在翻译成形式语言後就是一个 04/02 03:09
10F：→ sunny1991225:条件句... 04/02 03:10
11F：→ sunny1991225:问题并不是在推论的过程，而是你设定的前提可能在 04/02 03:12
12F：→ sunny1991225:实然上不为真，你才会觉得哪里怪怪的 04/02 03:12
13F：→ sunny1991225:举例而言，如果你把前提改成「布马喜欢所有她知道是 04/02 03:13
14F：→ sunny1991225:外星人的外星人」，然後把达尔是外星人改成「达尔是 04/02 03:13
15F：→ sunny1991225:外星人，而且布马知道他是外星人」 04/02 03:14
16F：→ sunny1991225:那麽如果你当然可以给出「布马喜欢达尔」这个结论 04/02 03:15
17F：→ sunny1991225:(但注意，这个推论和前面那一个「布马喜欢所有外星 04/02 03:15
18F：→ sunny1991225:人」的推论，都是有效的) 04/02 03:15
19F：推 sunny1991225:所以你该质疑的并不是为什麽从布马喜欢所有外星人 04/02 03:21
20F：→ sunny1991225:可以推到布马喜欢达尔，而是布马喜欢所有外星人这个 04/02 03:22
21F：→ sunny1991225:假设是不是有问题，或者我们的日常语言使得我们在 04/02 03:23
22F：→ sunny1991225:表达这句话时遗漏了什麽 04/02 03:23
23F：→ sunny1991225:(像是如果连你也觉得一个人不可能在不知道某个类的 04/02 03:25
24F：→ sunny1991225:所有成员的情况下宣称自己喜欢那个类里头的所有东西 04/02 03:25
25F：→ sunny1991225:，那麽你也该很清楚的意识到这个前提怪怪的。但这些 04/02 03:26
26F：→ sunny1991225:都不会影响我们做出一个有效推论，即使它的前提怪怪 04/02 03:26
27F：→ sunny1991225:的) 04/02 03:26
那那那...「布玛认为外星人都很善良」的例子是前提有问题还是推论无效呢？
※ 编辑: phantomsq (114.37.238.27), 04/02/2014 09:40:54
28F：→ a5378623:前提有问题 04/03 03:56
29F：→ a5378623:这句话应该说成「布玛认为所有他知道是外星人的人都很善 04/03 03:57
30F：→ a5378623:良」 04/03 03:57