【数理辩证逻辑导论】赵总宽.pdf
国家教委人文社会科学研究八五规划项目 数理辩证逻辑导论 赵总宽著
前言 本书为国家教委“八五规划”项目“人工智能中数理辩证逻 辑及其应用Prolog。它是一部用 现代逻辑语义学方法和形式化方法给出的辩证逻辑有效推理及形 式公理系统。这里所说的辩证逻辑是指研究互补结构整体的思维 形式及其规律的科学。早在19世纪70年代恩格斯已经指出,辩 证逻辑是现代科学最重要的思维形式。这已被后来现代科学技术 的进一步发展所证实。现代数学基础、原子物理学、经济控制论 和人工智能征的关于事物整体的复杂知识系统,需要 有比经典逻辑语义和语法更丰富的逻辑系统作为其逻辑分析、逻 辑表达和逻
的热情关注和大力支持.领导的大力帮助,特别是为该书的编辑出版王丽云付出了辛勤的 劳动。在本书出版之际,向给予关心和帮助的各位领导、专家和 朋友及提供过宝贵意见的研究生、本科生表示衷心的感谢.由于本书研究内容本身的复杂性和高难度与作者能力及水平 所限,一定尚有许多不足和有待改进之处。恳切希望得到学术界 专家、各位朋友和广大读者的批评指正.作者 1994.