认知哲学名词术语定义表

以下是认知和人工智能以及数据科学中常涉及的哲学术语：

意识：
意识这个词有十几种常见用法，而且都很有趣。常识包括：自我意识、语言认知和驾驭环境的能力。这个词的含义往往是：体验的事实，体验的存在，并且感觉像是存在的东西。宽松地、唤起性地谈论——而不是正式地、精确地——意识指的是“经验是由什么组成的”。当然，要使这一陈述形式化，需要对物质、时间、自我等的本质进行大量的分析。

本体论：
在最基本的层面上，本体论是对真实和存在的事物的描述。参考：1

认识论：
一套策略、启发式方法和认知方法。在意识研究的背景下，什么构成了良好的认识论是一个备受争议的话题。

• 一些科学家认为，我们应该只考虑客观可测量的第三人称数据，以便建立模型并假设有关意识的理论
• 一些人认为唯一重要的信息是第一人称经历以及它们向我们揭示的内容（参见新神秘主义）

存在主义
认为只有现在才是真实的，过去和未来都是现在做出的虚幻的推论和预测。当下主义常常认为变化是当下的一个基本方面，时间流逝的感觉是基于现实本身不断变化的本质。参考：1

取消主义
在《心灵哲学》中，取消主义指的是一系列关于“意识”这个词是否足够清晰以有助于理解大脑如何工作的观点。消除主义观点的一个关键思想是，我们用来谈论经历（从特定情感到感受性）的大部分语言都是建立在民间心理学之上，而不是物理现实之上。在某种程度上，“体验”和“感受”等术语是大脑以一种极其简化但适应性强的方式对自身和他人进行建模的接口。我们对大脑如何工作的进化直觉没有理由应该接近它的实际工作方式。在许多情况下，消除主义者主张从头开始，放弃我们对经验的直觉，坚持根据经验测量对大脑进行严格的物理和计算分析。这种观点表明，一旦我们真正科学地理解大脑是如何工作的，我们用来谈论它的语言将与我们目前谈论我们的经历的方式完全不同，而且这种变化将是如此巨大，以至于我们会有效地开始思考如果“意识从一开始就不存在”。

形式主义
形式主义是一种用于分析系统的哲学和方法论方法，它假设数学对象的存在，使得它们的数学特征与系统的属性同构。成功形式主义的一个例子是使用麦克斯韦方程组来描述电磁现象。 参考：1 , 2

感性形式主义
感质形式主义意味着对于任何给定的有意识的物理系统，都会有一个与之相关的相应数学对象，使得该对象的数学特征将与系统生成的经验的现象学同构

马尔的分析层次
这个强大的分析框架是由认知科学家 David Marr 开发的，旨在更准确地讨论视觉，但它更广泛地适用于一般信息处理系统。这是一种以概念清晰的方式分解系统功能的方法，有助于进行清晰的分析。

• 计算水平（标准认知科学术语；参考：1 , 2）：马尔的三个分析级别中的第一个，抽象的计算级别从第三人称的角度描述了系统的功能。也就是说，输入-输出映射、它可以解决的问题的运行时复杂性以及它失败的方式都是关于处于抽象计算级别的系统的事实。在一个简单的示例中，我们可以在计算级别上描述算盘，说它可以进行求和、减法、乘法、除法和其他算术运算。
• 算法层面（标准认知科学术语；参考：1 , 2）：马尔的三个分析层次中的第二个，即抽象的算法层次，描述了用于将输入转换为输出的内部表示、操作及其交互。总的来说，表示、操作及其交互构成了系统的算法。作为一般规则，我们发现有许多可能的算法可以产生相同的计算级属性。按照算盘的简单示例，算法级帐户将描述如何将珠子从一侧传递到另一侧并使用每一行表示不同的数量级来实例化算法以执行算术运算。
• 实施层面（标准认知科学术语；参考：1 , 2）：马尔的三个分析级别中的第三个，抽象的实现级别描述了系统算法的物理实例化方式。以算盘为例，实施层面的说明将详细说明算盘的各种材料如何组合在一起，以便让珠子在每排两侧之间顺利通过，以及如何防止它们意外滑动（以及“忘记”状态）。

层级之间的互动（模糊的认知科学概念句柄；参考：1、2）
通过分别描述马尔的每个分析级别，可以完全理解一些信息处理系统。例如，算盘是由金属、木材制成的，甚至是为了解释其算法和计算级属性而进行数字模拟的，都无关紧要。虽然算盘确实如此，但对于利用其组件的独特物理特性来进行计算捷径的模拟系统来说，情况并非如此。特别是，在量子计算中，本质上需要了解系统的实现级属性，以便解释所使用的算法。因此，对于量子计算来说，分析级别之间存在很强的相互作用。同样，我们相信我们的大脑通过利用感受性的独特属性来执行的算法很可能就是这种情况。

模因
（理查德·道金斯创造的标准科学/心理学术语；1）
“模因”是一种能够从一个思想传播到另一个思想的文化信息单位。迷因的例子包括笑话、帽子风格、装饰性的调色板和迷信。