WHY “SUBLOGIC? (A STUDY IN UNIVERSAL LOGIC)
In this paper we provide many different reasons to support a fundamental problem “Why sublogic? for logicains and computer scientists through taking Béziau’s Translation Paradox as the beginning. Historically speaking, we see intuitionistic propositional logic (IPL) firstly as a sublogic of classical propositional logic (CPL). However, it is shown that CPL could be translated into IPL and not on the contrary, i.e., we could find a copy of CPL in IPL (Béziau’s Paradox). It seems that we could not say IPL is indeed weaker or stronger than CPL. We should make the meaning of sublogic and the strength of logics clear in the framework of logical translation. Besides, we intend to promote a new viewpoint of seeing the sub-super relation between logics based on the spirit of universal logic (Section 2). It is helpful for us to provide another nice reason to explain the question, “Why sublogic?.
Logical translation sublogic classical propositional logic intuitionistic propositional logic universal logic.
TZU-KENG FU
Institute of Philosophy,University of Neuchatel,Neuchatel,Switzerland
国际会议
2008高等智能国际会议(2008 International Conference on Advanced Intelligence)
北京
英文
2008-10-18（万方平台首次上网日期，不代表论文的发表时间）