※ 引述《somedoubt (人独立燕双飞)》之铭言： : : 小明说：如果我不知道的话，小强肯定也不知道 : 结论：这句话的意思是说不会有小明不知道而小强知道的情况。 简单的反例 当小明讲完话後，小强知道了，但是小明还不知道。 这个情况推翻了你的结论。 : 这个条件句的逻辑形式为 : □(~Ka→~Kb) (述词K表示知道， a表示小明， b表示小强) 你会直觉换算成这样，代表你已经习惯性地换成你熟悉的逻辑语言 直接排除原有中文题意里产生的其他歧义 : 或者你可以说小明所宣称的蕴含关系是某种必然蕴含关系，意即将原句翻译如下： : ~Ka □→ ~Kb : 既然第一个条件句中的蕴含关系是某种必然蕴含关系，这个条件句就不会是真值函 : 数式的条件句。这条件句的真值不是由前後件的真值所决定的。 : "□(~Ka→~Kb)" is true iff in all case where Ka is false, Kb is fale either. : 请注意，至今我们根本就还没讨论到"知道"是什麽意思，而是只要你掌握模态词的语意 : 你就知道要判定这句话的真假，你得考虑所有可能的情况。"不论"过去现在或未来，都 : 没有小强知道但小明不知道的"事态"，原本的条件句才会为真。 虽然你在讲不论过去现在或未来，但是你整段的推论还是停留在最原始的第一种。 如果domain加入时间t1, t2, t3 你直觉把中文题意翻成的逻辑式，是把 domain 作成 (t1,t2,t3)下， (~Ka→~Kb) 但是只用到 (t1)下， (~Ka→~Kb)来推导 但中文里的其中一个意思是，时间 domain 用到的是 t3时，(~Ka) → t2 (~Kb) 你虽然口头上说有想到， 但是推导过程中还是绕个弯认为「我不知道的话」不可以是「if我等下不知道」的意思 本来就是语意理解上的问题。 : 如果一开始就以实质蕴含的方式来理解第一个条件句。根本就不需要考虑啥in all case. : 尽管将不知道理解为等一下不知道，你依旧不能一实质蕴含的方式来理解第一个条件句。 : 换句话说，在将不知道理解为等一下不知道的情况下，原条件句的真值条件依旧是 : 在所有小明等一下不知道的情况中，小强也是等一下不知道。先不管这是啥令人难 : 以理解的真值条件，要考虑in all case where ~ka根本就不是基於我们对"知道"的理解。 是你个人难以理解。 如果这句中文不带有这种误会 最先就不会有很多人会产生 p->q <=> ~q->~p 的推导 这种推导只在认为 for all time 时的理解才会出现。 直觉将「如果我不知道」和「我现在不知道」两个事实推论後直接缩掉 只能代表答题人是个勤作题目的好学生，但突显了学生时代的作题习惯盲点。 ※ 编辑: luciferii 来自: 218.166.111.68 (10/21 16:08) ※ 编辑: luciferii 来自: 218.166.111.68 (10/21 16:16) ※ 编辑: luciferii 来自: 218.166.111.68 (10/21 16:56)