排序方式： 共有15条查询结果，搜索用时 15 毫秒
1.
本文指出了国内一些有影响的数理逻辑教材或专著中存在的一个重要错误一方面在定义一阶逻辑形式系统的公理和规则时不正确地使用了"可证"这个概念;另一方面又自相矛盾地叙述和论证了受限制的演绎定理. 相似文献
2.
借澄清对哥德尔不完全性定理若干误解的机会，以直观与简明的方式阐述哥德尔不完全定理的内容、意义及哥德尔的相关工作。哥德尔不完全性定理包括两个内容：第一，一个不弱干初等数论的形式系统，如果一致，则不完全；第二，这样的形式系统如果一致，则这种一致性在系统内不可证。 相似文献
3.
词项周延性的一阶语言定义 总被引：2，自引：0，他引：2
陈慕泽 《中国人民大学学报》1997,(3)
词项周延性的一阶语言定义陈慕泽（中国人民大学哲学系）本文尝试在一阶逻辑中给出词项（一元谓词）周延性的一个形式定义，以克服传统逻辑在这个问题上的含混。什么是“全部外延被断定”，在传统逻辑中缺乏明确的界定，这不可避免地会带来含混词项周延性是传统逻辑的一个... 相似文献
4.
陈慕泽 《中山大学学报(社会科学版)》2003,(Z1)
多主体认知逻辑,特别是其中关于多主体之间互知推理的研究,是近十年来国际上新发展起来的研究领域,对于经济学、军事学、博奕论、人工智能和计算机科学的发展,具有重要的价值。本文围绕实例分析,介绍了一种通过构造“知道”模型,对多主体互知进行形式刻划和语义分析的方法,意在引起国内读者特别是学者对于这一研究领域的兴趣和关注。 相似文献
5.
陈慕泽 《湖南科技大学学报(社会科学版)》2005,8(5):35-38
中华传统文化缺少分析理性,这是它不能产生现代科学技术的原因.辩证理性需要分析理性的"监督",否则就会沦为诡辩.哲学曾经历的庸俗化需要基于分析理性加以清理.现代逻辑的重大成果是分析理性的杰作,其丰富的哲学营养和对传统哲学思考的挑战应当引起哲学家的关注. 相似文献
6.
陈慕泽 《湖南科技大学学报(社会科学版)》2004,7(1):25-26
用一阶谓词逻辑的工具证明,那种有两方参与,根据规则在有限步内能确定胜负的游戏,从理论上说,存在必胜的方法。这说明,数理逻辑的方法可以有广泛的运用,它对于日常思维同样有重要的价值。 相似文献
7.
再论逻辑学与通识教育——与王路教授商榷 总被引：1，自引：0，他引：1
陈慕泽 《西南大学学报(社会科学版)》2009,35(6)
"取代论"引起的争论是混淆逻辑专业教育与通识教育的伪争论.逻辑通识课的目标是提高逻辑思维素养.逻辑思维素养是具有一般可比性的日常逻辑思维能力.现代逻辑关注逻辑之学理,普通逻辑关注日常思维,二者对同一种涉及日常思维的知识往往有不同的处理, 普通逻辑的处理方式适合通识教育."逻辑现代化"的口号是针对逻辑专业教育的.强调现代逻辑与普通逻辑的对立,是中国学界的一种特殊现象,这使得发展与改革逻辑通识教育,不得不时时为普通逻辑辩护. 相似文献
8.
陈慕泽 《中国人民大学学报》2004,(2)
下面要陈述的是一个颇具挑战性的问题。解决这个问题并非想像的那么容易 ,其中包含着深刻的逻辑内容。老师对学生说 ,下周我将对你进行一次突击考查。这次考查将安排在下周一至周六的某一天 ,但没有任何根据使你可以推算出这是哪一天。否则 ,就不能称之为突击考查。在直觉上 ,这样的突击考查当然是可以实施的。例如 ,老师可以用掷硬币的随机方式确定突击考查安排在周一或周二 ,显然 ,学生没有任何根据可以推算出这一天。但是学生经过思考得出结论 ,这样的突击考查不可能存在。以下是他的论证 ,这一论证并不复杂。首先 ,周六不可能是突击考查… 相似文献
9.
正确理解哥德尔不完全性定理 总被引：2，自引：0，他引：2
陈慕泽 《湖南科技大学学报(社会科学版)》2008,11(2):27-30
借澄清对哥德尔不完全性定理若干误解的机会,以直观与简明的方式阐述哥德尔不完全定理的内容、意义及哥德尔的相关工作.哥德尔不完全性定理包括两个内容:第一,一个不弱于初等数论的形式系统,如果一致,则不完全;第二,这样的形式系统如果一致.则这种一致性在系统内不可证. 相似文献
10.
用一阶谓词逻辑的工具证明，那种有两方参与，根据规则在有限步内能确定胜负的游戏，从理论上说，存在必胜的方法。这说明，数理逻辑的方法可以有广泛的运用，它对于日常思维同样有重要的价值。 相似文献