主题：【原创】科学方法在论坛辩论中的应用 （1） -- 懒厨

我日常工作和数理逻辑有点关系，今天有点时间，多说两句。

逻辑并不是什么高大上的东西。现代的逻辑系统，都是公理化的表示。一个逻辑系统，主要是三块，一个是逻辑符号，一个是逻辑公理，还有一个是推演规则。这些定义好了之后，只要这个逻辑系统内部能够自洽，就是不会从该逻辑系统推出两个相互矛盾的结论，那这个逻辑系统就是有效的。剩下的是两个问题，一个是逻辑系统的表示能力和判定性，这个决定了该逻辑系统是否好用。另一个是该逻辑系统和真实世界的匹配程度，这是真正复杂的。以你在文中的例子来说，要想讨论经络的物理存在性，需要对经络和物理存在都给出精确定义，才能在一个逻辑系统中证明或证否相关命题。比方说，只有 所有物理存在的东西都能用刀切断 这个命题成立，你的后续推论才能继续。所以辩论时应该双方首先对一些基本的前提达成共识，后续的讨论才是有效的。而一旦双方对基本前提达成共识后，采用何用逻辑系统反而是一个相对容易的事情。