摘要：辛提卡（J.Hintikka）1962年出版的開創(chuàng)性著作《知識與信念：這兩個概念的邏輯導(dǎo)論》中為認(rèn)知邏輯（EpistemicLogic）1奠定了理論基礎(chǔ)。作為一種哲學(xué)邏輯，認(rèn)知邏輯在其誕生之初受到了很多哲學(xué)家的批評，在上世紀(jì)七十年代一度發(fā)展較為緩慢。然而由于知識及信念的形式化概念的重要性和普遍性，認(rèn)知邏輯在過去三、四十年間被廣泛應(yīng)用于包括理論計算機、人工智能、博弈論等領(lǐng)域中，并再次影響哲學(xué)界成為形式化知識論的重要工具，而由應(yīng)用推動的諸多技術(shù)進(jìn)展也使之成為現(xiàn)代模態(tài)邏輯非常活躍的重要分支之一。2