来源：期刊VIP网 时间：
作者：万小龙;肖瑜;
单位：电子科技大学马克思主义学院;
摘要：20世纪90年代初，张金成构造了Z系统，Z表示对立统一的辩证否定。陈晓平和桂起权给予Z系统高度评价，并从中推出“否词转换律”等定理；张清宇证明Z系统属于正规模态系统，但认为Z是“不可能”,不能表示辩证否定的自然语义；陈晓平又跨越三十多年，前后两次撰文对张清宇的观点在自然语义及哲学上进行商榷。Z系统确实是一个辩证逻辑形式系统，但“否词转换律”揭示了它只表达一重“否定之否定”;其“超越语义”可转录为可能世界语义，但恰恰缺失了表示对立统一性的“第三世界”。张金成随后对Z系统的几次修正逐步偏离了他开创的模态进路。STRF理论基于对模态及多值本性的彻底澄清，认为可将Z系统看作是模态进路的普遍性辩证逻辑形式“哲思逻辑”的一个扩充。
关键词：辩证逻辑;;Z系统;;辩证否定;;否定之否定
基金资助：国家社科基金重大项目“量子信息科技哲学及其逻辑基础研究”(22&ZD046)
