深挖洞,多跟帖,不装咖

逻辑领域的叉格斗争 , 一向剧烈 。​最近 , 猫内个别ID又企图在逻辑领域称王了 , 甚而企图将逻辑大战文科化 。 ​现象 , 本质 , 规定性 , 社会关系的总和 , 这些油腻的哲学语言甚嚣尘上 。 任何话题一旦文科化 , 论战就成了闹剧:​ 1)充斥陈腐的哲学语言;2)逻辑帖不接触具体命题;3)轻狂程度与年龄失调 。​莱布尼茨以来 , 逻辑学的发展方向即高度形式化 。 形式化 , 即摈弃逻辑学之前的哲学色彩而全面数学化 。 没有七八年高等数学底蕴就奢谈逻辑并企图在猫内称王 , 徒增笑耳 。 我凯我猫鸿儒如林 , 数理逻辑独步论坛 , 即便要称王也轮不上一个非数理之辈 。 逻辑大战 , 过去、现在和将来都是数理逻辑碾压形式逻辑的必然过程 。 真正的王者 , 不可能出自老旧的逻辑学体系 。


    推荐阅读