不建议用自然语言争论逻辑话题

第五次逻辑大战已近尾声 。个别楼尚有零星枪声 , 源于以杂文帖继续争论逻辑学命题 。 早在猫的第一、第二、第三和第四次逻辑大战前夕 , 李楼就曾反复劝诫有关各方不要用杂文论及逻辑命题 。 更早之前 , 莱布尼茨于17世纪就注意到了自然语言存在难以克服的模糊性和歧义性 , 因而他主张将逻辑命题数学化 。 莱布尼茨的理念最终催生了数理逻辑的创立 , 数理逻辑又促使逻辑学与芯片技术接轨 。 如今 , 只有人文院系仍在使用自然语言描述逻辑命题 , 代价是若干世纪以来没有任何跨越式发展 , 仅局限于给某些人文专业凑学分:1)学几个逻辑术语以提升形象;2)毕业后并不能从事逻辑职业;3)老了上猫眼也写不出有分量的逻辑帖 。猫史证明 , 逻辑大战是李楼主导的以数理逻辑摧毁低端逻辑楼的学术之战 。 惟其如此 , 只有建模帖才能决出胜负 。 任何杂文帖都不可能终结一场逻辑战 , 徒添乱耳 。


    推荐阅读