发现真值表中的错误是逻辑学理论的重大突破:中学开设逻辑课为世界做出的重大贡献
(发现百余年未被逻辑学界发现的错误,应该可以成为世界逻辑学史上的重大事件!应该是中国人值得骄傲的一个事件!)
一直以为,逻辑学是比较深奥的学科,也是最讲逻辑的学科,基于对该学科的敬畏,总觉得我国目前政治学科增加逻辑学的内容的条件不成熟,根本没有想到的是,我国的这一举措能给世界逻辑学界带来一个巨大的惊喜——中国的中学思想政治学科教师发现了一百多年来一直被逻辑学界奉为经典的真值表中的错误。(笔者也没想到发现这个错误的就是本文的作者:河北省清河中学的政治教师孙恒振)
真值表有多厉害?刀郎的《罗刹海市》这首火爆全球的歌的歌词想必大家都很熟悉,下面就是其中的一句:
“西边的欧钢有老板,生儿维特根斯坦……”
歌词中的“维特根斯坦”是世界著名的哲学家,1889年出生于奥地利维也纳,他的著作《逻辑哲学论》(其一生中出版的唯一的书籍篇幅的著作)被广泛的认为是二十世纪最重要的哲学著作之一,我们熟悉的真值表,就是由于被该书采用才得以被世人所熟知并广为传播的。
《逻辑哲学论》是在他在1918年第一次世界大战当兵期间写的,1921年正式出版,至今已经一百多年。
应该是维特根斯坦及其《逻辑哲学论》太伟大了,一百多年来没有人怀疑过真值表,而是一直被奉为经典,如果有人说真值表存在错误,肯定会被人嘲笑,会被人说成无知者无畏。
说真值表存在错误,并不是说整个真值表都是错误的,而是说其中的一部分是错误的,这也是真值表的错误能够“潜伏”一百年未被发现的一个重要原因。
真值表中是否有错误,应该用证据来说话!
问:真值表的错误是什么?
答:是假言判断的真值表与实际不符。
问:何以见得?
答:真值表能够把一个假判断说成真判断。
问:可否举个例子说明一下?
答:请看下面的例子:
“如果一个自然数能被3整除,那么,这个自然数就能被5整除。”这是一个充分条件的假言判断,我们都知道这个判断是一个假判断(可以用小学数学倍数的知识证明这个判断是假的)。下面是充分条件假言判断真值表:
前件p | 后件q | 如果p,那么q |
真 | 真 | 真 |
真 | 假 | 假 |
假 | 真 | 真 |
假 | 假 | 真 |
我们假定自然数是15,代入第一行:15能被3整除,也能被5整除——前件真,后件真,根据真值表,该判断为真,即“如果一个自然数能被3整除,那么,这个自然数就能被5整除”是真判断。
逻辑学是最讲逻辑的,明明是一个假判断,用真值表检验却成了一个真判断,这应该可以证明了真值表“不真”了吧?
如果您对上面的分析怀疑,还可以假定自然数是10,验证一下真值表的第三行,一样可以得出该判断为真的结论:10不能被3整除,能被5整除——前件假,后件真,根据真值表,该判断为真,即“如果一个自然数能被3整除,那么,这个自然数就能被5整除”是真判断。
一个假判断,用真值表分析成了一个真判断,我们还能说真值表没有错误吗?
(用数字11,验证第四行,这里就省略了。)
前面已经说过,由于人们对权威的敬畏,一百多年来很少甚至没有人怀疑过真值表的正确性,当逻辑学者遇到自己的思路不符合真值表时,他们没有去怀疑真值表,而是怀疑自己对逻辑学的理解是否正确,当成是自己的误读,当成是自己的理解出偏,大家熟知的“蕴涵怪论”,就是敬畏真值表的产物。仔细阅读关于“蕴涵怪论”的著作,就不难发现,这类著作实际上都是在试图证明真值表的正确性,他们发现用正常的例子已经无法自圆其说,就用“如果雪是白的,那么2+2=5”这类荒诞的例子自欺欺人。认识到真值表中存在的错误,就不难发现,蕴涵怪论实际上是蕴涵正论,相关问题都将不再存在。
发现百余年未被逻辑学界发现的错误,应该可以成为世界逻辑学史上的重大事件!应该是中国人值得骄傲的一个事件!(这里应该有掌声)尽管这个任务是由一个名不见经传的小人物来完成的。
论证真值表的错误是一件系统工作,出于保护发现权的需要,具体的内容就不再展示了,上面的分析,如果引用也请注明出处。
真诚期待逻辑学界权威人士关注这个问题!
笔者水平有限,欢迎所有关心逻辑学的人士批评指正!