逻辑学（大学哲学丛书）
分类: 图书,哲学/宗教,哲学,逻辑学,
作者： 宋文坚 主编
出 版 社： 人民出版社
出版时间： 2002-7-1字数： 361000版次： 1页数： 471印刷时间： 2002/07/01开本：印次：纸张： 胶版纸I S B N ： 9787010027333包装： 精装编辑推荐
内容简介
本书包括七章和一个附录。第一章绪言，介绍逻辑的总体内容和历史概况。第二章命题逻辑，其内容与一般的逻辑教材比较接近，只是更加丰富、更加系统。第三章词项逻辑，是用传统方法讲术有关直言命题的推理，为了与后面各章的内容相衔接，在写法上作了一些改变。第四章一元谓词逻辑，是从传统内容向现代内容过渡的一章。第五章谓词逻辑是现代谓词逻辑的一个比较系统的陈述。第六章归纳逻辑，是用比较现代的方法进述归纳逻辑的基本内容。第七章逻辑方法，是一些与逻辑有关但又不单纯是推理的内容，如定义、论证、论辩等。附录中简单介绍了现代逻辑学中被称为“非经典逻辑”或“应用逻辑”的一些内容。目的是让读者对现代逻辑学的情况有一个比较全面的了解，特别是使读者了解到我们所讲的经典逻辑并不是唯一的逻辑理论，也不是无懈可击的逻辑理论。
作者简介
目录
前言
第一章 绪言
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 推理的形式证明
习题
第五章 谓词逻辑
第六章 归纳逻辑
第七章 逻辑方法
附录 应用逻辑简介
索引
参考书目
媒体评论
