作者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