哲学史

形式逻辑

        莱布尼茨是在亚里士多德和1847年乔治·布尔和德·摩根分别出版开创现代形式逻辑的著作之间最重要的逻辑学家。莱布尼茨阐明了我们现在叫做合取、析取、否定、同一、集合包含和空集的首要性质。莱布尼茨的逻辑原理和他的整个哲学可被归约为两点:

  1. 所有的我们的观念(概念)都是由非常小数目的简单观念复合而成,它们形成了人类思维的字母。

  2. 复杂的观念来自这些简单的观念,通过模拟算术运算的统一的和对称的组合。