逻辑要面向工农猫

数理逻辑要走出象牙塔 , 面向工农猫 。 面向工农猫 , 就是要从广大贫下中猫的立场出发 , 想他们所想、急他们所急 , 把我们的逻辑帖写得通俗易懂 , 以全心全意为猫民服务 。 能用文字的 , 就不要用数学公式;能用中文的 , 就不要用英文 。 能不用术语的 , 就不要用术语 。 不要动不动就下数学定义 , 动不动就建模 , 动不动就追求严格证明 , 那些都是资产阶级逻辑学的邪路 , 我们坚决不走 。 哥德尔定理说形式体系里至少有一个命题无法自证 , 你就真相信无法自证?这完全是一派胡言 , 中文系的形式逻辑就是放之四海而皆准的 , 因为: 1)我们有三段论; 2)我们有四概念; 3)我们还有五步回头法 。 逻辑领域的叉格斗争是尖锐的、复杂的 , 疾风暴雨的 。 艰难困苦的楼际楼内形势一再证明 , 只有坚持猫产阶级板砖下继续玩命的理论不动摇 , 我们才能永远立于世界逻辑之林 , 从一个胜利走向又一个胜利 。


    推荐阅读