数学中的本体论承诺与语义外在性的交互关系
**数学中的本体论承诺与语义外在性的交互关系**
我们先从"本体论承诺"这个概念开始。在数学哲学中,本体论承诺指的是一个数学理论所预设或要求存在的实体类型。比如,当我们使用集合论语言时,我们承诺了集合的存在;当我们谈论自然数时,我们承诺了自然数对象的存在。这个承诺通常通过我们使用的量词和谓词来体现——如果我们的理论中允许"存在某个自然数x使得..."这样的表述,那么我们就对自然数做出了本体论承诺。
接下来是"语义外在性"。这个概念指的是数学表达式的意义不仅仅由我们内心的观念或定义决定,还依赖
2025-11-26 09:19:25
0