国家社会科学基金(02BZX047)
- 作品数:4 被引量:89H指数:3
- 相关作者:刘晓力周昌乐更多>>
- 相关机构:北京师范大学厦门大学更多>>
- 发文基金:国家社会科学基金国家自然科学基金更多>>
- 相关领域:哲学宗教更多>>
- 透视哲学研究中的计算建模方法被引量:5
- 2005年
- 传统哲学研究方法在本质上主要是思辨的,但随着非线性科学与计算技术的迅速发展,目前哲学研究中也兴起了全新的计算实验方法。对于那些思辨哲学问题,通过计算模型,可以给出更加形象直观的刻画,从而揭示原先无法认识到的深层内涵。因此,可以把计算化的哲学模型看作是具有复杂结构的思想实验,它打破传统哲学的非精确性,使得计算资源可以为哲学研究发挥作用。这为哲学的研究提供了一种具有革命性的新手段。
- 周昌乐
- 关键词:哲学方法博弈模型
- 从哥德尔定理看禅宗的元逻辑思想被引量:3
- 2005年
- 本文主要从分析哥德尔定理及其逻辑思想出发,来探讨中国禅宗中所蕴涵的元逻辑思想。这种思想,就是在《金刚经》、《坛经》及众多禅宗语录中所体现出来的那些双遣双非证悟方法论思想。如果从逻辑的角度看,它反映其实就是一种特殊意义上的“哥德尔定理”的思想蕴涵。在当代西方科学界已经开始关注禅宗思想的科学阐述的情况下,我们应该珍惜历代禅师留下的十分宝贵的智慧财富,并借此来反思当代逻辑学,乃至科学方法论的困境。
- 周昌乐
- 关键词:禅宗思想哥德尔定理元逻辑
- 加标动态逻辑及其若干应用
- 我们引入一加标动态逻辑,然后用它以及变种逻辑刻画实践、活动程度和活动否定这三个概念。
- 李小五
- 文献传递
- 认知科学研究纲领的困境与走向被引量:5
- 2005年
- 自20世纪70年代以来,"认知可计算主义"研究纲领一直占据认知科学研究的主导地位。但是,由于这一研究纲领建基在"图灵机算法可计算"的概念之上,有其不可克服的内在局限,这也是认知科学和人工智能各种理论困境和实践困难的真正根源。几十年来,认知科学内部发生的从符号主义经联结主义到行为主义工作范式的转换,以及对最初意义上的还原主义基础假设所进行的调整,正是对这一强纲领的局面修正。新近的一些进展显示,认知科学正在面临研究纲领的变迁,应当倡导一种以"认知是算法不可完全的"理念为基础的新的研究纲领。
- 刘晓力
- 关键词:符号主义行为主义工作范式
- 认知科学研究纲领的困境与走向被引量:77
- 2003年
- 自 2 0世纪 70年代以来 ,“认知可计算主义”研究纲领一直占据认知科学研究的主导地位。但是 ,由于这一研究纲领建基在“图灵机算法可计算”的概念之上 ,有其不可克服的内在局限 ,这也是认知科学和人工智能各种理论困境和实践困难的真正根源。几十年来 ,认知科学内部发生的从符号主义经联结主义到行为主义工作范式的转换 ,以及对最初意义上的还原主义基础假设所进行的调整 ,正是对这一强纲领的局部修正。新近的一些进展显示 ,认知科学正在面临研究纲领的变迁 ,应当倡导一种以“认知是算法不可完全的”理念为基础的新的研究纲领。
- 刘晓力
- 关键词:研究纲领工作范式人工智能