※ 引述《very1ghost (絮风)》之铭言： : 这是台大通识逻辑课上老师举的例子， : 可是包括小妹在内很多人都无法理解@@ : 是关於一个论证(argument)的有效性(validity)的问题， : 老师说「论证有效」的定义为「不可能存在前提为真结论为假的情况」， : 若「有可能」，则此论证无效。 : 於是老师举了一个论证： : 前提：2+2=4 : 结论：马英九是2010年的总统 : 大家都觉得前提与结论都为真，故此论证应有效， : 但老师却说此论证无效@@ : 老师说无效的理由并不是因为2010年还没过完， : 即使把2010年改成2009年，此论证依旧无效， : 大家听了一头雾水@@ : 有没有板友可以帮忙解答这个疑惑呢？感谢>_< 有没有可能在某个可能世界里面马英九在2009时没有当选？ 如果有可能，那你提到的例子就不是有效的。 因为「不可能存在前题为真，结论为假的情况。」 不过我这样讲已经引入了可能世界这个概念了...冏 数学语句，像是2+2=4, 5+7=12这些，我们之所以一般会说他一定是真 其实是因为我们已经先预设了我们在写这些记号(i.e. 2, 4, +, =, et cetera)时， 采用的系统是蕴含皮亚诺公设的数学系统，因此2这个记号就是我们一般认为的那个2 如果你要说2+2=5是正确的，那你就要重新给定2, 5, +, =的定义，重作一个系统。 这也是为什麽H大在回文中强调，真假与否，要看采用甚麽样的系统。 比较正式的讲法，可能就要请板上有研究的大大来替大家讲解了。 我只是个路过的小小而已XD" --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 114.27.80.71