9.从非标准分析的观点认识几个几何问题.docxVIP

从非标准分析的观点认识几个几何问题

玻尔的对应原理在经典力学和量子力学之间建构起了一种独特的对应性，这一物理学原理为重构逻辑学的方法论提供了一种启发式的形式类比.现从逻辑方法论的观点上把对应原理重新概括为经典逻辑是非经典逻辑的前身，非经典逻辑将构成更为普遍的逻辑形式，经典逻辑作为非经典逻辑的极限形式在局部情况下仍保持自身的意义.展开来讲，对应原理的实质性内容包括以下三个方面非经典逻辑与经典逻辑之间存在重大差异扩展型逻辑，甚至于“根本对立”异常型逻辑.非经典逻辑与经典逻辑之间存在“渐近一致关系”，即非经典公式或定理在某种极限条件下将自动退化、趋近、过渡到经典逻辑对应的公式或定理.反过来，这种渐近一致关系可以作为猜想未知非经典公式或定理的依据.在“合理改写形式”下，非经典逻辑与经典逻辑之间可以找到更一般的“对应性处理方式”.因此可以自然地预料，经典逻辑的基本概念和公式在失去普遍有效性之后，仍然是定义和构造非经典逻辑的未知概念和公式的有力的辅助框架.

第一条讲的是，作为先行理论的经典逻辑与待创的后继理论—非经典逻辑之间的区别.在逻辑哲学中，非经典逻辑被划分为两种类型.（a）扩展逻辑，它不触动经典逻辑的基本公理和规则，但增添新的算子以及相应的公理和规则.（b）异常逻辑，使用与经典逻辑相近的词汇，却从根本上修改公理和规则.第一类（扩展型）非经典逻辑与经典逻辑存在重大差异.例如模态逻辑增添了“