XiaoMi-AI文件搜索系统
World File Search System形式逻辑
计算机代码理解与额顶网络中的形式逻辑推理共享神经资源
摘要 尽管编程对现代社会至关重要，但代码理解的认知和神经基础在很大程度上仍是未知的。编程语言可能会“回收”最初为自然语言开发的神经认知机制。或者，代码理解可能依赖于与其他文化发明的符号系统（如形式逻辑和代数等符号数学）共享的额顶叶网络。专业程序员（平均 11 年编程经验）在接受 fMRI 时执行代码理解和记忆控制任务。同样的参与者还执行了形式逻辑、符号数学、执行控制和语言定位器任务。左侧额顶叶网络被招募用于代码理解。该网络内的活动模式区分了“for”循环和“if”条件代码函数。就底层神经基础而言，代码理解与形式逻辑和数学重叠程度较小。与执行过程和语言的重叠程度较低，但语言和代码的侧向性在个体之间共变。包括代码在内的文化符号系统依赖于独特的额顶叶皮层网络。
类比分类的提议 - 非形式逻辑
奥维耶多大学哲学系 奥维耶多人文校园，33011 西班牙 dalvar@uniovi.es 摘要：在本文中，我将根据类比的内部结构对其进行分类。选择该分类中使用的标准首先需要讨论任何类比的最小组成部分。据此，我将讨论类比与相似性之间以及类比与“同源”之间的区别，并强调操作和程序类比的重要性。最后，我将对不同类型的类比进行分类，这有助于进一步理解类比一般理念的某些调制之间的差异，例如原型、原型、模型、模拟、寓言、范式、经典、地图、思想实验、神话、乌托邦、反乌托邦和寓言。
