语言逻辑(logic of language)。语言是认知的核心,人类的认知是通过语言来进行的。20世纪50年代初,斯特劳森(P. F. Strawson)提出“语言逻辑”。语言逻辑是逻辑回归自然语言的结果,通过分析自然语言的语形、语义和语用来研究自然语言推理的科学。相对于传统逻辑和经典逻辑,语言逻辑不仅研究语形推理和语义推理,更关注语用推理,即把自然语言和其具体使用环境联系在一起,将语境因素考虑进来,根据具体语境补充缺失或省略的前提,从而得到有效的结论。语言逻辑为我们提供的指导,不只是对自然语言的结构、指称和意义的考察,还有对语言使用者和使用环境的考察,是逻辑在日常生活和语言中的应用。因此,对语言逻辑的关注是符合认知科学研究需要的。
心理逻辑(mental logic)。心理逻辑是逻辑学与认知心理学交叉研究生成的新兴学科,在认知科学研究中扮演着重要角色。心理与逻辑是人类认知的两个重要通道,心理与逻辑的交叉融合,并回归于人类心智与认知的统一过程,需要科学合理的学科框架。在心理逻辑中,思维认知是逻辑研究的重点,心理要素作为自变量,逻辑要素作为因变量。在认知科学背景下,人的心理状态会影响逻辑思维,将心理因素融入逻辑思维中,把心理活动看作某种逻辑思维,并将其映射于逻辑推理中。从某种程度上说,心理逻辑是对人类心智的探索,将心理因素引入逻辑思维的研究中,使学者们更关注人自身的逻辑和对人脑中“逻辑”的研究,同时也促使逻辑学从对形式语言转向对自然语言的探索。所以,心理逻辑是架设在认知心理学和逻辑学之间的一座桥梁。
人工智能逻辑(artificial intelligent logic)。从广义上说,人工智能逻辑就是用逻辑的方法研究智能主体如何进行常识推理及信息处理的学科。人工智能逻辑探寻人脑内部的认知过程,并把人类认知看作信息的加工过程,为人类认知的研究提供动态的信息模型。可以说,人工智能逻辑的研究对认知科学产生了很大影响。基于人工智能逻辑发展起来的智能计算机,已越发接近模拟人类“心智”和模仿人脑“思考”。另外,人工智能逻辑对智能主体推理进行形式化表征,增加了刻画智能主体的知识、信念、行动、权利和义务等模态算子,并利用论辩逻辑来表示智能主体的常识推理,使智能主体能够更好地处理不一致、不完全和不确定的知识或信息。相对于经典逻辑,我们看到,人工智能逻辑具有更丰富的语言表达力,在创造性较强的领域中发挥的作用越来越大。