2013/12/19
自然科学的总喜欢以模型为思考手段，在思考中不断地犯错，不断地改进，波普‘科学假设只可能被证伪，而不可能被证明’，听起来很怪异，科学假设只能被证明是错误的却不能被证明为是正确的。我为此也纠结了近20年，断断续续地，反反复复地理解，终于，我明白了，波普讲了，却没有讲全，让我猜测数年。
何为科学假设？科学假设是一个模型，更为宏观、更为抽象的模型，它是一个全称判断，如：所有的天鹅都是白色的。
如何理解模型？
模型，是一个结构，一个逻辑的结构他可能是纯精神的，也可能是物质的。
（输入元素）===》模型===》（输出元素）即：结果。
此系统中输入的元素是有限的、明确的、彼此间是独立的（没有相互作用的），那么此系统输出的结果就是可以通过模型而预期的了。
证明的是什么？证明的就是在这组输入条件下，通过模型之后的结果，甚至这个模型的内部结构我们都不用去探明它，可以是一个黑箱过程，只有输入与输出。
在模型确定不变的情况下，输入元素的集合发生了变化，同样是这个模型（过程），则结果发生了改变，模型被证伪了！
在我看来，证伪的过程是在探寻模型的边界，证明则是在确定模型的内涵。所以，证明与证伪是模型的圈里与圈外，确定了模型有效性的范畴（围）。
假如我们作出了如下的假设：所有的天鹅都是白色的。
我们把我们看到的每一只天鹅都去做检验，在绝大多数下结论都是正确的，直到有一天，我们遇见了一只黑色的天鹅。
这个时候，‘所有的天鹅都是白色的’假设被证明是错误的了，假设被证伪了；没关系，我们找到了边界，我们可以完善我们的假设：所有的天鹅只有两种颜色，白色与黑色。
直到有一天人们发现一只异色天鹅，就可以证伪上面的假设。
科学假设是一个模型，首先它必是一个全称判断，一个开放(输入元素)的模型。
回到主题‘模型为什么总会失败？’，输入元素的集合发生了改变，模型被证明对这组输入不能得到预期的输出，模型被证伪。
输入元素彼此独立，这是一个理想化的假设，在现实中，尤其在社会科学领域，输入元素通常彼此并不独立，使得输入元素变得不可确定，进而使得在模型过程之后的结果不可确定。
如果，模型的输入元素是独立、有限的，那么模型就是可以预期的，可靠的，它是被有限输入元素证明的，模型是稳定的---系统的稳定性问题；如果，模型的输入元素彼此是不独立的，或者开放的，那么模型的正确性就会悬而未决，待证伪，我们就会不断地被黑天鹅否定，其结果就是我们常常诧异地发现：模型总是错的。
