逻辑学【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

逻辑学PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第一章 绪论1

第一节 逻辑学的对象1

一、逻辑学是研究思维的形式结构及其规律的科学1

二 思维形式结构的规律性2

第二节 思维、语言和逻辑3

一 思维、语言和逻辑3

二 自然语言和符号语言3

三 传统逻辑和现代逻辑4

第三节 逻辑学的性质和作用5

一 逻辑学的性质5

二 逻辑学的作用6

练习题6

第二章 概念9

第一节 概念的内涵和外延9

一 概念是反映对象本质属性的思维形式9

二 概念的内涵和外延11

第二节 概念的种类12

一 普遍概念、单独概念和空概念12

二 实体概念和属性概念12

三 正概念和负概念12

四 集合概念和非集合概念12

第三节 概念外延间的关系14

一 相容关系14

二 不相容关系14

第四节 定义15

一 定义及其结构15

二 定义的方法15

三 定义的规则16

四 语词定义17

第五节 划分18

一 划分及其结构18

二 划分规则18

三 划分和分解19

第六节 概括和限制19

一 概念内涵与外延间的反变关系19

二 限制19

三 概括20

练习题20

第三章 命题逻辑28

第一节 复合命题28

一 判断、语句和命题28

二 原子命题和复合命题29

三 几种基本的复合命题29

四 一般复合命题 真值形式36

第二节 命题推理39

一 推理概述39

二 几种基本的命题推理41

三 一般命题推理及其判定50

练习题62

第四章 词项逻辑71

第一节 引言71

第二节 直言命题72

一 直言命题的定义和结构72

二 直言命题的种类73

三 自然语言中直言命题的规范化74

四 直言命题中词项的周延性74

五 主、谓项相同的四种直言命题间的真假关系75

第三节 直接推理80

一 对当关系直接推理80

二 命题变形直接推理81

第四节 直言三段论84

一 直言三段论的定义和结构84

二 直言三段论的公理85

三 直言三段论的规则86

四 直言三段论的格与式89

五 直言三段论的省略式93

练习题94

第五章 谓词逻辑108

第一节 原子命题的内部结构108

一 谓词逻辑的任务108

二 谓词和个体词109

三 量词109

四 命题形式及其解释111

第二节 自然语言的谓词表达式112

一 直言命题的表达式112

二 重叠量化式114

三 量化式的复合114

四 量化推理式115

第三节 量化自然推理116

一 量化自然推理概述116

二 全称量词的规则117

三 存在量词的规则119

四 量词交换的规则123

五 量词规则总结124

六 量词推理式的无效性的判定124

七 量化自然推理实例分析125

第四节 逻辑定理130

一 逻辑定理：普遍有效式130

二 逻辑定理引入规则130

三 若干重要的逻辑定理131

第五节 二元关系的若干性质134

一 关系的性质：属性的属性134

二 二元关系的若干性质134

练习题136

第六章 逻辑基本规律140

第一节 同一律141

一 什么是同一律141

二 同一律的要求和违反同一律的错误141

第二节 矛盾律143

一 互相矛盾和互相反对143

二 什么是矛盾律143

三 矛盾律的要求和违反矛盾律的错误143

四 悖论144

第三节 排中律145

一 什么是排中律145

二 排中律的要求和违反排中律的错误145

三 矛盾律和排中律的区别146

第四节 充足理由律146

一 什么是充足理由律146

二 充足理由律的要求和违反充足理由律的错误147

练习题148

第七章 模态逻辑157

第一节 模态逻辑概述157

一 模态与模态逻辑157

二 模态的种类158

三 模态命题及其特性159

四 模态命题形式160

五 模态逻辑的范围160

第二节 模态命题及其推理161

一 基本模态命题及其符号化161

二 复合模态命题和叠置模态命题161

三 基本模态命题之间的对当关系162

四 基本模态命题推理163

五 复合模态命题推理和叠置模态命题推理166

六 直言模态对当关系推理168

七 模态命题的真值条件171

八 模态三段论173

第三节 道义命题及其推理176

一 道义模态逻辑与其他道义命题176

二 复合道义命题及其符号化178

三 基本道义命题推理178

四 复合道义命题推理181

五 道义命题的真值条件182

练习题184

第八章 归纳逻辑188

第一节 归纳逻辑概述188

一 归纳推理和方法188

二 归纳与演绎的关系189

三 古典归纳逻辑190

四 现代归纳逻辑190

第二节 收集和整理经验材料的方法192

一 收集经验材料的方法192

二 整理经验材料的方法194

第三节 归纳推理（一）196

一 完全归纳推理197

二 不完全归纳推理198

第四节 求因果五法201

一 求同法202

二 求异法203

三 求同求异并用法204

四 共变法205

五 剩余法206

第五节 求概率的方法208

一 求初始概率的方法208

二 概率演算210

第六节 归纳推理（二）213

一 概率推理213

二 统计推理214

三 类比推理216

四 溯因推理218

五 假说演绎推理219

练习题221

第九章 证明与反驳228

第一节 证明228

一 证明及其结构228

二 证明的特征和作用231

三 证明的种类232

四 证明的规则236

第二节 反驳240

一 什么是反驳240

二 反驳的种类240

第三节 形式化方法243

一 公理化和形式化243

二 形式化的基本概念245

三 形式系统的一个实例：命题演算P248

练习题250

第十章 谬误259

第一节 谬误概述259

一 什么是谬误259

二 语形、语义与语用谬误260

三 形式谬误与非形式谬误261

第二节 几种主要的非形式谬误261

一 相关谬误261

二 歧义性谬误266

三 论据不足的谬误275

第三节 谬误的避免280

练习题281

附：综合练习题286

综合练习题答案381

参考文献393