刻畫知識與信念的自信邏輯系統
2005-01-01 00:00:00郭澤深梁義民
青島科技大學學報(社會科學版) 2005年4期
[摘 要] 理性認知主體的知識與信念具有可反省性、知識向信念轉化等特征。我們可仿造真性模態邏輯的技術方法定義普遍有效式，構造極小正規認知系統ME。該系統具有可靠性和完備性，在此基礎上添加一些公理序列可得到許多不同的正規認知邏輯系統。這些系統都從某種意義上刻畫了知識與信念，揭示了二者的區別與聯系。出于不同的認識論觀點，這些系統在公理序列的選擇、刻畫知識與信念的程度、推理能力等方面存在著一定的差別。
[關鍵詞] 認知邏輯；知識；信念；正規性；普遍有效性
[中圖分類號]B815．3 [文獻標識碼]A [文章編號]1671—S372(2005)04—0072—04
