弗完全逻辑P_1及其容忍悖论的逻辑机制

Paracomplete Logic P_1 and Logic Mechanism of Tolerate Paradox

弗完全逻辑P1是一种允许一个命题及其否定可以同时都为假的逻辑系统,即在该逻辑系统中一般意义的排中律将不再有效。文章在给出的标准语法和语义的基础上,对弗完全否定的逻辑涵义进行了直观解释,并分析了其逻辑语义特征;给出了弗完全逻辑拟真值表的具体列法,表明了系统P1的可判定性;利用拟真值表方法,表明了一般意义排中律在P1中的失效;对弗完全逻辑P1可以容忍逻辑悖论的逻辑机制进行了解析,并就此将弗协调逻辑C1和P1进行了容忍能力的比较。

Paracomplete logic P1 is a logic system allowing a proposition and its negation to be false at the same time, i.e., the general law of excluded middle in this logic system would be futile. Based on the standard grammar and syntax, this paper explains the logic implication of paracomplete negation, an？alyzes the logic syntactic characteristics, testifies the decidability of paracomplete logic quasi matrix with specific lining method, demonstrates the futility of general law of excluded middle in P 1 with quasi matrix method, analyzes the logic mechanism of paracomplete logic P 1 ’ s tolerance on logic paradox, and thus compares paraconsistent logic C1 and P1 on their tolerant ability.