利普斯的心智逻辑理论

关于人类推理机制的说明主要有两种理论，分剐是心智模型理论和心智逻辑理论。利普斯的心智逻辑理论构造了一个近似于一阶逻辑的人类演绎推理的形式规则（PSYCOP）系统，来描述依据命题联结词和量词变量进行的推导过程，并用Prolog计算机程序来模拟和检验该理论所描述的人类推理的心智过程。该理论的核心优势是去量词化，但同时也面临着一些可能的缺陷。