反驳系统的思想源流与前沿发展

Origins and Frontiers of Refutation System

2011年,“命题逻辑的反驳系统”作为第二版《哲学逻辑手册》的第二章出版。①反驳系统源自于逻辑史上著名的波兰学派扬·卢卡西维茨的命题排斥思想,而后者则源自于亚里士多德关于三段论的研究。1996年,张清宇先生发表了他写于1986年的一篇关于“证伪系统”的论文,国内开始关注并研究这一领域。本文试图详细叙述命题排斥概念的起源、发展和推广,同时,按照卢卡西维茨及其学生斯卢派斯基等先驱的理解,概述在研究排斥和演绎系统的可判定性等概念的方法论中取得的许多重要成果。