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