逻辑学十五讲PDF电子书下载

第一讲 天才值得我们敬仰——西方历史上的逻辑学家 1

一 亚里士多德 3

二 中世纪逻辑学家 5

三 培根 8

四 莱布尼茨 11

五 弗雷格 14

六 罗素 17

七 哥德尔 20

八 克里普克 23

第二讲 给思维的野马套上缰绳——什么是逻辑学？ 26

一 逻辑 27

二 命题 29

三 推理 34

四 推理形式 36

五 推理的省略形式 40

六 推理形式的有效性 42

七 论证：演绎和归纳 46

八 推理或论证的可靠性 48

九 前提对结论的支持或反驳程度 51

十 逻辑基本规律 52

第三讲 “香格里拉”和“马太效应”——词项、概念和定义 64

一 语词、词项和概念 64

二 词项的内涵和外延 69

三 词项的种类和外延关系 74

四 定义的方法和规则 79

五 划分与分类 93

第四讲 “假如生活欺骗了你……”——复合命题及其推理 98

一 简单命题和复合命题 99

二 联言命题和联言推理 100

三 选言命题和选言推理 103

四 假言命题和假言推理 109

五 负命题及其等值命题 118

六 几种常用的复合命题推理 120

第五讲 “所有的金子都是闪光的”——直言命题及其推理 130

一 直言命题 131

二 直接推理 141

三 三段论 147

第六讲 “有的投票人赞成所有的候选人”——量化命题及其推理 167

一 个体词、谓词、量词和公式 168

二 自然语言中量化命题的符号化 171

三 模型和赋值普遍有效式 180

四 非普遍有效性的解释方法 183

第七讲 “太阳明天仍将从东方升起”——归纳推理和归纳方法 186

一 什么是归纳推理？ 187

二 简单枚举法 189

三 排除归纳法 195

四 类比推理 203

五 统计归纳法 208

六 归纳的证成 212

第八讲 以严格性、精确性、系统性为目标——逻辑系统和元逻辑 216

一 什么是逻辑系统？ 217

二 逻辑系统的构成 220

三 元逻辑研究 230

四 形式化方法的意义 235

第九讲 换一个角度来思考……——变异逻辑：一些另类系统 240

一 什么是变异逻辑？ 240

二 多值逻辑 242

三 相干逻辑 247

四 直觉主义逻辑 252

五 次协调逻辑 256

第十讲 “你不可能在所有时刻欺骗所有的人”——广义模态逻辑 260

一 冯·赖特的广义模态逻辑构想 260

二 模态词和模态逻辑 265

三 可能世界语义学 271

四 道义逻辑 274

五 时态逻辑 278

六 认知逻辑 282

第十一讲 意会：“听话听声，锣鼓听音”——自然语言逻辑 287

一 语言的意义在于它的使用 288

二 语境、预设与蕴涵 290

三 言语行为理论 297

四 合作原则、会话含义和语用推理 308

第十二讲 且听庄子大侃“辩无胜”——论证的识别和建构 317

一 论证的识别 318

二 论证的图解 321

三 论证的评估 328

四 论证的建构 333

五 对一个论证的反驳 336

第十三讲 “以貌似讲理的方式……”——谬误：有缺陷的推理 338

一 谬误和诡辩 339

二 歧义性谬误 341

三 假设性谬误 343

四 关联性谬误 349

第十四讲 一只咬着自己的尾巴乱转的猫——悖论：思维的魔方 359

一 什么是悖论？ 360

二 一些常见的悖论 364

三 悖论产生的原因 374

四 关于悖论的解决方案 381

第十五讲 “彼，不两可两不可也”——中国历史上的逻辑学家 386

一 中国先秦逻辑学家 387

二 西方逻辑的早期翻译家 398

三 现代逻辑的传入者和研究者 402

主要参考书目和推荐读物 407