论数学的本质：基于无先验物体原则的形而上还原.pdfVIP

论数学的本质：基于无先验对象原则的形而上还原

陈挺

摘要

本文以“三性本结构”，第一性:POD；第二性：认知；第三性：对象（包含形

式系统、命题、符号等等在内）为依托，给出集合论与算术两类基础公理的形

而上解释框架，指出0和空集本层面的不同，对几何学和拓扑学做出简单分

析：

集合论各公理被重读为“认知划界”的不同形态学属性；

在此之上提出并定义无权判定性：凡一组命题涉及认知在某类非平凡行为上的

有可能，这组命题对该系统而言并非“不可判定”，而是“无权判定”；还提出

数学公理的独立性源自认知权能的独立分形结构。

进而统一解释若干悖论与元理论难题（如AC、哥德尔、塔斯基、罗素等）。

给出皮亚诺算术公理的形而上学读法，显示“可数次划界”的生成动力学意义。

最后从形而上层面解释数学为何在自然科学研究中具有高度的有效性，且系统

本身保持高度的稳定性。

第一部分集合论公理的形而上解释框架

主旨：集合论不是“世界本身的原子学”，而是认知划界的语法之一。

1.外延公理：划界的确定性原则

公理：两个集合相等，当且仅当它们拥有相同的元素。

解释：这本质上是对集合的相等做了一个定义，现的是相等概念在不表示锚

定时的非原初性。用元素相同来表示没有一种划界能将两个集合区分开。

2.分离公理:划界的内外不可翻转性

本质:让任何集合