现代逻辑的发展与非形式逻辑的兴起.pdfVIP

维普资讯 2000年9月 哈尔滨市委党校学报 Sep．20O0 总第11期第5期 THEJOURNALOFHARBINCOMMITFEESCHOOLOFTHECCP SerialN0．11No．5 ·哲学与思辨· 现代逻辑的发展与非形式逻辑的兴起 王 桂 艳 (天津师范大学政法系，天津 300071) 摘 要：本文分析了现代逻辑发展的局限性，对形式逻辑方法进行了思考，说明了形式化并 不是逻辑科学的惟一发展方向，指出了以论证为其研究中心的非形式逻辑的发展前景。 关键词-论证形式化；形式逻辑；非形式逻辑 中图分类号：B812．2 文献标识码：A 文章编号：1008—8520(200o)o5—0038—04 第二，对量词的研究没有抓住实质，只能得出量 一 、对形式化方法的思考 词的一些次要性质，因而对许多正确的推理不可能做 现代逻辑亦称符号逻辑，是在传统逻辑的基础 出充分的研究，比如下面两个命题： 上，为克服传统逻辑之不足和解决数学基础研究中出 (1)所有固体都可以被有些液体溶解； 现的大量逻辑问题而发展起来的逻辑科学。 (2)有些液体可以溶解所有固体。 传统逻辑是指由亚里士多德创立，经过中世纪的 我们可以由(2)推出(1)，但不能由(1)推出(2)。 演变而发展至 19世纪(乃至今天)的逻辑。它与“现 由(2)推(1)是一个有效的推理，但是这个推理的有效 代逻辑”相对，泛指数理逻辑产生前的形式逻辑，以传 性在传统逻辑中却得不到说明。 统的演绎逻辑为主，也包括传统归纳逻辑。 第三，它虽然使用一些符号表达思维的逻辑形 作为逻辑科学，传统逻辑自身具有一系列的缺 式，但仍不能完全脱离自然语言，因而往往造成歧义 — ◆ 陷，它主要表现在： 现象。例如： 第一，只注重研究主谓式语句和直言三段论，限 (1)鲁迅是作家。 制了逻辑研究和逻辑应用的范围。它所讨论的语句 (2)作家是脑力劳动者。 限于下列四种： (3)等边三角形是等角三角形。 所有S都是P：SAP(全称肯定) 上述三例中的是“”字涵义就完全不同。(1)中的 所有S都不是P：SEP(全称否定) 是“”表示个体属于关系，(2)中的是“”表示小类包含 有些S是P：SIP(特称肯定) 于大类的关系，(3)中的是“”表示类与类的等同关系。 有些S不是P：SOP(特称否定) 而当问：你“是去救那个小孩的吗?”回答 是“”。这个 然后，在此基础上发展为直言三段论。 是“”字表示一种断定。这些，在传统逻辑中，都是视 但是，在人们日常思维领域中，常见的一些关系 而不见的。 语句不能简单地归结为主谓式语句，一些关系推理也 正是由于传统逻辑的这些自身无法克服的缺陷， 不能被简单地划归为直言三段论。如： 随着时代的发展特别是科学、技术的广泛运用，传统 0-)“曹丕和曹植是兄弟。” 逻辑对思维的研究越发显得不够。于是，从近代开 Q)“甲大于乙，乙大于丙，所以甲大于丙。”