逻辑帖的三个档次
逻辑数学化 ， 已有近二百年历史 。数学化 ， 即以数学方法研究逻辑 ， 以资与计算机接轨 。 数学化之前叫形式逻辑 ， 数学化之后叫数理逻辑 。 理工科开数理逻辑 ， 文科才开形式逻辑 。 据此 ， 可将猫眼逻辑帖分为三个学术档次：1）初等逻辑帖 ， 即形式逻辑帖；2）中等逻辑帖 ， 即定性使用数学术语论逻辑 ， 但尚未达到建模运算水准的逻辑帖；3）高等逻辑帖 ， 即建模进入谓词运算的逻辑帖 。三等之内 ， 唯初等帖最为高调 ， 而且文字颠三倒四 。 在女ID面前装知识分子 ， 跟帖骂人 ， 开讲座 ， 喊普逻口号 ， 断言形式逻辑(formal logic)一词系欧美捏造 ， 宣称数理逻辑为符号游戏 ， 诸如此类的井蛙之声皆出自猫眼初等逻辑帖 。 惟其如此 ， 李楼才于忍无可忍之际发动了四次逻辑大战 。 不过 ， 与其称之为大战 ， 不如说是屠杀：在一阶逻辑帖的强大攻势面前 ， 不谙数学的初等逻辑ID毫无招架之功 ， 更无还嘴之力 。
推荐阅读
- 夺命哈士奇|2020大一新生开学, 根据“生活费”可分4个档次, 前2档深受羡慕
- “好色之徒”的逻辑
- 停工令|部分企业遭遇“停工令”，其中三个行业受影响最大，其中有你吗？
- 紫金矿业董事长婚前转让股权给其子背后的法律逻辑
- 违约责任|常见服务类合同中，最耗费律师精力的三个重要问题解答
- 未来这三个好习惯 请你养成
- 饭局|请客吃饭时，不要有这三个得罪人的行为，为你好
- 任何数逻课都始于命题
- 探索未来|学前做好这些，逻辑思维和分类能力练习好，小学学语文数学轻松！
- 北京八维|如何保障学生们的学习质量？教学管理“三个标准化”了解一下