出版社:浙江大学出版社
出版日期:2000-5
ISBN:9787308022811
作者:胡龙彪
页数:472页
作者简介
《逻辑学教程》内容简介:逻辑作为一门兼具基础性和人文性的学科,它的历史源远流长。逻辑是理性思维的工具,也是表达论证的工具。西方“逻辑之父”亚里士多德(Aristotle,前384-前322)和近代归纳逻辑的奠基人弗兰西斯•培根(Francis Bacon,1561-1626)的逻辑名著分别称为《工具论》和《新工具》,书名本身便可以看成是对逻辑功能的恰当表达。今天,在培养创新型人才的过程中,人们反复强调的话题是如何提高大学生的思维素质。我们认为,提高思维素质的基本而有效的途径便是学习逻辑知识,强化逻辑训练。
逻辑经过两千多年的历史发展,它本身经历了从传统到现代的演变。作为现代人,虽然也要研究传统逻辑,但更重要的是学习现代逻辑。现代逻辑是一个由众多学科分支构成的有机整体,而它的基础部分则是命题逻辑与谓词逻辑。根据教学活动的实际需要,我们分十一章来安排《逻辑学教程》的教学内容。
书籍目录
第一章 绪论§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 一阶谓词演算自然推理练习题第八章 模态逻辑第九章 逻辑基本规律第十章 归纳逻辑第十一章 语用逻辑主要参考文献后记
编辑推荐
《逻辑学教程》是由浙江大学出版社出版的。
章节摘录
版权页:插图:如果欧式打赢了这场官司,那么按照当初我和他签订的合同,他应该给我另一半学费。如果欧式打输了这场官司,按照法庭的裁决,他也应该给我另一半学费。欧式或者打赢这场官司,或者打输这场官司。总之,他应该付给我另一半学费。只见欧氏不慌不忙,针锋相对,做出了与老师的推理形式一样结论却截然相反的陈词:如果这场官司我打赢了,那么按照法庭的裁决,我不应该给您另一半学费。如果这场官司我打输了,那么按照当初我们签订的合同,我也不应该给您另一半学费。我或者打赢这场官司,或者打输这场官司。总之,我不应该付另一半学费。这就是著名的“半费之讼”。有这么一个故事,清代学者纪晓岚自幼勤奋好学,当他还是个孩子的时候,就经常到书摊上去看书,掌柜的对他总是只看不买有点不耐烦。一天,掌柜的对他说:“孩子,我们是靠卖书吃饭的,你要看,就买回去看好了。”纪晓岚听了,显出不高兴的样子:“买书就得先看,不看,怎么知道哪本好?”掌柜的说:“你经常到我这看书,难道就没有一本好的值得你买?”纪晓岚见掌柜的发火了,就很和气地说:“你这书摊上好的书倒是不少,不过,我看完后也就会背了,买它有何用?”“看完就能背?”掌柜显出一副不相信的神态,顺手拿起一本纪晓岚刚看过的书说:“要是你当着我的面能把这本书背下来,我就把它送给你,要是你背不下来,就永远别再来看我的书了!”“好,一言为定。”纪晓岚果然把那本书背了下来。掌柜大吃一惊,连连称赞,并把那本书送给了纪晓岚。
图书封面