中介公理集合论

书籍：现代科技综述大辞典上更新时间：2018-10-01 05:24:35

出处：按学科分类—自然科学总论北京出版社《现代科技综述大辞典上》第7页（5590字）

一种以中介逻辑演算ML为逻辑推理工具的非经典公理集合论系统。

1902年，罗素(Russell)的悖论震惊了哲学界、逻辑学界和数学界。为了在集合中避免悖论的出现，人们曾提出过多种解决方案，其中由罗素当年提出的“量性限制论”，最终导致了近代公理集合论的诞生和发展。1908年德国策墨罗(Zermelo)首先建立了他的集合论公理系统，后经弗朗克尔(Fraenkel)、冯·诺伊曼(von Neumann)和斯科林(Skolem)等的几次改进，终于形成了着名的ZFC公理集合论系统，在该近代公理集合论系统中，历史上曾经出现的悖论已被排除，且至今未被发现有新的悖论出现，但也未能在理论上证明该系统永不可能出现悖论。

在近代公理集合论中，还有如GB等其它公理集合论系统。

但从总体上来说，ZFC系统显得直观和自然，使用又较方便，因而被普遍采用。但应指出，各种近代公理集合论的发展，都不涉及数学研究对象的再扩充。亦即古典集合论和近代公理集合论所能接受的造集谓词，均被限制为康托意义下的精确谓词。

20世纪60年代，查德(Zadeh)创始的而被发展起来的模糊集理论，标志着数学的发展，已进入数学研究对象由精确性量性对象到模糊性量性对象的再扩充时代，查德的不朽功绩在于他第一个明确提出，必须用数学的手段去分析处理大量存在的模糊现象，同时又提供了一各相对合理可行的处理方法，进而建立和发展了当今意义下的模糊集理论。

但在这理论中，没有解决模糊谓词的造集问题，因而也就未能在数学基础理论意义下实现数学研究对象由精确性到模糊性的再扩充，因而必须拓宽经典数学的逻辑基础和集合论基础，必须在构造系统时，贯彻一条相反于经典数学所坚持的无中介原则的中介原则，从而导致了中介公理集合论的建立和发展。

中介公理集合论以非经典的中介逻辑演算为配套的逻辑工具，并由21条非逻辑公理(模式)构成，其中以泛概括公理为核心，在中介公理集合论中，首先给出了有如模糊谓词P(x，t)等概念的形式定义，直至在数学基础理论意义下解决了模糊谓词的造集问题，因而在数学基础理论意义下完成了数学研究对象由精确到模糊性的再扩充。

其次，大家公认整个精确性经典数学可由ZFC之正则公理以外的9条公理推出，但这9条公理已被证明为MS中对谓词与个体在某种约束条件下的9条定理。而且严格证明了任何一个经典的二值逻辑系统都是ML的子系统。

从而整个精确性经典数学可在MS中产生并奠基于MS。又各种近代公理集合论对悖论的排除都涉及概括原则的修改，但在排除悖论的同时又过多地限制了原则的合理内容，因而需要寻找一种如何修改概括原则的方案，使之既能排除悖论，又能最大限度地保留概括原则的合理内容。这一问题在经典数学中不仅没有解决，而且几乎是不可能在经典数学范围内解决的。

然而在ML和MS中，通过泛概括公理和泛概括定理证明“任何正规清晰谓词都存在着一个该谓词的恰集”，而MS意义下的一切正规清晰谓词又囊括了康托意义下的一切造集谓词。这表明在MS中已完全保留了康托意义下的概括原则。另一方面，对于历史上曾经出现的种种逻辑数学悖论，以及在二值系统中无需解释的多值逻辑悖论与无穷值悖论等，均在MS中得到了解释，从而也就解决了如何修改概括原则的遗留问题。此外，中介公理集合论也开辟了以非经典逻辑演算为配套逻辑工具的公理集合论研究方向。

在中介公理集合论MS构造中，除了接受中介逻辑演算ML(MP、MP^*、MF、MF^*、ME^*)的全部形式符号、定义符号和推理规则外，还要引入两个基本的常谓词；其一是二元常谓词∈，解释并读为“属于”，其二是一元常谓词m，解释并读为“小”，从而在MS中除了接受ML中关于合式公式(Wff)的所有归纳定义外，还要添加如下的定义。

如果x和y都是个体词，则x∈y和m(x)都是合式公式。

在MS中，规定以a，b，c，a_i，b_i，c_i，A，B，C，A_i，B_i，C_i，X，Y，Z，X_i，Y_i，Z_i，α，β，γ，α_i，β_i，γ_i，μ，v，v_i(i=0，1，2，…)表示个体词。