对算术命题先天综合性质的系统论证

摘要：

康德的先天综合命题思想是哲学上的重要创举.然而,囿于时代之限,康德对算术命题先天综合性质的阐述暴露其数学上理解的偏差.基于现代数学尤其是皮亚诺算术公理的视角,借鉴彭加勒对数学归纳法先天综合性质的论述,可以发现,算术命题是先天综合的.对算术命题先天综合性质的系统论证由最小数原理的先天综合性质始,经由数学归纳法的先天综合性质而至皮亚诺算术公理的先天综合性质,最后到达算术命题的先天综合性质.其中对综合性的论证,涉及非概念包含关系、无限性、数学公理的不可化约性、自然数的两种定义、哥德尔不完全性定理、数字和运算的不可化约性,等等.

关键词：先天综合、算术命题、皮亚诺公理、数学归纳法

所属期刊栏目：42

分类号：N02(科学的哲学原理)

资助基金：法国高等教育、科研与创新部Ministère de l'Enseignement Supérieur,de la Recherche et de l'Innovation综合理工内阁研究基金Allocation Ministérielle Polytechnicienne,AMX“论先天综合:数学、科学与哲学”Enquête sur le synthétique a priori, mathématiques,sciences et philosophie

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

页数：共8页

页码：49-56