正规经典逻辑BFc的次协调性及推理悖论的解决(上)

The Paraconsistency of Canonical Classic Logic(BFc) and the Solution of Inferential Paradox

经典逻辑BF是应用最广的一种系统,但存在悖理。本文指出,这仅是“推理”悖理,通过分析提出了解决方法,完成了次协调性的构造。

Classic Logic BF, is one of the most widely applied logic system which however contains paradox. This paper argues that it is inferential paradox. We advance the method of eliminating this kind of paradox through analysis and thus construct Paraconsistent Logic system, BFc.