勿以文科视角误读形式逻辑

逻辑大战有年，是时候盘点了。历次逻辑大战的导火索，都是个别ID进李楼跟帖时出言不逊或在别的楼指名道姓地贬损他楼楼格。大战的背景性原因，则是上述出言不逊者对逻辑学的种种误读。其中，最大的误读当数以文科视角理解形式逻辑：1）以为逻辑学就只是形式逻辑事实上，形式逻辑仅仅是现代逻辑学体系中的一个入门级理论。迄今为止，形式逻辑连进理工科课程的机会都没有。只有文科相关专业，才用形式逻辑给学生凑课时。一阶逻辑，高阶逻辑，布尔逻辑，这些已数学化因而可与高科技接轨的逻辑理论几乎不使用或极少使用形式逻辑的术语，而是一开始就自定义，然后以数学方法进行谓词演算以获取定理形式的新术语或新规则。比如，哥德尔定理就是一种逻辑新规则。 2）以为形式逻辑已穷尽所有逻辑规则亦非也。用形式逻辑的定性方法，根本推不出任何一阶逻辑定理。而仅仅一阶逻辑就已发现并证明了数以百计的逻辑学定理，其中每一个定理都是一条新的逻辑规则，只是你上的那种大学教不你这些新知识。比如，从哥德尔定理即可导出一个推论：任何哲学都不可能放之四海而皆准。诸如此类的新规则，压根就不在形式逻辑的学术视野之内。3）以为逻辑研究可脱离数学脱离数学，逻辑学就无法公理化。而只要尚未公理化，关于形式逻辑体系的任何讨论都会陷入没完没了的互掐模式。这也是李楼根本无须引用文科《形式逻辑》教程即可向对手猛烈开火的原因所在：双方完全不是一个路子。猫史证明，上述种种误读的成因既出自中国式文理截然分科的教育体制，也出自个人治学不够严谨，更出自阅历和坐标的局限性。惟其如此，如若不服，盘点完接着开打，直至打服。学了只言片语，又是开逻辑讲座，又是称王，弄得个堂堂知识分子小众论坛一股浓烈的中学教师味，此风不可长。