杨红玉:论金岳霖 《逻辑》 中的 “弗雷格-罗素论题”
一方面,虽然弗雷格和罗素都致力于消除“是”的歧义,但因为在他们所建立的数理逻辑系统里“是”已经不是逻辑常项和初始符号,所以弗雷格和罗素并没有对“是”的涵义或者对传统逻辑作出全面的研究,而金岳霖以“是”为视角对直言命题的性质进行了全面系统的探索和反思,这一研究与国际学界同步并体现了他高度的理论原创性;...
钱学森论何新创立的逻辑树(新稿)
何新说,他所建立的“泛演化逻辑”(DTL-UEL系统),是描述和分析、研究人类思维中存在的一种特殊的概念系统——“历史概念集合”的逻辑系统。何新认为:这种概念系统具有一系列特殊的逻辑关系和逻辑结构,而这种逻辑关系和结构具有动态演化和非对称(相容矛盾命题和悖论)的性质,从而超越了古典形式逻辑和近代数理逻辑所定位的...
当AI成为人类的数学劲敌,还有必要让孩子去卷AMC数学竞赛吗?
前面为大家介绍了取得AMC好成绩对美本申请以及就业来说有哪些实际的帮助。但如果有仔细了解过AMC竞赛知识点和考察逻辑的家长和同学会发现,学懂AMC数学竞赛所带来的长尾效应将超乎想象。1数理逻辑思维也许是网上太过渲染数学解题能力的重要性,导致大家忽视了学习数学这门基础学科的真谛——培养数理逻辑思维能力。罗...
访谈| 逻辑问题——与叶峰老师的逻辑十四问
坚持这种研究进路,一方面,这是因为我早年是从学习逻辑学开始进入学术研究领域,而且多年来一直从事逻辑教学,也一直关注逻辑学研究,对现代逻辑的研究模式比较熟悉;另一方面,这也因为我个人比较倾向于将哲学研究当成科学研究来做,或更准确地说,是倾向于将哲学中探求真相的部分与表达个人情感及个人价值偏好的部分仔细区分开。
席南华:基础数学的一些过去和现状
2.7计数、集合论和数理逻辑计算一些物品的数量当然是我们日常生活经常要做的事情。对有限集合,确定其中元素的个数理论上不是问题,一个一个数就行了。组合论的一部分就是研究计数,和数论密切相关。但对无限集合,事情显然并不简单。例如某人有个面积无穷的王国,国土增加一两平方千米的面积对他显然没什么意义。无限...
罗素的终极目标:把数学还原到逻辑
1900年夏天堪称一个“才智高潮”期,罗素在数理逻辑方面取得了重要的进展(www.e993.com)2024年10月22日。这位年仅28岁的知识分子此时正处在狂热而兴奋的时期,后来他回忆说:“我对自己说,现在我终于做了一件值得做的事情。我觉得,在我把它写下来之前必须小心,不要在大街上被车撞倒辗死。”...
是什么让他成为现代计算机之父?丨纪念冯·诺伊曼诞辰120周年
冯·诺伊曼的巨大贡献在于,他提出了“流程图”(flowdiagram)和“代码”(code)的概念:前者让机器的连接或电路固定但相当通用;后者能让这组固定连接能够解决各种问题。虽然可以事后诸葛地说,提出这种布置的可能性对数理逻辑学家来说可能是显而易见的,但以当时的电子技术,要实现并执行这种通用方法远远没有那么容易。
闲话科学与世界史(第二话修改)|哲学|逻辑学|唯物辩证法|格奥尔格...
逻辑是思维的概念。在人类思辨的发展过程中,形成了形式逻辑(formallogic)、数理逻辑(mathematicallogic)、辩证逻辑(Dialecticallogic)三种逻辑。(一)形式逻辑:“三律两推理”形式逻辑有三个基本规律:同一律、矛盾律、排中律。同一律简单地说,同一律要求在同一思维过程中,必须运用同一对象的概念和判断,不得混淆...
大陆新儒家蒋庆:中国应通过礼乐解决社会问题 比法律好
西方文化也有抽象的形而上学部分,港台新儒家就是从抽象的形而上学角度来回应西方文化的,比如牟宗三先生的第一部著作就是说易的。当然,现在看来这部书是牟先生的习作,是用西方的数理逻辑来解释《易经》的。但是,从中我们可以看到他们的理路,即港台新儒家是从抽象的形而上角度来回应西方文化的,所以他们的思想资源...
SAT对中国高考的启示:从应试力到思想力
作为学术性文体,Essay有别于偏重“客观再现”的记叙文、说明文、写景文,而更注重心灵深处思维能量的充分释放;Essay甚至也不同于应试型的论说文,更强调独立见解、缜密论证和逻辑论证过程中表现出来的创新思辨力。Essay成绩的欠佳,使中国学生思想力和表达力的危机浮出水面。