一 推理法
当遇到一个你一无所知的形式系统,并且假如你希望去发现它某种隐的含义时,你的问题就在于如何给它的符号赋予一种有意义的解释,也就是通过某种方式,使得在真陈述和定理之间出现一个高层次的对应,在找到一组联系于这些符号的合适的词之前,你可能要在黑暗里进行一番摸索。这与破译密码或者释读
用一种失传了的文字写成的铭文(比如克里特岛的线形文字B)非常相似。释读的唯一方法就是建立在以知识为基础的猜想上的试错法。当你发现一个好的选择,一个“有意义”的选择时,突然就觉得顺当了,并且工作的速度大大加快了,不久,件件事情就都各就各位了。
你可以选择和我不同的解释,无需将每句话都理解,但要将解释和现实世界相关联起来。
网友评论