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

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

布尔逻辑思想初探

以布尔命名的“布尔代数”作为数学分支，在现今计算机科学领域蓬勃发展，那么布尔本人的逻辑思想在逻辑史上的地位应重新审视。从布尔对莱布尼茨的发展，布尔逻辑的形式和形式化的区分以及布尔和直言三段论的关系三个角度展开的分析，是凸显布尔逻辑思想当代价值的关键。     

艺术善的解构──兼论艺术之真善美的关系

美学史上艺术的真善美关系问题一直未能很好解决，其重要原因是对艺术的善未能作出正确的解释。本文认为，就艺术而言，善有三层含义；现实的伦理之善，主体的道德之善，艺术的审美之善。审美创造主体层面的真善美经由艺术形式的审美化处理才能转化为艺术的真善美，这时三者才是真正实现了统一，它们共同构成艺术的价值系统。     

一种用于循环程序形式化验证的划分归纳方法

为了提高软件的可靠性,人们一直在形式化验证和软件测试两个方面进行不懈的努力。本文利用划分测试中的自动分割替代技术,针对循环程序的输入域,提出了一种划分算法,并在此算法的结果上建立一种划分归纳方法,它能简化循环程序的形式化验证过程。     

多元化的辩证逻辑形式化研究

本文对 2 0世纪 80年代以来中国学者在辩证逻辑形式化方面的研究 ,作了简要述评 ,涉及到多种形式化的思路和成果。在此基础上 ,笔者提出坚持多元化的研究方向和借鉴其他非经典逻辑有用成果的主张 ,以促进 2 1世纪辩证逻辑的形式化研究     

再谈辩证逻辑

苏联逻辑学界曾认为“形式逻辑辩证化”是错误的,这个说法不能成立。辩证逻辑原是范畴体系,否认辩证逻辑是哲学,辩证逻辑就将失去最后的立足点。“马克思主义的科学逻辑学”这种说法慎提为要。类的包含于关系的传递性是思维形式barbara的抽象内容。辩证逻辑要真正成为逻辑,必须形式化,而形式化必须遵守形式化的“游戏规则”。     

国有企业治理悖论

公司治理的基本制度就是委托代理制 ,而委托代理制的深层次问题就是在所有权与经营权分离的条件下权利的配置问题。国有企业公司化改造的法人治理结构形同虚设 ,收效甚微 ,是因为政府与企业之间关系刚性的存在 ,导致政府与企业的异质性博弈 ,结果引起国有企业治理的形式化。对于同质性博弈而言 ,博弈本身就是一种约束 ,而对于异质性博弈来说 ,则会导致效率损耗。在政府与企业之间进行异质性博弈时 ,双方处于一种非均势的博弈态势 ,博弈的结果取决于对方的异质强制力。异质性博弈表现出较多的不稳定性 ,而且在双方强制力支配下形成的异质性博弈往往是效率较低的。改革以来 ,我国国有企业制度变迁进度缓慢 ,并发生大面积亏损 ,从根本上看 ,就是由于政府和企业的关系刚性引发异质性博弈而造成的     

逻辑方法转换的必然性述评

纵观古今,西方逻辑的发展,呈现出内容的多变性、视角的多向性、形式的多样性,从而导致方法的多元化。从古希腊逻辑直面生活世界的有效论证方法,到近代以后清晰表达思想的系统符号化方法,再到当今处理日常推理的可交往方法,表现出形式化与非形式化的转换与融合,这是逻辑学自身发展的内在需要,也是相关边缘学科发展的必然要求。     

论90年代文学审美意识走向

90年代以来,文学审美经历了政治群体意识向自由个体意识的激变并形成了三个生成点:追求一种以零度情感为特征的叙事策略,使审美形式化;以苟安的众生相描绘为特点的审美庸俗化;颓废美成为作家价值失范、精神虚无中的无奈追求。这三种审美趋势反映在作品中则呈露出大面积的审美感性泛化趋势,要不要重返理性王国应成为90年代以来文学面临的重要问题。     

从六朝诗看中国古典诗歌结构的演进

“入题－铺写－反应”的“三部式”结构是六朝诗歌的“定准”结构，其中“铺写”是主体支撑部分；而“对仗”又是“铺写”环节中的关链要素，对仗集中于“三部式”结构中间部分所蕴含的“美学动机”则是利用其独具的工稳对称性，将意象、声律统一进结构之中，建构起一个更具多维空间形态的诗歌系统结构。