通过对认知逻辑的产生和发展的简单考察,本文分析了认知逻辑和认知科学的互动关系,以及认知逻辑产生和发展过程中逻辑学基础理论的决定作用,并判定认知逻辑的逻辑学性质,即认知逻辑是试图通过逻辑演算方法来研究有关知道、相信、断定、认为、怀疑等这些认知模态词问题的一门哲学逻辑,它对于哲学分析和人工智能中的应用有重要的价值。　　 现实的世界中随处可见弗协调的认知现象,社会心理学领域的认知失调理论的巨大影响,使我们认识到对弗协调认知的研究具有的意义。通过对包括科斯塔的弗协调命题逻辑系统Cn在内的弗协调逻辑的考察,我们提出弗协调逻辑刻画弗协调认知的设想。从逻辑的角度,我们将全部的弗协调认知分为(Ⅰ)、(Ⅱ)两类。　　 通过语形和语义相分离,对象语言和元语言相分离,对象理论和元理论相分离的形式化方法的运用,本文先后考察了三个系统:类似各种常见的认知系统的经典遍历型认知逻辑系统SCN,本文作者构造的经典偶然型认知逻辑系统SCP以及在科斯塔弗协调命题逻辑系统Cn的基础上扩充得来的弗协调遍历型认知逻辑系统SPN。在对各个系统语形、语义及系统元理论的详细介绍之后,分别讨论了各系统与弗协调认知之间的关系,找到了各系统对弗协调认知的描述能力方面的差异。　　 最后通过怀疑逻辑以及三分认知世界理论的介绍,提出了构建相关形式系统的设想。在SCN&SCP方案被证明无法实现上述设想之后,本文在SPN系统内部,成功地刻画了三分的认知世界,并且在SPN的扩充系统上实现了怀疑逻辑的大部分定理。