摘要： 当代形式逻辑对客观世界ｎ元关系的研究，其视野是传统形式逻辑和数理逻辑无法相比 的。从主导思想上看，传统形式逻辑是真正的名副其实的逻辑科学，但它只研究１元关系，不研 究多元关系和真正普遍有效的关系推理，因此，传统形式逻辑顶多只能算ｎ分之１的逻辑。数 理逻辑虽然把１元或多元关系作为自己的研究对象之一，但它没有从内涵的角度去区分关于同 一外延的ｋ个尽管相当然而并不相同的ｎ元关系，从量上说至少是“挂１漏ｋ－１”的，即只从外 延的角度研究一种关系而漏掉（ｋ－１）种关系，因此，纯外延的数理逻辑顶多只能算ｋ分之１的 逻辑。当代形式逻辑从研究论域上的ｎ目组和ｎ目组集入手，亦即通过确定论域上的个体的所 有不同序列，对论域上ｎ个个体（ｎ≥１）之间的所有关系进行了逻辑科学应有的全方位研究。