實(shí)踐確證論與實(shí)踐認(rèn)知邏輯.pdf

1、論文的主要目標(biāo)是構(gòu)造一個(gè)能反映馬克思主義實(shí)踐認(rèn)識(shí)論的、能處理葛梯爾反例的、包含知道與相信兩個(gè)認(rèn)知算子在內(nèi)的多主體認(rèn)知邏輯——多主體實(shí)踐認(rèn)知邏輯系統(tǒng)。
　　知識(shí)是否可能？知識(shí)是什么？知識(shí)具有哪些邏輯性質(zhì)？這是構(gòu)造任何認(rèn)知邏輯系統(tǒng)都必須首先回答的三個(gè)問題。因此，要構(gòu)造多主體實(shí)踐認(rèn)知邏輯，也必須回答上述三個(gè)問題。
　　馬克思主義認(rèn)為，物質(zhì)是不以人的意志為轉(zhuǎn)移的客觀實(shí)在，整個(gè)世界包括自然界、人類社會(huì)和人的思維都具有統(tǒng)一的物質(zhì)基礎(chǔ)。規(guī)

2、律是物質(zhì)世界發(fā)展過程中本身所固有的本質(zhì)的、必然的、穩(wěn)定的聯(lián)系。實(shí)踐是人能動(dòng)地改造物質(zhì)世界的對(duì)象性活動(dòng)，認(rèn)識(shí)則是實(shí)踐基礎(chǔ)上主體對(duì)客體能動(dòng)的反映，人們?cè)趯?shí)踐活動(dòng)過程中可以逐漸認(rèn)識(shí)物質(zhì)世界的客觀規(guī)律。馬克思主義的認(rèn)識(shí)論一方面堅(jiān)持了唯物主義反映論的基本觀點(diǎn)，另一方面在實(shí)踐基礎(chǔ)上把主體能動(dòng)性與客體受動(dòng)性辯證地統(tǒng)一起來，有力地回答了各種不可知論的難題。
　　葛梯爾反例表明，傳統(tǒng)的三元知識(shí)論存在著不可克服的缺陷，它未能抓住知識(shí)與真信念的的本質(zhì)區(qū)

3、別。國外對(duì)葛梯爾反例的解決方案可以分為強(qiáng)化方案和弱化方案兩種，二者盡管提出了一些有積極意義的看法，但都沒有真正解決葛梯爾反例提出的問題，即知識(shí)與真信念的本質(zhì)區(qū)別問題。實(shí)踐確證論以信念理由和真理理由的區(qū)分為切入點(diǎn)，在實(shí)踐基礎(chǔ)上把信念理由和真理理由統(tǒng)一起來，確認(rèn)知識(shí)是經(jīng)過實(shí)踐檢驗(yàn)的真信念。這一定義繼承了傳統(tǒng)三元知識(shí)論的優(yōu)點(diǎn)，吸收了各種葛梯爾反例解決方案的成功之處，同時(shí)還從本質(zhì)上對(duì)知識(shí)和真信念進(jìn)行了區(qū)分，解決了葛梯爾反例的問題。在此基礎(chǔ)上，建

4、立起實(shí)踐確證的知識(shí)論，回答了知識(shí)是什么的問題。
　　知識(shí)的邏輯性質(zhì)要通過構(gòu)造認(rèn)知邏輯系統(tǒng)來體現(xiàn)，而構(gòu)造認(rèn)知邏輯系統(tǒng)必須首先解決語義問題。經(jīng)典認(rèn)知邏輯是以傳統(tǒng)的三元知識(shí)論為基礎(chǔ)的認(rèn)知邏輯，其語義學(xué)是標(biāo)準(zhǔn)的可能世界語義學(xué)。主觀認(rèn)知邏輯是以主觀知識(shí)論為基礎(chǔ)的認(rèn)知邏輯，其語義學(xué)是一種非標(biāo)準(zhǔn)的可能世界語義學(xué)。這種語義學(xué)的特點(diǎn)是在可能世界之外增加一個(gè)特指世界——客觀世界，并把模型有效性定義為客觀世界的有效性。實(shí)踐認(rèn)知邏輯則是以實(shí)踐確證理論為指

5、導(dǎo)的認(rèn)知邏輯，其語義學(xué)也是一種非標(biāo)準(zhǔn)的可能世界語義學(xué)。這種語義學(xué)的特點(diǎn)是，在可能世界中增加了一個(gè)實(shí)踐世界;在知道可達(dá)關(guān)系下，其它可能世界都是真可達(dá)的;并重新定義了知識(shí)的滿足關(guān)系。新的認(rèn)知邏輯語義學(xué)能夠?yàn)閷?shí)踐認(rèn)知邏輯提供合理的語義解釋，這就解決了實(shí)踐認(rèn)知邏輯的語義問題，為構(gòu)造實(shí)踐認(rèn)知邏輯系統(tǒng)掃清了障礙。
　　構(gòu)造實(shí)踐認(rèn)知邏輯采取由易到難、循序漸進(jìn)的方式進(jìn)行，首先構(gòu)造了單主體實(shí)踐認(rèn)知邏輯KjB，然后在KjB系統(tǒng)的基礎(chǔ)上構(gòu)造多主體的實(shí)踐

6、認(rèn)知邏輯系統(tǒng)KjBm。單主體實(shí)踐認(rèn)知邏輯系統(tǒng)KjB是一個(gè)簡單的、忽略了主體的實(shí)踐認(rèn)知邏輯，其可靠性和完全性用常規(guī)的典范模型方法即可證明。多主體實(shí)踐認(rèn)知邏輯KjBm除了增加主體符號(hào)外，還增加了四個(gè)新的認(rèn)知模態(tài)算子，C、D、E、F。其可靠性用常規(guī)方法可以證明，但其完全性除了要用典范模型外，還需要使用濾模型的方法，其中適當(dāng)集的構(gòu)造在技術(shù)上具有相當(dāng)?shù)奶魬?zhàn)性。
　　范·德·霍克（W.van der Hoek[1991]）構(gòu)造過兩個(gè)多主體認(rèn)知