| 内涵逻辑发展的新趋势 |
| |
| 引用本文： | 朱建平.内涵逻辑发展的新趋势[J].山东师范大学学报(人文社会科学版),2011,56(2):104-108. |
| |
| 作者姓名： | 朱建平 |
| |
| 作者单位： | 苏州大学,政治与公共管理学院,江苏,苏州,215123 |
| |
| 摘 要： | 内涵逻辑产生于上世纪60年代，如今它已经在计算机学科、人工智能、语言学、哲学甚至数学基础等如此多样性的学科中发挥着强有力的理论和实践工具的作用。对当代内涵逻辑文献的阐述，不仅可以使我们了解内涵逻辑的个性化理论内容，以及表现于这些内容中的新思想和研究成果，同时也可以使我们更好地展望内涵逻辑的发展趋势和研究方向。
|
| 关 键 词： | 内涵逻辑 语义学 证明论的转向 模态化 |
On the Development Direction of the Intensional Logic |
| |
| Zhu Jianping.On the Development Direction of the Intensional Logic[J].Journal of Shandong Teachers' University(Social Science Edition),2011,56(2):104-108. |
| |
| Authors: | Zhu Jianping |
| |
| Institution: | Zhu Jianping(School of Politics and Public Administration,Soochow University,Suzhou Jiangsu 215123) |
| |
| Abstract: | From traditional themes in philosophy and mathematics to the recent branches of knowledge and learning such as cognitive science,computer science,studies on artificial intelligence and linguistics,contemporary intensional Logic is being increasingly employed in many a learning branch far and wide.This fully indicates that the very branch of logic,age-old and youthful at once,is full of vital force and vigor,and demonstrates,at the same time,that its profound oneness and its extensive applicableness.Through ... |
| |
| Keywords: | Intensional Logic semantics doctrine of testification patternization |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
