新書推薦: 
			  
			《 
			从概念到思维——写给法科新生的12堂法学导读课
			》 
			 售價:HK$ 
			347
			 
			 
	
			  
			《 
			甲骨文丛书·尼罗河的源头:非洲大湖地区两千年
			》 
			 售價:HK$ 
			500
			 
			 
	
			  
			《 
			一语胜万言
			》 
			 售價:HK$ 
			230
			 
			 
	
			  
			《 
			朱子的穷理工夫论 , 香江哲学丛书
			》 
			 售價:HK$ 
			485
			 
			 
	
			  
			《 
			雾越邸暴雪谜案:全2册(綾辻行人作品)
			》 
			 售價:HK$ 
			658
			 
			 
	
			  
			《 
			数据资产:从价值评估到价值管理(数字化转型与企业高质量发展)
			》 
			 售價:HK$ 
			347
			 
			 
	
			  
			《 
			时代狂澜与士人心波:晚明传奇中的情与理研究
			》 
			 售價:HK$ 
			449
			 
			 
	
			  
			《 
			日本侵华战争及其战后遗留问题和影响
			》 
			 售價:HK$ 
			347
			 
			 
	
 
      | 
     
      
      
      
      
         
          | 內容簡介: | 
         
         
          |  
            《逻辑学导论:原书第三版》在介绍逻辑学三段论、推理的非形式化内容、归纳推理等传统知识框架的基础上,展示了部分前沿成果,如道义和祈使逻辑、信念逻辑、元逻辑、异常逻辑等。《逻辑学导论:原书第三版》对现代逻辑学中部分冗长、复杂的技术细节进行了简化,在证明体系中依次介绍若干符号逻辑系统,使各类读者能够较为直接地了解和掌握相关知识点。另外,在每章或每节后面列了一些习题,以便读者加深对前面所学内容的理解。
           | 
         
       
      
      
      
      
         
          | 目錄: 
           | 
         
         
           
            目录
 丛书序
 中文版序言
 序言
 第1章 导论 1
 1.1 逻辑 1
 1.2 有效的论证 1
 1.3 可靠的论证 3
 1.4 本书计划 5
 第2章 三段论逻辑 6
 2.1 较容易的翻译 6
 2.1a 练习:LogiColaa (EM & ET) 7
 2.2 标星检验 8
 2.2a 练习——无LogiCola习题 11
 2.2b 练习:LogiColab H 11
 2.2c 练习:LogiColab (H & S) 11
 2.3 自然语言论证 12
 2.3a 练习:LogiCola BE 13
 2.3b 神秘故事的练习——无LogiCola习题 15
 2.4 较困难的翻译 16
 2.4a 练习:LogiColaa A(HM & HT) 18
 2.5 得出结论 19
 2.5a 练习:LogiColab BD 21
 2.6 文恩图 23
 2.6a 练习:LogiColabc BC 27
 2.7 日常论证 27
 2.7a 练习:LogiColab (F & I) 29
 2.8 亚里士多德观点 30
 第3章 意义与定义 32
 3.1 语言的使用 32
 3.1a 练习 33
 3.2 词典定义 34
 3.2a 练习:LogiCola Q 37
 3.2b 练习 38
 3.3 约定性定义 38
 3.4 解释意义 40
 3.4a 练习 43
 3.5 做出区分 44
 3.5a 练习 45
 3.6 分析性和综合性 46
 3.6a 练习 47
 3.7 先验和后验 47
 3.7a 练习 50
 第4章 谬误与论证 51
 4.1 好的论证 51
 4.2 非形式谬误 55
 4.2a 练习:LogiCola R 60
 4.2b 另一组谬误练习:LogiCola R 62
 4.3 不一致性 64
 4.3a 练习 67
 4.4 构造论证 68
 4.4a 练习 70
 4.5 分析论证 71
 第5章 归纳推理 74
 5.1 统计三段论 74
 5.2 概率运算 76
 5.2a 练习:LogiCola P (P,O, & c ) 80
 5.3 哲学问题 81
 5.3a 练习:LogiCola P (G,D, & V) 85
 5.4 从样本进行推理 85
 5.4a 练习 88
 5.5 类比推理 88
 5.5a 练习:LogiCola P(T) 90
 5.6 类比和他心问题 91
 5.7 穆勒方法 92
 5.7a 练习:LogiCola P (M & B) 95
 5.8 科学定律 96
 5.8a 练习 102
 5.9 解释推理 103
 5.10 归纳法的困难 103
 第6章 基础命题逻辑 109
 6.1 较容易的翻译 109
 6.1a 练习:LogiCola C (EM & ET) 111
 6.2 基础真值表 112
 6.2a 练习:LogiCola D (TE & FE) 115
 6.3 真值计算 115
 6.3a 练习:LogiCola D (TM & TH) 116
 6.4 未定真值计算 117
 6.4a 练习:LogiCola D (UE,UM & UH) 117
 6.5 复杂真值表 117
 6.5a 练习:LogiCola D (FM & FH) 119
 6.6 真值表测试 120
 6.6a 练习:LogiCola D (AE,AM & AH) 122
 6.7 真值指派测试 123
 6.7a 练习:LogiCola ES 125
 6.7b 练习:LogiCola EE 126
 6.8 较困难的翻译 128
 6.8a 练习:LogiCola C(HM & HT) 130
 6.9 惯用论证 130
 6.9a 练习:LogiCola E (F & I) 131
 6.10 S-规则 133
 6.10a 练习:LogiCola F(SE & SH) 135
 6.11 I-规则 135
 6.11a 练习:LogiCola F (IE & IH) 139
 6.12 混合S-及I-规则 139
 6.12a 练习:LogiCola F (CE & CH) 140
 6.13 扩展的推理 140
 6.14 逻辑与计算机 142
 第7章 命题证明 143
 7.1 较容易的证明 143
 7.1a 练习:LogiCola F (TE & TH)和GEV 149
 7.1b 练习:LogiCola (TE & TH)和GEV 149
 7.2 较容易的反驳 151
 7.2a 练习:LogiCola GEI 153
 7.2b 练习:LogiCola GEC 153
 7.3 较困难的证明 156
 7.3a 练习:LogiCola GHV 162
 7.3b 练习:LogiCola GHV 163
 7.4 较困难的反驳 164
 7.4a 练习:LogiCola GHI 165
 7.4b 练习:LogiCola G (HC & MC) 166
 7.5 科皮证明 168
 7.5a 和7.5b练习:LogiCola GEO 173
 7.5c 和7.5d练习:LogiCola GHO和GMO 173
 7.6 真值树 173
 7.6a 练习:LogiCola GEZ 177
 7.6b 练习:LogiCola GHZ和GMZ 177
 第8章 基础量化逻辑 178
 8.1 较容易的翻译 178
 8.1a 练习:LogiCola H(EM & ET) 182
 8.2 较容易的证明 183
 8.2a 练习:LogicCola IEV 187
 8.2b 练习:LogiCola IEV 187
 8.3 较容易的反驳 189
 8.3a 练习:LogiCola IEI 191
 8.3b 练习:LogiCola IEC 192
 8.4 较困难的翻译 193
 8.4a 练习:LogicCola H(HM & HT) 195
 8.5 较困难的证明 195
 8.5a 练习:LogiCola I(HC & MC) 197
 8.5b 练习:LogicCola I(HC & MC) 198
 8.6 科皮证明 200
 8.6a 和8.6b练习:LogiCola IEO 202
 8.6c 和8.6 d练习:LogiCola IHO和IMO 202
 第9章 等词和关系 203
 9.1 等词翻译 203
 9.1a 练习:LogiCola H(IM & IT) 205
 9.2 等词证明 206
 9.2a 练习:LogiCola IDC 208
 9.2b 练习:LogiCola IDC 209
 9.3 较容易的关系 210
 9.3a 练习:LogiCola H(RM & RT) 212
 9.4 较困难的关系 213
 9.4a 练习:LogiCola H(RM & RT) 217
 9.5 关系证明 218
 9.5a 练习:LogiCola I(RC &bc) 221
 9.5b 练习:LogiCola I(RC &bc) 222
 9.6 确定摹状词 225
 9.7 科皮证明 227
 9.7a 和9.7b 练习:LogiCola IDO 227
 9.7c 和9.7 d练习:LogiCola IRO和IBO 227
 第10章 基础模态逻辑 228
 10.1 翻译 228
 10.1a 练习:LogiCola J(BM &b T) 231
 10.2 证明 231
 10.2a 练习:LogiCola KV 236
 10.2b 练习:LogiCola KV 237
 10.3 反驳 238
 10.3a 练习:LogiCola KI 241
 10.3b 练习:LogiCola KC 242
 第11章 进阶模态系统 246
 11.1 星际旅行 246
 11.1a 练习:LogiCola KG 250
 11.1b 练习:LogiCola KG 250
 11.2 量化翻译 251
 11.2a 练习:LogiCola J(QM & QT) 253
 11.3 量化证明 254
 11.3a 练习:LogiCola KQ 256
 11.3b 练习:LogiCola KQ 257
 11.4 一个精致的系统 259
 第12章 道义和祈使逻辑 265
 12.1 祈使翻译 265
 12.1a 练习:LogiCola L (IM & IT) 267
 12.2 祈使证明 268
 12.2a 练习:LogiCola MI 271
 12.2b 练习:LogiCola MI 272
 12.3 道义翻译 274
 12.3a 练习:LogiCola L (DM & DT) 276
 12.4 道义证明 277
 12.4a 练习:LogiCola M (D & M) 283
 12.4b 练习:LogiCola M (D & M) 284
 第13章 信念逻辑 287
 13.1 信念翻译 287
 13.1a 练习:LogiCola N (BM & BT) 288
 13.2 信念证明 288
 13.2a 练习:LogiCola OB 294
 13.2b 练习:LogiCola OB 294
 13.3 相信和愿望 295
 13.3a 练习:LogiCola N (WM & WT) 297
 13.4 愿望证明 298
 13.4a 练习:LogiCola OW 299
 13.4b 练习:LogiCola OW 299
 13.5 理性翻译 300
 13.5a 练习:LogiCola N (RM & RT) 301
 13.6 理性证明 302
 13.6a 练习:LogiCola O (R & M) 303
 13.6b 练习:LogiCola OW 303
 13.7 一个精致的系统 305
 第14章 一个形式化的伦理理论 308
 14.1 实践理性 308
 14.2 一致性 309
 14.3 金规则(the golden rule) 311
 14.4 启动GR的证明 316
 14.5 GR的逻辑机制 319
 14.6 符号化的GR证明 326
 第15章 元逻辑 329
 15.1 元逻辑问题 329
 15.2 联结词 329
 15.3 可靠性 331
 15.4 完全性 333
 15.5 一个公理系统 336
 15.6 哥德尔定理 337
 第16章 逻辑史 3
           | 
         
       
      
      
        
     |