亚洲国产精品无码成人片久久-夜夜高潮夜夜爽夜夜爱爱-午夜精品久久久久久久无码-凹凸在线无码免费视频

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