数理逻辑取代形式逻辑说质疑

《社会科学战线》一九八二年第四期刊载杜岫石同志的《有必要用数理逻辑取代形式逻辑吗?》一文,一开头就明确地指出:“在逻辑界出现这样一种看法:形式逻辑陈旧了,应该‘送到历史博物馆去’了,取代形式逻辑的应该是数理逻辑。持这种主张的人数虽然不见得很多,但是却有一定的影响,因此有必要谈一点不同的看法。”我基本同意杜岫石同志的观点。要用数理逻辑取代形式逻辑的主张,现在还有人在坚持。事实上,要用数理逻辑取代形式逻辑是根本行不通的。本文准备对数理逻辑取代形式逻辑说提出一些质疑。