逻辑学

图书标准信息

• 作者 宋文坚 编
• 出版社 人民出版社
• 出版时间 2002-07
• 版次 1
• ISBN 9787010027333
• 定价 21.00元
• 装帧 精装
• 开本 32开
• 纸张 胶版纸
• 页数 471页
• 字数 361千字
• 正文语种 简体中文
• 丛书 大学哲学丛书

【内容简介】

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

【目录】

前言
第一章绪言
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推理的形式证明
习题

第五章谓词逻辑
第六章归纳逻辑
第七章逻辑方法
附录应用逻辑简介
索引
参考书目