主题：【原创】科学=2 -- wild007

现代逻辑学跳出它的框框了？你所举的Taski方案所谓的“区分形式逻辑的两个层次——形式系统及其语义解释”，我就用一句话给你概括吧：只可意会不可言传。而这本来就是本文倡导的方向，亦即逻辑学需要和无规律世界达成一定的妥协，那么将系统误差的解释权分离出来无疑也是一种解决办法，出现系统误差的时候，调整一下解释就OK了。你举的这个例子，其实就是将两个公理系统拼接起来弹性抵消悖论的路子，那2个系统就叫形式逻辑系统和解释系统。

本文的主旨之一其实是看看河里有没有百家争鸣之类的土壤，不过现在看来，大家都谦卑得太久了，而且都认为自己知识面缺陷严重，故而张扬不起来，不太敢面对嘲弄。其实科学、政治、经济之类都是相通的，有时确实需要讲一些不太敢讲的，讲出来往往就知道缺陷在哪了，也就很容易补。