摘要
数学证明的整体系统构造中隐含着诠释学,数学证明本质上是一个解释性的论证过程与理解性的验证过程相统一的动态整体系统。解释与理解数学命题的普遍媒介是具有“思辨结构”的数学语言,数学命题借助于数学语言实现了其“存在”与“表现”的思辨统一性。数学命题的证明过程是一种在“我—你”关系的对话中实现语言一致性的论证与验证过程,数学证明的目的是走向数学真理。数学真理是在数学命题的解释与理解过程中逐步形成的,“效果历史”作用下的开放式对话、视域融合与时间距离保证了数学真理的更新与发展,这种更新与发展体现了数学真理的动态性与可谬性特征。