逻辑导论PDF|Epub|txt|kindle电子书版本网盘下载

逻辑导论PDF格式电子书版下载

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

第一章 导言1

第一节 逻辑和逻辑形式1

一、逻辑的对象1

二、逻辑形式2

三、将形式逻辑从实质逻辑中区分出来4

四、逻辑的性质5

第二节 命题和推理5

一、判断、陈述、语句、命题5

二、推理的过程及其结构推理的分类6

第三节 真和有效性8

一、真值事实的真和逻辑的真8

二、推理的有效性9

三、推理的完善性12

第四节 演绎和归纳13

一、演绎和归纳13

二、必然性和或然性14

三、合法性和合理性15

第五节 词项逻辑和命题逻辑16

一、词项逻辑16

二、命题逻辑18

第六节 古典类型逻辑和现代类型逻辑20

一、逻辑发展的不同阶段20

二、两种不同类型逻辑的主要差别21

第七节 逻辑、数学、哲学、语言25

一、逻辑与数学26

二、逻辑与哲学26

三、逻辑与语言30

第一篇 命题逻辑37

第二章 复合命题及其推理37

第一节 复合命题37

一、联言命题37

二、选言命题39

三、假言命题42

四、负命题47

第二节 复合命题推理51

一、联言推理51

二、选言推理52

三、假言推理56

四、二难推理67

五、假言联言推理75

第三章 命题演算82

第一节 命题演算基础知识82

一、命题、命题公式和真值函项82

二、重言式和重言式的判定86

三、范式和优范式92

第二节 命题演算97

一、形式系统97

二、命题逻辑自然推理系统98

三、命题逻辑公理系统104

四、命题演算的一致性和完全性110

第二篇 词项逻辑117

第四章 概念117

第一节 概念的概述117

一、概念与语词117

二、概念的内涵和外延118

三、概念的种类118

第二节 概念外延间的关系120

一、全同关系120

二、真包含关系与真包含于关系121

三、交叉关系122

四、全异关系122

第三节 明确概念的逻辑方法123

一、定义123

二、划分128

第五章 类演算133

第一节 类的基本知识133

一、集合和类133

二、类的表示法135

三、全类 补类 空类137

四、类的包含关系和等同关系138

五、类的基本运算140

第二节 类演算规则142

第六章 直言命题及其推理150

第一节 直言命题概述150

一、直言命题的实质和特点150

二、直言命题的逻辑结构151

三、直言命题的种类152

四、直言命题的基本形式153

五、直言命题的欧拉图解154

六、直言命题的文恩图解160

七、直言命题的词项的周延性161

第二节 根据直言命题对当关系的逻辑推演164

一、传统逻辑的对当关系推理164

二、从主项存在问题看对当关系推理的有效性166

第三节 命题变形推理171

一、换质法171

二、换位法173

三、换质位法176

第四节 三段论177

一、三段论概述177

二、三段论的规则179

三、三段论的格与式184

四、三段论的省略式189

五、用文恩图解方法检查三段论的有效性191

第七章 谓词演算200

第一节 谓词逻辑的符号与公式200

一、谓词逻辑的符号200

二、谓词逻辑的公式202

第二节 谓词演算的规则和步骤207

一、谓词演算的规则208

二、形式推导的步骤219

第三节 谓词演算的自然推理系统222

第三篇 关系逻辑 模态逻辑231

第八章 关系逻辑231

第一节 关系的预备知识231

一、关系命题231

二、序偶233

三、二元关系的结构235

四、二元关系命题的符号化237

五、几种基本的二元关系命题240

第二节 关系的几个重要性质242

一、关系的对称性问题242

二、关系的传递性问题245

三、关系的自反性问题246

四、关系的连通性问题248

五、次序关系问题249

六、等价关系问题250

第三节 关系的运算和关系推理251

一、关系的运算251

二、依据关系性质进行推演的关系推理253

三、含有关系的推理255

第九章 模态逻辑262

第一节 模态与可能世界理论264

一、模态词及其分类264

二、可能世界语义理论266

三、模态命题形式及其推导关系269

第二节 模态命题逻辑系统273

一、极小模态逻辑系统K274

二、标准模态逻辑系统T277

三、系统S4278

四、系统S5279

第三节 道义逻辑280

一、道义词及其命题280

二、道义逻辑系统285

第四节 时间逻辑291

一、关于时间的逻辑291

二、关于时态的逻辑295

三、关于时相的逻辑301

四、关于时间顺序的逻辑302

第四篇 归纳逻辑309

第十章 归纳推理309

第一节 归纳推理的概述309

第二节 概率313

一、概率的概念313

二、初始概率的确定315

三、特殊合取规则316

四、普遍合取规则317

五、特殊析取规则318

六、普遍析取规则319

七、否定规则320

八、现实生活中的概率321

第三节 因果推理323

一、为什么要探讨原因323

二、因果的概念324

三、探求因果联系327

四、因果推理与概率337

第四节 经验概括338

一、观察陈述339

二、普遍经验概括340

第五节 统计推理343

第十一章 类比推理348

第一节 类比推理概述348

第二节 类比推理的作用351

第十二章 科学方法356

第一节 假说356

一、什么是假说356

二、假说的形成358

第二节 确证与证伪359

一、普遍概括的检验模式359

二、确证实例的可接受性标准362

三、简单性标准363

四、统计概括的检验模式364

五、确证的复杂性366

六、证伪的复杂性366

第三节 科学解释367

一、什么是科学解释367

二、科学解释的类型368

第五篇 传统逻辑的规律与论证375

第十三章 逻辑规律375

第一节 同一律376

一、同一律的内容及其要求376

二、违反同一律要求所犯的逻辑错误377

三、同一律的作用及其起作用的条件379

第二节 矛盾律382

一、矛盾律的内容及其要求382

二、违反矛盾律要求所犯的逻辑错误383

三、矛盾律的作用及其起作用的条件386

第三节 排中律390

一、排中律的内容及其要求390

二、违反排中律要求所犯的逻辑错误391

三、排中律的作用及其起作用的条件392

第十四章 论证399

第一节 证明399

一、什么是证明399

二、证明的种类403

三、证明的规则408

第二节 反驳416

一、什么是反驳416

二、反驳的种类417

三、反驳的方法418

第三节 谬误422

一、什么是谬误422

二、谬误的种类423

主要逻辑术语英汉对照429