刘奋荣
- 作品数：28 被引量：40H指数：4
- 供职机构：清华大学更多>>
- 发文基金：国家社会科学基金国家自然科学基金清华大学自主科研计划更多>>
- 相关领域：哲学宗教医药卫生经济管理历史地理更多>>
- 逻辑、认识论与方法论——范本特姆教授访谈录被引量：1
- 2013年
- 《逻辑之门》是当代著名逻辑学家约翰·范本特姆经典著作的中文翻译丛书,该丛书搜集了他的经典论文和主要著作。丛书的前三卷已经出版发行,在汉语世界产生了积极的影响。第四卷《逻辑、认识论和方法论》于2013年1月在科学出版社出版。其内容主要集中在范本特姆对逻辑常项、认识论、科学方法论和逻辑哲学等方面的学术贡献,展示了他对逻辑与科学、哲学的关系问题的一些思想和观点。参与本书翻译的学者们都是目前活跃在国内外的青年学者，我们就自己关心的问题对范本特姆教授进行了采访，并将他的回答整理如下，希望能跟更多的读者分享。
- 郭佳宏刘奋荣
- 关键词：科学方法论逻辑学家范本访谈录中文翻译经典著作
- 从方法论的角度看动态认知逻辑的研究被引量：2
- 2010年
- 本文主要探讨动态认知逻辑技术结果背后的思想,着重强调其在方法论方面的一般想法。文章在公开宣告逻辑的基础上展开讨论,重点考察了归约公理的意义,揭示了其本质是在基本语言中提前解析动态信息对认知产生的影响。文章以公共知识为例,说明了并非所有的逻辑算子都能找到归约公理,有时候我们需要丰富基本语言的表达力。而且,我们从如何给出一个逻辑的角度提出,动态认知逻辑实际上是在"动态化"认知逻辑,这种动态化的方法可以应用在其他静态的逻辑系统中。我们以动态偏好逻辑为例,说明了这一过程是如何实现的。
- 刘奋荣
- 关键词：动态认知逻辑动态化
- 关于社交网络中主体行为的推理和预测被引量：3
- 2018年
- 社交网络中主体之间的影响可以分为单向和双向两种。新观念、文化元素的扩散是一种单向的影响。受到单向的影响,主体的认知和行为会发生变化,借助逻辑的形式语言和推理能够对行为的发展趋势进行预测。与此不同,双向的影响则引发主体行为模式的反复转换,通过引入新的动态变化规则可以避免此类情形的出现。本文给出了行为稳定性的几个概念,讨论它们对有穷和无穷的社交网络空间的不同意义。
- 刘奋荣谢立民
- 关键词：社交网络模态逻辑动态逻辑
- 非单调性问题与自认知逻辑
- 日常推理具有非单调性,而经典逻辑不足以刻画这样的推理,自认知逻辑是研究非单调推理的一种主要方法,它旨在为具有反思能力的主体的推理过程做形式的刻画。
- 刘奋荣
- 关键词：非单调
- 文献传递
- 略论弗雷格和皮亚诺对数学基础的研究
- 十九世纪初以来,在数学研究积累了大量的材料和成果之后,数学研究要求对基础理论进行深入探讨,这就必然要求数学中的论证具有逻辑的严密性。从十九世纪七十年代到二十世纪三、四十年代, 两位伟大的数学家,德国的弗雷格和意大利的皮亚...
- 刘奋荣
- 文献传递
- 略论弗雷格和皮亚诺对数学基础的研究被引量：1
- 2000年
- 十九世纪初以来，在数学研究积累了大量的材料和成果之后，数学研究要求对基础理论进行深入探讨，这就必然要求数学中的论证具有逻辑的严密性。从十九世纪七十年代到二十世纪三、四十年代，两位伟大的数学家，德国的弗雷格和意大利的皮亚...……
- 刘奋荣
- 中医诊疗过程的逻辑——一个信念修正理论的阐释被引量：3
- 2011年
- 从分析中医诊疗过程的特点入手,运用信念修正理论来阐释这一过程中的逻辑规律。主张要更好地理解中医理论的发展,需要重视具体的中医诊疗实践,特别是中医学家的信念及其动态改变所起的作用及其规律的研究。
- 刘奋荣
- 关键词：逻辑信念修正中医诊疗
- 知识封闭原则与怀疑论被引量：1
- 2013年
- 形式认识论是用形式化的方法来分析和研究认识论问题的交叉学科，它能够帮助我们更加准确地把握一些认识论争论的关键所在，从而更好地理解当代认识论中的各种理论的实质。本文试图借鉴形式认识论中的逻辑分析来反观当代认识论中关于怀疑论问题的争论，并通过对三种具有代表性的理论的梳理探讨知识封闭原则，特别是，它在关于怀疑论问题的讨论中所起到的关键作用。知识封闭原则指的是，认知主体知道P并且认知主体知道P蕴涵Q，那么认知主体便知道Q。对于熟悉认知逻辑的读者，
- 石辰威刘奋荣
- 关键词：怀疑论知识认识论问题逻辑分析认知逻辑
- 一种基于认知心理逻辑的“观其脉证,知犯何逆,随证治之”研究方案被引量：4
- 2011年
- 通过对认知心理学问题解决、动态认知逻辑、中医辨证论治等研究现状的回顾,提出中医学"观其脉证,知犯何逆,随证治之"的思维过程可以从认知心理学问题解决来分析,可以动态认知逻辑中公开宣告、信念变化来刻画。认为"观其脉证,知犯何逆"即是确定问题、表征问题;"随证治之"即计划解决方案、执行计划。病人服药后效果如何、如何调整处方正是问题解决中的评估计划、评估解决方案。在辨证论治这一系列有目的指向的认知操作的动态过程,中医师的信念会随着治疗前后信息的变化而不断变化、完善。既然辨证论治是一系列有目的指向的认知操作的动态过程,那么就可以认知心理学问题解决的立场去研究它、以动态认知逻辑来刻画它。
- 周琳琳贾春华刘奋荣
- 关键词：认知心理学动态认知逻辑辨证论治
- 关于语境的一个逻辑模型
- 2012年
- 本文从对一元价值谓词"好"、"坏"和二元价值谓词"更好"之间的关系出发,首先回顾了偏好逻辑中用二元价值谓词定义一元谓词的各种方案。然后,文章介绍了van Benthem利用语境从一元谓词定义二元谓词的工作。文章着重分析了在这一背景下语境的概念和性质,并提出了两种逻辑的方法刻画语境。本文重点给出了语境的模态语言、语义模型,并对涉及语境变化的三条有效规则进行了深入讨论。
- 刘奋荣
- 关键词：逻辑模型语义模型谓词
