关于互补性逻辑、辩证逻辑及次协调逻辑——对马佩教授挑战的一种回应  

作　　者：桂起权[1] 

机构地区：[1]武汉大学哲学学院,湖北武汉430070

出　　处：《河南社会科学》2010年第2期57-60,共4页Henan Social Sciences

摘　　要：1.玻尔的黎曼面模型是互补性的语义模型,恰当地表征了辩证矛盾与逻辑矛盾之间的相互关系,恰当地刻画了互补性的逻辑结构。"互补性"的要点是"相反相成"或"互补又互斥",说的是矛盾双方既互相排斥又互相联结而形成统一体,因此它与辩证法的核心思想相一致。2.与马佩先生主要从语义角度着手不同,次协调逻辑学者主要从句法角度对矛盾进行划分,考虑形式系统允许或不允许哪一种矛盾。3.所谓辩证逻辑的形式化,就是像多种非经典逻辑那样采用形式化手段,对辩证法的现实原型进行恰当刻画和再现。我们认为,关键在于要保证兼有次协调逻辑/相干逻辑/模糊逻辑的禀性:(1)有次协调性(能刻画有意义的矛盾,而不会使得每一个公式都变成定理);(2)有相干性(避免不相干的推理);(3)能恰当刻画模糊性(即恩格斯所说的恰当地承认"亦此亦彼");(4)有表征辩证法特有原理的公理组。

关 键 词：互补性逻辑 黎曼面模型 辩证逻辑的形式化 次协调逻辑 模糊逻辑 相干逻辑 

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