1701057299
1701057300
在数理逻辑中，还是有很多有争议的问题，它们……我不打算去解决它们。我只一次提到过关于这些悖论的问题，但在我看来，自从我写《数学原理》（1900—1903）以来，（数理逻辑）已经有了非常明确的进步……对我来说，在这中间的34年，我们所需要的哲学上的变化似乎部分归功于数理逻辑在技术上的进步。(53)
1701057301
1701057302
当然有变化。正如克莱因指出的：“尽管在《数学原理》的第一卷中，罗素和怀特海毫不犹豫地引进无穷公理和选择公理，但他们在后来确实放弃了这种做法。他们不仅承认逻辑的基本定律不是绝对的真理，而且承认这两个公理不是逻辑的公理。在《数学原理》的第二版中，这两个公理没有出现在书开头的列表中，在需要它们证明某些定理时，对它们的应用也作了特别说明。”(54)
1701057303
1701057304
实际上在后来的这些年，比起他更加乐观的早年，罗素不再对他的观点抱有终极成功的自信了。在他1938年《数学原理》的前言中，他已经没有那样说了，这要部分地归因于1931年哥德尔对一致性与完备性不相容的证明。（详见第7章）这样做会导致逻辑主义前景黯淡，就像它在早年闻名遐迩一样。
1701057305
1701057306
但是正如罗素所说，一般而言，值得怀疑的原因“有两个相反的方面：首先，在数理逻辑中有某些没有解决的难题，这使它看起来没有人们心目中的数学那样确定；其次，如果数学的逻辑基础是能够接受的，那么它能证明（或有助于证明）很多东西，比如格奥尔格的理论——由于一些没有解决的悖论（逻辑中也有这些悖论），很多数学家都对它表示怀疑。这两种相反的批评有两类代表：希尔伯特领导的形式主义和（鲁伊兹）布劳威尔领导的直觉主义”(55)。
1701057307
1701057308
在下一章中，我们将讨论这两个数学思想的学派，它们与逻辑主义的联系以及在20世纪早期困扰数学的信心危机中所扮演的角色。
1701057309
1701057310
现在，围绕罗素逻辑主义的争议可能和以前一样多。例如，圣母大学（the University of Notre Dame）的迈克尔·迪特弗森（Michael Detlefsen）说：“对于庞加莱的康德哲学观点，罗素所谓的驳斥是不对的。”他主张：“最后我们发现，逻辑学家所声称的数学推理能够‘逻辑化’以及可以严格地完善都是站不住脚的。”(56)一些研究者认为，逻辑主义依然太让人困惑，也太虚弱，以致不堪大用(57)。但有其他人相信，经过适当的改进，它仍然将是一个有用的方法(58)。
1701057311
1701057312
但是通过这种或那种方式，从罗素的那个时代直到现在，罗素的逻辑主义带动了如此众多领域的发展，如哲学、数学、语言学、经济学；特别是今天日新月异发展的计算机科学，更要归功于它(59)。
1701057313
1701057314
(1) 罗素，1959年，第76—77页。
1701057315
1701057316
(2) 罗素的术语“类”和现在用的“集合”具有同样的意思。
1701057317
1701057318
(3) 罗素，1959年，第75—76页。
1701057319
1701057320
(4) 罗素，1959年，第74页。
1701057321
1701057322
(5) 罗素，《神秘主义与逻辑》，1918年（？），第70 —71页。
1701057323
1701057324
(6) 罗素，1938年，第v页。
1701057325
1701057326
(7) 诺德曼，琼斯文集，1966年，第619页。
1701057327
1701057328
(8) 罗素，1967年，第17—18页。
1701057329
1701057330
(9) 在等腰三角形中，两个底角相等。如果将两腰延长相同长度，所产生的两底角也相等。
1701057331
1701057332
(10) 罗素，1967年，第37—38页。
1701057333
1701057334
(11) 莫哈德（Moorhead），1992年，第42页。
1701057335
1701057336
(12) 罗素，1967年，第87页。
1701057337
1701057338
(13) 同上书，第90页。
1701057339
1701057340
(14) 《一个集合常用理论的基础》（Grundlagen Einer Allgemeinen Mannichfaltigkeitslehre），1883年。
1701057341
1701057342
(15) 这本书的英文名是《Concept Notation》。概略来说，它是弗雷格在逻辑方面出版的第一本书（1879年）。
1701057343
1701057344
(16) 罗素，1967年，第91页。
1701057345
1701057346
(17) 罗素，1967年，第187页。
1701057347
1701057348
(18) 克莱因，1972年，第1192页。
[
上一页 ]
[ :1.701057299e+09 ]
[
下一页 ]