常如:
科学原则，从证明到发展到证伪，是观念上的一大进步。
平步青霄:
伽利略当年从斜塔上扔下一重一轻的物件下来，改变了人们的认识，是证明还是证伪？
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.