论文部分内容阅读
当代形式逻辑对客观世界n元关系的研究,其视野是传统形式逻辑和数理逻辑无法相比的。从主导思想上看,传统形式逻辑是真正的名副其实的逻辑科学,但它只研究1元关系,不研究多元关系和真正普遍有效的关系推理,因此,传统形式逻辑顶多只能算n分之1的逻辑。数理逻辑虽然把1元或多元关系作为自己的研究对象之一,但它没有从内涵的角度去区分关于同一外延的k个尽管相当然而并不相同的n元关系,从量上说至少是“挂1漏k-1”的,即只从外延的角度研究一种关系而漏掉(k-1)种关系,因此,纯外延的数理逻辑顶多只能算k分之1的逻辑。当代形式