西南大学政治与公共管理学院逻辑与智能研究中心
- 作品数：281 被引量：490H指数：10
- 相关作者：何向东李章吕唐晓嘉马明辉郭美云更多>>
- 相关机构：燕山大学文法学院中国地质大学计算机学院宜春学院外国语学院更多>>
- 发文基金：国家社会科学基金教育部人文社会科学研究重大课题攻关项目中央高校基本科研业务费专项资金更多>>
- 相关领域：哲学宗教自动化与计算机技术自然科学总论文化科学更多>>
- 根岑逻辑演绎思想的主要特征和哲学影响探析
- 2016年
- 论文在梳理根岑如何从逻辑公理化思想出发发展出自然演绎和矢列演算思想的基础上,总结出根岑逻辑演绎思想的主要特征。根岑对联接词引入和消去规则各自角色的理解及其采取的树形证明方式引导他发现并证明了切割消去定理。最后指出根岑的逻辑演绎思想对证明论语义学和意义理论有重要应用和哲学影响。
- 郭美云
- 基于证据支持度的信念逻辑研究
- 2024年
- 一个智能主体对某一信息的相信及相信程度分别与证据和证据支持度密切相关。本文试图通过模态逻辑方法,从语义及公理化角度探究证据支持度和信念强度之间的联系。在文中,分别用KD45和KD正规模态表达强信念算子和带程度的信念算子,用带程度的模态算子表达含程度的证据,通过在模型上加约束条件的方式将证据关系和信念关系联系起来,表达出了证据支持度和信念强度之间的联系,并建立了一个可靠且完全的公理系统。这实现了证据支持度和信念强度联系的形式化研究,为处理不确定信息提供了定性和定量相结合的分析方法。
- 侯丽平郭美云
- 关键词：模态逻辑
- 论最佳解释的案件事实推理模型理论渊源
- 案件事实推理模型是法律逻辑学研究的核心内容，也是证据法的基础研究之一。最佳解释的案件事实推理模型，描述了证据对案件事实的解释推理过程，是解释学和逻辑学的融合。本文论述了该解释推理模型的理论沿革。
- 刘方荣
- 关键词：法律逻辑学逻辑学解释学
- 文献传递
- 后人类时代人工智能体的价值观何以可能被引量：1
- 2021年
- 实现人机和谐发展,一个重要的任务是为人工智能系统嵌入与人类一致的价值观,以实现价值对齐,这是后人类时代人工智能技术发展的必然趋势。基于后人类时代人们对技术的依赖性,人工智能体的价值观构建应秉持人本性、平等性和差异性等基本的人类价值标准,在确保可解释的前提下寻求逻辑的形式表达与刻画方法,在此基础上弥合由伦理逻辑和技术架构的整体性所造就的人类与技术物的属性边界,最终实现人机和谐发展。
- 包彦征邓辉文
- 关键词：人工智能价值观逻辑进路
- 塔尔斯基论逻辑后承概念被引量：4
- 2014年
- 塔尔斯基1936年以波兰文和德文发表的论文《论逻辑后承概念》,基于他努力开创的语义学,第一次精确地定义了"逻辑后承"这个现代逻辑的核心概念。这个定义建立在塔尔斯基提出的形式化语言中真之概念的定义基础之上。塔尔斯基的真之定义一般称为形式化语言的基本语义定义,它是形式化语言的最基本的语义概念。塔尔斯基还提出了逻辑符号和非逻辑符号的划分标准问题。
- 马明辉
- 关键词：形式化语言逻辑概念
- GCI——优先解读理论的去语境解释
- 2014年
- GCI源于对格赖斯优先解读方案的反思,以不依赖于语境解释话语意义为主要特征。GCI理论关注表达式的类型意义与特殊含义之分,给出了关于优先解读的独立解释;GCI的类型意义思想丰富了奥斯汀言语行为理论,为更好地解释语篇回指现象创造了条件。
- 曹琪唐晓嘉
- 关键词：GCI语境
- 一个带有群体知识的公开宣告逻辑系统
- 在公开宣告逻辑的基础上引入B Kooi, J van Benthem[2004]提出的相对化公共知识，并且考虑群体隐含知识，通过归约的方法建立一个带有相对化公共知识和群体隐含知识的公开宣告逻辑系统。
- 郭美云
- 逻辑和认识论——范本特姆教授访谈录被引量：1
- 2016年
- 范本特姆：朋友们大家好,非常高兴收到你们的来信!几年前我们大多都参加了刘奋荣和刘新文发起的四卷本《逻辑之门》的合作之旅,这一合作无论是在理解逻辑学领域的信息交流还是英语与汉语之间交流的微妙之处,都取得了丰硕的成果。随着你们的事业进步、我的人生发展,我们再次相聚在一起。我们年龄渐长,也希望我们睿智渐长,希望你们的事业都有新的进步。
- 约翰.范本特姆刘新文马明辉
- 关键词：模态逻辑认知逻辑逻辑学家逻辑规律哲学逻辑
- 从现代社会科学转型看现代逻辑创新与发展
- 现代社会科学在内外推力作用下,实现了向当代社会科学的转型,现代逻辑却没有能跟上这一转型的步伐。如何从现代社会科学转型来实现现代逻辑的创新与发展,是一个值得关注的主题。
- 刘邦凡
- 关键词：社会科学现代逻辑
- 文献传递
- 教学中的真理—意义问题探讨被引量：1
- 2010年
- 如何从外延性真理理论来探讨意义问题,一直是教学实践中的一个难点。本文依据戴维森纲领,对教学过程中不易梳理和理解的真理—意义关系问题作了详细的分析和探讨:首先根据戴维森关于恰当的意义理论标准,简要分析他对成真条件语义学的继承和改进,引出他为什么要以塔斯基的形式化真理概念为基础构建关于真理—意义的理论,进而揭示他如何运用两个关键步骤即语境原则和语义上升方法,将经过修改的约定—T作为意义理论的基础。
- 王静
- 关键词：真理
