关于逻辑的病句

病句 :从关系层级上看 , 概念是形式逻辑体系的基石:所有的判断都由概念构成 , 推理又由判断构成 , 证明也由推理构成 。 惟其如此 , 关于概念这个术语的定义决定整个形式逻辑体系的学术高度 。 ----引自李三畏的形式逻辑的数学原理(1):概念222222222222222222概念定义与否和形式逻辑体系的学术高度无关 , 和逻辑体系的成立与否相关 。 在形式逻辑中 , 概念本身是有定义的 。 数理逻辑是形式逻辑的“数理”化---符号化 。 所以 , 数理逻辑从来没有明确给出定义 。 但是数理逻辑没有给出数学化的概念定义 , 并非没有概念定义 , 因为它沿用了自然语言中的形式逻辑的概念的定义 。 如果数理逻辑没有概念定义 , 且否认自己是形式逻辑 , 那么 , 数理逻辑体系早就坍塌了 。 想像一下一个逻辑体系竟然没有概念定义, 那么 , 任何判断、推理都将是荒谬的 , 因为没有概念没有定义 , 任何人都可以定义概念 。


    推荐阅读