摘要
随着计算机科学和人工智能领域研究的不断深入,经典逻辑理论得到了广泛应用和发展,逻辑研究的观念、对象和方法也发生了变革。逻辑的作用不再仅仅局限于有效推理,而是比较全面地研究主体思维活动中存在的程序、模式、方法和准则。本文以实践思维为元思维(逻辑),从方法论的角度分析现代逻辑发展的动因,探讨实践思维在具体学科发展中的重要指导作用。
With the development of computer science and the deepening study within the field of Artificial Intelligence,Classical Logics Theory have widely been applied and developed,Logic idea on study,objects and methods have also had their transformation.The logical function no longer merely was confined to the effective inference,but has been applied to comprehensive discussion about the programs,patterns,methods and rules in agent's thinking activities.This paper takes the practical thought as meta-thought(logics),analyzes the motivations of the development of the modern logics from the views of methodology,along with exploring effects of the practical thought for development of concrete sciences.
出处
《暨南学报（哲学社会科学版）》
CSSCI
北大核心
2010年第1期140-145,共6页
Jinan Journal(Philosophy and Social Sciences)
基金
国家社会科学基金项目<现代逻辑在人工智能中的应用研究>(批准号:04BZX046)
关键词
实践思维方式
逻辑转向
动态认知逻辑
哲学分析
practical way of thinking
Veer of Logic
dynamic epistemic logic
philosophical analysis
