形式化作为现代科学发现的秘密——以虚构数问题为线索

摘要

现代自然科学的一个重要特征是其朝向未来的进步观.它将自身理解为对自然之奥秘的不断揭示,这主要体现在对基本概念认识的更新.科学家们相信,随着对某个概念认识的加深,它将逐渐显露出越来越深刻的意义.从后来加深了的认识观点看,之前的认识就成了一个局部的、有待深化的现象.这种进步的可能性应该归功于自然科学的数学化表述.数学化的基本概念在质料意义方面表现出不断深化的趋势,其背后的实质则是形式化的扩张操作.本文试图通过考察胡塞尔对虚构数及数域扩张问题的处理为上述结论提供一个论证.最后,本文将用物理学中的一个例子来说明形式化在科学发现中的作用.