超级兵书屋

手机浏览器扫描二维码访问

第64部分（第1页）

了若干与命题联结词有关的推理形式和规律，发展了演绎逻辑。而古希腊的另一位哲

学家伊壁鸠鲁则认为归纳法是唯一科学的方法。中世纪的一些逻辑学家，发展和丰富

了形式逻辑。到了近代，培根和约翰·缪勒则进一步发展了归纳法。

在中国，形式逻辑的产生基本与欧洲同时。代表学派有墨家与名家，此外还有儒

家的荀子。有意思的是，墨家研究逻辑为的是找到逻辑的原则，而名家为的是建立诡

辩体系。墨家对于逻辑的认识集中体现在《墨经》中，该书对于逻辑已有了系统地论

述。例如它区分了充分条件与必要条件，提出“大故（充分条件），有之必然，无之

必不然”与“小故（必要条件），有之不必然，无之必不然”。而名家的惠施则提出了“合

同异”的诡辩原则，目的是取消概念的边界。与惠施相反，同属名家的公孙龙则提出

了“离坚白”的诡辩原则，认为任何独立的概念都有且只能有单一的属性。名家提出了

许多诡辩命题，例如“白马非马”、“鸡有三足”、“孤犊无母”、“连环无扣”、“白狗黑”以

及“今适越而昔来”等等。

显然，名家此种“开倒车”的研究方法是中国特有的，它能够建立其诡辩体系恰恰

表明当时逻辑发育的水平很低，有着大量漏洞——因此名家才有机可乘。不过，名家

此举也使得这些漏洞得到了充分的暴露，为后人的研究提供了垫脚石——若要发展逻

辑，就必须去克服名家的诡辩命题。此外，名家的诡辩命题中也有合理因素——有的

确实击中了形式逻辑的要害，这就意味着，除了形式逻辑之外，还有其他逻辑。最后，

名家的部分命题里，可能含有合理的关于自然界以及人的认知过程的认识。比如一个

命题是“天下之中央，燕之北越之南”，这个命题若要成立，则必须以“地球是圆的”作

242

为前提。在当时天圆地方的“盖天说”占主导的情况下，名家能有这样的认识是不易的。

再有一个命题是认为“飞鸟未尝动”，若做正解，应该是名家认识到我们对于“运动”的

直观概念是建立在将归纳了两次静止的认识的基础之上的。当时能做出这些判断实在

不容易，可惜这些认识都是以诡辩的形式出现的。

此后，形式逻辑在中国的发展基本陷入了停滞。

在古印度，公元前四世纪时，胜论派和正理派开创了因明学，至六世纪时陈那将

其完善，称新因明学。因明学，即形式逻辑。

数理逻辑　它是现代形式逻辑。之所以称为数理逻辑，一方面是由于在研究中广

泛地使用了人工的符号语言，并发展为使用一种形式化的公理方法，同时也应用了某

些数学的工具和具体的结果；另一方面则是由于现代形式逻辑的发展受到数学基础研

究的推动，特别是受到深入研究数学证明的逻辑规律和数学基础研究中提出来的逻辑

问题的推动。数理逻辑之所以又被称为符号逻辑，是由于它使用人工的符号语言。数

理逻辑的创始人是G。W。莱布尼兹。莱布尼兹提出建立“普遍的符号语言”、推理演算和

思维机械化的思想。尽管莱布尼兹本人并没有实现他所提出的目标，但数理逻辑的发

赵营长的七宝  乡村首富  无头尸案:黑心  皇子殿下的傲妃(完结)  HP 之请当我是路人  大国的兴衰  景帝纪事  耽美 杀帝的闪婚爱人  令狐冲后传  (HP同人)[HP]与西弗并肩的日子  完美世界  天下衙门  熟男熟女  12美人 佚名  山间猎艳  迈克尔·波特_竞争论  沉溺之爱  火影求生  刘太医谈养生  (综同人)无限流综穿之旅