逻辑的严格数学定义
严格定义逻辑 ， 是我猫当务之急 。离开数学谈逻辑 ， 基本上属于扯文科淡 。 设D为定义规则集 ， C为分类规则集、J为判断规则集 ， R为推理规则集 ， 则满足下式的集合P称为逻辑：P={x|x∈D∨x∈C∨x∈J∨x∈R}上式表征 ， 逻辑是一个或一组关于定义、分类 ， 判断或推理的规则 。 比如 ， “定义不能循环”就是一条逻辑 。 再比如 ， “概念必须遵循同一律”也是一条逻辑 。 又比如 ， “每一次分类都只能用一个标准”也是一条逻辑 。一切不满足上式的命题或命题集合 ， 都不是严格意义上的逻辑 。 比如 ， 经常被部分哲学界人士称为辩证逻辑的理论体系并不能满足上式 ， 因而辩证法并非严格意义上的逻辑 ， 它只是一种哲学 。 事实上 ， 辩证法的三大定律都只是就事物的构成或变化给出一种哲学解释 ， 而非人类的思维规则 。
推荐阅读
- 总说“数学思维”，何为数学思维？
- 学过形式逻辑的猫友能不能占到1%？
- 野史来探究|初二那年哈腰捡了支笔，从此再没听懂过数学课……
- 探索未来|数学家丘成桐讲中美教育，为什么中国数学非常好的孩子不多？
- 神剧解说|学好数学有什么用？华裔数学天才，用专业知识横扫了美国赌场
- “封建”一词的严格史学-数学定义
- 野史来探究|中学生数学成绩差，原因有四个，找到方向解决问题才能晋升成绩
- 看一国武器厉不厉害的逻辑
- 关于形式逻辑
- 飞行的小猪|三年级上册数学《口算乘法》同步训练，家长来看看！