您的位置： 专家智库 > >

郭美云

作品数：19 被引量：21H指数：3
供职机构：西南大学政治与公共管理学院逻辑与智能研究中心更多>>
发文基金：国家社会科学基金中央高校基本科研业务费专项资金重庆市教育委员会人文社会科学研究项目更多>>
相关领域：哲学宗教文化科学自然科学总论自动化与计算机技术更多>>

合作作者

文献类型

  • 16篇期刊文章
  • 2篇会议论文
  • 1篇学位论文

领域

  • 13篇哲学宗教
  • 2篇文化科学
  • 1篇自动化与计算...
  • 1篇自然科学总论
  • 1篇理学

主题

  • 8篇认知逻辑
  • 8篇逻辑
  • 6篇动态认知逻辑
  • 3篇知识
  • 3篇逻辑系统
  • 3篇公共知识
  • 3篇范本
  • 2篇大学逻辑
  • 2篇言和
  • 2篇哲学
  • 2篇时态逻辑
  • 2篇偏好
  • 2篇相对化
  • 2篇逻辑分析
  • 2篇逻辑学
  • 2篇逻辑学家
  • 2篇辩护
  • 1篇定理
  • 1篇动态化
  • 1篇新心理主义

机构

  • 17篇西南大学
  • 2篇北京大学
  • 2篇中国社会科学...
  • 1篇华东师范大学
  • 1篇北京理工大学
  • 1篇清华大学

作者

  • 19篇郭美云
  • 2篇刘新文
  • 1篇周君
  • 1篇李章吕
  • 1篇高东平
  • 1篇熊作军

传媒

  • 7篇逻辑学研究
  • 3篇哲学动态
  • 3篇自然辩证法研...
  • 1篇哲学研究
  • 1篇湖南科技大学...
  • 1篇西南大学学报...
  • 1篇2007年全...

年份

  • 1篇2022
  • 1篇2021
  • 1篇2018
  • 2篇2016
  • 1篇2015
  • 1篇2014
  • 1篇2013
  • 2篇2011
  • 2篇2010
  • 1篇2009
  • 1篇2008
  • 2篇2007
  • 3篇2006
共 19 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
关于逻辑、语言和认知的对话——访约翰·范本特姆教授
2010年
约翰·范本特姆（Johan van Benthem）教授是当今最著名的逻辑学家之一，他的学术研究涉及模态逻辑、语言逻辑以及逻辑哲学等领域。从1970年代到现在，他撰写了6部专著和约300篇学术论文，主编了4部具有权威性的逻辑手册，其影响从学术界对他的著作的引用程度可见一斑。由荷兰阿姆斯特丹大学资助，
刘新文郭美云
关键词：逻辑学家语言逻辑范本
一个带有事务管理的动态偏好逻辑(英文)
2011年
问题对偏好的变化会有影响。本文在偏好逻辑的背景下考虑事务管理并提出了一个新的带有事务管理的动态偏好逻辑。我们的逻辑表明它能把其他情况均同的偏好(ceteris paribus preference)与普通的偏好联系起来并将其动态化和显性化。并且,通过引入混合逻辑使得我们能在同一层次谈论命题和对象之间的偏好,除提问这个行动之外,我们还在逻辑系统的动态部分考虑了解决、建议和软公开宣告等行动。在对这四种行动的不同影响进行比较后,我们证明了这个动态系统的完全性。
郭美云熊作军
关键词：逻辑系统事务管理动态化偏好显性化
分布式知识的研究进展被引量：3
2007年
郭美云
关键词：公共知识分布式认知逻辑多主体
试析约翰·范本特姆对逻辑“新心理主义”的辩护被引量：3
2013年
约翰·范本特姆（J．vanBenthem，1949一）是当代世界最著名的逻辑学家之一，曾获得荷兰斯宾诺莎奖。他是欧洲科学院和荷兰皇家艺术与科学院院士，他所创立的荷兰阿姆斯特丹大学逻辑、语言和计算研究所已经成为当今世界上影响力最大的逻辑研究中心之一。上世纪70年代他在模态对应理论方面的开拓性工作，使得对应理论成为模态逻辑的三大支柱之一。上世纪90年代以后他在动态认知逻辑研究领域的创造性工作，也使得该领域成为当今世界上最为活跃的逻辑研究领域之一。他除了在模态逻辑、语言逻辑和动态认知逻辑等领域颇有建树外，在逻辑哲学领域也提出了很多深刻而丰富的思想。本文对范本特姆在《逻辑与推理：事实重要吗？》、《逻辑正往何处去，它应该吗？》等论文中所阐述的“新心理主义”思想进行梳理，分析他是怎样为“新心理主义”进行成功的辩护的。
郭美云周君
关键词：新心理主义逻辑学家范本辩护动态认知逻辑逻辑研究
证实原则的认知逻辑分析被引量：3
2014年
证实原则作为证实主义的一个一般性纲领认为,一个非分析性的有意义的真语句都是可以被经验所证实(因而是可知)的。用认知逻辑表明从证实原则出发可以产生费奇悖论。费奇悖论表明,证实原则不仅和信念修正中穆尔语句不能被一致地相信相关,还与动态认知逻辑中一个公式是否总能成功更新有关。我们在对动态认知逻辑对证实原则的各种修正方案进行比较分析后认为,证实原则反映了人类学习和交流互动过程中的精致性和复杂性,这在动态逻辑的具体背景下可以进一步进行更为细致的研究。
郭美云
关键词：动态认知逻辑
从PAL看认知逻辑的动态转换被引量：4
2006年
本文首先介绍动态认知逻辑的发展由来和研究背景,再以动态认知逻辑的的一个基础系统———公开宣告逻辑(public announcement logic简称PAL)为例,从而介绍动态认知逻辑研究的一些基本思路和方法,重点考察动态认知逻辑是如何完成静态向动态的转换。
郭美云
关键词：动态认知逻辑
根岑逻辑演绎思想的主要特征和哲学影响探析
2016年
论文在梳理根岑如何从逻辑公理化思想出发发展出自然演绎和矢列演算思想的基础上,总结出根岑逻辑演绎思想的主要特征。根岑对联接词引入和消去规则各自角色的理解及其采取的树形证明方式引导他发现并证明了切割消去定理。最后指出根岑的逻辑演绎思想对证明论语义学和意义理论有重要应用和哲学影响。
郭美云
一个带有群体知识的公开宣告逻辑系统
在公开宣告逻辑的基础上引入B Kooi, J van Benthem[2004]提出的相对化公共知识，并且考虑群体隐含知识，通过归约的方法建立一个带有相对化公共知识和群体隐含知识的公开宣告逻辑系统。
郭美云
从动态认知逻辑的角度看偏好——刘奋荣《动态偏好逻辑》评介
2011年
《动态偏好逻辑》一书是国家社会科学基金青年项目（项目编号：04CZX001）的优秀成果,也是刘奋荣博士在荷兰阿姆斯特丹大学逻辑、语言和计算研究所（ILLC）从事博士项目研究的主体内容。全书分为七章：第一章引论;
郭美云
关键词：动态认知逻辑偏好国家社会科学基金大学逻辑
第二届“逻辑、理性与互动”国际研讨会会议综述被引量：1
2010年
2009年10月8日——10日由西南大学逻辑与智能研究中心、计算机与信息科学学院主办的第二届＂逻辑、理性与互动＂国际研讨会（The Second InternationalWorkshop on Logic、Rationality and Interaction,简称＂LORI-Ⅱ＂）在重庆西南大学召开。本次会议盛况空前,有来自荷兰、美国、加拿大、英国、法国、冰岛、西班牙、芬兰、瑞典、比利时、卢森堡、新西兰、澳大利亚、印度、日本和中国香港等包括中国大陆在内的17个国家和地区的120余名专家学者参加了会议,其中来自海外的学者40人。
郭美云邹明灼
关键词：大学逻辑专家学者信息科学
全选 清除 导出
共2页<12>
聚类工具0