逻辑学导论(原书第三版)
定 价:128 元 本教材已被 1 所学校申请过!
丛书名:高等学校逻辑学专业系列教材/刘虎主编
抱歉,本教材暂不参与当前样书赠送活动!
《逻辑学导论:原书第三版》在介绍逻辑学三段论、推理的非形式化内容、归纳推理等传统知识框架的基础上,展示了部分前沿成果,如道义和祈使逻辑、信念逻辑、元逻辑、异常逻辑等。《逻辑学导论:原书第三版》对现代逻辑学中部分冗长、复杂的技术细节进行了简化,在证明体系中依次介绍若干符号逻辑系统,使各类读者能够较为直接地了解和掌握相关知识点。另外,在每章或每节后面列了一些习题,以便读者加深对前面所学内容的理解。
目录丛书序中文版序言序言第1章 导论 11.1 逻辑 11.2 有效的论证 11.3 可靠的论证 31.4 本书计划 5第2章 三段论逻辑 62.1 较容易的翻译 62.1a 练习:LogiColaa (EM & ET) 72.2 标星检验 82.2a 练习无LogiCola习题 112.2b 练习:LogiColab H 112.2c 练习:LogiColab (H & S) 112.3 自然语言论证 122.3a 练习:LogiCola BE 132.3b 神秘故事的练习无LogiCola习题 152.4 较困难的翻译 162.4a 练习:LogiColaa A(HM & HT) 182.5 得出结论 192.5a 练习:LogiColab BD 212.6 文恩图 232.6a 练习:LogiColabc BC 272.7 日常论证 272.7a 练习:LogiColab (F & I) 292.8 亚里士多德观点 30第3章 意义与定义 323.1 语言的使用 323.1a 练习 333.2 词典定义 343.2a 练习:LogiCola Q 373.2b 练习 383.3 约定性定义 383.4 解释意义 403.4a 练习 433.5 做出区分 443.5a 练习 453.6 分析性和综合性 463.6a 练习 473.7 先验和后验 473.7a 练习 50第4章 谬误与论证 514.1 好的论证 514.2 非形式谬误 554.2a 练习:LogiCola R 604.2b 另一组谬误练习:LogiCola R 624.3 不一致性 644.3a 练习 674.4 构造论证 684.4a 练习 704.5 分析论证 71第5章 归纳推理 745.1 统计三段论 745.2 概率运算 765.2a 练习:LogiCola P (P,O, & c ) 805.3 哲学问题 815.3a 练习:LogiCola P (G,D, & V) 855.4 从样本进行推理 855.4a 练习 885.5 类比推理 885.5a 练习:LogiCola P(T) 905.6 类比和他心问题 915.7 穆勒方法 925.7a 练习:LogiCola P (M & B) 955.8 科学定律 965.8a 练习 1025.9 解释推理 1035.10 归纳法的困难 103第6章 基础命题逻辑 1096.1 较容易的翻译 1096.1a 练习:LogiCola C (EM & ET) 1116.2 基础真值表 1126.2a 练习:LogiCola D (TE & FE) 1156.3 真值计算 1156.3a 练习:LogiCola D (TM & TH) 1166.4 未定真值计算 1176.4a 练习:LogiCola D (UE,UM & UH) 1176.5 复杂真值表 1176.5a 练习:LogiCola D (FM & FH) 1196.6 真值表测试 1206.6a 练习:LogiCola D (AE,AM & AH) 1226.7 真值指派测试 1236.7a 练习:LogiCola ES 1256.7b 练习:LogiCola EE 1266.8 较困难的翻译 1286.8a 练习:LogiCola C(HM & HT) 1306.9 惯用论证 1306.9a 练习:LogiCola E (F & I) 1316.10 S-规则 1336.10a 练习:LogiCola F(SE & SH) 1356.11 I-规则 1356.11a 练习:LogiCola F (IE & IH) 1396.12 混合S-及I-规则 1396.12a 练习:LogiCola F (CE & CH) 1406.13 扩展的推理 1406.14 逻辑与计算机 142第7章 命题证明 1437.1 较容易的证明 1437.1a 练习:LogiCola F (TE & TH)和GEV 1497.1b 练习:LogiCola (TE & TH)和GEV 1497.2 较容易的反驳 1517.2a 练习:LogiCola GEI 1537.2b 练习:LogiCola GEC 1537.3 较困难的证明 1567.3a 练习:LogiCola GHV 1627.3b 练习:LogiCola GHV 1637.4 较困难的反驳 1647.4a 练习:LogiCola GHI 1657.4b 练习:LogiCola G (HC & MC) 1667.5 科皮证明 1687.5a 和7.5b练习:LogiCola GEO 1737.5c 和7.5d练习:LogiCola GHO和GMO 1737.6 真值树 1737.6a 练习:LogiCola GEZ 1777.6b 练习:LogiCola GHZ和GMZ 177第8章 基础量化逻辑 1788.1 较容易的翻译 1788.1a 练习:LogiCola H(EM & ET) 1828.2 较容易的证明 1838.2a 练习:LogicCola IEV 1878.2b 练习:LogiCola IEV 1878.3 较容易的反驳 1898.3a 练习:LogiCola IEI 1918.3b 练习:LogiCola IEC 1928.4 较困难的翻译 1938.4a 练习:LogicCola H(HM & HT) 1958.5 较困难的证明 1958.5a 练习:LogiCola I(HC & MC) 1978.5b 练习:LogicCola I(HC & MC) 1988.6 科皮证明 2008.6a 和8.6b练习:LogiCola IEO 2028.6c 和8.6 d练习:LogiCola IHO和IMO 202第9章 等词和关系 2039.1 等词翻译 2039.1a 练习:LogiCola H(IM & IT) 2059.2 等词证明 2069.2a 练习:LogiCola IDC 2089.2b 练习:LogiCola IDC 2099.3 较容易的关系 2109.3a 练习:LogiCola H(RM & RT) 2129.4 较困难的关系 2139.4a 练习:LogiCola H(RM & RT) 2179.5 关系证明 2189.5a 练习:LogiCola I(RC &bc) 2219.5b 练习:LogiCola I(RC &bc) 2229.6 确定摹状词 2259.7 科皮证明 2279.7a 和9.7b 练习:LogiCola IDO 2279.7c 和9.7 d练习:LogiCola IRO和IBO 227第10章 基础模态逻辑 22810.1 翻译 22810.1a 练习:LogiCola J(BM &b T) 23110.2 证明 23110.2a 练习:LogiCola KV 23610.2b 练习:LogiCola KV 23710.3 反驳 23810.3a 练习:LogiCola KI 24110.3b 练习:LogiCola KC 242第11章 进阶模态系统 24611.1 星际旅行 24611.1a 练习:LogiCola KG 25011.1b 练习:LogiCola KG 25011.2 量化翻译 25111.2a 练习:LogiCola J(QM & QT) 25311.3 量化证明 25411.3a 练习:LogiCola KQ 25611.3b 练习:LogiCola KQ 25711.4 一个精致的系统 259第12章 道义和祈使逻辑 26512.1 祈使翻译 26512.1a 练习:LogiCola L (IM & IT) 26712.2 祈使证明 26812.2a 练习:LogiCola MI 27112.2b 练习:LogiCola MI 27212.3 道义翻译 27412.3a 练习:LogiCola L (DM & DT) 27612.4 道义证明 27712.4a 练习:LogiCola M (D & M) 28312.4b 练习:LogiCola M (D & M) 284第13章 信念逻辑 28713.1 信念翻译 28713.1a 练习:LogiCola N (BM & BT) 28813.2 信念证明 28813.2a 练习:LogiCola OB 29413.2b 练习:LogiCola OB 29413.3 相信和愿望 29513.3a 练习:LogiCola N (WM & WT) 29713.4 愿望证明 29813.4a 练习:LogiCola OW 29913.4b 练习:LogiCola OW 29913.5 理性翻译 30013.5a 练习:LogiCola N (RM & RT) 30113.6 理性证明 30213.6a 练习:LogiCola O (R & M) 30313.6b 练习:LogiCola OW 30313.7 一个精致的系统 305第14章 一个形式化的伦理理论 30814.1 实践理性 30814.2 一致性 30914.3 金规则(the golden rule) 31114.4 启动GR的证明 31614.5 GR的逻辑机制 31914.6 符号化的GR证明 326第15章 元逻辑 32915.1 元逻辑问题 32915.2 联结词 32915.3 可靠性 33115.4 完全性 33315.5 一个公理系统 33615.6 哥德尔定理 337第16章 逻辑史 3
平台介绍|荣誉资质|联系我们|出版社登陆