逻辑基础
2004-1
人民出版社
王路
361
无
本书是清华大学人文学院的系列教材之一，是专门为大学文科学生以及自学者，特别是那些没有理科背景的读者编写的现代逻辑教科书。本书的编写参考了大量国内外的相关教材，总结了作者多年的研究和教学成果。全书贯穿着一种现代逻辑的观念，力图使学生通过本书的学习，具备基本的逻辑思维能力；该书体例新颖，结构简练，以现代逻辑的基本知识为核心内容，同时兼顾传统逻辑的精华；内容由浅入深，循序渐进；作者通过列举现实生活中大量生动直观的实例，说明比较抽象和技术性较强的逻辑知识，从而省去了现代逻辑中许多枯燥、繁琐的纯符号内容，使本书好教、好学、好用、好理解、好掌握。本书还给出了一些有趣的习题和参考答案，便于学生加深理解和掌握。本书既可作为大学文科逻辑教材，也广大逻辑爱好者的自学用书。
王路，1955年生，清华大学人文学院哲学系教授，博士生导师；中国社会科学院研究院教授；中国社会科学院研究系列正高级专业技术资格评审委员会委员；北京大学外国哲学研究所兼职研究员；北京书生研究中心客座研究员。主要著作有：《亚里士多德的逻辑学说》，《佛雷格思想
序第一章 绪论 1.1 逻辑简史 1.2 罗辑的性质 1.3 形式逻辑 1.4 逻辑、语言与思维 思考题第二章 命题逻辑 2.1 命题联结词与命题形式 2.2 真值形式:否定词、合取词、析取词 2.3 真值形式：蕴涵词、等值词 2.4 括号与有效性 2.5 重言式与有效性 2.6 真值表法 2.7 简化真值表法 2.8 真值树法 2.9 命题推理的证明规则 2.10 等值规则 2.11 条件证明 2.12 间接证明 2.13 重言式的形式证明 2.14 命题逻辑推理规则的运作 习题第三章 词项逻辑 3.1 直言命题及其形式 3.2 类与存在假定 3.3 对当方阵的语义解释 3.4 对当方阵推理 3.5 换质拉推量 3.6 三段论的格与式 3.7 三段论的有效性 3.8 三段论的规则与运用 习题第四章 谓词逻辑 4.1 个体词与谓词 4.2 量词 4.3 关系命题 4.4 多个量词 4.5 量词的否定 4.6 真、可满足与有效性……第五章 一阶逻辑第六章 思维与语言 附录1 命题逻辑规则与方法 附录2 谓词逻辑规则与方法 附录3 词项逻辑规则与方法 附录4 习题参考答案主要参考文献索引
5.6 一阶逻辑的方法 以上简单介绍了命题逻辑H和谓词逻辑QH的基本内容。这两部分是一阶逻辑的基本组成部分，也是现代逻辑的基础部分。虽然我们的介绍非常简单，许多重要的定理都没有证明，许多重要的元定理也没有介绍，但是有两个最基本的特征还是可以看出来的。 一个特征是形式化。一阶逻辑的语言完全是人工语言。它的每一个符号与其意义都是一一对应的，因此不会有歧义。利用这样的语言，我们可以完全消除自然语言的歧义，非常精确地表达我们想要表达的东西。有人可能会认为，我们在陈述的过程中，仍然使用了自然语言。确实是这样。但是，人工语言的使用，使我们可以区别出对象语言和元语言。比如，语言LP和LQ本身是对象语言，它们的构成包括字母表和形成规则，是清楚的。我们陈述和说明它们的语言是元语言。这两种语言不在一个层次上。因此尽管我们在陈述LP和LQ。的过程中也使用了日常语言，从而使两种语言混合在一起，但是它们之间的区别仍然是清楚的。就像一本用汉语写的英语语法书一样。里面的英语是对象语言，而陈述用的日常语言，即汉语，则是元语言。现代逻辑表明，形式化是消除语言歧义、保证表达清晰精确的惟一方法。 另一个特征是公理化。一阶逻辑的公理系统是比较成熟和完善的系统。它至少有几种非常重要的性质。其一，它可以使对象的研究系统化。以命题逻辑为例，通过公理化的研究，所刻画和揭示的不是某一种推理的特征和性质，而是五种命题联结词及其相关推理的特征和性质。而就谓词逻辑来说，通过公理化的研究，就刻画和揭示了全称量词和存在量词及其相关推理的性质和特征。我们知道，命题逻辑所探讨的五种命题联结词是日常表达中与推理的有效性联系最为紧密的，而全称量词和存在量词也是人们表达量词的最为基本的两种情况。因此这样的研究结果就具有普遍性。 其二，它可以保证可靠性。这里的可靠性又可以有两层含义。一方面，由于可以构成形式系统，因此可以从几条公理出发，利用推理规则，证明许多定理。这样就真正把推理变成了演算。从而使莱布尼兹“算一算”的思想变为现实。计算所得的结果无疑具有可靠性。另一方面，由于有了公理系统，而公理系统自身是一个完整的体系，因此公理系统本身就成为我们研究的对象，从而形成元逻辑的研究。前面我们在介绍了H和QH之后，分别谈到可靠性定理和完全性定理。我们虽然没有介绍这些定理的证明，但是已经把它们的结果告诉了大家。这两条定理实际上是保证了H和QH的可靠性。由此也说明，H和QH本身的可靠性是不能在H和QH自身来解决的。 ……
《逻辑基础》还给出了一些有趣的习题和参考答案，便于学生加深理解和掌握。《逻辑基础》既可作为大学文科逻辑教材，也广大逻辑爱好者的自学用书。
无
作为一本基础类的逻辑教材，讲的很详细，是本很好的教材，学完感觉受益匪浅！
逻辑的基础知识，值得学习！
可以做为兴趣读一读，丰富一下逻辑知识。
粗略看过此书后，此书的逻辑基础只是在重视片言字语上追求“尽善尽美”分析，而忽略了整体性的攻略。（个人认识）。适合精英们钻研。
学点逻辑肯定没坏处。
没有逻辑活不下去啊！
演绎讲解精彩。尤其是三段论的自然演绎法。
但是，没有归纳逻辑，美中不足。
浅显易懂，王路老师的书和人一样好
书还没看完
是我看地第一本逻辑学的书
挺好懂的
对自己也有裨益
可以作为逻辑学的入门。
训练思维很有帮助
练习题不错，关键是都有答案。
不足之处是论证的真假本质没有说.
需要仔细学习一下。
好书一本，Thank！
逻辑学入门
便宜又好看，质量不错
很复杂，很有深度
发货迅速，质量有保证
好书！系统、扎实
这是我需要的修订版的.找了好久才找到.
非常非常不错的东西哦
适合逻辑专业的学生看看,补补基础吧,呵呵
这书，还好！！我看了下，未看完，对我这个自学者来说，是本不错的书
果然是適合文科學生看的哈
内容,条理清晰!
基础读物。
太多公式，适合教课书，不适合闻时学习。
和金乐霖的《逻辑》相差得太远了！！！
应该和柯匹的书一起看，那里面虽然比较啰嗦不过讲得很细，王路先生的书要点很突出，定义很多都是描述性的，符号逻辑为主
很好的一本书！~正版！~
内容以现代逻辑为背景，相比以往老版教材在视野上开阔不少；而且举例也没有以往教材那么死板，挺有意思
似乎没那么难吧!本人是个文科生,个人觉得:这本书写得通俗易懂,明白清晰!对逻辑学感兴趣的,大可一读!
包装很严实，书也不错！
还没看完，自学些皮毛而已
专业学习的内容，比较枯燥
嗯，值得看看，提高一下逻辑思维能力。
文科生不是很容易看懂，书还不错。
很好的逻辑学入门教材，适合初级读者
从《逻辑基础》的目录来看，此书应该改名为《数理逻辑》
买来几个月了，刚开始的热衷在没看几页后消失殆尽，需要用心去看。
帮书友买的 服务好，送货快，赞一个。
质量还不错~~