目錄
叢書(shū)序(i)
譯者序(vii)
前言(xi)
第一部分概念框架
第一章產(chǎn)生與評(píng)價(jià)的邏輯3
一、導(dǎo)言3
二、啟示法：古希臘的遺產(chǎn)4
三、存在一種發(fā)現(xiàn)的邏輯嗎？5
四、卡爾.波普爾和赫伯特.西蒙10
五、科學(xué)方法論的邏輯17
六、討論與結(jié)論19
第二章什么是溯因？概述與研究計(jì)劃21
一、導(dǎo)言21
二、什么是溯因？21
三、創(chuàng)始人：皮爾士27
四、科學(xué)哲學(xué)29
五、人工智能30
六、更多的應(yīng)用領(lǐng)域34
七、溯因的分類學(xué)36
第二部分邏輯基礎(chǔ)
第三章作為邏輯推論的溯因43
一、導(dǎo)言43
二、邏輯：劃界問(wèn)題44
三、溯因解釋論證：邏輯推論52
四、溯因解釋推論：結(jié)構(gòu)特征概括60
五、討論與結(jié)論72
第四章作為計(jì)算的溯因78
一、導(dǎo)言78
二、語(yǔ)義樹(shù)結(jié)構(gòu)80
三、溯因的語(yǔ)義樹(shù)結(jié)構(gòu)86
四、用樹(shù)結(jié)構(gòu)計(jì)算溯因90
五、進(jìn)一步的邏輯與計(jì)算問(wèn)題97
六、討論與結(jié)論106
第三部分應(yīng)用
第五章科學(xué)解釋111
一、導(dǎo)言111
二、溯因作為科學(xué)解釋111
三、討論與結(jié)論120
第六章經(jīng)驗(yàn)進(jìn)步124
一、導(dǎo)言124
_、凱珀斯的經(jīng)驗(yàn)進(jìn)步126
三、（溯因）語(yǔ)義樹(shù)結(jié)構(gòu)巾的經(jīng)驗(yàn)進(jìn)步130
四、討論和結(jié)論133
第七章實(shí)用主義136
一、導(dǎo)言136
二、實(shí)用主義136
三、溯因與認(rèn)識(shí)論139
四、重溫實(shí)用主義142
五、討論和結(jié)論144
第八章認(rèn)識(shí)變化146
一、導(dǎo)言146
二、溯因作為認(rèn)識(shí)變化147
三、語(yǔ)義樹(shù)結(jié)構(gòu)再探討：關(guān)于信念修正的一個(gè)溯因模式152
網(wǎng)、討論與結(jié)論161
參考文獻(xiàn)165
綜合圖書(shū)180