简介“自然演绎”推理 2022-01-19

在数理逻辑中，自然演绎（ natural deduction ）是一个形式系统，其推理方法是一种接近于自然推理的演绎法，与希尔伯特系统的主要区别是没有公理，这是 ...

(910)次阅读|(2)个评论

逻辑课改革实践 - “世界逻辑日”（2021/1/14） 2022-01-14

2020 年 1 月我开始主讲法国儒勒 - 凡尔纳大学（ UPJV ）科学学院大学一年级的逻辑课，到今年已经三年了（ “ 世界逻辑日 ” （ 2021/1/14 ...

(985)次阅读|(0)个评论

《如何使我们的观念清晰》 （1） 皮尔士 2022-01-13

皮尔士在《通俗科学月刊》（ Popular Science Monthly ）上发表的《信念的确定》（ The Fixation of Belief ， 1877 ）与《如何使我们的观念清晰》（ H ...

(1702)次阅读|(0)个评论

《如何建立信念？》 第四章 - 皮尔士 2022-01-11

怀疑产生的刺激促使我们努力达到信念的状态，我将把这一系列的努力称为 “ 研究 ” ，尽管必须承认，这有时不是一个非常恰当的称呼。 怀疑的刺激 ...

(1471)次阅读|(0)个评论

《如何建立信念？》 第三章 - 皮尔士 2022-01-11

提出问题和做出判断之间的区别被普遍认可，因为怀疑和信念的感觉是不一样的。但这并不是怀疑和信念之间的唯一区别。有一个实际的区别，我们的信念指导着我们的 ...

(1423)次阅读|(0)个评论

《如何建立信念？》 第二章 - 皮尔士 2022-01-11

推理的目的是通过研究已经知道的东西来发现其他未知的东西。因此，如果推理能够从为真的前提中得出为真的结论，那么它就是好的，否则就毫无价值。因此，推理的 ...

(1372)次阅读|(0)个评论

《如何建立信念？》 第一章 - 皮尔士 2022-01-11

第一章 很少有人关心逻辑的 学习 ，因为每个人都认为自己已经充分掌握了推理的艺术，但值得注意的是，这种满足只限于自己的推理，而不能扩广到其他人 ...

(1110)次阅读|(0)个评论

查看更多