非直接直观：对哥德尔数学直观概念的一点议论

逻辑学研究 2022 年第 4 期，16–30 文章编号：1674­3202(2022)­04­0016­15

作者：单芃舒

摘 要：当代数学哲学文献中往往倾向于将数学直观理解为我们（从数学对象）不加 中介直接获得表象的过程（或这种能力、所得结果），简称为“直接接触解读”。本文基 于对哥德尔文本中数学直观概念的解读，强调对数学直观的被忽视的另一种理解，即 “数学直观不必被理解为直接知识”。本文首先反思“直接接触解读”得以流行的背景； 然后结合哥德尔和王浩的文本证据，将哥德尔数学认识论概念细分出三个层次，并确立 对数学直观的非直接的解读。最后将以文献中“专家直观”“构成实在论”这两种背景 和关切各异的数学哲学研究进路为例，说明非直接解读所蕴含的丰富的理论发展可能 性及更贴合哥德尔思想的优点。

关键词：哥德尔；数学直观；非直接；专家直观；构成实在论

中图分类号：B81 文献标识码：A 1