確證邏輯的研究困境及其解決原則

歸納邏輯在從傳統(tǒng)向現(xiàn)代演進(jìn)的過程中實(shí)現(xiàn)了從科學(xué)發(fā)現(xiàn)向度到歸納確證向度的轉(zhuǎn)變?？疾爝@一轉(zhuǎn)變歷程可以發(fā)現(xiàn)，歸納確證本質(zhì)上是關(guān)于合理相信的確證邏輯研究?，F(xiàn)有主要確證邏輯理論都遇到一些自身難以克服的難題，要克服這些難題，需要從方法論層面對確證邏輯研究進(jìn)行系統(tǒng)反思，構(gòu)建研究需遵循的一些合理性原則，包括：確證研究的行動(dòng)論視角，避免方法論上的演繹主義，強(qiáng)調(diào)證據(jù)和假說的相關(guān)主題要保持同一，在假說的真理性和解釋力之間保持必要的張力，聚焦證據(jù)的認(rèn)識論本性和邏輯性質(zhì)的研究。

自休謨提出歸納問題以來，對歸納的邏輯與哲學(xué)研究一直是歸納邏輯和知識論的一個(gè)熱點(diǎn)領(lǐng)域。歸納邏輯以歸納問題的提出為轉(zhuǎn)折點(diǎn)，逐步從傳統(tǒng)向現(xiàn)代演進(jìn)，其現(xiàn)代化體現(xiàn)在兩個(gè)方面：一方面是在技術(shù)層面引入概率論和數(shù)理邏輯；更重要的方面是在研究內(nèi)容上實(shí)現(xiàn)從對作為科學(xué)發(fā)現(xiàn)方法的研究到對信念確證與辯護(hù)研究的轉(zhuǎn)變，即從“歸納發(fā)現(xiàn)”向度逐步轉(zhuǎn)向“歸納確證”向度。歸納確證向度的研究在以卡爾納普和亨佩爾等人為代表的邏輯經(jīng)驗(yàn)主義時(shí)期達(dá)到第一次高潮。這一時(shí)期研究的核心問題是如何構(gòu)建好的確證定義。由于在代表性確證定義中陸續(xù)發(fā)現(xiàn)了以確證悖論、綠藍(lán)悖論、彩票悖論為代表的歸納悖論，歸納確證研究的焦點(diǎn)轉(zhuǎn)向歸納悖論的解決，從而掀起了歸納確證研究的第二次高潮。隨著葛梯爾問題引發(fā)的知識論研究在知識和信念辯護(hù)維度的復(fù)興以及21世紀(jì)初形式知識論的興起，作為形式知識論研究主題之一的確證理論研究，有望在合理相信和辯護(hù)視角下掀起第三次研究熱潮，對這一趨向下的確證邏輯研究進(jìn)行方法論思考無疑具有重要的理論意義與指導(dǎo)價(jià)值。這些思考主要包括確證邏輯的本性、構(gòu)建確證邏輯的原則以及研究的重心等方面。

一、確證邏輯的本性是關(guān)于合理相信的確證理論

人類最根本的認(rèn)知目的是形成關(guān)于世界的規(guī)律性認(rèn)識，因而對理性認(rèn)知主體至關(guān)重要的是，作為認(rèn)識活動(dòng)結(jié)果的假說是否以及多大程度為真？或者說，理性認(rèn)知主體在何種情況下可以（多大程度地）合理相信這些假說？

對這一根本性問題，很多哲學(xué)家都進(jìn)行過討論。萊布尼茲明確提出，從感覺和經(jīng)驗(yàn)獲得的關(guān)于事實(shí)的可能真理，要通過先驗(yàn)猜想法，即作為科學(xué)發(fā)現(xiàn)或形成認(rèn)識的假說-演繹法。笛卡爾進(jìn)一步將萊布尼茲作為科學(xué)發(fā)現(xiàn)的假說演繹法發(fā)展為關(guān)于歸納確證的假說演繹模型，他認(rèn)為，關(guān)于同一個(gè)現(xiàn)象必定有多個(gè)相競爭的假說，這些假說都具有猜測性質(zhì)，它們沒有一個(gè)是確定的，但有一些是可以合理地相信的。笛卡爾指出，科學(xué)家有權(quán)力接受那些能成功地解釋廣泛現(xiàn)象的假說，因?yàn)槟苎堇[出所有現(xiàn)象的那個(gè)假說不太可能為假。而只要從假說中演繹出來的結(jié)論與被解釋現(xiàn)象相一致，就可以認(rèn)為它們是真的。這里，笛卡爾強(qiáng)調(diào)的是可以合理相信一個(gè)假說的解釋原則：如果一個(gè)假說能夠解釋它所衍推的某個(gè)現(xiàn)象，那么該假說是可以合理相信的。笛卡爾的這一思想具有從歸納發(fā)現(xiàn)到歸納確證的特質(zhì)，是后來作為確證邏輯的假說-演繹模型的雛形。

現(xiàn)代經(jīng)驗(yàn)主義者把作為科學(xué)發(fā)現(xiàn)方法的假說演繹法改造為一種歸納確證的方法。他們認(rèn)為，通過猜想得出來的假說雖然可以演繹出需要加以解釋的現(xiàn)象，但這些假說本身沒有經(jīng)驗(yàn)基礎(chǔ)，沒有得到證實(shí)，因此，要根據(jù)假說演繹出推論或預(yù)言，然后用經(jīng)驗(yàn)來決定這些推論或預(yù)言是否是對該假說的一種支持或確證。惠更斯在《光論》的序言中對作為確證理論的假說-演繹法的本質(zhì)給了一個(gè)很清晰的表述：“原理是由它們引出的結(jié)論來檢驗(yàn)的……當(dāng)用假定的原理論證了的東西與觀察中的實(shí)驗(yàn)所產(chǎn)生的現(xiàn)象完全一致時(shí)……那么，這當(dāng)是對我探究成功的強(qiáng)有力的確證?！保?］(Pviii)惠威爾認(rèn)為，假說是運(yùn)用歸納進(jìn)行猜測獲得的，一個(gè)假說提出后，也要按歸納一致加以檢驗(yàn)，演繹的作用在于從假說中推出現(xiàn)象，從而確證或檢驗(yàn)假說。他說：“假說應(yīng)當(dāng)預(yù)測尚未觀察到的現(xiàn)象……只有當(dāng)能預(yù)測與構(gòu)想假說時(shí)不同類的事物時(shí)，該假說的真實(shí)性才能得到確實(shí)的證據(jù)?！保?］(P159)當(dāng)今確證的假說-演繹模型正是在惠威爾這一思想的基礎(chǔ)上不斷發(fā)展和完善而來的。

從上述關(guān)于確證邏輯的早期發(fā)展來看，確證邏輯（理論）在其萌芽階段就關(guān)心合理相信問題、假說或信念辯護(hù)的理論。在歸納邏輯從傳統(tǒng)向現(xiàn)代的演變過程中，歸納確證向度更加明顯。

凱恩斯認(rèn)為，他的《論概率》處理的是兩組命題之間的關(guān)系，具體來說，這種關(guān)系是：“在我們認(rèn)為知道并稱之為證據(jù)的一組命題和另一組稱之為結(jié)論的命題之間的邏輯關(guān)系，根據(jù)前者所提供的理由，我們指派給結(jié)論或多或少的權(quán)重……可以把這稱之為概率關(guān)系。”［3］(P5-6)正如凱恩斯自己所說：“沒有任何命題其自身是可幾或者不可幾的，同一個(gè)陳述的概率隨它面對的證據(jù)而變化?！保?］(P7)對概率的這種說明恰好表明他關(guān)注的焦點(diǎn)是信念的合理性問題，即基于一定的證據(jù)，相應(yīng)假說為真的概率是多少。凱恩斯進(jìn)一步對概率作信念度解釋：“設(shè)前提由任意一組命題h構(gòu)成，結(jié)論由任意一組命題a構(gòu)成，那么，如果知道h為合理相信a到程度α提供了辯護(hù)，則可以說a和h之間有程度α的概率關(guān)系?！保?］(P4)由此可見，作為現(xiàn)代歸納邏輯創(chuàng)始人之一，凱恩斯認(rèn)為，歸納邏輯研究的是認(rèn)知主體基于一定證據(jù)該對相應(yīng)假說具有多高的信念度。

在歸納邏輯的“歸納確證”向度研究中，以卡爾納普和亨佩爾為代表的邏輯經(jīng)驗(yàn)主義者作出了重大貢獻(xiàn)。他們利用其卓越的邏輯分析能力，力圖用嚴(yán)格的形式語言就經(jīng)驗(yàn)證據(jù)對假說的支持關(guān)系（他們稱之為確證關(guān)系）進(jìn)行精密的邏輯句法或語義刻畫，以期為某種形式的陳述是否確證某種形式的假說提供一個(gè)純形式的判據(jù)。也就是說，歸納確證理論家對歸納確證的研究是從形式的角度而不是內(nèi)容的角度進(jìn)行研究。在這個(gè)意義上，經(jīng)典確證理論就是確證邏輯。

確證的邏輯研究可分為量化和定性兩個(gè)進(jìn)路。量化進(jìn)路以卡爾納普的確證度邏輯為代表，他利用概率論和現(xiàn)代邏輯，對兩個(gè)確證度函數(shù)給予了較嚴(yán)格的形式公理化刻畫。卡爾納普關(guān)于確證度的研究主要體現(xiàn)在《概率的邏輯基礎(chǔ)》［4］（P10-30）和《歸納方法連續(xù)統(tǒng)》［5］（P9-41）中，他在這兩本書中分別構(gòu)造了C系統(tǒng)和λ系統(tǒng)。無論C函數(shù)確證系統(tǒng)還是連續(xù)統(tǒng)λ系統(tǒng)，都是關(guān)于以一定的證據(jù)為基礎(chǔ)，對假說的合理相信進(jìn)行邏輯刻畫。但這些確證系統(tǒng)面臨一些難題，譬如，波普爾指出的“全稱假說確證度為零”的問題，邏輯因素與經(jīng)驗(yàn)因素的權(quán)重分配的主觀性問題等。為了應(yīng)對卡爾納普的確證度理論遭遇的難題，貝葉斯主義者從經(jīng)驗(yàn)對信念度更新的影響這一維度，利用作主觀主義解釋的概率，對認(rèn)知主體為什么可以在經(jīng)驗(yàn)基礎(chǔ)上某種程度地相信假說進(jìn)行辯護(hù)，這就是當(dāng)今科學(xué)哲學(xué)和歸納邏輯領(lǐng)域占主導(dǎo)地位的主觀貝葉斯確證理論。

定性進(jìn)路的確證邏輯研究主要以亨佩爾的事例確證邏輯為代表，其主要成果體現(xiàn)在《確證的純句法定義》［6］(P122-143)《“確證度”的定義》［7］(P98-115)以及《確證之邏輯研究》［8］(P1-26)［9］(P97-121)等論著中。整體說來說，亨佩爾的確證邏輯以尼柯德（Jean Nicod）的事例確證概念為基礎(chǔ)，力圖為經(jīng)驗(yàn)證據(jù)和假說之間的確證關(guān)系構(gòu)造一個(gè)純邏輯句法的一般標(biāo)準(zhǔn)，這些標(biāo)準(zhǔn)的核心內(nèi)容是確證的適當(dāng)性條件和滿足性標(biāo)準(zhǔn)，集中體現(xiàn)在亨佩爾關(guān)于直接確證和間接確證的兩個(gè)定義中。亨佩爾的事例確證邏輯在歸納確證理論中具有經(jīng)典地位，正如哈勃（Franz Huber）所說：“自此以后，在發(fā)展確證邏輯方面幾乎沒有任何進(jìn)展?！保?0］(P181)正是在構(gòu)建其關(guān)于確證的邏輯標(biāo)準(zhǔn)時(shí)，亨佩爾發(fā)現(xiàn)了作為確證非相關(guān)難題之集中體現(xiàn)的確證悖論，從而掀起了關(guān)于確證邏輯研究第二次高潮的序幕。

上述對歸納確證發(fā)展簡史的考察表明，確證邏輯本質(zhì)上是關(guān)于合理相信或信念確證的邏輯研究。這種意義上的確證邏輯是指“確證的邏輯”, 而不是“確證性邏輯”。前者是關(guān)于確證活動(dòng)的邏輯機(jī)理研究，是對確證活動(dòng)中體現(xiàn)出的確證概念的精確描述；后者屬于類似阿特莫夫（Sergel Artemov）辯護(hù)邏輯［11］(P477-513)的廣義認(rèn)知邏輯，是以確證為模態(tài)算子構(gòu)造的形式系統(tǒng)。在筆者看來，關(guān)于后者的研究以對“確證”算子本身涵義的精確把握為基礎(chǔ)，只有合理而精確地把握確證概念，才能構(gòu)建令人滿意的確證形式系統(tǒng)，因此，對第一種意義上的“確證的邏輯”的研究更為迫切。

二、構(gòu)建確證邏輯的合理性原則

已有的確證邏輯理論主要包括卡爾納普的確證度理論、亨佩爾的事例確證邏輯、貝葉斯確證理論、確證的各種假說-演繹模型、格萊默爾的拔靴帶模型等。這些理論分別遭遇到全稱假說確證度為零、確證悖論、舊證據(jù)難題、非相干性難題等嚴(yán)峻困難。為克服這些困題，在準(zhǔn)確把握確證邏輯本性的基礎(chǔ)上，構(gòu)建好的確證邏輯還應(yīng)遵循一些合理性原則。

（一）確證的行動(dòng)論視角

確證本質(zhì)上是一項(xiàng)有目的和意向性的認(rèn)知活動(dòng)，是科學(xué)家和日常主體為其科學(xué)假說或信念進(jìn)行評估和辯護(hù)的行動(dòng)。在構(gòu)造確證邏輯時(shí)，我們應(yīng)引入行動(dòng)論視角，將確證看作認(rèn)知主體有目的地對其認(rèn)知結(jié)果進(jìn)行評估和辯護(hù)的行動(dòng)。好的確證邏輯應(yīng)該是一種行動(dòng)邏輯，它應(yīng)是對歸納確證這一認(rèn)知行動(dòng)的靜態(tài)描述、近似表征或規(guī)范性要求，從而有望避免與認(rèn)知主體實(shí)際認(rèn)知活動(dòng)不太吻合的問題。

這種行動(dòng)論視角在亨佩爾關(guān)于假說確證思想中有所體現(xiàn)，但他未自覺地在其確證邏輯中表達(dá)這一點(diǎn)。亨佩爾明確指出：

一般說來，對于給定假說的科學(xué)檢驗(yàn)我們可以區(qū)別開三個(gè)階段。第一階段執(zhí)行適當(dāng)?shù)膶?shí)驗(yàn)或觀察，并隨之接受陳述所得結(jié)果的觀察報(bào)告；第二階段將所給的假說與已接受的觀察報(bào)告對照，也就是說，確定該觀察報(bào)告是否對該假說構(gòu)成確認(rèn)、否認(rèn)或無關(guān)的證據(jù)；最后的階段或者是根據(jù)該確認(rèn)證據(jù)或否認(rèn)證據(jù)而接受或否定該假說，或者不作決定而等待確立進(jìn)一步的證據(jù)。［12］(P502)

這里，亨佩爾明顯將確證看作科學(xué)檢驗(yàn)活動(dòng)中的一個(gè)環(huán)節(jié)或階段，并且確證活動(dòng)這一階段與其他兩個(gè)階段不可截然分開。執(zhí)行第一階段實(shí)際上是尋找相干證據(jù)或相干數(shù)據(jù)，相干是一個(gè)相對概念，實(shí)驗(yàn)數(shù)據(jù)只有相對給定假說才可以說相干或不相干。而判斷相干實(shí)驗(yàn)數(shù)據(jù)（觀察報(bào)告）是否確證給定假說是下一步采取相應(yīng)認(rèn)知行動(dòng)的根據(jù)，即決定接受、否定還是懸置相應(yīng)假說。

認(rèn)知行動(dòng)與認(rèn)知主體的意向性、所處認(rèn)知情境密切相關(guān)，在執(zhí)行確證這種認(rèn)知行動(dòng)時(shí)應(yīng)遵行一定的合理性原則。因此，對確證這種認(rèn)知行動(dòng)的衡量和評價(jià)標(biāo)準(zhǔn)應(yīng)是合理性，而不是“形式”有效性。如果將確證邏輯看作對確證活動(dòng)的靜態(tài)描述，好的確證邏輯應(yīng)該反映認(rèn)知主體在實(shí)際確證行動(dòng)中體現(xiàn)出的合理性原則；如果將確證邏輯看作對確證活動(dòng)的規(guī)范性要求，好的確證邏輯需要制定一些認(rèn)知主體在從事確證活動(dòng)時(shí)應(yīng)遵守的原則或標(biāo)準(zhǔn)。因此，無論確證邏輯是描述性的還是規(guī)范性的，它需要做的是給出一些合理性原則或標(biāo)準(zhǔn)。

（二）方法論上摒棄演繹主義

確證活動(dòng)的目標(biāo)是通過檢驗(yàn)和辯護(hù)獲得關(guān)于世界的真理性、規(guī)律性和解釋性的認(rèn)識。主體的辯護(hù)行動(dòng)涉及主體實(shí)際如何看待觀察報(bào)告與待辯護(hù)假說之間的支持關(guān)系，這一問題顯然是一個(gè)認(rèn)知問題而不是邏輯問題。我們不能設(shè)定一些純形式有效的規(guī)范，要求認(rèn)知主體在關(guān)于世界的真理性和解釋性的認(rèn)識活動(dòng)中去執(zhí)行它們。演繹邏輯是外延性邏輯，它研究的是個(gè)體（類）和個(gè)體（類）之間的集合論上的屬于等關(guān)系。而本質(zhì)上是歸納邏輯的確證邏輯研究的是個(gè)體和屬性之間關(guān)系，也就是說，確證邏輯關(guān)注的是某類個(gè)體是否具有認(rèn)知主體在認(rèn)知上關(guān)心的某種屬性，以及在何種情況下認(rèn)知主體可以合理地相信某類個(gè)體具有他所關(guān)心的那種屬性。因此，用純演繹邏輯來規(guī)范確證活動(dòng)實(shí)際上犯了“范疇”錯(cuò)誤。

這一點(diǎn)在亨佩爾的確證邏輯和確證悖論中體現(xiàn)得很明顯。亨佩爾的確證邏輯的目標(biāo)是給出一個(gè)形式判據(jù)，進(jìn)行確證活動(dòng)的認(rèn)知主體根據(jù)這一判據(jù)來確定觀察報(bào)告是否確證待檢驗(yàn)或待辯護(hù)假說。根據(jù)亨佩爾的確證邏輯，由于H1“所有烏鴉是黑的”與H2“所有非黑的都是非烏鴉”邏輯等價(jià)，它們得到觀察報(bào)告“個(gè)體a是烏鴉也是黑的”同樣的確證。但對進(jìn)行確證活動(dòng)的認(rèn)知主體來說，對于H1，他關(guān)心的是烏鴉這個(gè)類中的個(gè)體是否都具有黑色這種屬性，而不是任意的個(gè)體在是烏鴉的情況下是否也屬于黑色這個(gè)類，更不是非黑色的個(gè)體類和非烏鴉的個(gè)體類之間的關(guān)系。因此，這一演繹要求是不恰當(dāng)?shù)摹?/p>

另外，貝葉斯確證邏輯以概率論為工具來刻畫確證活動(dòng)，概率論是一門形式演繹科學(xué)，因此，貝葉斯確證邏輯在方法論上也具有演繹主義訴求。但是，認(rèn)知主體在考量某觀察報(bào)告是否支持待辯護(hù)的假說時(shí)，并不是通過概率計(jì)算來決斷。即便對實(shí)際認(rèn)知主體提出這樣“嚴(yán)苛”的要求，貝葉斯確證邏輯還必須訴諸一系列經(jīng)驗(yàn)假定［13］(P102-111)，而不能僅憑純形式的概率演算。而作這些經(jīng)驗(yàn)假定之后，又會(huì)產(chǎn)生一些新的難題。因此，構(gòu)建確證邏輯時(shí)應(yīng)摒棄演繹主義傾向，這是由確證活動(dòng)的本質(zhì)決定的。

（三）證據(jù)和假說的關(guān)于性（aboutness）同一性原則

確證悖論給我們的一個(gè)啟示是，不相干證據(jù)進(jìn)入確證程序是確證悖論產(chǎn)生的根源。我們直覺上認(rèn)為，白粉筆與是否所有烏鴉是黑色的不相干。占主導(dǎo)地位的貝葉斯標(biāo)準(zhǔn)解決方案實(shí)質(zhì)是通過表明白粉筆與待辯護(hù)假說“所有烏鴉是黑的”在概率上的非獨(dú)立性消解悖論。這里隱藏的一個(gè)預(yù)設(shè)是：如果一個(gè)觀察報(bào)告與待辯護(hù)假說概率上不獨(dú)立，那么，該觀察報(bào)告是該假說的相干證據(jù)。但是，這里的“直覺上的相干”與“概率上的相干”是兩個(gè)不同的“相干”概念。前者要求假說和相應(yīng)證據(jù)（經(jīng)驗(yàn)內(nèi)容上）所關(guān)于的東西相同，而后者顯然沒有這種認(rèn)知上的經(jīng)驗(yàn)性要求，而只是“形式”上的要求。這可能是為什么貝葉斯確證邏輯在解決確證悖論時(shí)盡管形式技術(shù)上“令人信服”，但同時(shí)會(huì)遇到“黑色的非烏鴉”不確證而“非黑色的非烏鴉”確證假說“所有烏鴉是黑的”這一反直觀的嚴(yán)峻難題。這一難題似乎意味著一個(gè)不是黑色的東西在烏鴉假說的確證中起至關(guān)重要的作用。

同樣，假說-演繹確證邏輯也遇到非相干證據(jù)的困擾。提出假說-演繹確證模型的各種修正版，主要是為了應(yīng)對證據(jù)的非相干合取問題和非相干析取問題。［14］(P61-65)作為該模型最高成就的自然公理化模型重點(diǎn)關(guān)注假說的“內(nèi)容”，但它對假說內(nèi)容的刻畫是形式的，即假說的內(nèi)容就是該假說的邏輯后承集，而不是將假說的內(nèi)容理解為假說表達(dá)的經(jīng)驗(yàn)信息或經(jīng)驗(yàn)內(nèi)容，但確證活動(dòng)關(guān)心的卻正是這種經(jīng)驗(yàn)內(nèi)容，這就注定了該類模型必然會(huì)遭遇非相干性和其他難題。

因此，在構(gòu)建新的確證邏輯時(shí)，要重點(diǎn)刻畫作為證據(jù)的觀察報(bào)告和待辯護(hù)假說在經(jīng)驗(yàn)內(nèi)容上的相干性。更具體地，要關(guān)注它們兩者談?wù)摰闹黝}（subject matter）、它們涉及的內(nèi)容是一樣的。當(dāng)然，這需要對如何確定命題涉及的內(nèi)容進(jìn)行研究，這種研究應(yīng)是語義或語用學(xué)研究而不是邏輯句法學(xué)的研究。亞布羅已經(jīng)這方面做了很出色的工作。［15］

（四）包容真理性和解釋性

人類在認(rèn)識世界時(shí)追求的是對世界的規(guī)律性認(rèn)識。一方面，這種規(guī)律性認(rèn)識最好是真理，即最好是反應(yīng)世界本身的客觀規(guī)律；另一方面，這種規(guī)律最好能解釋世界上的某類現(xiàn)象?？茖W(xué)家常說科學(xué)始于問題。人類有探知世界奧秘和反常現(xiàn)象的本能，對反?，F(xiàn)象作出科學(xué)和合理的解釋是科學(xué)活動(dòng)的重要目標(biāo)，從而也是人類認(rèn)知的重要目標(biāo)。因此，構(gòu)造假說有兩大主要目的：發(fā)現(xiàn)關(guān)于世界的未知規(guī)律和解釋世界中的反?，F(xiàn)象。從而，執(zhí)行歸納確證活動(dòng)的認(rèn)知主體對假說的評價(jià)與辯護(hù)應(yīng)該有這兩個(gè)維度的考量。有的確證主體更關(guān)注假說的真理性，有的更關(guān)心假說是否能解釋他所想解釋的現(xiàn)象，而有的則同時(shí)看重這兩者。

在科學(xué)方法論研究當(dāng)中，真理性、解釋力、簡單性、邏輯一致性等是公認(rèn)的假說選擇與評價(jià)的方法論原則。作為確證主要理論之一的假說-演繹模型，早期是關(guān)于科學(xué)發(fā)現(xiàn)和科學(xué)解釋的模型，其核心思想是，如果一個(gè)反?；蛄钊梭@訝的現(xiàn)象能從某假說演繹地推出，那么，該現(xiàn)象就得到了該假說的解釋，這實(shí)質(zhì)是亨佩爾提出的科學(xué)解釋的演繹-律則模型。而強(qiáng)調(diào)假說的解釋功能的早期假說-演繹模型則是由笛卡爾提出的，他將假說的解釋性功能與假說的真理性關(guān)聯(lián)在一起：“如果一個(gè)假說能解釋這些現(xiàn)象，那么它是假的是不太可能的。”［16］(P33)亦即該假說很可能是真的，我們可以合理地相信該假說。利普頓繼承了笛卡爾的這一思想，他提出的最佳解釋模型是通過確定相互競爭的假說對現(xiàn)象的解釋程度來確定該現(xiàn)象最好地支持哪一個(gè)假說。［17］也就是說，把假說解釋現(xiàn)象的能力看作該假說真理性的標(biāo)示。好的確證邏輯應(yīng)該適當(dāng)吸收這些被廣泛承認(rèn)的方法論成果，在構(gòu)建評價(jià)證據(jù)對假說的確證力（確證度）的標(biāo)準(zhǔn)時(shí)應(yīng)結(jié)合確證主體的認(rèn)知意圖給予這兩者相應(yīng)的權(quán)重。

三、確證邏輯研究重心的證據(jù)轉(zhuǎn)向

當(dāng)代最具代表性的確證邏輯研究都遭遇到證據(jù)問題。事例確證邏輯面臨不相干證據(jù)問題，假說-演繹確證邏輯遇到證據(jù)的非相干合取和非相干析取問題，而貝葉斯確證邏輯則飽受舊證據(jù)問題的折磨。

關(guān)于歸納確證的研究現(xiàn)狀是，無論代表性確證邏輯還是代表性悖論解決方案，都沒有給予證據(jù)研究足夠的關(guān)注。確證邏輯的研究范式基本是確證關(guān)系范式，即力圖為證據(jù)和假說之間的“支持關(guān)系”構(gòu)建一個(gè)精確的說明。進(jìn)一步，它們將這種支持關(guān)系理解為語句之間的邏輯關(guān)系。亨佩爾明確說證據(jù)和假說之間是邏輯關(guān)系，他構(gòu)建的確證邏輯旨在為這種邏輯關(guān)系給予精確的形式說明；假說-演繹確證邏輯旨在通過某些限制用邏輯衍推關(guān)系來刻畫確證關(guān)系；貝葉斯確證邏輯是利用概率論這種數(shù)學(xué)形式科學(xué)來刻畫這種支持關(guān)系。正因?yàn)樗鼈兌紱]有證據(jù)視角，都遭遇證據(jù)方面的難題。作為歸納確證第二次研究高潮的主要議題，歸納悖論的解悖方案也大都沒有證據(jù)視角。例如，確證悖論標(biāo)準(zhǔn)解決方案的基本思想是利用概率工具來說明白粉筆和所有烏鴉都是黑的有概率上的依賴關(guān)系，并將這種概率論上的依賴關(guān)系解釋為支持關(guān)系或確證關(guān)系。綠藍(lán)悖論的研究范式是作為確證關(guān)系之關(guān)系項(xiàng)“假說”的范式。這種范式之下的解悖方案關(guān)注的是假說本身的合法性問題，而不關(guān)注證據(jù)的合法性問題。鑒于沒有證據(jù)視角的確證邏輯和歸納悖論解悖方案都有各種各樣的缺陷和不足，將研究重心轉(zhuǎn)向作為確證關(guān)系之關(guān)系項(xiàng)的“證據(jù)”可能具有重要的啟發(fā)意義。

證據(jù)的多維研究對解決歸納悖論、構(gòu)建確證邏輯和更一般的信念辯護(hù)理論具有重要意義。對證據(jù)的較全面研究包括對證據(jù)的本體研究、認(rèn)識論研究、邏輯研究。對證據(jù)的本體研究主要討論哪些本體論“成員”可以作為證據(jù)。學(xué)界占主導(dǎo)地位的是證據(jù)的命題觀，即只有命題可以作為證據(jù)。認(rèn)知主體的感覺經(jīng)驗(yàn)或知覺能否作為證據(jù)？具體實(shí)物，譬如一把帶血的尖刀，是否可以作為證據(jù)？證據(jù)是否是心智狀態(tài)？證據(jù)的認(rèn)識論研究需要討論的主要問題有：是否只有知識才能作為證據(jù)？主體對具有很高信念度的命題（或通常所說的信念）是否可以作為證據(jù)？證據(jù)的新穎性和多樣性的認(rèn)識論意義和功能何在？回答這些問題對歸納悖論的研究有重要意義。證據(jù)的邏輯研究對確證邏輯具有更根本的意義。證據(jù)是否具有傳遞性或逆?zhèn)鬟f性、對稱性？例如，從證據(jù)的視角來看，亨佩爾確證邏輯中的等值條件和特殊推論條件衍推證據(jù)具有傳遞性。證據(jù)是否在合取、析取和蘊(yùn)涵等邏輯運(yùn)算下封閉？證據(jù)的證據(jù)是否是證據(jù)？等等。

四、結(jié) 語

歸納邏輯的現(xiàn)代化歷程表明，歸納確證本質(zhì)上是關(guān)于合理相信的邏輯研究。由于現(xiàn)有研究成果都遇到一些難以克服的問題，從方法論層面上對確證邏輯的研究進(jìn)行系統(tǒng)反思尤顯重要。這種反思的啟示是：確證的研究需引入行動(dòng)論視角，在方法論上避免演繹主義訴求，強(qiáng)調(diào)證據(jù)和假說涉及的主題要保持同一，在假說的真理性和解釋力之間保持必要的張力，聚焦證據(jù)的認(rèn)識論本性和邏輯性質(zhì)的研究。