作为认知科学发展大背景下的一个成果,认知逻辑也是逻辑研究的热点领域。在哲学、计算机科学、博弈论以及其他领域中,人们广泛使用认知逻辑对主体的知识和无知状态进行刻画。认知逻辑作为刻画各种主体认知过程的工具,其重要性日益显著。这促使我们对认知逻辑进行反思：认知逻辑对于主体认知过程的刻画是否可靠、全面?本文是在已有的对认知逻辑的反思研究基础上,对认知逻辑在刻画实际认知过程中存在的困境,进行研究总结和推进。本文的前三个章节分别指出,认知逻辑在刻画实际认知过程中存在着三个困境：(1)语义学困境。本文第一章介绍了认知逻辑在标准的可能世界语义学困境。建立在标准的可能世界语义学上的认知逻辑系统对其基础概念定义如“知识”和“真”在认识论的研究中存在争议,认知逻辑的语义学基础并不牢固。对认知逻辑和认识论的研究呈现出各行其是的特点。(2)公理选择困境。第二章介绍了认知逻辑在刻画主体认知能力的困境。认知逻辑系统选择的公理决定了主体在该系统内的认知能力,但是却产生了如逻辑全能问题、KK论题、甚至一些悖论。如何刻画主体的实际认知能力成为认知逻辑学家必须解决的问题。计算机领域的发展也给这一问题的研究带来了新的变化。(3)自然语言转化困境。第三章介绍了认知逻辑下自然语言向形式语言转化困境。自然语言在语形和语用两个方面存在转化为形式语言的困难。且当在自然语言中存在多个认知算子共同存在作用的情况时,认知逻辑形式系统不能进行有效转化和处理。第四章是对全文的总结。指出通过非形式化、非演绎的方法对认知逻辑进行研究是一个可能的研究方向。同时勾勒出公理化真理论、动态认知逻辑与博弈论研究作为认知逻辑研究方向的意义。本文对认知逻辑刻画实际认知过程中的困境进行了系统的介绍,包括语义、公理、和元语言——对象语言等层面。国内对于认知逻辑刻画实际认知过程的困境的研究多是一鳞半爪,缺乏专门从困境和出路这一视角进行的探索。本文在这个意义上,进行了一些探索和研究。