逻辑学

书籍目录

前言第一章　绪言1.1 什么是逻辑1.2 逻辑和逻辑的类型1.3 现代逻辑的基本思想与方法1.4 逻辑的作用和意义1.5 预备知识第二章　命题逻辑2.1 联结词与复合命题2.2 真值联结词和真值形式2.3 真值函数重言式2.4 重言式的判定2.5 重言蕴涵式和重言等值式2.6 范式2.7 联结词推理的形式证明2.8 命题演算习题第三章　词项逻辑3.1 词项3.2 直言命题3.3 直接推理3.4 三段论3.5 词项逻辑中的主项存在问题习题第四章　一元谓词逻辑4.1 词项逻辑的不足4.2 一元谓词逻辑的形式语言4.3 可满足性和有效性4.4 代入和易字4.5 有效式的判定4.6 范式4.7 推理的形式证明习题第五章　谓词逻辑第六章　归纳逻辑第七章　逻辑方法附录　应用逻辑简介索引参考书目

作者简介

本书包括七章和一个附录。第一章绪言，介绍逻辑的总体内容和历史概况。第二章命题逻辑，其内容与一般的逻辑教材比较接近，只是更加丰富、更加系统。第三章词项逻辑，是用传统方法讲术有关直言命题的推理，为了与后面各章的内容相衔接，在写法上作了一些改变。第四章一元谓词逻辑，是从传统内容向现代内容过渡的一章。第五章谓词逻辑是现代谓词逻辑的一个比较系统的陈述。第六章归纳逻辑，是用比较现代的方法进述归纳逻辑的基本内容。第七章逻辑方法，是一些与逻辑有关但又不单纯是推理的内容，如定义、论证、论辩等。附录中简单介绍了现代逻辑学中被称为“非经典逻辑”或“应用逻辑”的一些内容。目的是让读者对现代逻辑学的情况有一个比较全面的了解，特别是使读者了解到我们所讲的经典逻辑并不是唯一的逻辑理论，也不是无懈可击的逻辑理论。

图书封面

 逻辑学下载