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

细节是魔鬼阿！

形式系统是干嘛的？语义解释又是什么？

这在逻辑学家那里有着特定的用法。

经典的二值命题逻辑和谓词逻辑是具有一致性和完备性的系统，没有你讲的所谓的“无规律”性。那其实是个很漂亮的玩艺，出问题的就在于高阶的逻辑系统如模态逻辑和弗协调逻辑。

所以人家指责你没有技术含量是正确的，想要说服人，如果能做到内部批判不是更有说服力嘛？

楼主把思想看成一件太简单的事情了。你固然可以把一切事情归结于“一生二，二生三，三生万物”，可是光知道这个就够了？最高最玄奥的大道理往往又是最空泛最没有具体用处的道理。你心中有道家的玄奥了不代表你就有本事“出来”做事。

而出来做事就是要具体地去思考，也就是要把细节去补全，也意味着面对他人对你的诘难你要拿出说得过去的辩护，也就意味着需要仔细调查研究以后再构造自己的话语体系。首先要做的是对对手做同情的理解，尤其是对手又处于强势的时候。

所以你想扒现代自然科学的底裤你就得学他们的说话方式，在他们的说话方式之中找到问题所在。