Re: 把神排除在逻辑之外，难道是在做梦的分析？ - 未名空间MITBBS历史存档

国际科技财经博客移民网络热点娱乐民生时事公众号

Redian新闻

>未名空间

>Thoughts - 思考者

Re: 把神排除在逻辑之外，难道是在做梦的分析？

Re: 把神排除在逻辑之外，难道是在做梦的分析？# Thoughts - 思考者

S*e2002-10-30 08:10

1 楼

well, 这里的要点在于，前提是不能用逻辑讨论的。科学也一样。比如，谁能用逻辑证明
能量守恒原理，或者相对论原理？上帝的存在在神学的逻辑框架下是预设前提。科学实证
的态度是，“如无必要，勿增加实体”。但是神学和其它一切玄学则“增加”了一个“实
体”来解释一切未知因素。加还是不加这个“实体”，可以类比于古典几何的第五公设相
交还是不相交的设定。又如虚数的定义。
i^2=-1
你在实数的框架下看，就是矛盾的。但是只要分别计算，不混在一起，就没有矛盾。

u*t2002-10-30 08:10

2 楼

有两点。
能量守恒原理，或者相对论原理，它的逻辑推导结论，毕竟可以通过物理实验来
“实证”。永动机，绝对时空，这些假设不能作为前提，是因为如果它们作为前提，那么
推导出来的结果，与实验的实证不符合，不满足逻辑实证的要求，是不能作为物理理论的。
这里，你可以看出，作为物理理论的前提，不仅仅满足“奥卡姆剃刀”原则，还应该满足
逻辑实证的原则。
第五公设的问题，只是说明欧几里德几何学不是唯一的几何学。但这条
公理的引进，并不是随意的。它至少使得随后的逻辑体系里不会出现矛盾。
这是逻辑自洽的原则。虚数的引进，是一种代数扩张，它也不是随意引进的。
实数域里的代数分析运算，依然能够推广到复数域，而不至于发生逻辑矛盾。
可见，数学里的假设，虽然不必满足逻辑实证的物理要求，但内在的逻辑自洽
性是必须满足的。这是逻辑自洽的原则。

【在 S****e 的大作中提到】

: well, 这里的要点在于，前提是不能用逻辑讨论的。科学也一样。比如，谁能用逻辑证明
: 能量守恒原理，或者相对论原理？上帝的存在在神学的逻辑框架下是预设前提。科学实证
: 的态度是，“如无必要，勿增加实体”。但是神学和其它一切玄学则“增加”了一个“实
: 体”来解释一切未知因素。加还是不加这个“实体”，可以类比于古典几何的第五公设相
: 交还是不相交的设定。又如虚数的定义。
: i^2=-1
: 你在实数的框架下看，就是矛盾的。但是只要分别计算，不混在一起，就没有矛盾。