摘要

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