作者luciferii (路西瓜)
看板logic
标题Re: [转录] 微软中国研究院最新面试题
时间Sun Oct 21 22:03:30 2007
※ 引述《luciferii (路西瓜)》之铭言：
1F：→ somedoubt:撇开何谓不知道不谈，说说看你对肯定或必然的理解吧 10/21 18:38
2F：推 luciferii:你还是停留在以为是对「必然」解释不同，可惜不是。 10/21 21:12
3F：→ luciferii:所以丢进公式得出「不会有小明不知道而小强知道的情况」 10/21 21:13
4F：→ luciferii:才会得到矛盾 10/21 21:14
5F：→ luciferii:你的domain还是只考虑到所有牌型，而没有把 time 加入 10/21 21:14
6F：→ luciferii:而time的变化导致「知道」的变化也是很显然的 10/21 21:15
7F：推 somedoubt:请勿把对於知道与肯定这两个语词的理解混淆在一起。 10/21 21:28
懒得再跟你无穷 loop 下去
简单结论就是，
你只是单纯无法接受
如果我不知道的话，小强肯定也不知道
的意思有可能是
如果我等下还是不知道，小强肯定是不知道的
你拼命想用模态逻辑里(的中文译词)来证明中文里不可能存在这种意思，
那是个人兴趣了。
所以照我第一篇的归类，你就是9/1派想法人之一而已。
「如果你不能理解，肯定是我讲不好」
就像这种句子这麽简单。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.166.111.68
※ 编辑: luciferii 来自: 218.166.111.68 (10/21 22:05)
8F：推 somedoubt:你知道原条件句中的模态词是哪一个吗？是"肯定"。 10/21 22:13
9F：→ somedoubt:我说你没掌握模态词的语意，你这篇却又转移到"知道"上。 10/21 22:14
10F：→ somedoubt:我不是用模态逻辑来证明对於"不知道"不会有你上述语意。 10/21 22:15
11F：→ somedoubt:遗憾的是，即便我吞下你对於"知道"的解释方式，你依然 10/21 22:16
12F：→ somedoubt:无法有效地推出6/4这个答案。至少9/1就是可能答案之一。 10/21 22:17
13F：→ somedoubt:不晓得你有没有发现？ 10/21 22:18
14F：→ somedoubt:诡异的是，原本你宣称在这一个题目中，"不知道"应被理解 10/21 22:19
15F：→ somedoubt:为现在不知道，且等一下也不知道。 10/21 22:20
16F：推 somedoubt:请你直接告诉我一个以模态词作为主要逻辑语词的语句的真 10/21 22:27
17F：→ somedoubt:值条件如何给定。在给出你的真值条件後，请写下你的推论 10/21 22:28
18F：→ somedoubt:过程。虽然我知道你的推论一定是无效的，但我希望你能在 10/21 22:29
19F：→ somedoubt:重建推论时，发现自己的推论无效之处何在。(9/1是提示) 10/21 22:30
20F：推 luciferii:请参阅两年前推论到「若小强知道，则小明知道」的6/4派 10/21 23:07
21F：→ luciferii:亦即「若我等下不知道，则肯定是你说不知道」的等义句 10/21 23:08
22F：推 somedoubt:「若我等下不知道，则肯定是你说不知道」亦为真， 10/21 23:26
23F：→ somedoubt:当老师生日为9/1时。请问你有看出来吗？ 10/21 23:27
24F：推 luciferii:9/1小强说知道了，小明怎知道是1日还是5日? 10/21 23:36
25F：推 somedoubt:小明更动知道的词义就知道了喔～ 10/21 23:40
26F：→ somedoubt:当然这只是一种方法啦。 10/21 23:41
27F：→ somedoubt:你怎麽肯定小明小强在这一段对话中知道的语意都固定呢 10/21 23:41
28F：推 luciferii:简而言之你仍然还是不接受歧义嘛...无限loop 10/21 23:42
29F：→ somedoubt:更简单的是，小明知道自己手上是9. 10/21 23:42
30F：→ somedoubt:你逻辑真的待加强，我说你的理解错误不蕴含我不认为知道 10/21 23:43
31F：→ somedoubt:在不同脉络中可能有不同的词义。 10/21 23:43
32F：→ luciferii:岐义不在於「知道」两字，而在「如果...的话」造成 10/21 23:43
33F：→ somedoubt:我都跟你说条件句不只实质蕴含了，还说我只允许一种解释 10/21 23:44
34F：推 luciferii:我发现你其实是在後者语意下推不出来9/1在刻意loop了 10/21 23:46
35F：→ luciferii:小明知道自己手上是9能够知道是1日还是5日? 10/21 23:47
36F：→ luciferii:要不要重新回头去看看题目? 10/21 23:47
37F：推 somedoubt:你真的想不通?因为小明知道小强手上是5时，小强不知答案 10/21 23:51
38F：推 luciferii:所以小明知道小强手上是1时，小强会知道答案?哪推出来? 10/22 00:11
39F：推 somedoubt:你错乱了喔。小强手上拿1时，听到小明的第一句话，就可 10/22 00:12
40F：→ somedoubt:以推断出小明手上不是12，但原本他不行。 10/22 00:13
41F：推 somedoubt:而小明在听到小强这麽说的时候，他就知道小强手上不是5 10/22 00:17
42F：→ somedoubt:因为他知道小强手上是5时，小强不会从不知道变成知道。 10/22 00:18
43F：→ somedoubt:反倒当答案为6/4时，小强根本无法说出那三句中的第二句 10/22 00:20
44F：→ somedoubt:他会想说：我手上拿四，怎麽可能我一说知道你就知道。 10/22 00:21
45F：→ somedoubt:乱七八糟嘛！！ 10/22 00:22
46F：推 luciferii:噗...那你「小明知道小强手上是5时，小强不知答案」这句 10/22 00:39
47F：→ luciferii:里把三月排掉的逻辑怎不一体套用进来? 10/22 00:40
48F：推 luciferii:所以你要论证的结果是6/4 和 9/1 都对? 10/22 00:44
49F：→ luciferii:6/4在小强说了「我本来不知道，现在我知道了」就可让 10/22 00:45
50F：→ luciferii:明知道了。 10/22 00:46
51F：推 somedoubt:不好意思，不行。 10/22 01:06
52F：→ somedoubt:谁要论证6/4对？不是我喔 10/22 01:06
53F：推 luciferii:你还是从头慢慢算吧... 10/22 01:22