弗雷格的伟大历史贡献:量词的引入
记得,60年前:1957年的初秋,我进入南京大学数学天文系学习数学。莫绍揆先生在授课中大量使用逻辑“量词”,感觉怪怪的,不知是什么人发明的这玩意儿。
实际情况是,“量词”的引入是逻辑学发展历史上的一个标志性的“转折点”。
应该说,有了“量词”就有了“量词语句”,从而也就有了形式语言,催生了整个二十世纪的数学的全面形式化。从本质上来说,当代数学就是形式化的数学。离开形式语言,谈何数学?
坦率地说,无穷小微积分离不开模型论(!),而模型论就是一套形式语言的逻辑系统。
量词理论是谁发明的?从数学发展史上来看,全面引入量词是弗雷格在1879年对数学所作的最大贡献。
如今,形式化数学已经成为参天大树,无穷小微积分与计算机科学、人工智能(AI)都是这颗大树上生长出的新分支。
为了读者思考方便,现引用以下附件。
袁萌 10月29日
附件:
全称量词:
全称量词是指在语句中含有短语“所有”、“