【语言的逻辑句法】二 (3-3)

卡尔纳普的哲学研究与写作的风格，是用大量技术性的研究与阐述来支持他的一个哲学观点，而在直接用日常语言论述他的哲学观点时则非常简洁明了，不做过多的铺垫，不翻来覆去地重复，也很少系统地反驳对立的哲学观点。他是以做科学的方式做哲学。比如，《语言的逻辑句法》这本著作中大部分的内容是数理逻辑上的技术性内容，而对哲学上非常重要的宽容原则的论述只在个别地方出现（如§17），而且非常简短。这种哲学研究与写作方式使得他的哲学有很坚实的技术支撑，但也给不熟悉那些技术性内容的读者带来阅读理解上的困难。就《语言的逻辑句法》这本著作来说，如果读者了解哥德尔不完全性定理的证明尤其是哥德尔编码方法，还了解原始递归算术及简单类型论这些逻辑系统，将会对理解这本著作中的技术性细节非常有帮助。这本著作中构造的语言I相当于今天的一些数理逻辑教科书特别是证明论教科书中定义的，无量词的原始递归算术，而这本著作中构造的语言II则相当于简单类型论。这里读者要注意，《语言的逻辑句法》成书于1934年，是在现代证明论与模型论发展出来之前，所以，对熟悉今天的数理逻辑教科书的读者来说，它的一些技术性定义、论述可能会显得比较陌生。总体上，《语言的逻辑句法》的技术细节是非常严谨的，没有错误或任何含混不清之处，虽然与今天经过几代人提炼的教科书相比，它的符号体系与它的叙述方式可能时时会显得不必要地繁琐。所以，一个可能有意义的建议是，读者可以先通过现代数理逻辑教科书来学习不完全性定理、原始递归算术及简单类型论，然后才细读这本著作的技术细节，而在此之前，读者可以先略过那些技术细节。

就哲学方面来说，对阅读这本著作的补充读物可以包括卡尔纳普自己的学术自传，他的一篇重要论文“经验主义、语义学与本体论”，以及收集在论文集《剑桥卡尔纳普伴读》中的其他学者的相关论文7。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。