一个命题逻辑的排斥演算系统

摘要：

在日常推理中,一般的非有效式比逻辑矛盾具有更大的隐蔽性,通过对卢卡西维茨的工作进行改造,可以建立一个排斥所有非有效式的演算系统,并对其可靠性和完全性给出严格的证明。在此基础上,证明了排斥系统和证明系统的不同性质,这有利于人们进一步认识谬误的本质。

非有效式 排斥演算 等谬

作者简介：

杜国平，中国社会科学院哲学研究所。

基金项目：

国家社科基金重大招标项目(14ZDBO14)。

（本文刊于《安徽大学学报（哲学社会科学版）》2015年第1期）