文档介绍：多元化的辩证逻辑形式化研究
桂起权收稿日期:2001-12-08
作者简介:桂起权(1940—),男,武汉大学哲学系教授、博士生导师。
(武汉大学哲学系,430072)
(发表于云南《学术探索》2002(1))
【摘要】本文对20世纪80年代以来中国学者在辩证逻辑形式化方面的研究,作了简要述评,涉及到多种形式化的思路和成果。在此基础上,笔者提出坚持多元化的研究方向和借鉴其他非经典逻辑有用成果的主张,以促进21世纪辩证逻辑的形式化研究。
【关键词】辩证逻辑形式逻辑矛盾形式化多元化
【中图分类号】 【文献标识码】A 【文章编号】1006-723X(2002)01-0023-03
赵总宽已在《逻辑学百年》[1]中对国内辩证逻辑形式化研究,从他体会最深的角度作了详细论述,笔者只想补充一些被他忽视或未加强调的方面.
一
我认为,对于国内辩证逻辑形式化研究来说,1982年8月在昆明召开的全国辩证逻辑会议的确是一个良好的开端。当时有三个专题报告与这个议题相关:(1)林邦瑾的《一个“矛盾”命题的无矛盾形式》;(2)桂起权的《对应原理对辩证逻辑的作用》;(3)赵总宽的《再论辩证矛盾和逻辑矛盾》[2]。赵总宽讨论了对辩证矛盾命题作精确的形式刻画及其相应的形式推理的抽象可能性;林邦瑾的工作则更进一步,他具体运用集合论、极限论(微积分)与衍推逻辑(entailment logic)的工具,对黑格尔与恩格斯关于“运动本身就是矛盾,……物体在同一瞬间既在一个地方又不在这一个地方”的论断,作了精确刻画。
林邦瑾处理技巧的要点可以复述如下:
(1)他采用“无穷小分析”的眼光不把“瞬间”和“地点”当作一个固定的、孤立的点,而是当作一个无穷小的过程和区间。(2)“瞬间”可以分析为时间,又进一步分析为“前半瞬间”和“后半瞬间”。(3)“地点”可分析为空间区间,又可分析为“前一半地点”和“后一半地点”。(4)“同一瞬间在同一地点”的精确说法是:“若时间在整个瞬间,则位置在整个地点”;符号表达式为。(5)最关键的是:“同一瞬间不在同一地点”的精确说法是:若时间进到这后半瞬间,则位置不在那前一半地点;符号表达式为
。其中“若,则”用半箭头的衍推号来表示。(4)(5)合取能刻画“既在又不在”。(6)通过无限增加中间点,时间区间、空间区间都被无限细分,全瞬间与后半瞬间在极限情况下变为同一,整个地点与后一半地点也实现“极限同一”。这无限多个包含无穷小时空区间的命题的合取,实际上无限精确地刻画了关于运动的辩证矛盾的逻辑内容。林邦瑾认为,真正的辩证式只有这一个类型(无限式),它可以与诡辩或逻辑矛盾严格划界。其它的“既是又不是”的表述都不是真正的辩证矛盾,都可消解掉。这是辩证逻辑形式化取得初步成功的第一个系统化的典型案例(正式发表时改名为《数学方法在辩证逻辑中的运用》)。有趣的是,最近陈慕泽告诉我,他将在湘潭师范大学学报发表《一个著名的辩证命题的形式证明》一文,也是对“运动物体同一瞬间既在又不在同一地方”作形式化处理,他也认为这是辩证矛盾命题的唯一合理形式,与林邦瑾存在某些不谋而合之处,但所用集合论技巧却大不一样。陈的目标是,对于那个以往只能用思辨方式把握的典型辩证命题,而如今要在相关的形式刻画和逻辑模型的基础上,提供一个形式证明。不可否认,对运动的精确而自洽