作为命题式想象之基础的欧式图表  

Euclidean Diagrams qua the Basis of Propositional Imagination

作　　者：蒋凡 JIANG Fan(School of Philosophy,Beijing Normal University,Beijing 100875,China)

机构地区：[1]北京师范大学哲学学院,北京100875

出　　处：《科学技术哲学研究》2025年第2期57-64,共8页Studies in Philosophy of Science and Technology

摘　　要：在《几何原本》中,证明可以使用从图表中得出的命题进行推理。研究者们对图表如何发挥作用给出了各种解释。最近的一种貌似可信的解释是,图表仅是自身例示的共精确联系的样本。但这一解释,(1)会导致在某些间接证明中图表是不能同时为真的主张的集合的语义,(2)无法说明在以图表为基础的欧式证明中为何能够从图表得出某些关于抽象几何对象的命题,(3)忽视了主体在从图表得出命题的过程中发挥的不可或缺的作用。实际上,主体在图表的基础上按照部分定义、公设和公理以及证明的文本部分所说的命题想象一个伪完美的图表,然后直观到关于抽象几何对象的命题。图表在这个过程中是命题式想象的基础。geometrical objects.In this process,diagrams are the basis of propositional imagination.

关 键 词：数学实践 非形式证明 欧式图表 几何 

分 类 号：N02[自然科学总论—科学技术哲学]