符号逻辑讲义

出版时间：2008-9  出版社：武汉大学出版社  作者：徐明  页数：581  
Tag标签：无  

内容概要

这份讲义是当代逻辑入门课程的教材，内容大约是.阶逻辑的前部，可作为教科书或参考书，用于哲学、数学、计算机科学和语言学等院系的当代逻辑课程。希望了解一点当代逻辑的各科学生，也可以把它当作课外读物。     无论在国内还是国外，可用于一阶逻辑课的教材不少，导论性的教材更多；但两类教材的脱节是个老问题。国外一些教材在导论性内容后增加些一阶逻辑的内容（如完全性定理），其中有的已被国内学者介绍或模仿。但这类教材通常仍只能用于导论课。编写本书的目的之一，就是想把脱节的教材连起来。说到西方人写的当代逻辑入门教材，不能不提一种现象：越来越多的这类教材是由逻辑界之外的人撰写的。有一次，美国哲学界的几位同事谈起部分学生逻辑水平很低，其中一人开玩笑说，那是你们逻辑学家的过错——谁让你们不写几本好的初级教科书呢？西方人写的逻辑教科书，有的很好，有的也很糟。所以，选用这类教材时要慎重，决不是西方人写的就一定好。 　　作为学科和知识体系，当代逻辑并没有理科当代逻辑、上科当代逻辑和文科当代逻辑之分。任何人着想掌握当代逻辑的基础知识，应该学习的决不会比其他学科的人更少。编写本书时，在基本内容的选择上对各学科读者一视同仁，但为了使没经过理论数学的严格训练的人也能学好，在写法上力求从接近直观的东西入手，循序渐进。

作者简介

　　徐明，哲学教授（博士生导师），2004年春季开始在武大哲学系任教。目前主要学术兴趣是在哲学逻辑和形而上学/语言哲学。出版作品包括与N.Belnap和M.Perloff合著的FacingtheFuture：AgentsandChoicesinOurIndeterministWorld（牛津大学出版社，2001年）以及发表在国际学术期刊上的一系列论文。在教学方面，除了逻辑学和哲学的基础课程，主要教授哲学逻辑各分枝和相关的哲学理论。受聘武大前，曾在美国的西弗吉尼亚大学（WestVirginiaUniversity）、匹兹堡大学（UniversityofPittsburgh）和印地安纳大学（IndianaUniversityatBloomington）任过临时教职，还在美国的一家软件公司任职数年。

书籍目录

　第一章 引言 　　1.1 论说 　　　1.1.1 论说的好坏 　　　1.1.2 论说形式的好坏 　　　1.1.3 论说的好坏取决于其形式的好坏 　　1.2 演绎 　　　1.2.1 演绎的例子（一） 　　　1.2.2 演绎的例子（二） 　　　1.2.3 可演绎性、可证性和独立性 　　　1.2.4 可演绎性与论说 　　1.3 一致性 　　　1.3.1 关于一致性的基本想法 　　　1.3.2 不一致命题集的例子 　　　1.3.3 一致性、逻辑蕴涵和可演绎性的关系 　　1.4 与逻辑或“逻辑”有关的几个问题 　　　1.4.1 “逻辑是什么”不是逻辑问题 　　　1.4.2 逻辑与“逻辑”的用法 　　　1.4.3 逻辑与“习惯的说理方式” 　　　1.4.4 当代逻辑、传统逻辑和“普通人需要的逻辑 第一编 命题逻辑 　第二章 命题连接词与真值表方法 　　2.1 连接词与复合句 　　　2.1.1 联结词     　2.1.2 复合句和简单句 　　　2.1.3 复合句的子句 　　　2.1.4 主联结词和直接子句 　　2.2 真值函数连接词和非真值函数连接词 　　　2.2.1 真值函数联结词 　　　2.2.2 非真值函数联结词 　　　2.2.3 常用的真值函数联结词符号 　　2.3 符号化 　　　2.3.1 哪些联结词对应于哪些联结词符号 　　　2.3.2 符号化的基本操作过程 　　　2.3.3 几种特殊情况 　　　2.3.4 论说的符号化 　　　2.3.5 形式 　　2.4 命题逻辑的基本语法 　　　2.4.1 形式语言。 　　　2.4.2 对象语言和元语言 　　　2.4.3 子公式和主联结词 　　　2.4.4 括号的省略 　　　2.4.5 语法和语义 　　2.5 真值表和真值的计算 　　　2.5.1 联结词的语义解释——基本真值表 　　　2.5.2 公式真值的计算 　　2.6 若干基本语义概念的真值表刻画 　　　2.6.1 重言蕴涵（重言后承）与重言等值． 　　　2.6.2 可满足性 　　　2.6.3 重言式、矛盾式与或然式 　　2.7 简化真值表方法 　　2.8 习题 　第三章 命题逻辑的基本概念 　　3.1 对象语言里的符号和公式 　　3.2 真值指派和公式的真值 　　3.3 重言蕴涵、重言等值与可满足性 　　3.4 重言式、矛盾式与或然式 　　3.5 代入 　　　3.5.1 关于代入的直观说明 　　　3.5.2 代入的定义 　　　3.5.3 代入的复合 　　3.6 代入的语义性质 　　3.7 真值指派与真值表 　　　3.7.1 真值函数 　　　3.7.2 对部分命题变号的赋值 　　　3.7.3 基本语义概念的严格定义和真值表刻画的等价性 　　3.8 范式 　　　3.8.1 合取范式 　　　3.8.2 析取范式 　　　3.8.3 范式定理 　　3.9 函数完全性 　　　3.9.1 真值函数在形式语言中的表达 　　　3.9.2 具有函数完全性的几组真值联结词 　　3.10 习题 第二编 命题演算 　第四章 费奇式推演Ⅰ　第五章 弗雷格-希尔伯特式演算Ⅰ　第六章 弗雷格-希尔伯特式演算Ⅱ第三编 谓词逻辑 　第七章 走进谓词逻辑 　第八章 谓词逻辑的基本语法和语义Ⅰ 　第九章 谓词逻辑的基本语法和语义Ⅱ 第四编 谓词演算 　第十章 费奇式推演Ⅱ 　第十一章 弗雷格-希尔伯特式演算Ⅲ　第十二章 弗雷格-希尔伯特式演算Ⅳ附录 演算、数学归纳法、习题答案 结语 参考文献和推荐书目 希腊字母读音表 索引

章节摘录

　　第一章　引言　　在我上大学的时候，不少关于X的课程始于下面这样的问题：　　什么是X？（X的定义）　　学好X在理论上有什么意义？　　学好X在实践上有什么意义？　　怎样学好X7．．．　　然后给出一些答案和细节，构成该课程的“绪言”。近年来，一些新出版的教科书仍沿袭这样的惯例，甚至“读经风”也要从“为什么要读”、“读什么”和“怎样读”等问题刮起。这门课叫“符号逻辑”，是当代逻辑即数理逻辑的入门课程。按惯例，好像也该先讲讲什么是逻辑，什么是符号逻辑，什么是当代逻辑，为什么要学及如何学好逻辑，等等。　　像“逻辑是什么”或“当代逻辑是什么”这类问题，如果问的是逻辑或当代逻辑等的定义，那么我劝初学者不必太认真。初学逻辑，自然想知道逻辑学大概是怎么回事，想知道逻辑学家大概做些什么。但是，若想满足这种好奇心，与其在脑子里装些不明不白的“定义”，倒不如对逻辑学里讨论的问题以及讨论的方法多一点认真。这是因为：对一个学科的整体上的理解，是以对该学科中的问题和方法的理解为前提的。当然，这并不是说，关于逻辑或数理逻辑的各种说法都不值得思考。这里的要点是：不具备足够逻辑知识的人，分不出这些说法的好坏高低，反而容易因为学了某些“定义”、“分类”或“方向”，就自以为有些“逻辑学问”甚至“超逻辑学问”了。待到真有 点逻辑学问后，再来思考这类问题为时不晚——只要那时还有这种兴趣。　　……

编辑推荐

　　《符号逻辑讲义》是当代逻辑入门课程教材，是一阶段逻辑的前部，可以作为教科书或者参考书，用于哲学、数学、计算机科学和语言学等院系的当代逻辑课程。

用户评论 (总计24条)

•   这本书是符号逻辑课老师指定的参考教材，内容丰富，用的符号和语言都力求严谨。一开始不看得懂，要慢慢看。
•   逻辑入门教材，建议初学者和自学者阅读！
•   这是一本专业的逻辑教材，需要认真看，而且也值得认真看
•   适合初学符号逻辑最好的中文参考书
•   很不错的逻辑学教材，适合初学者由浅入深学习
•   這是我本科上徐老師的課的時候用的教材，原來那本送人了，就又買了本自己留著
•   书的质量还是不错的，但是书皮是折过的像是旧书。内容毋庸置疑绝对的不错，对于我这样一个跨学科的人来说还能读懂。
•   比较容易入门，适合入门用，比陆中万的容易学。
•   作者博客有勘误
•   徐老师的这本书算是我见过最适合自学的当代逻辑入门书籍了，“亲民”而又不失严谨，后面的进阶阅读的推荐也相当实用。
  只是本书中还有不少印刷和排版错误，徐老师的博客中有一篇勘误，建议读之前先去看看。
•   书写的还行，还有的都有了。
  就是作者给人的感觉太霸气了——让读者有点压抑——好像万里长征刚刚走完第一步——似乎不至于这样吧。
  客观地说，书本都了解了，至少可以说数理逻辑入门了
•   抱着想要充实自己的逻辑知识的期望购买的，整体感觉有点难，在深入学习的过程中会遇到一些瓶颈，不过，一旦突破，会感觉到自己思维逻辑层次的提升。尽管有挑战性，但是，作为一个可以努力的目标，还是很不错的。一起加油！！！
•   老师上普通逻辑学课程，学委让我们买这本书，无语了……
•   本书的印刷错误比较多，可到作者博客下载勘误表！
•   以前看过几本这方面的书 这本书还是很有特点的
•   必须找勘误表，作者放在网上了。
•   　　和学生组建了一个读书小组来读这一本书，用了快两个月的时间了读到了第九章，作了前面大部分的题目，当然还有一些不会，不过所幸也不急，等把第一遍仔细读完，再反反复复的读上几遍，想来那些遗留的问题也不是问题了吧。
  　　个人感觉难得的好书，非常的贴心，很多章节都能读出一种愉悦的感觉出来，就因为这花再多的时间也值呀，不像赵老的《西方哲学简史》《现代西方哲学》，读个几十遍，书能倒着背也只是练习了自己的记忆能力罢了，智性上没有多大的收获。
  　　如果真能花上半年的时间好好打磨掌握了这本书，你的思维层次会上一个新的台阶。那时再看Hamilton，和Enderton的书就应该能“酾酒临江，横槊赋诗”吧，我是这样想的，Enderton的书我还没有开始看，只是翻看了一下目录，有这种感觉。
  　　还在继续读，全力地读，希望能在国庆放假之前读完一遍，那时也许说点什么更加有理有据吧。
•   　　非常详细的一本书，也比较传统的分成命题逻辑和谓词逻辑两个方向。
  　　我是从这本书的费奇式演算中，才了解了推演的基本方法，并将之用于在学习上本书中的自然推演系统中。本书中的希尔伯特式演算的H。公理系统也是传统的公理系统的讲演方式。
  　　个人觉得本书在谓词逻辑和谓词演算的讲解方便略显拖沓，虽然个人并没有特别好的建议。而且本书的厚度方面，即内容方面略显多，作为教材不宜在一学期讲解完毕。虽然并未上过这类课，但个人认为，在大学讲这本书，基本讲完命题逻辑和命题演算就算结束了。
•   今天总算读完了，好书，读着有收获，比较难的是第九章，还有第十二章关于完备性定理的证明，要反复地看，自己在稿纸上反复的演算才行。而且这本书读一遍，做一遍题是不够的，要反复的打磨，才能真正把作者的东西变成自己的东西，得心应手。
  其实完全可以多讲一点集合论的知识，同构，初等等价能讲一讲就好了，私心觉得再厚个两百页也可以呀，那样一阶逻辑真的完全看这本书就可以了。
  不知道徐明同志有没有“模态逻辑”的讲稿，很希望也能看一看，想来他讲的模态逻辑也一样的精彩。若是徐明的学生看到了，或者武大的朋友，拜托告诉一声，我最近准备学模态，如果能看徐明的讲稿就好了。
•   很想看，可惜现在哪里都买不到了。。。LZ知道哪里能下载吗？
•   你可以去淘宝网上看一看，我的书是很久之前买的。应该是没有PDF版的，反正我没有搜到。
•   好的，多谢。淘宝倒是看过了，搜到的每家店都问过，但都是只提供打印版。孔夫子上也卖完了。so，我还是慢慢等待电子版吧。
•   以为读完了徐明的书，虽不中不远矣，读完之后才知道，后面的路依然漫长，努力，努力。
•   @南北不通兄是哪的老师，这么下功夫。这书我也喜欢，考研的时候自己读的。开始感觉跟你一样。但学到后来知道，这真只是个开始，而且还远远不够。集合论很多的，壮虎老师的就可以，不过印刷错误也很多（逻辑书都这样），外文的话Jech或者takeuti。模态逻辑必读蓝宝书～～这个强烈推荐，Blackburn，的de rijke, venema的那个。