简介

精彩点评

• 

  T

  推荐

  关于《数理逻辑》这本书，很多时候，我们在学习数理逻辑时，会想到基本的的集合假设，也会想到皮亚若公理体系，其实读完这本书时，我基本上了解了这是最小化逻辑推理，其实还有直觉逻辑推理，基本逻辑推理。基本逻辑推理可以推出直觉逻辑，这两个逻辑体系是基本一致的。这时，我想到了哲学，哲学可分为思辨哲学与科学哲学，思辨哲学研究的思维直觉，而科学哲学是验证思维直觉逻辑。到最后，思维直觉逻辑推理，变成了公理体系，而经典逻辑推理从直觉出发，验证了科学体系。如果它本来存在，为何要叫发明，如果它本来不存在，为何直觉逻辑可以推出现实逻辑的本质。

• 

  戴明

  推荐

  踉踉跄跄读完了这本好书，说实话感觉自己读的不好，因为是抱着实用而不是研究的心态，许多地方得过且过就略了，尤其从第三章开始，没深入研究逻辑的外行就不明白概念的意义了，遂之加紧挑有启发性的部分匆忙赶完（跳过）了第五、六章。最后一章真是专业呀，硬核的一度看不下去，我想大概是读的时机不对，现在的修为还啃不下这块骨头，但我感受到了文字后面隐藏的力量，绝对不亚于我读哲学后获得的启示。这次攻读先告一段落了。先留下评价，待时机成熟，再来品这壶烈酒

• 

  半步AI

  推荐

  字母集里，构造一个形式语言项结构(项，公式)：定义，项(对象)，联结词谓词，量词。得到的一阶语言的逻辑规则，进行自然推演符合实际逻辑应用意义而有别于公理系统，(形成客观推演可跳脱出主观情绪闭环)，是推理正确性的另一种刻画。也是一种基于自然语言的自然理解？那这是形式主义还是直觉主义的合理？ ''经典逻辑语形上的推演不会导致语义上不正确的推理，这称为经典逻辑的可靠性；语形上的推演穷尽了语义上正确的推理，这称为经典逻辑的完全性。''合理性，可靠性与完全性，这是逻辑系统的度规边界？元结构、原子公式素公式为极小逻辑了？

• 

  专心认真阅读

  推荐

  国家十五教材。该书分演绎及其证成，真理与悖论，意义与指称，存在、量化和本体论，休谟问题与归纳逻辑，共五个部分，对逻辑哲学进行了全面系统的概论，同时吸收了近几年国际逻辑哲学方面的最新进展，每一章后面的思考题和推荐阅读文献更是大大方便了教学和阅读。作者在国内长期教授逻辑课程，也曾经写作过逻辑学和逻辑哲学方面的著作，具有深厚的功底和丰富的经验。

• 

  王六龙

  推荐

  我为什么读数理逻辑，因为读康德读亚里士多德的时候让他的逻辑糊糊涂涂的吸引住了，为了解开这个糊涂我必须找个更高的山爬下，以便俯瞰经典逻辑，所以又找了一本计算机数理逻辑，在这几本书里来回往返。 每个人都有天然的逻辑基因及天然的推理过程，就像听见一首好听的歌喝着一杯美酒心里必然会想起好事，这种必然的联系就是逻辑外在的表现。然而大多数人们都懒得用逻辑，因为应用它有点累于是人们更喜欢用爱表达逻辑，然而爱是没有道理的，所以大多数的爱和逻辑的结果一致却经常出轨。爱有时被有心人用成打击逻辑的加农炮。如你爱国了，你任何事都可以干。实际生活中，逻辑经常失败，情感与本能却经常胜利，这使得我学起逻辑来变得断断续续，某一天觉得你想从逻辑上获得功利不有点像和一个小商贩计较白菜的价格？若如此为什么不去菜市场呢？买完菜后发现逻辑不能现实的提供利益。 逻辑一定变得很生气，一个凡人把它和菜市做一比较，并且在这样比较时逻辑般的得出逻辑失败的结论。难道这不是逻辑的意义吗？