正核證(Justification)的概念自柏拉圖以來就是認知研究中的一個重要部分。在現(xiàn)實中,我們通過給出一個證據(jù),即一個核證來證實我們的知識。柏拉圖對知識有三個準則:核證、真和信念。他將知識刻畫成核證為真的信念。但是,盡管邏輯研究者在知識和信念的形式化的邏輯模型中處理了信念和真,核證這一概念卻一直缺少相應(yīng)的處理。這一不足最明顯地體現(xiàn)在知識的模態(tài)邏輯的邏輯萬能缺陷中,也成為了對證明的BHK語義的形式化以及給出哥德爾的可證明性邏輯S4和直覺主義邏輯的可證明性語義的障礙,同時使認知邏輯與主流認知理論之間產(chǎn)生了隔閡,直到核證邏輯出現(xiàn)后,核證才被引入到知識的

【共引文獻】

相關(guān)期刊論文 前1條

1 李娜;李巍;;量化核證邏輯QLP概觀[J];重慶理工大學(xué)學(xué)報(社會科學(xué));2014年03期

相關(guān)博士學(xué)位論文 前1條

1 王晶;可知性悖論研究[D];廈門大學(xué);2014年

本文編號：2831116