数学无穷与中介的逻辑基础

本书内容分为两篇，共5章。第一篇讨论经典与非经典数学的理论基础问题。分两章陈述，其中第一章研讨精确性经典数学的理论基础问题。其中包括：（1）如何在现代意义下正确理解逻辑数学悖论这个概念的内涵，（2）数学三次危机，（3）古典集合论的思想方法，（4）如何导致近代公理集合论的建立和发展。其实，第一章所论内容可视为本书的一个导引，也是切入本书核心内容的一个简要历史回顾。第二章研讨非经典数学，主要是模糊数学的理论基础问题。中介数学系统MM是指在中介原则之下，以中介逻辑演算ML为推理工具的中介公理集合论系统MS。ML＆MS是在20世纪80年代由朱梧槚与肖奚安教授长期合作研究，共同建立和发展起来的。本书第二篇研讨数学无穷的逻辑基础。共3章，其中第3章是在深入分析潜无限与实无限之间的区别与联系、近现代数学对两种无穷的兼容性的基础上，讨论各种可数无穷集合与不可数无穷集合概念的相容性问题。而第4章主要是研讨潜无限数学系统的逻辑基础与集合论基础。其中包括潜无限弹性(spring)集合概念的建立，和二元常谓词(解释并读为“包容于”)的引入。第五章在重新审视传统型的谓词与集合之关系的基础上，重新建立了一条有关谓