内容简介
本书在介绍逻辑学三段论、推理的非形式化内容、归纳推理等传统知识框架的基础上，展示了部分前沿成果，如道义和祈使逻辑、信念逻辑、元逻辑、异常逻辑等。本书对现代逻辑学中部分冗长、复杂的技术细行了简化，在证明体系中依次介绍若干入好逻辑系统，使各类读者能够较为直接地了解和掌握相关知识点。另外，在每章或每节后面列了一些以便读者加深对前面所学内容的理解。 本书适用于哲学、计算机等专业的高校师生阅读，也适合对逻辑学感兴趣的读者阅读。
目录
丛书序中文版序言序言第1章 导论 1.1 逻辑 1.2 有效的论证 1.3 可靠的论证 1.4 本书计划第2章 三段论逻辑 2.1 较容易的翻译 2.1a 练ogiColaa (EM & ET) 2.2 标星检验 2.2a 练无LogiColabr/> 2.2b 练ogiColab H 2.2c 练ogiColab （H & S) 2.3 自然语言论证 2.3a 练ogiCola BE 2.3b 神秘故事的练无LogiColabr/> 2.4 较困难的翻译 2.4a 练ogiColaa A(HM & HT) 2.5 得出结论 2.5a 练ogiColab BD 2.6 文恩图 2.6a 练ogiColabc BC 2.7 日常论证 2.7a 练ogiColab (F & I) 2.8 亚里士多德观点第3章 意义与定义 3.1 语言的使用 3.1a 练r/> 3.2 词典定义 3.2a 练ogiCola Q 3.2b 练r/> 3.3 约定定义 3.4 解释意义 3.4a 练r/> 3.5 做出区分 3.5a 练r/> 3.6 分析和综合 3.6a 练r/> 3.7 先验和后验 3.7a 练r/>第4章 谬误与论证 4.1 好的论证 4.2 非形式谬误 4.2a 练ogiCola R 4.2 b 另一组谬误练ogiCola R 4.3 不一致 4.3a 练r/> 4.4 构造论证 4.4a 练r/> 4.5 分析论证第5章 归纳推理 5.1 统计三段论 5.2 概率运算 5.2a 练ogiCola P (P,O, & c ) 5.3 哲学问题 5.3a 练ogiCola P (G,D, & V) 5.4 从样行推理 5.4a 练r/> 5.5 类比推理 5.5a 练ogiCola P(T) 5.6 类比和他心问题 5.7 穆勒方法 5.7a 练ogiCola P (M & B) 5.8 科学定律 5.8a 练r/> 5.9 佳解释推理 5.10 归纳法的困难第6章 基础命题逻辑 6.1 较容易的翻译 6.1a 练ogiCola C (EM & ET) 6.2 基础真值表 6.2a 练ogiCola D (TE & FE) 6.3 真值计算 6.3a 练ogiCola D (TM & TH) 6.4 未定真值计算 6.4a 练ogiCola D (UE,UM & UH) 6.5 复杂真值表 6.5a 练ogiCola D (FM & FH) 6.6 真值表测试 6.6a 练ogiCola D (AE,AM & AH) 6.7 真值指派测试 6.7a 练ogiCola ES 6.7b 练ogiCola EE 6.8 较困难的翻译 6.8a 练ogiCola C(HM & HT) 6.9 惯用论证 6.9a 练ogiCola E (F & I) 6.10 S-规则 6.10a 练ogiCola F(SE & SH) 6.11 I-规则 6.11a 练ogiCola F (IE & IH) 6.12 混合S-及I-规则 6.12a 练ogiCola F (CE & CH) 6.13 扩展的推理 6.14 逻辑与计算机第7章 命题证明 7.1 较容易的证明 7.1a 练ogiCola F (TE & TH)和GEV 7.1b 练ogiCola (TE & TH)和GEV 7.2 较容易的反驳 7.2a 练ogiCola GEI 7.2b 练ogiCola GEC 7.3 较困难的证明 7.3a 练ogiCola GHV 7.3b 练ogiCola GHV 7.4 较困难的反驳 7.4a 练ogiCola GHI 7.4b 练ogiCola G (HC & MC) 7.5 科皮证明 7.5a 和7.5 b练ogiCola GEO 7.5c 和7.5 d练ogiCola GHO和GMO 7.6 真值树 7.6a 练ogiCola GEZ 7.6b 练ogiCola GHZ和GMZ第8章 基础量化逻辑 8.1 较容易的翻译 8.1a 练ogiCola H（EM & ET） 8.2 较容易的证明 8.2a 练ogicCola IEV 8.2b 练ogiCola IEV 8.3 较容易的反驳 8.3a 练ogiCola IEI 8.3b 练ogiCola IEC 8.4 较困难的翻译 8.4a 练ogicCola H（HM & HT） 8.5 较困难的证明 8.5a 练ogiCola I（HC & MC） 8.5b 练ogicCola I（HC & MC） 8.6 科皮证明 8.6a 和8.6 b练ogiCola IEO 8.6c 和8.6 d练ogiCola IHO和IMO第9章 等词和关系 9.1 等词翻译 9.1a 练ogiCola H（IM & IT） 9.2 等词证明 9.2a 练ogiCola IDC 9.2b 练ogiCola IDC 9.3 较容易的关系 9.3a 练ogiCola H（RM & RT） 9.4 较困难的关系 9.4a 练ogiCola H（RM & RT） 9.5 关系证明 9.5a 练ogiCola I（RC &bc） 9.5b 练ogiCola I（RC &bc） 9.6 确定摹状词 9.7 科皮证明 9.7a 和9.7b 练ogiCola IDO 9.7c 和9.7 d练ogiCola IRO和IBO第10章 基础模态逻辑 10.1 翻译 10.1a 练ogiCola J（BM &b T） 10.2 证明 10.2a 练ogiCola KV 10.2b 练ogiCola KV 10.3 反驳 10.3a 练ogiCola KI 10.3b 练ogiCola KC第11章 阶模态系统 11.1 星际旅行 11.1a 练ogiCola KG 11.1b 练ogiCola KG 11.2 量化翻译 11.2a 练ogiCola J（QM & QT） 11.3 量化证明 11.3a 练ogiCola KQ 11.3b 练ogiCola KQ 11.4 一个精致的系统第12章 道义和祈使逻辑 12.1 祈使翻译 12.1a 练ogiCola L (IM & IT) 12.2 祈使证明 12.2a 练ogiCola MI 12.2b 练ogiCola MI 12.3 道义翻译 12.3a 练ogiCola L (DM & DT) 12.4 道义证明 12.4a 练ogiCola M (D & M) 12.4b 练ogiCola M (D & M)第13章 信念逻辑 13.1 信念翻译 13.1a 练ogiCola N (BM & BT) 13.2 信念证明 13.2a 练ogiCola OB 13.2b 练ogiCola OB 13.3 相信和愿望 13.3a 练ogiCola N (WM & WT) 13.4 愿望证明 13.4a 练ogiCola OW 13.4b 练ogiCola OW 13.5 理翻译 13.5a 练ogiCola N (RM & RT) 13.6 理证明 13.6a 练ogiCola O (R & M) 13.6b 练ogiCola OW 13.7 一个精致的系统第14章 一个形式化的伦理理论 14.1 实践理 14.2 一致 14.3 金规则（the golden rule） 14.4 启动GR的证明 14.5 GR的逻辑机制 14.6 符号化的GR证明第15章 元逻辑 15.1 元逻辑问题 15.2 联结词 15.3 可靠 15.4 15.5 一个公理系统 15.6 哥德尔定理第16章 逻辑史 16.1 古代逻辑 16.2 中世纪逻辑 16.3 启蒙时代的逻辑 16.4 弗雷格与罗素 16.5 《原理》之后第17章 异常逻辑 17.1 多值逻辑 17.2 弗协调逻辑 17.3 直觉主义逻辑 17.4 相干逻辑第18章 逻辑哲学 18.1 抽象实体 18.2 形而上学结构 18.3 逻辑规律的基础 18.4 真和悖论 18.5 逻辑的范围