逻辑学分档次：形式逻辑与数理逻辑
逻辑是人脑的操作系统 ， 与身俱来 ， 版本唯一 。至于逻辑学 ， 那只是描述人脑操作系统的一份说明书 ， 并非系统本身 。 按叉格高低 ， 逻辑学分两个版本：形式逻辑与数理逻辑 。 眼下你死我活的猫眼逻辑大战 ， 就是一场低版本V高版本的叉格斗争 ， 可低版本一派仍自我感觉良好 。1）形式逻辑形式逻辑即以中文等自然语言写就的人脑操作系统说明书 ， 这在大学属文科课程 。 其特点是使用自然语言解释逻辑 ， 因而难度低 ， 初中文化即可入门 ， 适于扫盲 ， 但叉格低 ， 体系不够严谨 ， 也不能从整体角度研究一个理论体系的公理化、可定义性、可证明性、自洽性与非自洽性这类带有哲学价值的重要领域 。 例如 ， 在猫眼被个别小知不断炒作的形式逻辑即典型的自然语言逻辑 。 以三段论这个话题为例 ， 纵使985的形式逻辑也只能长这样 ， 顶多加俩英文字母 ， 无法进入演算：
2）数理逻辑数理逻辑即以高等数学公式写就的人脑操作系统说明书 ， 这在大学属理科课程 。 其特点是使用人工定义的数学语言解释逻辑 ， 因而难度大 ， 非理科本科以上文化无法入门 ， 但叉格也高 ， 严谨 ， 既适于专业人士也适于计算机 ， 它能从整体角度诠释一个理论体系的公理化、可定义性、可证明性、自洽性与非自洽性这类带有哲学价值的领域 。 比如 ， 影响深远的哥德尔非完备性定理和塔斯基真理定义就是数理逻辑的杰作 。 再比如 ， 李三畏的叉格学建模时所用到的一阶语言 ， 也属于数理逻辑 。 仍以三段论为例 ， 即便三本的数理逻辑也长这样 ， 远超985的形式逻辑难度：
全凯全猫和全楼人民 ， 都应当高叉格、严要求地聊逻辑 ， 这才能在一个不太长的时期内聊完别人几个世纪的东西 。 因而我们只能弯道超车 ， 即一开始就定位于数理逻辑 ， 而不能总在形式逻辑的小泥塘里光着屁股扑腾 ， 还特么自我感觉良好 。
推荐阅读
- 夺命哈士奇|2020大一新生开学, 根据“生活费”可分4个档次, 前2档深受羡慕
- “好色之徒”的逻辑
- 紫金矿业董事长婚前转让股权给其子背后的法律逻辑
- 任何数逻课都始于命题
- 探索未来|学前做好这些，逻辑思维和分类能力练习好，小学学语文数学轻松！
- 形式逻辑的数学原理(6): 证明
- 形式逻辑的数学原理：证明
- 逻辑，新冠病平均死亡年龄83岁，那是因病长寿。
- 从逻辑说到辩证法
- 唯物辩证法的逻辑错误