§20 一般递归与图灵机
黑格尔始于逻辑，终于逻辑，因为只有经过艰苦的反思—直接性、否定、否定、重新产生的直接性(wiederherges-tellte Unmittelbarkeitd)—概念才能获得普遍性和绝对性。冈瑟试图通过对黑格尔反思逻辑的形式化，构建一种非亚里士多德式逻辑(也就是多值逻辑)。按照冈瑟的说法，亚里士多德式逻辑或古典逻辑预设了思维与存在的形而上学同一性。①用谢林的话说，古典逻辑建立在A=B的基础上，而没有达到 $\mathrm { A } ^ { 2 } = \mathrm { ( A = B ) }$ ，更不要说 $\mathrm { A } ^ { 3 } = \mathrm { A } ^ { 2 } = ( \mathrm { A } = \mathrm { B } )$ 了。也就是说在德国理念论中，自我意识是一种把A=B提升到更高的逻辑层次的反思。冈瑟在这里的说法更接近黑格尔而不是谢林，因为正如我们所见，黑格尔的反思更为具体和结构化。②在冈瑟开创性的著作《机器的意识:控制论的形而上学》(The
第二章 逻辑与偶然
133
①查尔斯·帕森斯(Charles Parsons)，《哥达·冈瑟》(GotthardGünther),《哥德尔全集》(Gödel'sCollected Works),第4卷，所罗门·费弗曼(Solomon Feferman)和约翰·道森（John W. Dawson)编，牛津：Clarendon,2003年，第458页。
②冈瑟，《灵魂与机器》，第85页。