武汉大学哲学系教授。
发表于2024-11-21
符号逻辑讲义 2024 pdf epub mobi 电子书
非常详细的一本书,也比较传统的分成命题逻辑和谓词逻辑两个方向。 我是从这本书的费奇式演算中,才了解了推演的基本方法,并将之用于在学习上本书中的自然推演系统中。本书中的希尔伯特式演算的H。公理系统也是传统的公理系统的讲演方式。 个人觉得本书在谓词逻辑和谓词演算的...
评分非常详细的一本书,也比较传统的分成命题逻辑和谓词逻辑两个方向。 我是从这本书的费奇式演算中,才了解了推演的基本方法,并将之用于在学习上本书中的自然推演系统中。本书中的希尔伯特式演算的H。公理系统也是传统的公理系统的讲演方式。 个人觉得本书在谓词逻辑和谓词演算的...
评分非常详细的一本书,也比较传统的分成命题逻辑和谓词逻辑两个方向。 我是从这本书的费奇式演算中,才了解了推演的基本方法,并将之用于在学习上本书中的自然推演系统中。本书中的希尔伯特式演算的H。公理系统也是传统的公理系统的讲演方式。 个人觉得本书在谓词逻辑和谓词演算的...
评分和学生组建了一个读书小组来读这一本书,用了快两个月的时间了读到了第九章,作了前面大部分的题目,当然还有一些不会,不过所幸也不急,等把第一遍仔细读完,再反反复复的读上几遍,想来那些遗留的问题也不是问题了吧。 个人感觉难得的好书,非常的贴心,很多章节都能读出一种...
评分和学生组建了一个读书小组来读这一本书,用了快两个月的时间了读到了第九章,作了前面大部分的题目,当然还有一些不会,不过所幸也不急,等把第一遍仔细读完,再反反复复的读上几遍,想来那些遗留的问题也不是问题了吧。 个人感觉难得的好书,非常的贴心,很多章节都能读出一种...
图书标签: 逻辑学 数理逻辑 逻辑 哲学 数学 分析哲学 徐明 一阶逻辑
这份讲义是当代逻辑入门课程的教材,内容大约是一阶逻辑的前部,可作为教科书或参考书,用于哲学、数学、计算机科学和语言学等院系的当代逻辑课程。希望了解一点当代逻辑的各科学生,也可以把它当作课外读物。
无论在国内还是国外,可用于一阶逻辑课的教材不少,导论性的教材更多;但两类教材的脱节是个老问题。国外一些教材在导论性内容后增加些一阶逻辑的内容(如完全性定理),其中有的已被国内学者介绍或模仿。但这类教材通常仍只能用于导论课。编写《符号逻辑讲义》的目的之一,就是想把脱节的教材连起来。说到西方人写的当代逻辑入门教材,不能不提一种现象:越来越多的这类教材是由逻辑界之外的人撰写的。有一次,美国哲学界的几位同事谈起部分学生逻辑水平很低,其中一人开玩笑说,那是你们逻辑学家的过错——谁让你们不写几本好的初级教科书呢?西方人写的逻辑教科书,有的很好,有的也很糟。所以,选用这类教材时要慎重,决不是西方人写的就一定好。
作为学科和知识体系,当代逻辑并没有理科当代逻辑、上科当代逻辑和文科当代逻辑之分。任何人着想掌握当代逻辑的基础知识,应该学习的决不会比其他学科的人更少。编写《符号逻辑讲义》时,在基本内容的选择上对各学科读者一视同仁,但为了使没经过理论数学的严格训练的人也能学好,在写法上力求从接近直观的东西入手,循序渐进。
没有坚持上完徐明老师的课程,挺遗憾的,徐老师的这本教材还是很好的。
评分这本书不是没有毛病,但是如果作为一个初学数理逻辑的人,又有多少选择呢?
评分我觉得是我看过的这几本数理逻辑的书里面最好的,要是当初上课用的这一本就好了。 mark一下,如果之后又需要考逻辑的话那就学这本书。
评分: O141-43
评分已经算同类书中非常清晰的了。但是代入及衍生物简直就是噩梦啊。第一遍阅毕,有待第二遍重读。
符号逻辑讲义 2024 pdf epub mobi 电子书