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

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

一 亚里士多德 2

二 中世纪逻辑学家 5

三 培根 8

四 莱布尼茨 10

五 弗雷格 13

六 罗素 16

七 哥德尔 18

八 克里普克 22

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

一 逻辑 24

二 命题 26

三 推理 31

四 推理形式 32

五 推理的省略形式 36

六 推理形式的有效性 38

七 论证：演绎和归纳 41

八 推理或论证的可靠性 43

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

十 逻辑基本规律 47

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

一 语词、词项和概念 57

二 词项的内涵和外延 62

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

四 定义的方法和规则 71

五 划分与分类 83

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

一 简单命题和复合命题 88

二 联言命题和联言推理 88

三 选言命题和选言推理 91

四 假言命题和假言推理 96

五 负命题及其等值命题 104

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

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

一 直言命题 113

二 直接推理 122

三 三段论 128

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

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

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

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

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

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

一 什么是归纳推理？ 161

二 简单枚举法 163

三 排除归纳法 169

四 类比推理 176

五 统计归纳法 180

六 归纳的证成 184

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

一 什么是逻辑系统？ 187

二 逻辑系统的构成 191

三 元逻辑研究 199

四 形式化方法的意义 203

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

一 什么是变异逻辑？ 208

二 多值逻辑 210

三 相干逻辑 215

四 直觉主义逻辑 219

五 次协调逻辑 223

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

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

二 模态词和模态逻辑 230

三 可能世界语义学 235

四 道义逻辑 238

五 时态逻辑 242

六 认知逻辑 246

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

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

二 语境、预设与蕴涵 253

三 言语行为理论 259

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

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

一 论证的识别 277

二 论证的图解 280

三 论证的评估 287

四 论证的建构 291

五 对一个论证的反驳 294

第十三讲 以貌似讲理的方式——谬误：有缺陷的推理 296

一 谬误和诡辩 296

二 歧义性谬误 298

三 假设性谬误 301

四 关联性谬误 305

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

一 什么是悖论？ 315

二 一些常见的悖论 320

三 悖论产生的原因 329

四 关于悖论的解决方案 335

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

一 中国先秦逻辑学家 340

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

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

附录一 逻辑学和理性精神 359

附录二 逻辑：一个生长和变动的概念 362

附录三 从人工智能看当代逻辑学的发展 380

附录四 从《哲学逻辑手册》（第二版）看当代逻辑的发展趋势 393

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