人对宇宙的认知能力

人类所能够掌握的符号·能·否·完·全·刻·画·经验世界，这种事情断言了也没法验证。

就算能，并且我们手里已经有个理论跟所有已知的经验都一致，我们也照样无法知道这个理论是否就是那个完全刻画了经验世界的理论。只要我们的实践尚未穷尽整个经验世界，换句话说我们还有事情可做，那么我们就不能绝对断定我们手中这个理论必然在任何未知的情况下有效。

就算不能，我们手里的最好理论仍然跟某些经验冲突，我们照样无法知道是不是因为我们只是暂时没有找到那个可以完整刻画经验世界的理论。

数学上可以讨论超限计算模型。这样的计算模型是不能用任何有限符号所完全刻画的，因此数学家只能讨论其可能性和计算能力，但不能真的用这种计算模型解决任何问题。如果这个宇宙就是一台超限计算机，那么我们自然不能用有限符号的任何理论去完全刻画这个宇宙，于是我们的任何理论至多能够近似刻画这个宇宙。但如果因为存在这种可能就断言这个宇宙一定是人类所掌握的符号所不能刻画的超限计算机，则完全没有根据。不知道就是不知道，不知道还非要下断言就是瞎蒙或者撒谎。

------------------------------
一个自洽的理论A是否『没有在任何已知事件中跟实践显著悖离』，这件事跟A是否『在任何情况下有效描述经验世界』，二者之间没有任何关联。任何一个自洽的理论B，只要B在所有已知事件上的断言都跟A没有显著分歧，却在某些目前尚未有任何直接和间接经验的事件上跟A显著分歧，那么显然B和A都在所有已知事件中符合经验，凡确认了A的任何实践都同样确认了B。因此只要还有实践可以做，都没有绝对的理由认为理论A永远有效，因为还有跟A有不同预言的B。对于任何理论A，都可以构造出理论B，使之满足上述要求（如何构造请自己想）。反过来，即便我们手头的理论都在某些情况下失效，我们也无法知道我们是否只是尚未找到那个完整刻画经验世界的理论，原因类似。

注：有人这样理解奥卡姆剃刀：认为只要现有经验无法区分两种理论，就坚决剔除二者之中较复杂的那个。这是对奥卡姆剃刀的误解，因为奥卡姆剃刀针对的是理论中的超经验内容。这部分内容不会直接或间接导致任何经验上可区分的后果，因此奥卡姆剃刀原则认为理论中这部分超经验的内容对于一个以刻画经验世界为目的的理论是多余的。但对于不含有超经验内容的两个理论，如果二者都跟现有全部经验相容，只是在某些未知情况下有分歧，那么奥卡姆剃刀根本不适用。事实上数学、形式逻辑、形式语言学的研究对象就是非经验的，虽然这些研究所用的手段只能是经验的（例如用脑子思考用笔推导用计算机算等等）。任何经验的证据都不能支撑或者反对一个自洽的数学理论（但数学绝不会号称任何一个特定的数学系统是有关经验世界的真理）。因此，奥卡姆剃刀所针对的就是有关经验世界的理论，也就是所谓的经验科学。经验科学理论之中的完全不（直接或间接）涉及经验的部分可以分离出来作为数学、形式逻辑学、形式语言学的内容，没有必要作为经验科学的内容。