发生认识论原理-第14章
按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
褪怯谐浞指莸牧耍绻颐前选巴锓锤础碧卣髦焕斫馕承┰搜菥哂小坝勒妗钡男灾实幕埃旱恰坝勒妗本霾荒芄榻嵛恍裕蛭梢源右桓黾仁峭换逃质欠只痰淖楹咸逑抵胁隼础６遥扛鲂问交说奶逑刀际且怨砦谰莸模≡窆淼娜霰曜际牵赫庑┕肀匦胧浅浞值摹⑶昂笠恢碌摹⒑拖嗷ザ懒⒌模庖簿褪撬担诒舜说墓叵捣矫妫遣荒苁峭锓锤吹摹�
如果逻辑不仅是语言的公理化，那末我们应不应当作出结论说，逻辑是把自然“思维”形式化呢？如果自然“思维”指的是主体有意识的思维，带有其直觉性和不证自明经验的话，那就一定得不出上述结论来；因为直觉和不证自明的经验在历史过程（贝尔纳斯）和个体发展过程中都是变动的，并不能成为逻辑的适当的“基础”。另一方面，我们可以越过那些可观察到的东西来尝试着建构结构，并不是从主体有意识他说的或想的什么来建构结构，而是从当他解决对他来说是新的问题时，他依靠他的运演所“做”的什么来建构结构。在这种情况下，我们就发现我们自己是在处理象INRC群这样的可以逻辑化的结构，这个群的存在是一九四九年我们观察儿童行为时发现的（参阅本书第一章第六节）。这样，如果我们从自然结构的特殊而有限度的意义上来理解自然“思维”，我们就可以把逻辑看作是这些结构的形式化，以及随后的超越这些结构，正如科学的算术形成“自然数”的一部分，而同时又以越来越有成效的方式去使自然数臻于完备。亚里士多德的逻辑提供了把自然结构和形式化再建过程连结起来的一个例子——一个十分说明问题的例子；因为它表明亚里士多德没有意识到这些最初结构所能提供的一切可能性：他不知道关系逻辑和集结构的存在。因此，进行形式化所必需的、甚至是进行通常称为三段论法（这是直觉的不完全形式化的一个典型例子）所必需的反身抽象，是通过时间上缺乏衔接的方式而重新建成的，从而是一步一步地前进的；正是这个进程使所有后来的完整化成为可能。说逻辑就是自然运演结构的形式化从而就和下述观点十分一致，这种观点认为，公理化，正如我们在A部分曾经看到的，会产生一种专门化了的思维形式，从而获得它本身的自主性和特有的丰富性（关于问题A和B，可参阅《研究报告》第十四卷到第十六卷）。
C。 从自然结构的形式化跟自然结构心理发生学上的发展二者之间的关系这个观点来看，重提一下如下事实是很有启发的，即：尽管形式化有其独立性和威力，但现在已经证明它具有确定不移的局限性（参看戈德尔、塔斯基、丘奇、克利恩、图灵、勒文海姆…斯科莱姆等人的著作）。虽然这些局限性是可以替换的，因而是随着结构的向前发展而减少的，但它们在下列意义下仍然是真实的，即：非常彻底的形式理论，如果只根据它自身的体系，是既不能证明它本身的无矛盾性，也不能证明其所有定理的可判定性的，它还需要以“更强的”体系作为基础来作出这种证明，由于更强的结构只能跟在它以前的结构之后出现（例如，超穷算术之出现在初等算术之后）；在阶梯式体系中最简单的结构又总是最弱的结构（在这里就是罗素的《数学原理》的逻辑对于初等算术的关系），我们觉得我们自己面临着两个看来多半与发生学的看法有联系的基本事实：（a）存在着把结构按其“强度”排列的阶梯式体系，（b）需要对结构作建构主义的处理，因为结构的系统不能正确地比喻为建立在其台基上的静止的金字塔，而只能比作其高度在不断地增加的螺旋体。
如果情况是如此，我们怎么能解释形式化的可以替换的局限性呢，我们猜想，形式化跟发生学的建构具有类似性，这种类似性提供了一个解答：形式和内容的概念在本质上是相对的，形式或形式化结构是不能达到一种完全的自主性的。在心理发展领域里，这是清楚的：感知运动结构对它们所调整的简单运动而言是形式，但对下一水平的内化了的和概念化了的活动而言则是内容；“具体”运演对上面这些活动来说是形式，但对十一岁到十五岁时已出现的形式化运演来说则是内容；再者，这些形式化运演对于在以后各水平上应用于它们的那些运演来说又只不过是内容了。同样地，在戈德尔所提出的例子中，初等算术是形式，它把类和关系逻辑包括进来作为其内容（数是归类和序列化的综合，见本书第一章，第五节），而初等算术本身作为可数的东西的幂，则是超穷算术的内容。
如果情况是这样，人们就会看到，形式必然是会有局限性的，这就是说，在没有整合到一个更全面的形式中去时，它不能保证自身的前后一致性，因为它的存在本身是从属于整个建构过程的，它只是这个过程的一个特殊方面。让我们举一个没有数那么专门的例子。在具体运演水平上，我们能在分类和序列化之间分析出某些隐含的关系来：在下述分类中， A＋A'＝B；B＋B'=C；等等，把低级（这是与A'，B'，C'等等相对立的类）归到高级类中去的先后顺序，就是一个序列化过程：（A＜B
![[王逢振] 我认识的几位科幻作家封面](http://www.xntxt2.com/cover/noimg.jpg)