B001444　形式化：现代逻辑的发展

---

朱水林著。人民出版社1987年5月版。14．7万字。共8章。认为，从传统的形式逻辑到现代的数理逻辑，是人类思维不断深化、不断精确、日益完善的过程。这一过程的标志，就是逻辑的形式化。本书以形式化为主线，在追溯逻辑发展史的同时，阐述现代逻辑的孕育、形成和发展，著重介绍现代逻辑的3个划时代的成果：哥德尔不完全性定理，塔斯基的形式语言真理论，图灵机和制定问题的主要内容及其哲学意义。指出，这三大成果既是逻辑科学高度形式化发展的产物，同时也丰富形式化的内涵。收入“三个面向丛书”。