逻辑学教程

出版时间：2000-5  出版社：浙江大学出版社  作者：胡龙彪  页数：330  
Tag标签：无  

内容概要

　　逻辑是一门既古老双年轻的学科。说它古老，是因为它的历史源远流长；说它年轻，是因为它今天仍然充满着生机和活力，在人们现实的思维和交际中起着其他学科不可替代的重要作用。　　依据“由抽象上升到具体”的理论建构原则，我们分九章来安排《逻辑学教程》的教学体系。　　《逻辑学教程》的第一章介绍逻辑的对象、作用和对象、作用和历史，旨在为逻辑画一个总的轮廓，使读者对逻辑有一个概略的了解。　　《逻辑学教程》的第二章和第三章所讨论的问题，属于命题逻辑的范围。就命题逻辑而言，最简单、最基本的东西就是命题联结词，所以第二章就从联结词讲起。第三章讨论命题演算，它是命题逻辑的形式化、系统化。命题演算包括公理系统的自然推理系统，本章对这两大系统都作了简明扼要的介绍。　　第四章、第五章和第六章讨论谓词逻辑。谓词逻辑是在命题逻辑基础上为现代逻辑体系中的“细胞”。依据这样的分析思路，命题逻辑揭示了效推理，即以命题联结词为基础的推理的规律。但是，还有一类有效推理，它们无法用命题逻辑的理论给以说明，因为它们的有效性植根于命题的内部结构。因此，必须深入命题的内部；考察作为命题结构成分的题词、谓词和个体词，从而说明这一类推理的有效性，这便是谓词逻辑任务。　　第七章讨论模态逻辑，模态逻辑是在命题逻辑和谓词逻辑基础上的进一步扩展。命题逻辑和谓词逻辑对于折合明效性的讨论是以现实世界为参照系的，而模态推理的有效性则涉及可能世界。所以，与命题逻辑和谓词逻辑相比，模态逻辑有关更为宽广的逻辑视野。本章的主要内容涉及非形式的模态命题逻辑元理念等等。　　第八章讨论归纳逻辑，包括传统的归纳逻辑与现代的归纳逻辑，其中前三节更多地属于“传统”的内容，后两节则较从一些“现代”的气息。归纳逻辑与前面第二至第七章所讨论的演绎逻辑属于不同的逻辑类型，但它对于培养人们的逻辑分析与推理能力同样是不可或缺的，因此，我们也在此作一个简要的介绍。　　第九章讨论语用逻辑。语用逻辑的着眼点是人类言语活动的交际性，它力图结合主体与语境来探讨语句的具体意义，因而是最为复杂和具体的。虽然逻辑学界对语用逻辑的性质、分类和核心概念有不少讨论，但语用逻辑的体系和内容至今还远远没有成型。我们之氢要在最后介绍这些尚不成熟的理论，无非是想帮助读者拓宽逻辑的视野，并在更广泛的层面上引起大家对新的逻辑领域的兴趣和关注。

书籍目录

第一章 绪论§1 逻辑的研究对象§2 学习逻辑学的意义§3 逻辑学的起源和发展第二章 传统命题逻辑§1 传统命题逻辑概述§2 联言命题及其推理§3 选言命题及其推理§4 假言命题及其推理§5 负命题及其推理§6 其他关于复合命题的推理§7 传统命题逻辑的应用及案例分析练习题第三章 命题演算非形式理论§1 真值联结词§2 真值表方法真值函数§3 联结词的可定义性、完全性与独立性§4 重言式的逻辑分析§5 推理的有效性重言后承§6 范式练习题第四章 命题演算公理系统与自然推理系统§1 形式系统概述§2 命题演算系统P的结构§3 P的内定理的证明§4 P的元理论§5 命题演算自然推理系统PN练习题第五章 传统谓词逻辑§1 关于概念的逻辑§2 直言命题的逻辑分析§3 直言命题直接推理§4 三段论§5 传统谓词逻辑的应用及案例分析练习题第六章 谓词演算非形式理论§1 从传统谓词逻辑到现代谓词逻辑§2 命题的谓词逻辑分析§3 一阶谓词语言L1的语法和语义§4 代人和字母变易§5 前束范式练习题第七章 一阶谓词演算公理系统与自然推理系统§1 一阶谓词演算系统F的构成§2 F的导出规则§3 演绎定理及其应用§4 F的元理论§5 带等词的一阶谓词演算系统F'§6 一阶谓词演算自然推理练习题第八章 模态逻辑第九章 逻辑基本规律第十章 归纳逻辑第十一章 语用逻辑主要参考文献后记

章节摘录

版权页：插图：如果欧式打赢了这场官司，那么按照当初我和他签订的合同，他应该给我另一半学费。如果欧式打输了这场官司，按照法庭的裁决，他也应该给我另一半学费。欧式或者打赢这场官司，或者打输这场官司。总之，他应该付给我另一半学费。只见欧氏不慌不忙，针锋相对，做出了与老师的推理形式一样结论却截然相反的陈词：如果这场官司我打赢了，那么按照法庭的裁决，我不应该给您另一半学费。如果这场官司我打输了，那么按照当初我们签订的合同，我也不应该给您另一半学费。我或者打赢这场官司，或者打输这场官司。总之，我不应该付另一半学费。这就是著名的“半费之讼”。有这么一个故事，清代学者纪晓岚自幼勤奋好学，当他还是个孩子的时候，就经常到书摊上去看书，掌柜的对他总是只看不买有点不耐烦。一天，掌柜的对他说：“孩子，我们是靠卖书吃饭的，你要看，就买回去看好了。”纪晓岚听了，显出不高兴的样子：“买书就得先看，不看，怎么知道哪本好？”掌柜的说：“你经常到我这看书，难道就没有一本好的值得你买？”纪晓岚见掌柜的发火了，就很和气地说：“你这书摊上好的书倒是不少，不过，我看完后也就会背了，买它有何用？”“看完就能背？”掌柜显出一副不相信的神态，顺手拿起一本纪晓岚刚看过的书说：“要是你当着我的面能把这本书背下来，我就把它送给你，要是你背不下来，就永远别再来看我的书了！”“好，一言为定。”纪晓岚果然把那本书背了下来。掌柜大吃一惊，连连称赞，并把那本书送给了纪晓岚。

编辑推荐

《逻辑学教程》是由浙江大学出版社出版的。