中国辩证逻辑形式化研究史上的一段公案——在张金成、陈晓平和桂起权、张清宇之间  

A Controversial Case in the History of Research on the Formalization of Chinese Dialectical Logic:Among ZHANG Jincheng,CHEN Xiaoping with GUI Qiquan,and ZHANG Qingyu

作　　者：万小龙 肖瑜 WAN Xiaolong;XIAO Yu(School of Marxism,University of Electronic Science and Technology of China,Chengdu 611731,China)

机构地区：[1]电子科技大学马克思主义学院,四川成都611731

出　　处：《山西大学学报(哲学社会科学版)》2025年第1期16-26,共11页Journal of Shanxi University(Philosophy and Social Science Edition)

基　　金：国家社科基金重大项目“量子信息科技哲学及其逻辑基础研究”(22&ZD046)。

摘　　要：20世纪90年代初,张金成构造了Z系统,Z表示对立统一的辩证否定。陈晓平和桂起权给予Z系统高度评价,并从中推出“否词转换律”等定理;张清宇证明Z系统属于正规模态系统,但认为Z是“不可能”,不能表示辩证否定的自然语义;陈晓平又跨越三十多年,前后两次撰文对张清宇的观点在自然语义及哲学上进行商榷。Z系统确实是一个辩证逻辑形式系统,但“否词转换律”揭示了它只表达一重“否定之否定”;其“超越语义”可转录为可能世界语义,但恰恰缺失了表示对立统一性的“第三世界”。张金成随后对Z系统的几次修正逐步偏离了他开创的模态进路。STRF理论基于对模态及多值本性的彻底澄清,认为可将Z系统看作是模态进路的普遍性辩证逻辑形式“哲思逻辑”的一个扩充。In the early 1990s,ZHANG Jincheng constructed the Z system and Z was the dialectical negation of the unity of opposites.CHEN Xiaoping and GUI Qiquan spoke highly of Z system,and deduced some interesting theorems including the“Law of Negative Word Conversion”from it;then ZHANG Qingyu proved that Z system belongs to the series of normal modal systems,and Z is“non-possibility”,so it can't express the natural semantics of Hegel's dialectical negation;Moreover,CHEN Xiaoping has written two successive articles deliberating on ZHANG Qingyu's viewpoint in natural semantics and philosophy across more than 30 years.In fact,Z system is indeed a dialectical logical formal system.However,the“Law of Negative Word Conversion”reveals that Z system can only express single“negative of the negation”.Its“transcendental semantics”can be transcribed into possible world semantics,but it just lacks“the third world”that represents the unity of opposites.ZHANG Jincheng's subsequents modifications to the Z system gradually deviated from the modal approach he had pioneered.Based on a through clarification of modal and many-valued natures,STRE theory holds that the Z system can be regarded as an extension of“philosophizing logic”,the universal dialectical logic form,of the modal approach.

关 键 词：辩证逻辑 Z系统 辩证否定 否定之否定 

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