“2014年全国现代逻辑学术研讨会”综述

2014年10月25–26日,由中国逻辑学会现代逻辑专业委员会主办、北京师范大学哲学与社会学学院承办的＂2014年全国现代逻辑学术研讨会＂在北京师范大学召开。本次研讨会的主题包括数理逻辑、哲学逻辑与逻辑哲学、现代逻辑史等内容,旨在让现代逻辑研究者们汇报各自在现代逻辑领域取得的最新研究成果，使与会者对现代逻辑的各个领域有充分的交流。

从实用主义看反推数学

反推数学是从定理“反推”公理,每一位数学工作者都可利用这一新方法来开启新研究。追本溯源,反推数学是希尔伯特纲领的一种部分实现。这一相对实现除了延续了希尔伯特纲领的可靠性证明初衷外,无疑也继承了工具主义这一特征,是从实用角度来寻找数学真理。本文将尝试从实用主义哲学的视角出发,进一步探讨反推数学的哲学价值。具体而言,将从以下两方面来进行探讨:首先,结合数学史来论证数学自身的实用性;其次,在说明数学的可修正性之后,基于反推数学纲领,尝试探讨一种实用主义的数学真理观。该真理观以公理化系统为基础,是一种相对的、可修正的、可操作的实用主义真理观。

反推数学及其哲学意义

反推数学是数理逻辑中的一个非常热门的研究领域。与一般的数学实践不同,反推数学不是从公理推导出定理,而是通过"反推"来寻找证明该定理所必需的公理。事实上,反推数学有着深厚的哲学背景:其继承和发展了希尔伯特纲领,是一种希尔伯特纲领的部分实现。文章在简要介绍反推数学及其取得的一些重要成果后,进一步从实用主义角度出发,探讨了反推数学的哲学意义及其重要价值。