主题：从《动物世界》里的苏格兰黑山羊开始 -- 普鲁托

隔离过程本身其实就是一个猜测的过程，更是参照系选择的过程。

科学的首要条件是承认未知领域的存在，不然都是已知领域的话就变全知全能的神学了。科学只有先证实形成已知领域之后才能在已知领域中证伪，科学是先证实后证伪的，一切在未知领域中证伪的本质还是神学。科学对未知领域的态度是，你说有我不信，因为我无法证实，你说没有，我也不信，因为我无法证伪。

然后随之而来的问题就是如何确定已知领域的边界，这就给了证伪主义一些机会。从证伪的角度上来讲，科学理论本身应该是可证伪而还未被证伪的。如经典力学，其并不适合于微观领域，但开始大家并不知道这点。当观测到微观领域中的反证，科学家才意识到可能超出其边界，从以前的不知道还有什么不知道，到现在的知道了还有什么不知道，证伪的意义仅在于此。说到底，还是先证实后证伪的，经典力学理论是科学的原因是因为其先被证实，其后被证伪也不能说明它不科学而只能说明其有边界条件，隔离本身是一个猜测的过程同时也是再确定已知领域边界的过程。科学是有严格适用范围与条件的，有严格地分类分科的，这可能就是科学这个翻译的原意吧。

纯数学本身就不是科学，只有当它与客观实践结合成为应用数学后，才能被证实或证伪，成为科学的一部分。其在科学中的作用无非一是作用探索未知领域的工具，二是对已知领域中规律的表达。纯数学只需要公理，但公理这种不证自明的东东不与客观事实相结合的话是没有对错可言的。

所谓实证反例才能得到更多的信息以完善，修正模型，本质还是猜想被确定边界的过程，而不是证实猜想或者说理论模型的过程，最后要实锤还是得有正面的逻辑实证。模型的生存与消亡，最终的决定性力量还是对客观世界认识的深度与广度，正如地心说的支持者现在复活过来也不能让地心说模型继续生存下去一样。虽然地心说模型足够复杂，但证伪主义也不能让其更鲁棒。