关于互补性逻辑、辩证逻辑及次协调逻辑——对马佩教授挑战的一种回应 |
| |
引用本文: | 桂起权.关于互补性逻辑、辩证逻辑及次协调逻辑——对马佩教授挑战的一种回应[J].河南社会科学,2010,18(2). |
| |
作者姓名: | 桂起权 |
| |
作者单位: | 武汉大学,哲学学院,湖北,武汉,430070 |
| |
摘 要: | 1.玻尔的黎曼面模型是互补性的语义模型,恰当地表征了辨证矛盾与逻辑矛盾之间的相互关系,恰当地刻画了互补性的逻辑结构."互补性"的要点是"相反相成"或"互补又互斥",说的是矛盾双方既互相排斥又互相联结而形成统一体,因此它与辩证法的核心思想相一致.2.与马佩先生主要从语义角度着手不同,次协调逻辑学者主要从句法角度对矛盾进行划分,考虑形式系统允许或不允许哪一种矛盾.3.所谓辩证逻辑的形式化,就是像多种非经典逻辑那样采用形式化手段,对辩证法的现实原型进行恰当刻画和再现.我们认为,关键在于要保证兼有次协调逻辑/相干逻辑/模糊逻辑的禀性:(1)有次协调性(能刻画有意义的矛盾,而不会使得每一个公式都变成定理);(2)有相干性(避免不相干的推理);(3)能恰当刻画模糊性(即恩格斯所说的恰当地承认"亦此亦彼");(4)有表征辩证法特有原理的公理组.
|
关 键 词: | 互补性逻辑 黎曼面模型 辩证逻辑的形式化 次协调逻辑 模糊逻辑 相干逻辑 |
本文献已被 万方数据 等数据库收录! |
|