共查询到10条相似文献,搜索用时 78 毫秒
1.
建立主体认知推理模型涉及对各种认知算子的逻辑特征的系统分析,以及主体认知世界的界定及结构分析这样两个层次的问题。如果说分析认知算子旨在建立具有普遍适用性的逻辑排演系统,那么主体认知世界的分析及界定则总是同具体问题相关因而足局部的,其关键是主体知识库的表达问题。本文讨论了概念逻辑ALCKB系统,说明以其为基础建立主体模型,能够在统一的框架中表达的描述主体的知识信仰,以及主体在其中活动的世界。 相似文献
2.
技术系统在其进化过程中呈现一定的内在逻辑,依照丹尼特的理论,似乎技术系统本身具有心智和目的,但事实上是技术系统及其功能体现人类投射与之的主体意向。对系统行为进行解释和预测,可以根据系统的不同类型及其复杂程度分别按照三种不同立场来操作:物理立场、设计立场和意向立场,但意向性解释立场是有潜在风险的,这种风险是使主体漠视和遗忘了对象简单功能背后的复杂性及与复杂性伴生的风险的认知。 相似文献
3.
皮亚杰改造数理逻辑并用来刻画儿童的认知结构.这一改造过的逻辑受到的多是指责和批评.这些批评有其合理性,但却过于专注于细节和系统的不完美.立足于当代各门认知科学的发展,我们应该对此做出新的、整体的评价.从逻辑学来看,皮亚杰的逻辑更新了我们对逻辑的观念,成为解决逻辑认识论问题的基础;从心理学来看,用逻辑结构来刻画认知结构,开辟了心理学研究的新方向;从认知科学来看,皮亚杰逻辑的跨学科研究为认知科学的跨学科合作提供了样板等. 相似文献
4.
本文首先介绍动态认知逻辑的发展由来和研究背景。再以动态认知逻辑的的一个基础系统——公开宣告逻辑(public armouncement logic简称PAL)为例。从而介绍动态认知逻辑研究的一些基本思路和方法,重点考察动态认知逻辑是如何完成静态向动态的转换。 相似文献
5.
6.
7.
哈克在继承皮尔士、蒯因、普特南等人的思想基础之上,主张更加彻底的实用主义逻辑观,先后至少提出了五个主要论证:实用主义论证、演绎问题论证、发生学论证、认识论论证和历史学论证,分别给出了经验决定的不充分性、演绎的不可绝对证成性、形式化方法的固有局限性、认知主体理性的有限性和逻辑历史的曲折多样性等五个基本理由,从不同角度捍卫了逻辑的可修正性。 相似文献
8.
9.
10.
《自然辩证法研究》2017,(3):3-8
现代逻辑肇始于莱布尼茨,在布尔和弗雷格处发生了分流,形成了所谓的逻辑的代数传统和逻辑的语言传统,然而,无论是代数传统亦或者是语言传统都与莱布尼茨的逻辑学纲领(即:"作为科学、数学和哲学"的基础)相去甚远。在图灵机理论中,图灵核心阐述了"自动机"和"指令表语言"这两个概念,这两者很好地契合了莱布尼茨关于"理性演算"和"普遍语言"的构想,可以说,图灵机理论最为接近莱布尼茨的逻辑学纲领,也跳出代数传统和语言传统,另辟蹊径,形成了一种新的"作为计算的逻辑"传统(也可以称为"计算传统")。"作为计算的逻辑"实质上是一种"主体转向","以往的逻辑"是当仁不让地以人类为主体,研究的对象是人的思维、自然语言种种,"作为计算的逻辑"则是将计算机作为信息处理的主体,研究的是计算机的处理方式以及人与计算机的互动关系。 相似文献