【论建立统一的逻辑科学体系】胡龙彪.pdf

所在单位(本校填系、所):哲学系专业:逻辑学研究方向:现代逻辑与人工智能指导教师或推荐人姓名职称(在职人员填后者):赵总宽教授统一、科学体系、数学方法、论文主题词:辩证逻辑、现代化

导言任何科学的发展都是要经历统一—分化一再统一以至无穷的循序前进过程,逻辑学也一样。最早以亚里士多德(Aristoteles,前384一前322)为代表的古典形式逻辑实质上是一个包含有现代逻辑绝大多数分支的萌芽的统一体。然而由于受当时科学发展水平等诸多条件的限制,亚氏的统一逻辑体系还只是一个初级统一体,就是亚里士多德本人也没有自觉地意识到把各分支逻辑统一起来的重要性。科学的统一是为了总结这门科学各个分支的发展成果,把握各个分支之间的内在的本质的联系,从整体上抽象出在这门科学中普遍适用的真理,充分发挥其对实践的指导作用,而分化则是为了获得对这门科学研究对象不同方面、不同层次的具体

变形规则:代入规则、分离规则、定义置换规则、命题换位规则、等值置换规则、全称可推特称规则.这样,就可以根据Barbara和Celarent这两个公理,运用变形规则(即推理规则),推导出整个三段论的各个有效公式(即定理)。这完全符合现代公理化系统的要求:从少数不加定义的原始概念和少数不加证明的公理出发,运用逻辑推理的规则和规律推演出一系列定理。这样构造起来的亚里士多德的三段论演绎公理系统,不包含任何错误,并且是无矛盾的、协调的、可判定性的.亚里士多德的三段论主要还是以自然语言去描述,这使它仍属于传统形式逻辑理论。