人类智能的基础是“形象思维”，就算是猫🐱，也可以进行形象思维（我曾经亲眼目睹一只流浪猫埋伏在一个老鼠🐭洞口，猜测在猫🐱的大脑中，早已预演过老鼠🐭出洞后的形象过程）。

人类的逻辑思维，实际是建立在自己形象思维基础上的，例如，人类需要借助“点，线，角”等几何图像辅助进行平面几何问题的逻辑推理；在吴文俊教授发展的计算机证明平面几何问题系统，所谓数学机械化系统中，根本就不需要电脑有任何平面几何图形信息，只需要有抽象的平面几何公理表达，就可以在电脑系统中展开平面几何的系统性逻辑推理。

怎样赋予电脑系统以形象思维能力——应该是让电脑系统真正能够像人一样思维的基础。

让电脑系统可以像猫🐱一样，预演老鼠🐭出洞的情景，人工智能就真正上路了。

爱因斯坦在创造狭义相对论、广义相对论的过程中，都是形象思维领先于逻辑思维（数学推导）的。

有了维恩图的帮助，人们才能更好明确基本的数理逻辑关系；在维恩图面世之前，我猜测：人们实际上也是靠内心中的维恩图这样的形象思维关系，建立基本的数理逻辑关系概念的。