形式逻辑和语言——名家,墨家和形式逻辑

由于诸子百家的著作基本上都是观点表达,多用类比,很多学者认为中国古代哲学没有逻辑。但很多人认为诸子百家里的名家继续发展会产生逻辑。然而先秦时代其他诸子对名家的评价一般是诡辩。

以名家代表人物公孙龙子的“白马非马*的观点来说,以现代观点看,说它是诡辩还是有思辩意义的哲学命题。关键在于如何解释“非”字。

如果把“非”字解释为不是,那这个命题肯定是错的。特别是因为“白马非马”的故事叙事背景看,他是在守卫不让马进城的语境下讲的,那么在那个语境下,非字应该当“不是”理解。

白马不是马,违背了人类一般认知常识。按照现代形式逻辑来评价,这个命题显然是错误的,因为集合白马是集合马的子集,子集的元素必然是父集合的元素。

由于白马非马的故事大多是放在不让马进城引发的辩论背景下讲的。所以以荀子为代表的批评名家诡辩,是有道理的。

如果把非理解成不等于,那么这个命题就成立了,从形式逻辑的角度看,白马这个集合是马这个集合的子集,两者不是等价关系。所以白马不等于马这个命题是正确的。

从逻辑本身的理论而言,名家的观点仅仅讨论了名实的所谓逻辑中的概念问题,不是一个完整的推理方法。

相对于名家,墨辩的论述更有系统性。有人把墨辩,印度的因明学,古希腊逻辑学并称为世界三大逻辑。

然而,与古希腊逻辑学不同,墨辩不是形式逻辑。

所谓形式逻辑,是指逻辑的推理规则是从具体命题描述中抽象出来的运算规则。现代的形式逻辑代表是数理逻辑,是完全符号化的形式逻辑。

所谓抽象出来的运算规则,就和数学相似,公式的运算与实体对象,比如一加一等于二,可以是具体一个苹果加一个苹果,也可以是一辆车加一辆车,其运算结果都是二。

古希腊的三段论是一种形式逻辑,他的运算形式符号用的是自然语言,只要符合三段论的条件形式,就可以推导出结果。

很多人说的中国古代没有逻辑,其本质含义是没有产生形式逻辑,而不是说古代没有逻辑思想。

从世界范围来说,古代也只有希腊产生了形式逻辑。从社会历史发现角度看,很多人觉得这可能是特定环境下的偶然性产物。