数学实践中的论证
摘要：数学论证一直被认为是形式逻辑独特的分析领域。虽然形式逻辑当然对于完全理解数学实践是必要的，但它并不足够。数学推理的重要方面密切类似于非数学领域的推理模式。因此，用于理解非正式推理的工具，即统称为论证理论的工具，也同样适用于数学论证。本章研究了该应用的一些细节。考虑到“论证”一词的许多对比含义；对一些特定的应用于数学的论证理论工具进行考虑，尤其是图尔明模型和论证方案；对论证被牵涉在数学实践中的不同方式进行考虑；以及数学论证的社会方面。
作者：Andrew Aberdein and Zoe Ashton
论文ID：2307.04704
分类：History and Overview
分类简称：math.HO
提交时间：2023-07-11