【摘要】 在哲思逻辑系统内,有同时遵守矛盾律和排中律的经典否定联结词,有遵守矛盾律而不遵守排中律的构造性否定联结词,有不遵守矛盾律而遵守排中律的弗协调否定联结词,还有既不遵守矛盾律又不遵守排中律的辩证否定联结词。哲思逻辑是可判定的,其判定方法包括分支真值表、分支归谬赋值法和分支树图方法等。更多还原

【Abstract】 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,paraconsistent 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.更多还原