谈谈形式逻辑现代化的几个问题

在我国逻辑学界,五十年代末、六十年代初,曾对如何改造、丰富和发展形式逻辑展开了热烈讨论。粉碎“四人帮”以后,在七八、七九和八一年全国逻辑讨论会上,中国社会科学院逻辑室一些同志带头提出了形式逻辑现代化问题。这个问题提得好,反映了时代精神。形式逻辑现代化问题,实际上是关于如何改造、丰富和发展形式逻辑问题讨论的继续。大家都感到传统逻辑已经同现代科学思维不相适应,它有很多缺点,需要改造、丰富和发展。怎样发展呢?分歧很大。有的认为形式逻辑现代化就是要符号化,现代逻辑就是数理逻辑。也有的主张建立马克思主义辩证统一的逻辑,也就是把形式逻辑和辩证逻辑统一起来。甚而有的主张把形式逻辑、辩证逻辑和数理逻辑统一起来,建立统一的逻辑。还有的同志提出了形式逻辑必须与自然语言结合起来,要研究自然语言的逻辑……可见,大家的认识是不统一的。从当前逻辑学界来看,尊重国内外逻辑学科发展的现状,从实际出发,从现代思维实践出发,求大同,存小异,把更多一些同志的意见大致统一起来,以便更好的合作,是有利于逻辑科学发展的。现仅就形式逻辑现代化涉及到同数理逻辑、辩证逻辑、自然语言逻辑、应用逻辑的关系问题,谈点粗浅的看法。