郭美云

作品数：18被引量：16H指数：3
导出分析报告
供职机构：西南大学更多>>
发文主题：动态认知逻辑认知逻辑逻辑公共知识范本更多>>
发文领域：哲学宗教文化科学自然科学总论自动化与计算机技术更多>>
发文期刊：《哲学研究》《自然辩证法研究》《逻辑学研究》《哲学动态》更多>>
所获基金：国家社会科学基金中央高校基本科研业务费专项资金重庆市教育委员会人文社会科学研究项目重庆市研究生教育教学改革研究项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
概率命题逻辑及其动态化
《逻辑学研究》2025年第1期51-75,共25页潘易欣 郭美云 
国家社科基金重点项目“概率更新的动态认知逻辑研究”(21AZX013);重庆市博士研究生科研创新项目“基于邻域语义学的概率认知逻辑研究”(CYB22083);西南大学创新研究2035先导计划哲学百年中国化研究团队项目(SWUPilotPlan018)。
概率逻辑是量化研究和不确定推理中的重要工具,动态化与条件化是刻画概率更新的两个重要方式。基于一种简化的概率模型,本文提出一个概率命题逻辑,研究其互模拟和框架可定义性等相关性质。在概率命题逻辑的基础上加入公开宣告算子实现...
关键词：概率命题逻辑 条件概率 公开宣告 归约公理 概率更新 
基于证据支持度的信念逻辑研究
《逻辑学研究》2024年第1期55-68,共14页侯丽平 郭美云 
国家社科基金青年项目“基于社会网络的动态信念修正研究”(22CZX023);国家社科基金重点项目“概率更新的动态认知逻辑研究”(21AZX013)。
一个智能主体对某一信息的相信及相信程度分别与证据和证据支持度密切相关。本文试图通过模态逻辑方法,从语义及公理化角度探究证据支持度和信念强度之间的联系。在文中,分别用KD45和KD正规模态表达强信念算子和带程度的信念算子,用带...
关键词：证据支持度 信念强度 不确定性信息 模态逻辑 
基于广义框架的概率认知逻辑
《逻辑学研究》2022年第4期57-75,共19页邓美林 郭美云 
国家社科基金重点项目“概率更新的动态认知逻辑研究”(21AZX013);西南大学创新研究2035先导计划(SWUPilotPlan030)。
概率认知逻辑将认知和概率推理融合到同一个逻辑框架中。本文提出了一个基于广义框架的概率认知模型,并讨论了这一模型与已有两种概率认知模型的关系。基于广义框架的概率认知模型能为任意概率认知逻辑公式指派概率,因而是一种比较理想...
关键词：概率认知逻辑 广义框架 认知逻辑 概率逻辑 概率指派 
关于“现在”算子冗余性的一个注记
《逻辑学研究》2021年第2期22-34,共13页孙洋 郭美云 
国家社科基金重大项目(17ZDA026和14ZDB016)。
关于“现在”算子的技术分析始于坎普(H.Kamp)。他在研究“现在”算子的冗余性问题时,通过引入■-tense的概念,把真值联结词和时态算子作为一种情形进行处理,造成了证明的晦涩。本文利用伯吉斯(J.Burgess)证明“现在”算子的冗余性思路...
关键词：现在 时态逻辑 冗余 
试析普莱尔基于混合时态逻辑对其时间观的辩护
《逻辑学研究》2018年第4期83-93,共11页郭美云 
国家社科基金重点项目(15AZX020);重庆市重点文科基地项目(18SKB044)的资助
普莱尔既是时态逻辑的创始者,又是混合逻辑的创始者。普莱尔接受了麦克塔加关于时间A-理论和B-理论的区分,认为A-理论中"过去、现在和将来"等概念比B-理论中的"在先、在后和同时"等概念更为基本,并且不承认时间点的本体论地位。普莱尔...
关键词：普莱尔 混合时态逻辑 时间观 辩护 
根岑逻辑演绎思想的主要特征和哲学影响探析
《自然辩证法研究》2016年第8期84-89,共6页郭美云 
国家社科基金重点项目"面向博弈的动态逻辑研究"(15AZX020);中央高校基本科研业务费专项资金项目(2362015xk02);重庆市研究生教育教学改革研究项目(yjg143035)
论文在梳理根岑如何从逻辑公理化思想出发发展出自然演绎和矢列演算思想的基础上,总结出根岑逻辑演绎思想的主要特征。根岑对联接词引入和消去规则各自角色的理解及其采取的树形证明方式引导他发现并证明了切割消去定理。最后指出根岑...
关键词：自然演绎 矢列演算 证明论语义学 意义理论 
关于自然演绎逻辑的反思被引量：2
《湖南科技大学学报（社会科学版）》2016年第1期23-32,共10页郭美云 
国家社科基金重点项目(15AZX020);重庆市研究生教育教学改革研究项目(yjg143035);中央高校基本科研业务费专项资金项目(2362015xk02)
自然演绎的本质在于证明中可以随时引入假设。在总结出各个自然演绎系统的几个区别性特征之后,本文提供了一个自然演绎的教学案例,案例通过采取一个有更多"有假设推演规则"的自然演绎系统,并用证明序列的左侧序号来编撰和追踪证明者的...
关键词：自然演绎逻辑系统 证明思路 证明策略 元定理证明能力 
试析博弈困境的两种解决方案——以旅行者困境为例
《西南大学学报（社会科学版）》2015年第2期18-25,189,共8页郭美云 党学哲 
重庆市人文社会科学重点研究基地重点项目"博弈的逻辑与认知基础研究"(14SKB047);项目负责人:郭美云;国家社会科学基金重点项目"现代逻辑视野的认知研究"(11AZD57);项目负责人:何向东;中央高校基本科研业务费专项资金资助项目"博弈中互动认知的逻辑研究"(SWU1309380);项目负责人:郭美云
在博弈困境中,纳什均衡所预测的博弈解与人们的直观相矛盾,而且越来越多的博弈实验表明,这与现实博弈的结果也存在巨大反差。博弈困境的出现引起了人们对经典博弈论理性预设的质疑,从而提出不同的逻辑模型和解决方案。本文以旅行者困境...
关键词：博弈困境 旅行者困境 解决方案 重复后悔最小化模型 概率推理模型 
证实原则的认知逻辑分析被引量：3
《自然辩证法研究》2014年第5期9-13,共5页郭美云 
教育部人文社科一般项目"动态认知逻辑的基本理论及应用研究"(08JC72040002);中央高校基本科研业务费专项资金资助项目"博弈中互动认知的逻辑研究"(SWU1309380);重庆市人文社会科学重点研究基地重点项目"动态认知逻辑的拓展研究"(11SKB16)的阶段性成果
证实原则作为证实主义的一个一般性纲领认为,一个非分析性的有意义的真语句都是可以被经验所证实(因而是可知)的。用认知逻辑表明从证实原则出发可以产生费奇悖论。费奇悖论表明,证实原则不仅和信念修正中穆尔语句不能被一致地相信相关...
关键词：证实主义 证实原则 修正方案 费奇悖论 动态认知逻辑 
试析约翰·范本特姆对逻辑“新心理主义”的辩护被引量：3
《哲学研究》2013年第8期72-77,共6页郭美云 周君 
国家社科基金重点项目(编号12AZD073);国家社科基金青年项目(编号09CZX033);重庆市人文社科基地重点项目(编号11SKB16)等的资助
约翰·范本特姆（J．vanBenthem，1949一）是当代世界最著名的逻辑学家之一，曾获得荷兰斯宾诺莎奖。他是欧洲科学院和荷兰皇家艺术与科学院院士，他所创立的荷兰阿姆斯特丹大学逻辑、语言和计算研究所已经成为当今世界上影响力最大的...
关键词：新心理主义 逻辑学家 范本 辩护 约翰 动态认知逻辑 当代世界 逻辑研究 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部