哲思逻辑的判定问题  

The Decision of Metaphysical Logic

作　　者：杜国平[1] 马亮[2] 

机构地区：[1]南京大学现代逻辑与逻辑应用研究所,江苏南京210093 [2]广西大学公共管理学院,广西南宁530005

出　　处：《安徽大学学报（哲学社会科学版）》2007年第5期34-38,共5页Journal of Anhui University(Philosophy and Social Sciences Edition)

基　　金：国家社科基金项目(02CZX0080);教育部人文社会科学重点研究基地重大项目(05JJD720.40002)

摘　　要：在哲思逻辑系统内,有同时遵守矛盾律和排中律的经典否定联结词,有遵守矛盾律而不遵守排中律的构造性否定联结词,有不遵守矛盾律而遵守排中律的弗协调否定联结词,还有既不遵守矛盾律又不遵守排中律的辩证否定联结词。哲思逻辑是可判定的,其判定方法包括分支真值表、分支归谬赋值法和分支树图方法等。In the metaphysical logic system, there are various negation operators： classical negation operators which comply both with the law of contradiction and with the law of excluded middle, constructive negation operators which comply with the law of contradiction but not with the law of excluded middle, paraconsis- tent negation operators which comply with the law of excluded middle but not with the law of contradiction, and dialectical negation operators which comply with neither the law of contradiction nor with the law of excluded middle. Metaphysical logic is decidable. Its decision method includes ramified truth-value table, ramified valuation of reduction to absurdity and ramified tree diagram, etc.

关 键 词：哲思逻辑 分支真值表 分支归谬赋值法 分支树图方法 

分 类 号：B815[哲学宗教—逻辑学]