溯因推理：從邏輯探究發(fā)現(xiàn)與解釋

叢書序
譯者序
前言
第一部分 概念框架
第一章 產(chǎn)生與評(píng)價(jià)的邏輯
一、導(dǎo)言
二、啟示法：古希臘的遺產(chǎn)
三、存在一種發(fā)現(xiàn)的邏輯嗎？
四、卡爾?波普爾和赫伯特?西蒙
五、科學(xué)方法論的邏輯
六、討論與結(jié)論
第二章 什么是溯因？概述與研究計(jì)劃
一、導(dǎo)言
二、什么是溯因？
三、創(chuàng)始人：皮爾士
四、科學(xué)哲學(xué)
五、人工智能
六、更多的應(yīng)用領(lǐng)域
七、溯因的分類學(xué)
第二部分 邏輯基礎(chǔ)
第三章 作為邏輯推論的溯因
一、導(dǎo)言
二、邏輯：劃界問(wèn)題
三、溯因解釋論證：邏輯推論
四、溯因解釋推論：結(jié)構(gòu)特征概括
五、討論與結(jié)論
第四章 作為計(jì)算的溯因
一、導(dǎo)言
二、語(yǔ)義樹(shù)結(jié)構(gòu)
三、溯因的語(yǔ)義樹(shù)結(jié)構(gòu)
四、用樹(shù)結(jié)構(gòu)計(jì)算溯因
五、進(jìn)一步的邏輯與計(jì)算問(wèn)題
六、討論與結(jié)論
第三部分 應(yīng)用
第五章 科學(xué)解釋
一、導(dǎo)言
二、溯因作為科學(xué)解釋
三、討論與結(jié)論
第六章 經(jīng)驗(yàn)進(jìn)步
一、導(dǎo)言
二、凱珀斯的經(jīng)驗(yàn)進(jìn)步
三、（溯因）語(yǔ)義樹(shù)結(jié)構(gòu)中的經(jīng)驗(yàn)進(jìn)步
四、討論和結(jié)論
第七章 實(shí)用主義
一、導(dǎo)言
二、實(shí)用主義
三、溯因與認(rèn)識(shí)論
四、重溫實(shí)用主義
五、討論和結(jié)論
第八章 認(rèn)識(shí)變化
一、導(dǎo)言
二、溯因作為認(rèn)識(shí)變化
三、語(yǔ)義樹(shù)結(jié)構(gòu)再探討：關(guān)于信念修正的一個(gè)溯因模式
四、討論與結(jié)論
參考文獻(xiàn)
綜合圖書