内容简介 · · · · · ·
本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，针对逻辑学的初学者，尤其是初学逻辑的学生，介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。
作者简介 · · · · · ·
邢滔滔，北京大学哲学系副教授
目录 · · · · · ·
丛书信息
· · · · · ·
博雅大学堂·哲学(共25册)，
这套丛书还有
《美学原理》《哲学导论》《现代西方哲学新编》《西方马克思主义概论》《历史唯物主义教程》
等
。
喜欢读"数理逻辑"的人也喜欢 · · · · · ·
数理逻辑的书评 · · · · · · ( 全部 2 条 )
> 更多书评 2篇
论坛 · · · · · ·
| 逻辑的小站 | 来自李高尚 | 2 回应 | 2013-07-15 16:34:14 |
| 给个评价？ | 来自Solelyodyssey | 1 回应 | 2010-02-24 11:18:56 |
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 逻辑学须看书籍 (斯宾诺莎的镜片)
- 逻辑与分析哲学（科学哲学、语言哲学、心灵哲学、逻辑哲学）学习书目 (水井八)
- 我的校园藏书 (休小谟)
- 博雅大学堂-哲学 (ws1116™)
- 逻辑\语言\认知（目前属于我的书） (斯宾诺莎的镜片)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
订阅关于数理逻辑的评论:
feed: rss 2.0
11 有用 呆呢鹿夢遊中 2014-10-01 13:07:09
我无法理解这本教材为什么会那么有信心在前言里声称“这是一本入门教材……不要求读者有数学方面的预备知识”
3 有用 七月彗星 2018-02-20 12:17:43
真的好难啊，从第二章开始就搞不懂了。
1 有用 素心人语-天涯 2016-07-22 14:04:54
本科讲义，可以作为入门读物。因为是讲义，编写循序渐进，跟着思路走，就能提供理解的效率。
0 有用 不理不理左卫门 2018-08-14 20:29:31
本科以来的一个起点
2 有用 上海星辰 2019-05-02 14:13:02
推理的有效性只与命题的真假有关，而命题的真假又只由个体的集合来决定，所以，探讨有效性问题就只需要关注集合和个体。哥德尔证明了一阶逻辑的语义后承和语形后承这两个概念在外延上是重合的。莱布尼茨将推理变成计算的思想，大概还蕴涵着这样一个要求：有一个机械过程，对任意的$\Phi$和$\varphi$，都可以能行地判定$\Phi \vdash \varphi$是否成立。这个要求称为系统的可判定性。但丘奇（A... 推理的有效性只与命题的真假有关，而命题的真假又只由个体的集合来决定，所以，探讨有效性问题就只需要关注集合和个体。哥德尔证明了一阶逻辑的语义后承和语形后承这两个概念在外延上是重合的。莱布尼茨将推理变成计算的思想，大概还蕴涵着这样一个要求：有一个机械过程，对任意的$\Phi$和$\varphi$，都可以能行地判定$\Phi \vdash \varphi$是否成立。这个要求称为系统的可判定性。但丘奇（A.Church,1936）证明，一般而言，形式推演系统不具有可判定性。与此相关的还有著名的哥德尔不完全性定理，它表明形式化的算术理论不能穷尽真算术命题。这些是形式化的代价，其中的哲学意义也许可以这样表述：当我们从直观一步步走向形式，确定性和清晰性都逐步加强，但直观方面的一些内容却不可避免地损失掉了。 (展开)
0 有用 音塵 2023-01-13 00:08:18 江西
第一章
0 有用 垢天使 2022-11-24 18:57:32 云南
太难了，权当泡澡 @2020-06-12 18:53:41
0 有用 serre 2022-10-26 21:27:00 河南
真的烂
2 有用 元气少女月亮🌙 2022-08-25 17:35:53 河北
我真是飘了，读这本书，一无所获还迷迷糊糊。没读完。
0 有用 爱丽丝的书柜 2021-08-29 22:41:24
@2011-05-09 22:01:52