动态逻辑的双重性:程序化与结构化  

The Duality of Dynamic Logic:Programming and Structuralization

作　　者：郝一江[1] HAO Yi-jiang(Institute of Philosophy,Chinese Academy of Social Sciences,Beijing100732,China)

机构地区：[1]中国社会科学院哲学研究所,北京100732

出　　处：《贵州工程应用技术学院学报》2022年第2期58-62,共5页Journal of Guizhou University Of Engineering Science

基　　金：国家社科基金后期项目“人工智能视域下的一阶动态逻辑与Agent行为推理及其哲学反思”,项目编号:20FZXB037。

摘　　要：随着计算机科学和信息科学的发展,形式化的现代逻辑逐渐与数学融为一体,难分彼此。动态逻辑不但像现代逻辑的其他分支一样,实现了符号化、公理化和形式化,而且还具有程序化特征和结构化特征。动态逻辑是程序化的多模态逻辑,具有明显的程序化特征。动态逻辑是在集合论和模态逻辑的基础上发展起来的多个程序逻辑的总称,集合论不但是动态逻辑的基本语言,而且也是定义数学结构的前提和产生数学结构的基础与载体,因此,动态逻辑具有明显的结构化特征。With the development of computer science and information science,formal modern logic is gradually integrated with mathematics,and it is difficult to distinguish each other.Like other branches of modern logic,dynamic logic not only realizes symbolization,axiomatization and formalization,but also has characteristics of programming and structuralization.Dynamic logic is a multi-modal logic which can reason about programs and has obvious characteristics of programming.Dynamic logic is the general name of multiple program logics which developed on the basis of set theory and modal logic.Set theory is not only the basic language of dynamic logic,but also the premise of defining mathematical structure and the basis and carrier of generating mathematical structure.Therefore,dynamic logic has obvious characteristics of structuralization.

关 键 词：动态逻辑 数学 程序 结构 

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