客观世界的n元关系——兼谈传统形式逻辑和数理逻辑

摘要：

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

关键词：当代形式逻辑、传统形式逻辑、数理逻辑、n目组、n目组集、n元关系

所属期刊栏目：26

分类号：B81(逻辑学(论理学))

资助基金：教育部人文社会科学研究项目“当代形式逻辑及其在人工智能中的应用理论研究”07JA720006

在线出版日期：2012-08-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：16-24