认知逻辑

作品数：410被引量：807H指数：12
导出分析报告
相关领域：哲学宗教文化科学更多>>
相关作者：郭美云崔建英刘奋荣陈晓华李娜更多>>
相关机构：西南大学清华大学中国人民大学南京大学更多>>
相关期刊：更多>>
相关基金：国家社会科学基金国家自然科学基金中央高校基本科研业务费专项资金教育部人文社会科学研究基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=逻辑学研究x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
《社会认知逻辑》述评
《逻辑学研究》2024年第2期112-115,共4页臧艳雨 
刘奋荣,社会认知逻辑,北京:清华大学出版社,2023年1引言作为一门以精确性和形式化著称,以探求人类思维和推理规律为目标的古老学科,逻辑学在二十世纪引起社会科学的关注,关于逻辑与社会文化之关系的探讨由之而生,如早期涂尔干(é. Durkh...
关键词：清华大学出版社 认知逻辑 涂尔干 逻辑思维 社会科学 形式化 逻辑学 人类思维 
公开宣告逻辑的一个加标矢列演算
《逻辑学研究》2023年第3期89-107,共19页吴昊 汉斯·范·狄马希 陈锦盛 
公开宣告逻辑(PAL)是在认知逻辑(EL)中添加归约公理得到的拓展。本文为PAL提出一个无切割定理的加标矢列演算系统,该系统是在EL的加标矢列演算系统上添加归约公理对应的矢列规则得到的拓展,且切割可允准、支持停机搜索。
关键词：认知逻辑 归约 公理 PAL 加标 切割 
直觉主义认知逻辑与不同程度的真被引量：1
《逻辑学研究》2023年第1期55-67,共13页程华清 
教育部人文社会科学研究青年基金项目“直觉主义认知逻辑及其哲学意蕴研究”(21YJC72040001);国家社科基金重大项目“逻辑词汇的历史演进与哲学问题研究”(20&ZD046)。
直觉主义认知逻辑IEL不仅为邱奇–费奇悖论提供了解悖思路,还促进了直觉主义认识论的研究。IEL的构建旨在遵循BHK解释,以“直觉主义知识就是证实的结果”作为核心观点,接纳A→KA和KA→??A。IEL的预期解释借助“证实”概念给出了“直觉...
关键词：直觉主义认知逻辑 BHK解释 真 中间逻辑 
基于广义框架的概率认知逻辑
《逻辑学研究》2022年第4期57-75,共19页邓美林 郭美云 
国家社科基金重点项目“概率更新的动态认知逻辑研究”(21AZX013);西南大学创新研究2035先导计划(SWUPilotPlan030)。
概率认知逻辑将认知和概率推理融合到同一个逻辑框架中。本文提出了一个基于广义框架的概率认知模型,并讨论了这一模型与已有两种概率认知模型的关系。基于广义框架的概率认知模型能为任意概率认知逻辑公式指派概率,因而是一种比较理想...
关键词：概率认知逻辑 广义框架 认知逻辑 概率逻辑 概率指派 
混合公开宣告逻辑
《逻辑学研究》2020年第2期41-57,共17页何键枫 王轶 
国家社科基金青年项目(16CZX048)。
人类在思考问题时,常常伴随着对各种可能情形的审视。在经典公开宣告逻辑中,排除掉不可能的情形即实现对信念的修正。为了能够在语言中直接表达可能情形,本文探讨公开宣告逻辑的混合化,即增加用于指称可能情形的专名。结合对直接和间接...
关键词：认知逻辑 混合逻辑 模态逻辑 公开宣告逻辑 直接宣告 间接宣告 
群体简单宣告逻辑被引量：1
《逻辑学研究》2018年第1期1-22,共22页徐康 王轶 
国家社科基金青年项目(16CZX048)
群体宣告逻辑在公开宣告逻辑基础上增加用于刻画群体宣告的算子,其中的"群体宣告"是指群内个体的一阶或高阶知识被同时、公开、真实地宣告。然而,很多场合下通常并不接受个体宣告高阶知识。本文所探讨的群体简单宣告逻辑只允许群内个体...
关键词：认知逻辑 模态逻辑 公开宣告逻辑 群体宣告逻辑 群体简单宣告 
一个关系信念逻辑（英文）被引量：1
《逻辑学研究》2017年第3期1-21,共21页卞拓蒙 
本文提出了信念逻辑RB,其特点是将关系信念,将信念看作是引用的公式和信念背景。其主要谓词是三元组:B≤xyb,读作:"在背景下,最多与同样可信。"背景在语义及认知语用目的上起作用。RB的表达力足以表达对角线引理。因此,RB也许被认为是...
关键词：认知逻辑 信念 语用目的 对角线 表达力 矛盾 
专栏编者导语:超越“知道如是”的知识逻辑
《逻辑学研究》2016年第4期1-3,共3页王彦晶 
辛提卡（J.Hintikka）1962年出版的开创性著作《知识与信念：这两个概念的逻辑导论》中为认知逻辑（EpistemicLogic）1奠定了理论基础。作为一种哲学逻辑，认知逻辑在其诞生之初受到了很多哲学家的批评，在上世纪七十年代一度发展较为...
关键词：知识逻辑 导语 编者 专栏 认知逻辑 哲学逻辑 七十年代 人工智能 
关于函数依赖关系的认知逻辑（英文）被引量：1
《逻辑学研究》2016年第4期55-84,共30页丁一峰 
对非经典知识,尤其是"知道是什么"的研究几乎是与对经典的认知逻辑的研究同时开始的,并且近来此类研究又吸引了诸多学者的注意。此种"知道是什么"算子能用来表达认知主体对个别变量的值的知识,但仅靠其自身却无法表达主体对变量之间的...
关键词：认知逻辑 函数关系 变量之间的关系 认知主体 表达主体 知识 算子 先验 
概率公共信念的动态刻画
《逻辑学研究》2015年第4期32-53,共22页埃里克·帕克特 
Robert Aumann的不一致的达成定理揭示了如果两个主体关于某事件E具有相同的先验概率,并且利用私人信息更新了他们关于事件的概率,那么,若事件的后验概率是他们之间的公共知识,则这个后验值一定是相同的。而Dov Monderer和Dov Samet考...
关键词：动态认知逻辑 先验概率 信念 公共知识 信息更新 后验概率 环境变化 社会群体 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部