郭美云
作品数: 20被引量:21H指数:3
  • 所属机构:西南大学政治与公共管理学院逻辑与智能研究中心
  • 所在地区:重庆市
  • 研究方向:哲学宗教
  • 发文基金:国家社会科学基金

相关作者

刘新文
作品数:92被引量:63H指数:4
供职机构:中国社会科学院哲学研究所
研究主题:逻辑 模态逻辑 皮尔士 哲学逻辑 金岳霖
李章吕
作品数:47被引量:67H指数:4
供职机构:西南大学政治与公共管理学院逻辑与智能研究中心
研究主题:贝叶斯决策 教学模式 谬误 逻辑 消解
周君
作品数:3被引量:4H指数:1
供职机构:华东师范大学人文社会科学学院哲学系
研究主题:偶然 时态逻辑 辩护 范本 新心理主义
高东平
作品数:118被引量:446H指数:11
供职机构:中国医学科学院北京协和医学院医学信息研究所
研究主题:大数据 传染病 CITESPACE 文献计量学 可视化
熊作军
作品数:4被引量:0H指数:0
供职机构:西南大学政治与公共管理学院逻辑与智能研究中心
研究主题:逻辑 事务管理 大学逻辑 非正规 海外学者
一个带有事务管理的动态偏好逻辑(英文)
2011年
问题对偏好的变化会有影响。本文在偏好逻辑的背景下考虑事务管理并提出了一个新的带有事务管理的动态偏好逻辑。我们的逻辑表明它能把其他情况均同的偏好(ceteris paribus preference)与普通的偏好联系起来并将其动态化和显性化。并且,通过引入混合逻辑使得我们能在同一层次谈论命题和对象之间的偏好,除提问这个行动之外,我们还在逻辑系统的动态部分考虑了解决、建议和软公开宣告等行动。在对这四种行动的不同影响进行比较后,我们证明了这个动态系统的完全性。
郭美云熊作军
关键词:逻辑系统事务管理动态化偏好显性化
分布式知识的研究进展被引量:3
2007年
郭美云
关键词:公共知识分布式认知逻辑多主体
试析约翰·范本特姆对逻辑“新心理主义”的辩护被引量:3
2013年
约翰·范本特姆(J.vanBenthem,1949一)是当代世界最著名的逻辑学家之一,曾获得荷兰斯宾诺莎奖。他是欧洲科学院和荷兰皇家艺术与科学院院士,他所创立的荷兰阿姆斯特丹大学逻辑、语言和计算研究所已经成为当今世界上影响力最大的逻辑研究中心之一。上世纪70年代他在模态对应理论方面的开拓性工作,使得对应理论成为模态逻辑的三大支柱之一。上世纪90年代以后他在动态认知逻辑研究领域的创造性工作,也使得该领域成为当今世界上最为活跃的逻辑研究领域之一。他除了在模态逻辑、语言逻辑和动态认知逻辑等领域颇有建树外,在逻辑哲学领域也提出了很多深刻而丰富的思想。本文对范本特姆在《逻辑与推理:事实重要吗?》、《逻辑正往何处去,它应该吗?》等论文中所阐述的“新心理主义”思想进行梳理,分析他是怎样为“新心理主义”进行成功的辩护的。
郭美云周君
关键词:新心理主义逻辑学家范本辩护动态认知逻辑逻辑研究
证实原则的认知逻辑分析被引量:3
2014年
证实原则作为证实主义的一个一般性纲领认为,一个非分析性的有意义的真语句都是可以被经验所证实(因而是可知)的。用认知逻辑表明从证实原则出发可以产生费奇悖论。费奇悖论表明,证实原则不仅和信念修正中穆尔语句不能被一致地相信相关,还与动态认知逻辑中一个公式是否总能成功更新有关。我们在对动态认知逻辑对证实原则的各种修正方案进行比较分析后认为,证实原则反映了人类学习和交流互动过程中的精致性和复杂性,这在动态逻辑的具体背景下可以进一步进行更为细致的研究。
郭美云
关键词:动态认知逻辑
试析普莱尔基于混合时态逻辑对其时间观的辩护
2018年
普莱尔既是时态逻辑的创始者,又是混合逻辑的创始者。普莱尔接受了麦克塔加关于时间A-理论和B-理论的区分,认为A-理论中"过去、现在和将来"等概念比B-理论中的"在先、在后和同时"等概念更为基本,并且不承认时间点的本体论地位。普莱尔从这种时间观出发,在致力于将无时态的一阶逻辑归约到时态逻辑的过程中,提出了混合时态逻辑,从而对自己的时间观进行辩护。本文在对普莱尔的辩护过程进行详细分析的基础上,从现代模态逻辑对应理论的角度指出,普莱尔的辩护并不成功,同时讨论了普莱尔的方法论给我们带来的启示。
郭美云
关键词:时间观辩护
根岑逻辑演绎思想的主要特征和哲学影响探析
2016年
论文在梳理根岑如何从逻辑公理化思想出发发展出自然演绎和矢列演算思想的基础上,总结出根岑逻辑演绎思想的主要特征。根岑对联接词引入和消去规则各自角色的理解及其采取的树形证明方式引导他发现并证明了切割消去定理。最后指出根岑的逻辑演绎思想对证明论语义学和意义理论有重要应用和哲学影响。
郭美云
基于证据支持度的信念逻辑研究
2024年
一个智能主体对某一信息的相信及相信程度分别与证据和证据支持度密切相关。本文试图通过模态逻辑方法,从语义及公理化角度探究证据支持度和信念强度之间的联系。在文中,分别用KD45和KD正规模态表达强信念算子和带程度的信念算子,用带程度的模态算子表达含程度的证据,通过在模型上加约束条件的方式将证据关系和信念关系联系起来,表达出了证据支持度和信念强度之间的联系,并建立了一个可靠且完全的公理系统。这实现了证据支持度和信念强度联系的形式化研究,为处理不确定信息提供了定性和定量相结合的分析方法。
侯丽平郭美云
关键词:模态逻辑
一个带有群体知识的公开宣告逻辑系统
在公开宣告逻辑的基础上引入B Kooi, J van Benthem[2004]提出的相对化公共知识,并且考虑群体隐含知识,通过归约的方法建立一个带有相对化公共知识和群体隐含知识的公开宣告逻辑系统。
郭美云
关于逻辑、语言和认知的对话——访约翰·范本特姆教授
2010年
约翰·范本特姆(Johan van Benthem)教授是当今最著名的逻辑学家之一,他的学术研究涉及模态逻辑、语言逻辑以及逻辑哲学等领域。从1970年代到现在,他撰写了6部专著和约300篇学术论文,主编了4部具有权威性的逻辑手册,其影响从学术界对他的著作的引用程度可见一斑。由荷兰阿姆斯特丹大学资助,
刘新文郭美云
关键词:逻辑学家语言逻辑范本
从动态认知逻辑的角度看偏好——刘奋荣《动态偏好逻辑》评介
2011年
《动态偏好逻辑》一书是国家社会科学基金青年项目(项目编号:04CZX001)的优秀成果,也是刘奋荣博士在荷兰阿姆斯特丹大学逻辑、语言和计算研究所(ILLC)从事博士项目研究的主体内容。全书分为七章:第一章引论;
郭美云
关键词:动态认知逻辑偏好国家社会科学基金大学逻辑