《七十空性论》今诠再讨论-- 导读之二-证明与证伪

by 兼修, Monday, March 14, 2016, 09:07 (3176 天前)
编辑 by 兼修, Friday, March 18, 2016, 07:35

2. 证明与证伪
在实际推理判定真伪的过程中,条件跟结论的因果关系往往不是一目了然的。故而,人们把判定过程分解成很多小步骤完成,即通过初始的先决条件判定某相关结论,复依此结论为先决条件判定另一结论,反复这样的步骤直至判定预设结论,这样一个过程称为证明。也就是说,一个证明是通过建立一系列相关结论的路径,以便判断从初始条件到最终结论成立的过程。简化点说,一个证明就是证明了初始条件是结论成立的充分条件。如果该路径中任一步骤的的推理发生错误,则整个证明不能成立,或者说,不能保证结论成立,由此可见在证明过程中保证每一步推理无误是何等重要。然而,有错的推理并未排除通过其他证明路径证明结论的可能性,更非就此证明了结论一定不成立。换句话说,如果证明过程推理有错,并不是对结论证伪。例如,从“天要下雨”推出“人要吃饭”,这在推理上极端荒谬,但结论“人要吃饭”却并非错误。而证明结论不成立,或者说证伪,则需要提供结论不成立的充分条件,或者等价地,证明结论的某个必要条件不能成立。很多读者会觉得《七十空性论》原文中若干地方的推理并不符合现代逻辑的要求。由上可知,这并不说明结论一定不成立。实际上《七十空性论》中的结论异常精确,几乎全无错谬。但这些从现代角度看来古老而不严密的推理明显加重了现代学人理解的困难,诱发对结论的怀疑。因此,我们在下文本颂解释部分中,另给出符合现代认识方式、不违背逻辑的推理,而结论仍然如龙树原义不变。期望能有助于消除这些困难和困扰,使基础更为坚牢。一个伴生的疑问是:为什么龙树会在给出诸多精确结论的同时,却在推理过程中留下如此多的问题?从现代科学研究积累的经验来看,大量的逻辑错误几乎一定导致结论错误,为什么龙树菩萨的论证会如此反常?

真伪与公理选择

by 兼修, Monday, March 14, 2016, 09:09 (3176 天前) @ 兼修

常如:
科学原则,从证明到发展到证伪,是观念上的一大进步。
平步青霄:
伽利略当年从斜塔上扔下一重一轻的物件下来,改变了人们的认识,是证明还是证伪?
kant:
验证“重的物体比轻的物体下落更快”这个观点错误,同时验证“不考虑空气阻力情况下,俩一样快”观点正确,有证明有证伪吧。
晓晓:
都是证,手心和手背
文理兼修:
证明、证伪,要给定命题再说啦。
平步青霄:
其实,我觉得这是在选定命题。
平步青霄:
也就是在选定体系的公理。
平步青霄:
这个实验后,显然“重的物体比轻的物体下落更快”不如“不考虑空气阻力情况下,俩一样快”合理了。
平步青霄:
不过科学上似乎一直在这样选择公理。
平步青霄:
因为科学本身是建筑在事实上的。
平步青霄:
一个命题能不能成为公理,就看有没有人能显示它不成立了。
平步青霄:
不过,现在的命题生命力都比较强,因为都带有各种参数。根据不同的实验现象,首先调整自己的参数,你整不垮我。[Grin][Grin][Grin][Grin][Grin]
文理兼修:
“这个实验后,显然“重的物体比轻的物体下落更快”不如“不考虑空气阻力情况下,俩一样快”合理了。一个命题能不能成为公理,就看有没有人能显示它不成立了。”----有个地方需要仔细一下:比萨斜塔证明了命题A比命题B更合理。我们选定了命题A为公理,不能引申为其没有进化的余地。
文理兼修:
这个意思其实子平说了,我插嘴。
平步青霄:
你不知道,实验也进化了。GPS也能证明广义相对论是必要的。
平步青霄:
在轨道高度,GPS卫星每天有20ns(大概)时间差与地面。
平步青霄:
这个精度,伽利略那个太粗燥了。
平步青霄:
同样,现在推理的精度也提高了。[Chuckle]
文理兼修:
@子平 我现在知道了[强]
平步青霄:
谢谢配合,没准你以前就知道的。[Grin][Grin][Grin][Grin][Grin]
平步青霄:
这都是缘起了,伽利略时代他的实验已经能够说服大家,使得科学往前进步。达到了他的目的,就是推动大家往前走。
文理兼修:
有个老生常谈:要区分逻辑赋值与命题真伪。
平步青霄:
命题真伪,那就是公理的选取吧?
平步青霄:
这没法证明,只能证伪。
文理兼修:
逻辑能保证逻辑赋值不变:错误前提在逻辑保护下,一定会得到错误结论。
文理兼修:
这没法证明,只能证伪。----真是公理(前提)选取时的相对值。不是绝对意义上的真。
平步青霄:
绝对意义上的真值是上帝。
文理兼修:
哈,“只有内涵没外延”之一例。
gentlelion:
什么叫逻辑?
文理兼修:
@gentlelion 我能懂的,就是直言形式逻辑的粗浅部分。
文理兼修:
常用部分。
平步青霄:
A method of human thought that involves thinking in a linear, step-by-step manner about how a problem can be solved. Logic is the basis of many principles including the scientific method.