检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

新文科背景下关于逻辑学教育教学的几点思考

逻辑、智能与哲学

逻辑、智能与哲学 2024年第1期3卷 188-196+238页

作者：郭美云肖方西南大学逻辑与智能研究中心

在新时代背景下逻辑学理应在新文科建设中发挥自身的学科专业优势和价值。本文认为在大学逻辑学的教育教学中应适应时代发展需要，打造多学科交叉平台；将逻辑学专业与逻辑学课程相区分，打造多层次的大学逻辑课程体系；以学生为中心，... 详细信息

在新时代背景下逻辑学理应在新文科建设中发挥自身的学科专业优势和价值。本文认为在大学逻辑学的教育教学中应适应时代发展需要，打造多学科交叉平台；将逻辑学专业与逻辑学课程相区分，打造多层次的大学逻辑课程体系；以学生为中心，根据学生发展需求，开设多种类型的逻辑通识课程；紧跟时代新变化，推进各类逻辑通识教育联盟建设；采取多种形式，普及和推广逻辑的应用。

关键词：新文科逻辑学教育教学逻辑通识课程逻辑课程体系

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于广义框架的概率认知逻辑

逻辑学研究 2022年第4期15卷 57-75页

作者：邓美林郭美云西南大学逻辑与智能研究中心

概率认知逻辑将认知和概率推理融合到同一个逻辑框架中。本文提出了一个基于广义框架的概率认知模型,并讨论了这一模型与已有两种概率认知模型的关系。基于广义框架的概率认知模型能为任意概率认知逻辑公式指派概率,因而是一种比较理想... 详细信息

概率认知逻辑将认知和概率推理融合到同一个逻辑框架中。本文提出了一个基于广义框架的概率认知模型,并讨论了这一模型与已有两种概率认知模型的关系。基于广义框架的概率认知模型能为任意概率认知逻辑公式指派概率,因而是一种比较理想的概率认知逻辑语义模型。本文给出了一个可靠且完全的概率认知逻辑公理系统,提出并证明了概率函数存在引理,进而给出了这一逻辑的完全性证明。最后,本文运用这一逻辑刻画了混合策略博弈的两种状态,为进一步讨论混合策略博弈奠定了基础。

关键词：概率认知逻辑广义框架认知逻辑概率逻辑概率指派

在线全文

学校读者我要写书评

暂无评论

肥胖与消化系统肿瘤发病风险的研究进展

医疗装备 2022年第16期35卷 191-194页

作者：郭美云天津港口医院天津300450

随着社会经济的快速发展以及人们生活水平的日益提高,我国肥胖人群逐年增多,且呈现出明显激增的态势。据调查,1991—2011年我国成人肥胖的患病率从20.5%增加至42.3%。《中国居民营养与慢性病状况报告(2020)》中指出,有超过50%的成人超... 详细信息

随着社会经济的快速发展以及人们生活水平的日益提高,我国肥胖人群逐年增多,且呈现出明显激增的态势。据调查,1991—2011年我国成人肥胖的患病率从20.5%增加至42.3%。《中国居民营养与慢性病状况报告(2020)》中指出,有超过50%的成人超重或肥胖。肥胖不仅会诱发心脑血管系统疾病及代谢系统疾病,还与多种恶性肿瘤的发病密切相关,目前已成为严重的公共卫生问题。该研究旨在对肥胖与消化系统肿瘤之间的关联作一综述,以期为大众管理体质量提供依据。

关键词：肥胖食管癌胃癌结直肠癌肝癌胰腺癌综述

在线全文

学校读者我要写书评

暂无评论

根岑逻辑演绎思想的主要特征和哲学影响探析

自然辩证法研究 2016年第8期32卷 84-89页

作者：郭美云西南大学逻辑与智能研究中心重庆400715

论文在梳理根岑如何从逻辑公理化思想出发发展出自然演绎和矢列演算思想的基础上,总结出根岑逻辑演绎思想的主要特征。根岑对联接词引入和消去规则各自角色的理解及其采取的树形证明方式引导他发现并证明了切割消去定理。最后指出根岑... 详细信息

论文在梳理根岑如何从逻辑公理化思想出发发展出自然演绎和矢列演算思想的基础上,总结出根岑逻辑演绎思想的主要特征。根岑对联接词引入和消去规则各自角色的理解及其采取的树形证明方式引导他发现并证明了切割消去定理。最后指出根岑的逻辑演绎思想对证明论语义学和意义理论有重要应用和哲学影响。

关键词：自然演绎矢列演算证明论语义学意义理论

在线全文

学校读者我要写书评

暂无评论

分布式知识的研究进展

哲学动态 2007年第11期 43-48页

作者：郭美云西南大学逻辑与智能研究中心重庆400715

分布式知识是经典认知逻辑群体知识中的一个重要概念。群体知识主要有普遍知识（general knowledge，universal knowledge）、公共知识（common knowledge）和分布式知识（distrib-uted knowledge，groupimplicit knowledge）三种知识。群体知识在认知逻辑的研究中占有很重要的地位，因为多主体之问的信息交流和互动都是建立在群体知识的基础之上的。

关键词：公共知识分布式认知逻辑信息交流群体多主体

试析约翰·范本特姆对逻辑“新心理主义”的辩护

在线全文

学校读者我要写书评

暂无评论

哲学研究 2013年第8期 72-77页

作者：郭美云周君西南大学逻辑与智能研究中心华东师范大学哲学系

约翰·范本特姆（J．vanBenthem，1949一）是当代世界最著名的逻辑学家之一，曾获得荷兰斯宾诺莎奖。他是欧洲科学院和荷兰皇家艺术与科学院院士，他所创立的荷兰阿姆斯特丹大学逻辑、语言和计算研究所已经成为当今世界上影响力最大的... 详细信息

约翰·范本特姆（J．vanBenthem，1949一）是当代世界最著名的逻辑学家之一，曾获得荷兰斯宾诺莎奖。他是欧洲科学院和荷兰皇家艺术与科学院院士，他所创立的荷兰阿姆斯特丹大学逻辑、语言和计算研究所已经成为当今世界上影响力最大的逻辑研究中心之一。上世纪70年代他在模态对应理论方面的开拓性工作，使得对应理论成为模态逻辑的三大支柱之一。上世纪90年代以后他在动态认知逻辑研究领域的创造性工作，也使得该领域成为当今世界上最为活跃的逻辑研究领域之一。他除了在模态逻辑、语言逻辑和动态认知逻辑等领域颇有建树外，在逻辑哲学领域也提出了很多深刻而丰富的思想。本文对范本特姆在《逻辑与推理：事实重要吗？》、《逻辑正往何处去，它应该吗？》等论文中所阐述的“新心理主义”思想进行梳理，分析他是怎样为“新心理主义”进行成功的辩护的。

关键词：新心理主义逻辑学家范本辩护约翰动态认知逻辑当代世界逻辑研究

在线全文

学校读者我要写书评

暂无评论

基于广义框架的概率认知逻辑

逻辑 2023年第1期

作者：邓美林郭美云

概率认知逻辑将认知和概率推理融合到同一个逻辑框架中。本文提出了一个基于广义框架的概率认知模型，并讨论了这一模型与已有两种概率认知模型的关系。基于广义框架的概率认知模型能为任意概率认知逻辑公式指派概率，因而是一种比较理... 详细信息

概率认知逻辑将认知和概率推理融合到同一个逻辑框架中。本文提出了一个基于广义框架的概率认知模型，并讨论了这一模型与已有两种概率认知模型的关系。基于广义框架的概率认知模型能为任意概率认知逻辑公式指派概率，因而是一种比较理想的概率认知逻辑语义模型。本文给出了一个可靠且完全的概率认知逻辑公理系统，提出并证明了概率函数存在引理，进而给出了这一逻辑的完全性证明。最后，本文运用这一逻辑刻画了混合策略博弈的两种状态，为进一步讨论混合策略博弈奠定了基础。

关键词：概率认知逻辑广义框架认知逻辑概率逻辑概率指派

来源：人大复印报刊资料评论

在线全文

人大复印报刊资料

学校读者我要写书评

暂无评论

证实原则的认知逻辑分析

自然辩证法研究 2014年第5期30卷 9-13页

作者：郭美云西南大学逻辑与智能研究中心重庆400715

证实原则作为证实主义的一个一般性纲领认为,一个非分析性的有意义的真语句都是可以被经验所证实(因而是可知)的。用认知逻辑表明从证实原则出发可以产生费奇悖论。费奇悖论表明,证实原则不仅和信念修正中穆尔语句不能被一致地相信相关... 详细信息

证实原则作为证实主义的一个一般性纲领认为,一个非分析性的有意义的真语句都是可以被经验所证实(因而是可知)的。用认知逻辑表明从证实原则出发可以产生费奇悖论。费奇悖论表明,证实原则不仅和信念修正中穆尔语句不能被一致地相信相关,还与动态认知逻辑中一个公式是否总能成功更新有关。我们在对动态认知逻辑对证实原则的各种修正方案进行比较分析后认为,证实原则反映了人类学习和交流互动过程中的精致性和复杂性,这在动态逻辑的具体背景下可以进一步进行更为细致的研究。

关键词：证实主义证实原则修正方案费奇悖论动态认知逻辑

在线全文

学校读者我要写书评

暂无评论

从PAL看认知逻辑的动态转换

自然辩证法研究 2006年第1期22卷 40-43页

作者：郭美云北京大学哲学系

本文首先介绍动态认知逻辑的发展由来和研究背景,再以动态认知逻辑的的一个基础系统———公开宣告逻辑(public announcement logic简称PAL)为例,从而介绍动态认知逻辑研究的一些基本思路和方法,重点考察动态认知逻辑是如何完成静态向... 详细信息

本文首先介绍动态认知逻辑的发展由来和研究背景,再以动态认知逻辑的的一个基础系统———公开宣告逻辑(public announcement logic简称PAL)为例,从而介绍动态认知逻辑研究的一些基本思路和方法,重点考察动态认知逻辑是如何完成静态向动态的转换。

关键词：动态认知逻辑研究背景公开宣告逻辑动态转换