不确定性的困惑与NP理论分享 http://blog.sciencenet.cn/u/liuyu2205 平常心是道

博文

按标题搜索
简介“自然演绎”推理
热度 1 2022-1-19 18:18
在数理逻辑中,自然演绎( natural deduction )是一个形式系统,其推理方法是一种接近于自然推理的演绎法,与希尔伯特系统的主要区别是没有公理,这是证明理论史上的重要一步。 一,自然演绎法的源起 “ 自然演绎 ” 是德国数学家根岑( Gerhard Gentzen , 1909 - 1945 )于 1935 年在一 ...
个人分类: 在法国教逻辑课|1172 次阅读|2 个评论 热度 1
逻辑课改革实践 - “世界逻辑日”(2021/1/14)
2022-1-14 17:03
2020 年 1 月我开始主讲法国儒勒 - 凡尔纳大学( UPJV )科学学院大学一年级的逻辑课,到今年已经三年了( “ 世界逻辑日 ” ( 2021/1/14 ) , 写在 “ 世界逻辑日 ” )。 2020 年 1 月 14 日正是第一届 “ 世界逻辑日 ” ,所以,每年都是在 “ 世界逻 ...
个人分类: 在法国教逻辑课|1008 次阅读|没有评论
《如何使我们的观念清晰》 (1) 皮尔士
2022-1-13 22:22
皮尔士在《通俗科学月刊》( Popular Science Monthly )上发表的《信念的确定》( The Fixation of Belief , 1877 )与《如何使我们的观念清晰》( How to Make Our Ideas Clear , 1878) ,被认为是实用主义的代表作。 (注:这是重新翻译的文本) 《如何使我们的观念清晰》 - 皮尔士 ...
个人分类: 解读哥德尔不完全性定理|1721 次阅读|没有评论
《如何建立信念?》 第四章 - 皮尔士
2022-1-11 18:18
怀疑产生的刺激促使我们努力达到信念的状态,我将把这一系列的努力称为 “ 研究 ” ,尽管必须承认,这有时不是一个非常恰当的称呼。 怀疑的刺激是使我们为达到信念而奋斗的唯一动机,如果我们的信念能够真正指导我们的行动,以满足我们的欲望,这对我们来说当然更好。这种思考将使我们拒绝任何在我们看来不 ...
个人分类: 解读哥德尔不完全性定理|1485 次阅读|没有评论
《如何建立信念?》 第三章 - 皮尔士
2022-1-11 17:53
提出问题和做出判断之间的区别被普遍认可,因为怀疑和信念的感觉是不一样的。但这并不是怀疑和信念之间的唯一区别。有一个实际的区别,我们的信念指导着我们的欲望,规范着我们的行动。刺客( Hatchichins )或山中老人的追随者一听到命令就跑去送死,因为他们相信服从他们的领袖可以确保他们获得永恒的幸福。如果他们 ...
个人分类: 解读哥德尔不完全性定理|1436 次阅读|没有评论
《如何建立信念?》 第二章 - 皮尔士
2022-1-11 17:43
推理的目的是通过研究已经知道的东西来发现其他未知的东西。因此,如果推理能够从为真的前提中得出为真的结论,那么它就是好的,否则就毫无价值。因此,推理的有效性纯粹是事实的问题,而不是观念的问题。 A 是前提, B 是结论,问题是这些事实是否真的存在这样一种关系,即如果 A 为真, B 就为真。如果是这样, ...
个人分类: 解读哥德尔不完全性定理|1384 次阅读|没有评论
《如何建立信念?》 第一章 - 皮尔士
2022-1-11 00:52
第一章 很少有人关心逻辑的 学习 ,因为每个人都认为自己已经充分掌握了推理的艺术,但值得注意的是,这种满足只限于自己的推理,而不能扩广到其他人的推理。在我们所有的能力中,从前提中得出结果的能力是我们最后才能达到的,因为与其说这是一种自然的天赋,不如说是一种长期而艰难习得的艺术。推理的历史提供 ...
个人分类: 解读哥德尔不完全性定理|1121 次阅读|没有评论
皮尔士(Peirce)与实用主义(Pragmatism)
2022-1-6 18:41
皮尔斯( Charles Sanders Peirce , 1839-1914 ), 美国逻辑学家、符号学家和哲学家,实用主义运动的创始人,然而,与其他实用主义者如詹姆斯或杜威不同,皮尔斯将实用主义设想为一种基于使用科学方法澄清思想的方法;皮尔斯与索绪尔一起被认为是现代符号学的两位创始人之一;也认为是近代杰出的逻辑家,他的 “ ...
个人分类: 解读哥德尔不完全性定理|815 次阅读|没有评论

本页有 2 篇博文因作者的隐私设置或未通过审核而隐藏

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2022-1-25 16:27

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部