诠释学视域下数学证明的构造机理研究  

Study on the Construction Mechanism of Mathematical Proof from the Perspective of Hermeneutics

作　　者：刘伟伟[1] 刘晓红 LIU Wei-wei;LIU Xiao-hong(School of philosophy and sociology,Shanxi University,Taiyuan 030006,China)

机构地区：[1]山西大学哲学社会学学院,山西太原030006

出　　处：《烟台大学学报（哲学社会科学版）》2023年第2期10-18,共9页Journal of Yantai University(Philosophy and Social Science Edition)

基　　金：教育部人文社科研究项目“诠释学视域下数学证明的构造机理研究”(22YJC720008);山西省研究生教育改革课题“《分析哲学研究》课程建设”(2021YJJG003)。

摘　　要：数学证明的整体系统构造中隐含着诠释学,数学证明本质上是一个解释性的论证过程与理解性的验证过程相统一的动态整体系统。解释与理解数学命题的普遍媒介是具有“思辨结构”的数学语言,数学命题借助于数学语言实现了其“存在”与“表现”的思辨统一性。数学命题的证明过程是一种在“我—你”关系的对话中实现语言一致性的论证与验证过程,数学证明的目的是走向数学真理。数学真理是在数学命题的解释与理解过程中逐步形成的,“效果历史”作用下的开放式对话、视域融合与时间距离保证了数学真理的更新与发展,这种更新与发展体现了数学真理的动态性与可谬性特征。In essence,mathematical proof is a dynamic whole system with the unity of interpretive demonstration process and understanding verification process.The universal medium of explaining and understanding mathematical propositions is the mathematical language with“speculative structure”in the sense of hermeneutics.Mathematical propositions realize the speculative unity of“existence”and“expression”with the help of mathematical language.The proof process of mathematical proposition is a process of demonstration and verification of language consistency in the dialogue of“I-You”relationship.The purpose of mathematical proof is to move towards mathematical truth.Mathematical truth is gradually formed in the process of interpretation and understanding of mathematical propositions.The open dialogue,horizon fusion and time distance under the action of“effect history”ensure the renewal and development of mathematical truth.This renewal and development reflects the dynamic and predictable characteristics of mathematical truth.

关 键 词：诠释学 数学证明 数学真理 数学命题 

分 类 号：B0[哲学宗教—哲学理论]