734061388 发表于 2018-6-15 13:37 
佩服!学习啦!
这的确是你的高见,以前还没有人这样的高见。 真理检验实践!
...
这不是什么我的高见
莱布尼茨听说过没?
他把真理分为两类,一类叫作逻辑真理,一类叫作事实真理
他称逻辑真理叫必然真理,事实真理为或然真理.
实践是检验真理的唯一标准,检验的是事实真理.
平面三角形内角和是180度,这是必然真理,必然真理是无需用实践来检验的,反过来它可以检验实践.
如果你量出来一个平面三角形内角和不等于180度,那么肯定是你的测量实践错了.
后来康德重新命名逻辑真理为分析命题,事实真理为综合命题.
分析命题的意思是结论隐含在前提当中,我们要做的只是把它分析出来,分析命题必然为真,不产生新知识,
维特根斯坦说得更清楚一些:逻辑真理都是重言式命题.
综合命题就是结论不隐含在前提当中,它是新知识的来源,但不必然为真.也就是要用实践来检验.
不过康德他把数学归为综合命题,这就错了.
平面三角形内角和等于180度,这可以通过欧氏公理推导证明出来,但是欧式公理打哪来?
历史上有过争论,一派认为欧氏公理是先验的天然正确的,另一派认为是后验的可以用事实检验的(也就是综合命题)
后来发现,欧氏公理不过是关于平面的定义(你可以尝试定义一下什么是平面),
我们可以用另一套定义来定义令一种空间,发展出非欧几何.
说到底,平面三角形内角和等于180度这个结论还是隐含在平面的定义里面,它还是一个重言式的逻辑真理.