形式逻辑还有您什么事吗？
1685年 ， 德国数学家莱布尼茨（G.Leibniz）在马车上写下一句话 ， 从此形式逻辑就渐渐没中国式文科生什么事了：“让我们推理精密化的唯一方式 ， 是使它们同数学一样切实 。 这样我们就能一眼就找出我们的错误 ， 并且当人们有争议的时候 ， 我们可以简单地说： 让我们计算吧 ， 而无须进一步的忙乱就能看出谁是正确的 。 ”到了1847年 ， 码农的先驱布尔（George Boole）已沿着莱布尼兹的光辉思想将形式逻辑代数化 ， 称为布尔逻辑（Boolean Logic） 。 在布尔逻辑里 ， 来自另一个文明的中国大清秀才已然读不懂“五十而知天命”这句论语 ， 因为这句话被写成了下面的形式 ， 否则继续沿用充满歧义的自然语言讨论其逻辑就是扯淡 ， 而且扯着扯着就是永无休止的无谓争吵：∀F(p)→K(p)式中F为年满五十者集 ， p为人 ， K为知天命者集 。从此 ， 形式逻辑在自然科学界被称之为数理逻辑 。 及至当代中国 ， 文科中通常只有985一级的哲学系和语言学本科学过数理逻辑 ， 而且大都因数学局限而只选修一点皮毛 。 为什么只能给985开数理逻辑呢？因为只有985的门槛数学能达到90分 。 由此可见 ， 凡是只能使用自然语言讨论形式逻辑并贬损他人不懂逻辑者 ， 都绝对不可能出自名校理工 ， 而且他们对自然语言在逻辑上的扯淡性视而不见 ， 始终自以为是 。
推荐阅读
- 公益文：基本住宅福利化的路还有多远？
- 蔡莉卸任，真正的结局是什么？
- 国内房地产的使命已完成，迎接它的会是什么？
- 让安倍辞去首相一职的是什么病 专家:很少能完全治愈
- 美国警察为什么要如此暴力执法
- 高官接连出访 美国在中东下一盘什么棋？
- 做一个既不媚内、又不舔外的站立者
- 青年|开货车一定会违章吗，为什么有那么多人为违章的货车司机说话？
- 白酒|泡了一年白酒的蛇，为什么还能暴起伤人？这个技能让蛇有不死之身
- 学过形式逻辑的猫友能不能占到1%？