主题：【原创】“线性逻辑”引出的话题 -- xu514

形式逻辑的特点就是从假设出发，线性外推。从逻辑内涵的角度看，虽然逻辑严密，推论广泛，本质上其实都是量变，没有质变，也不能提供新的信息。一旦前提有误，或发生变化，后面的结论通通推翻。欧氏几何和近代集合论的例子充分说明了这一点。

与此相对的是辩证逻辑，考察事物的相互作用和变化，从个别中提取一般，从普遍中看到特殊。

举例来说，看到一匹黑马，又看到一匹白马，形式逻辑认为是两匹马，黑马是黑马，白马是白马，黑马不是白马，甚至有的说白马不是马，还有的说就算你看过一万匹马，也不能断言马是什么，比如波普尔的天鹅论。

辩证逻辑则从中提取出“马”的概念，黑马白马是个别，马是一般，我们可以通过个别的、具体的黑马白马，得出一般的“马”的概念，并推广到其他的马的身上，比如又看到一匹黄马，我们可以说它也是马，它也是吃草的，这是普遍性，它又是黄色的，这是特殊性。