6.4.3替换-计算的产生2

“等价-替换原理”不同于一般说到的原理。一方面我们的知识以等价关系来呈现，等价关系以等价类符号标识，等价类符号可形成一个系列。另一方面“等价-替换”里的“替换”强调的是一种物理操作。“=”及其他等价类符号所建立的表达式，静态看是一陈述句型；动态来说，实际是指示进行替换操作的祈使句型。等价类符号对等价关系的揭示应能达到这样的效果，所对应的替换操作只从符号层面就能完全理解并执行。这样，计算过程的每一步骤只是将当前的问题表达式与等价关系进行形式上的匹配，匹配成功就机械地进行替换并转换问题表达式。多步骤的替换-转换衔接构成了计算，其中的每一步骤都是机械地替换，整个的过程也就都可以从符号层面来理解与操作，而不必考虑其中其它符号所具有的意义。如逻辑是推理的有效形式，与符号的实指无关，算术的计算也同样如此…………（详见号）