【试论形式逻辑存在和发展的必然性曹建国】.pdf



三、通过对数理逻辑特点的考察,指出宅在指导人们通过自然 语言所进行的实际思维方面的某些局限性说明它不能取代形式逻辑 的道理。从发生的方面看,数理逻辑是用数学方法研究形式逻辑中的 某些逻辑问题的一门边缘学科.从发展的方面看,数理逻辑是以数 学中的特殊逻辑问题为研究对象的数学的一个特殊的分支。它在研 究对象、班究方法、适用范闹等方面都与形式逻辑存在种种不同.在指导人们通过自然语言所进行的实际想维方面,它具有不足以充 分反映实际思维形式结构及其规律、规则的丰富性、多样性不能 够直接反映自然语言中的某些逻辑常项所具有的两种或两种以上的 逻辑意义,不能为人们通过自然语言去认识、把握、运用思维的形 式
有的同志也提出了类似的看法,如说:“数理逻辑就是现代形式逻 辑。现代形式逻辑和数理逻辑是同一个东西。在人类知识发展的现 阶段,唯一可以作为科学存在的形式逻辑就是数理逻辑。古典形式 逻辑和传统形式逻辑中的形式逻辑学说全部过时了”。“在今天,如果不是沿着数理逻辑的方向前进,形式逻辑研究不可能取得任何 重大成就”。近年来,有的同志甚至认为在今天数理逻辑“已经 取代了“形式逻辑””.难道由于数理逻辑的发展,形式逻辑就的没有存在的必要了,就不能再进一步发展了,就可以由数理逻辑来取代了吗? 