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