《从数学到哲学》:近代著名数理逻辑学家王浩哲学代表作,一场从...
近代著名数理逻辑学家王浩哲学代表作《从数学到哲学》近日由广西师范大学出版社出版。王浩(1921—1995)是近代享誉国际的数学家、哲学家、逻辑学家、计算机科学家,是人工智能重要研究领域“机器定理证明”的奠基人,是“王浩瓷砖”模型、“王氏悖论”命题的提出者,是“定理证明里程碑奖”获得者。曾任教于牛津大学、哈...
有些数学命题是无法用数学方法证明的
哥德尔最著名的成果之一是他的不完备性定理,该定理表明,在任何一致的公理数学系统中,都有无法在系统内证明或反驳的命题,并且公理本身的一致性也无法证明。以下文章选自《科技群星闪耀时》1906年,库尔特·哥德尔(KurtG??del)出生,当时的数学领域看似已经几乎完备。数学领域的长期发展成果已被整理成几条公理,根据这些...
人机混合智能:新一代智能系统的发展趋势
模糊逻辑提供一个或多个连续状态变量映射至相应类别进行推理和决策的框架;神经网络利用程序,在大型典型案例数据库的训练过程中学习到的可变互联权重来进行的知识表达的算术框架;遗传与进化算法在进化遗传学的启发下,采用重复仿真的方法,缩小潜在的选项范围,选择最优解决方案。人类通过人机交互界面与机器交互,机器给予人类辅...
学习逻辑学中最简单最常用的命题——直言命题,帮助我们判断真伪
命题可分为简单命题和复合命题。简单命题是单一判断语句,复合命题是由多个判断语句组成的。1、什么是直言命题?直言命题就是一种简单命题,用于描述事物的性质,由主项、谓项、联项和量项四个部分组成,有时某一项也可省略。在逻辑学中,通常用“S”表示主项,“P”表示谓项。直言命题的组成如下:主项:主项通常...
矛盾逻辑学:人类的经验通常是自相矛盾的(下)
自相矛盾的命题,"后来的维特根斯坦写道,"将像一座纪念碑一样矗立在逻辑命题之上。如果我们生活在一个前后矛盾的世界里,生活在一个从数学基础到晚餐约会的琐事都充满矛盾的世界里,那么它的逻辑就会为虚假、怀疑和分歧留下空间。这是许多分析和逻辑传统之外的哲学家,一段时间以来一直在呼吁的事情。正如波伏娃所写:...
魏天真|通过法律论证提高裁判的可接受性研究
然而,在逻辑学视角下,由于蕴含可能嵌于一个论证当中,论证也就不能被蕴含所涵盖;此外,形式逻辑的蕴含关系与论证之间存在差异,论证要求前提与结论不能相同,因为其预设了一个命题无法自己证明自己,否则就会陷入自证的陷阱;论证中结论和为之寻找的前提之间在可疑性上的递减关系,因为论证者总是被期望以一个可疑性更小的...
王浩︱生物学的形式与直觉
王浩是享誉国际的数理逻辑学家、计算机科学家、哲学家,中国西南联大数学系、清华大学哲学系毕业,1948年获哈佛大学逻辑学博士,先后在英国牛津大学、美国哈佛大学及洛克菲勒大学任教授并领导研究项目,其中他提出的一个数理逻辑的命题被国际上定名为“王氏悖论”。王浩与比雷尔断断续续讨论了一年多,定下开幕演讲题目:...
数学逻辑和计算机程序代码之间的深层联系:互为镜像
简单来说,柯里-霍华德对应认为:计算机科学中的两个概念(类型和程序)分别等价于逻辑学中的两个概念(命题和证明)。这种对应关系导致的一个结果是程序开发被提升到了理想化的数学层面,而之前人们通常认为程序开发就是个手艺活。程序开发不只是「写代码」,还变成了证明定理的行为。这能对程序开发的行为进行形式化,...
论证的含义、类型与功能 | 为了让孩子不抢盐逻辑论证系列
第二节论证的含义、类型与功能选自《逻辑学导论》熊明辉著内容提要:论证是逻辑学的研究对象。与论证密切相关的基本概念有命题、陈述、语句、推论、推理、证明等。在本章中,命题是我们所要讨论的主要概念之一,有经验命题与必然命题之分。论证通常包含作为结果的论证、作为过程的论证和作为程序的论证三个层次,演绎论证...
2024考研199管理类联考研究生考试大纲已出!如何进行百日冲刺?
综合能力考试中的逻辑推理部分主要考查考生对各种信息的理解、分析、判断和综合,以及相应的推理、论证、比较、评价等逻辑思维能力,不考查逻辑学的专业知识。试题内容涉及自然、社会和人文等各个领域,但不考查相关领域的专业知识。1、考查知识点包括四个部分的内容:概念、判断、推理、论证。