逻辑理论家是问题解决计算机模拟程序。美国认知心理学家纽厄尔、J．C．肖和H．A．西蒙1956年编制。该程序模拟人证明符号逻辑定理的思维活动，并成功地证明了一些数学定理。

它采用产生式系统的结构，以逆向搜索为主要工作策略，参照适当的启发法，成为第一个启发式的产生式系统和第一个成功的人工智能系统。它的成功支持了物理符号系统理论，加速了信息加工观点在心理学中的渗透，开辟了人工智能这一新的科学领域，开创了计算机模拟这一认知心理学方法。尽管对计算机模拟在心理学中的意义尚有待讨论，但逻辑理论家的成功，已经被公认为认知心理学兴起的一个标志性事件。