陈慕泽
- 作品数：19 被引量：85H指数：5
- 供职机构：中国人民大学哲学院更多>>
- 相关领域：哲学宗教理学政治法律社会学更多>>
- 全称概括规则和受限制的演绎定理——国内数理逻辑教材中的一个问题被引量：2
- 2001年
- 本文指出了国内一些有影响的数理逻辑教材或专著中存在的一个重要错误 :一方面在定义一阶逻辑形式系统的公理和规则时不正确地使用了“可证”这个概念 ;另一方面又自相矛盾地叙述和论证了受限制的演绎定理。
- 陈慕泽
- 关键词：数理逻辑
- 中国逻辑学会形式逻辑专业委员会2003年学术研讨会概述被引量：1
- 2004年
- 由中国逻辑学会形式逻辑专业委员会主办、绵阳师范学院承办的逻辑学术研讨会于2003年12月13～15日在四川绵阳市举行，来自全国数十所高校和科研机构的专家学者出席了研讨会。与会者讨论了逻辑学的国际前沿动态。
- 陈慕泽资建民
- 关键词：形式逻辑批判性思维
- 马克思主义哲学和现代数理逻辑
- <正> 现代逻辑,也称数理逻辑,是在传统逻辑的基础上,发端于17世纪,成熟于20世纪的一门年轻的学科。它自身是思维科学的一个分支,也是数学的一个分支。当前,数理逻辑有两个重要特征应当引起马克思主义哲学工作者的注意。
- 陈慕泽
- 文献传递
- 真理标准大讨论:从科学与逻辑的视角看
- <正>《实践是检验真理的唯一标准》的作者胡福明先生在回顾当年这场大讨论时说过,当时,一些科学家朋友曾对他说,我们并不完全赞同你的观点,但支持你。'实践是检验真理的唯一标准',作为一个历史性的政治命题,对于中国当代社会的解...
- 陈慕泽
- 文献传递
- 再论逻辑学与通识教育——与王路教授商榷被引量：15
- 2009年
- "取代论"引起的争论是混淆逻辑专业教育与通识教育的伪争论。逻辑通识课的目标是提高逻辑思维素养。逻辑思维素养是具有一般可比性的日常逻辑思维能力。现代逻辑关注逻辑之学理,普通逻辑关注日常思维,二者对同一种涉及日常思维的知识往往有不同的处理,普通逻辑的处理方式适合通识教育。"逻辑现代化"的口号是针对逻辑专业教育的。强调现代逻辑与普通逻辑的对立,是中国学界的一种特殊现象,这使得发展与改革逻辑通识教育,不得不时时为普通逻辑辩护。
- 陈慕泽
- 关键词：批判性思维
- 围棋必胜法的数理逻辑观照
- 2004年
- 用一阶谓词逻辑的工具证明,那种有两方参与,根据规则在有限步内能确定胜负的游戏,从理论上说,存在必胜的方法。这说明,数理逻辑的方法可以有广泛的运用,它对于日常思维同样有重要的价值。
- 陈慕泽
- 关键词：数理逻辑一阶谓词逻辑思维方法
- 多主体系统中的知道推理被引量：3
- 2003年
- 多主体认知逻辑,特别是其中关于多主体之间互知推理的研究,是近十年来国际上新发展起来的研究领域,对于经济学、军事学、博奕论、人工智能和计算机科学的发展,具有重要的价值。本文围绕实例分析,介绍了一种通过构造“知道”模型,对多主体互知进行形式刻划和语义分析的方法,意在引起国内读者特别是学者对于这一研究领域的兴趣和关注。
- 陈慕泽
- 关键词：多主体系统共同知识
- 中华传统文化缘何未成为全球化大厦担纲之梁——谈逻辑与分析理性被引量：10
- 2005年
- 中华传统文化缺少分析理性,这是它不能产生现代科学技术的原因。辩证理性需要分析理性的“监督”,否则就会沦为诡辩。哲学曾经历的庸俗化需要基于分析理性加以清理。现代逻辑的重大成果是分析理性的杰作,其丰富的哲学营养和对传统哲学思考的挑战应当引起哲学家的关注。
- 陈慕泽
- 关键词：中华传统文化
- “运动着的物体每一瞬间既在这儿又不在这儿”的一个形式证明被引量：1
- 2001年
- 空间状态集比时间状态集高一个基数。因此 ,时间状态和空间状态的对应 ,不是一对一的关系 ,而是一对多的关系。这就为“运动着的物体每一瞬间既在这儿又不在这儿”这样的以往只能以哲学思辩来把握的辩证命题 ,在相关的形式刻画和逻辑模型的基础上 。
- 陈慕泽
- 关键词：逻辑模型哲学
- 多主体认知系统中的互知推理被引量：5
- 2001年
- 陈慕泽
- 关键词：形式语言语义解释共同知识
