日韩性情网站在线观看免费,激情网站在线观看

《邏輯學(xué)導(dǎo)論：原書第三版》在介紹邏輯學(xué)三段論、推理的非形式化內(nèi)容、歸納推理等傳統(tǒng)知識(shí)框架的基礎(chǔ)上，展示了部分前沿成果，如道義和祈使邏輯、信念邏輯、元邏輯、異常邏輯等�！哆壿媽W(xué)導(dǎo)論：原書第三版》對(duì)現(xiàn)代邏輯學(xué)中部分冗長(zhǎng)、復(fù)雜的技術(shù)細(xì)節(jié)進(jìn)行了簡(jiǎn)化，在證明體系中依次介紹若干符號(hào)邏輯系統(tǒng)，使各類讀者能夠較為直接地了解和掌握相關(guān)知識(shí)點(diǎn)。另外，在每章或每節(jié)后面列了一些習(xí)題，以便讀者加深對(duì)前面所學(xué)內(nèi)容的理解。

更多科學(xué)出版社服務(wù)，請(qǐng)掃碼獲取。

目錄
叢書序
中文版序言
序言
第1章導(dǎo)論 1
1.1 邏輯 1
1.2 有效的論證 1
1.3 可靠的論證 3
1.4 本書計(jì)劃 5
第2章三段論邏輯 6
2.1 較容易的翻譯 6
2.1a 練習(xí)：LogiColaa (EM & ET) 7
2.2 標(biāo)星檢驗(yàn) 8
2.2a 練習(xí)無LogiCola習(xí)題 11
2.2b 練習(xí)：LogiColab H 11
2.2c 練習(xí)：LogiColab （H & S) 11
2.3 自然語言論證 12
2.3a 練習(xí)：LogiCola BE 13
2.3b 神秘故事的練習(xí)無LogiCola習(xí)題 15
2.4 較困難的翻譯 16
2.4a 練習(xí)：LogiColaa A(HM & HT) 18
2.5 得出結(jié)論 19
2.5a 練習(xí)：LogiColab BD 21
2.6 文恩圖 23
2.6a 練習(xí)：LogiColabc BC 27
2.7 日常論證 27
2.7a 練習(xí)：LogiColab (F & I) 29
2.8 亞里士多德觀點(diǎn) 30
第3章意義與定義 32
3.1 語言的使用 32
3.1a 練習(xí) 33
3.2 詞典定義 34
3.2a 練習(xí)：LogiCola Q 37
3.2b 練習(xí) 38
3.3 約定性定義 38
3.4 解釋意義 40
3.4a 練習(xí) 43
3.5 做出區(qū)分 44
3.5a 練習(xí) 45
3.6 分析性和綜合性 46
3.6a 練習(xí) 47
3.7 先驗(yàn)和后驗(yàn) 47
3.7a 練習(xí) 50
第4章謬誤與論證 51
4.1 好的論證 51
4.2 非形式謬誤 55
4.2a 練習(xí)：LogiCola R 60
4.2b 另一組謬誤練習(xí)：LogiCola R 62
4.3 不一致性 64
4.3a 練習(xí) 67
4.4 構(gòu)造論證 68
4.4a 練習(xí) 70
4.5 分析論證 71
第5章歸納推理 74
5.1 統(tǒng)計(jì)三段論 74
5.2 概率運(yùn)算 76
5.2a 練習(xí)：LogiCola P (P，O， & c ) 80
5.3 哲學(xué)問題 81
5.3a 練習(xí)：LogiCola P (G，D， & V) 85
5.4 從樣本進(jìn)行推理 85
5.4a 練習(xí) 88
5.5 類比推理 88
5.5a 練習(xí)：LogiCola P(T) 90
5.6 類比和他心問題 91
5.7 穆勒方法 92
5.7a 練習(xí)：LogiCola P (M & B) 95
5.8 科學(xué)定律 96
5.8a 練習(xí) 102
5.9 解釋推理 103
5.10 歸納法的困難 103
第6章基礎(chǔ)命題邏輯 109
6.1 較容易的翻譯 109
6.1a 練習(xí)：LogiCola C (EM & ET) 111
6.2 基礎(chǔ)真值表 112
6.2a 練習(xí)：LogiCola D (TE & FE) 115
6.3 真值計(jì)算 115
6.3a 練習(xí)：LogiCola D (TM & TH) 116
6.4 未定真值計(jì)算 117
6.4a 練習(xí)：LogiCola D (UE，UM & UH) 117
6.5 復(fù)雜真值表 117
6.5a 練習(xí)：LogiCola D (FM & FH) 119
6.6 真值表測(cè)試 120
6.6a 練習(xí)：LogiCola D (AE，AM & AH) 122
6.7 真值指派測(cè)試 123
6.7a 練習(xí)：LogiCola ES 125
6.7b 練習(xí)：LogiCola EE 126
6.8 較困難的翻譯 128
6.8a 練習(xí)：LogiCola C(HM & HT) 130
6.9 慣用論證 130
6.9a 練習(xí)：LogiCola E (F & I) 131
6.10 S-規(guī)則 133
6.10a 練習(xí)：LogiCola F(SE & SH) 135
6.11 I-規(guī)則 135
6.11a 練習(xí)：LogiCola F (IE & IH) 139
6.12 混合S-及I-規(guī)則 139
6.12a 練習(xí)：LogiCola F (CE & CH) 140
6.13 擴(kuò)展的推理 140
6.14 邏輯與計(jì)算機(jī) 142
第7章命題證明 143
7.1 較容易的證明 143
7.1a 練習(xí)：LogiCola F (TE & TH)和GEV 149
7.1b 練習(xí)：LogiCola (TE & TH)和GEV 149
7.2 較容易的反駁 151
7.2a 練習(xí)：LogiCola GEI 153
7.2b 練習(xí)：LogiCola GEC 153
7.3 較困難的證明 156
7.3a 練習(xí)：LogiCola GHV 162
7.3b 練習(xí)：LogiCola GHV 163
7.4 較困難的反駁 164
7.4a 練習(xí)：LogiCola GHI 165
7.4b 練習(xí)：LogiCola G (HC & MC) 166
7.5 科皮證明 168
7.5a 和7.5b練習(xí)：LogiCola GEO 173
7.5c 和7.5d練習(xí)：LogiCola GHO和GMO 173
7.6 真值樹 173
7.6a 練習(xí)：LogiCola GEZ 177
7.6b 練習(xí)：LogiCola GHZ和GMZ 177
第8章基礎(chǔ)量化邏輯 178
8.1 較容易的翻譯 178
8.1a 練習(xí)：LogiCola H（EM & ET） 182
8.2 較容易的證明 183
8.2a 練習(xí)：LogicCola IEV 187
8.2b 練習(xí)：LogiCola IEV 187
8.3 較容易的反駁 189
8.3a 練習(xí)：LogiCola IEI 191
8.3b 練習(xí)：LogiCola IEC 192
8.4 較困難的翻譯 193
8.4a 練習(xí)：LogicCola H（HM & HT） 195
8.5 較困難的證明 195
8.5a 練習(xí)：LogiCola I（HC & MC） 197
8.5b 練習(xí)：LogicCola I（HC & MC） 198
8.6 科皮證明 200
8.6a 和8.6b練習(xí)：LogiCola IEO 202
8.6c 和8.6 d練習(xí)：LogiCola IHO和IMO 202
第9章等詞和關(guān)系 203
9.1 等詞翻譯 203
9.1a 練習(xí)：LogiCola H（IM & IT） 205
9.2 等詞證明 206
9.2a 練習(xí)：LogiCola IDC 208
9.2b 練習(xí)：LogiCola IDC 209
9.3 較容易的關(guān)系 210
9.3a 練習(xí)：LogiCola H（RM & RT） 212
9.4 較困難的關(guān)系 213
9.4a 練習(xí)：LogiCola H（RM & RT） 217
9.5 關(guān)系證明 218
9.5a 練習(xí)：LogiCola I（RC &bc） 221
9.5b 練習(xí)：LogiCola I（RC &bc） 222
9.6 確定摹狀詞 225
9.7 科皮證明 227
9.7a 和9.7b 練習(xí)：LogiCola IDO 227
9.7c 和9.7 d練習(xí)：LogiCola IRO和IBO 227
第10章基礎(chǔ)模態(tài)邏輯 228
10.1 翻譯 228
10.1a 練習(xí)：LogiCola J（BM &b T） 231
10.2 證明 231
10.2a 練習(xí)：LogiCola KV 236
10.2b 練習(xí)：LogiCola KV 237
10.3 反駁 238
10.3a 練習(xí)：LogiCola KI 241
10.3b 練習(xí)：LogiCola KC 242
第11章進(jìn)階模態(tài)系統(tǒng) 246
11.1 星際旅行 246
11.1a 練習(xí)：LogiCola KG 250
11.1b 練習(xí)：LogiCola KG 250
11.2 量化翻譯 251
11.2a 練習(xí)：LogiCola J（QM & QT） 253
11.3 量化證明 254
11.3a 練習(xí)：LogiCola KQ 256
11.3b 練習(xí)：LogiCola KQ 257
11.4 一個(gè)精致的系統(tǒng) 259
第12章道義和祈使邏輯 265
12.1 祈使翻譯 265
12.1a 練習(xí)：LogiCola L (IM & IT) 267
12.2 祈使證明 268
12.2a 練習(xí)：LogiCola MI 271
12.2b 練習(xí)：LogiCola MI 272
12.3 道義翻譯 274
12.3a 練習(xí)：LogiCola L (DM & DT) 276
12.4 道義證明 277
12.4a 練習(xí)：LogiCola M (D & M) 283
12.4b 練習(xí)：LogiCola M (D & M) 284
第13章信念邏輯 287
13.1 信念翻譯 287
13.1a 練習(xí)：LogiCola N (BM & BT) 288
13.2 信念證明 288
13.2a 練習(xí)：LogiCola OB 294
13.2b 練習(xí)：LogiCola OB 294
13.3 相信和愿望 295
13.3a 練習(xí)：LogiCola N (WM & WT) 297
13.4 愿望證明 298
13.4a 練習(xí)：LogiCola OW 299
13.4b 練習(xí)：LogiCola OW 299
13.5 理性翻譯 300
13.5a 練習(xí)：LogiCola N (RM & RT) 301
13.6 理性證明 302
13.6a 練習(xí)：LogiCola O (R & M) 303
13.6b 練習(xí)：LogiCola OW 303
13.7 一個(gè)精致的系統(tǒng) 305
第14章一個(gè)形式化的倫理理論 308
14.1 實(shí)踐理性 308
14.2 一致性 309
14.3 金規(guī)則（the golden rule） 311
14.4 啟動(dòng)GR的證明 316
14.5 GR的邏輯機(jī)制 319
14.6 符號(hào)化的GR證明 326
第15章元邏輯 329
15.1 元邏輯問題 329
15.2 聯(lián)結(jié)詞 329
15.3 可靠性 331
15.4 完全性 333
15.5 一個(gè)公理系統(tǒng) 336
15.6 哥德爾定理 337
第16章邏輯史 3

你還可能感興趣

我要評(píng)論