外延的逻辑

一种“内涵的”而不是“外延的”逻辑——这种逻辑的术语代表的是属性或概念，而不是具有这些属性的事物。莱布尼茨关于判断真理的基本概念是，构成谓词的概念“包含在”主词的概念中。莱布尼茨所象征的……

符号外延逻辑的主要提示者，今天被称为类的逻辑或代数(兰伯特的一位通讯员，格奥尔格·冯·霍兰德，曾试验过一种外延理论，1839年，英国作家托马斯·索利在《论》中提出了一种外延逻辑《逻辑学大纲》，虽然不是……

这是一个外延逻辑，包含了一个特殊的符号“”(平行于Peirce的“瞎子”;(见插图)，一个包含类联合的概念，以及通常的布尔操作和规则。