符号主义不但可以解决逻辑思维，而且对于形象思维也可以进行形式化的描述。