形式化：現代邏輯的發展

《形式化：現代邏輯的發展》是現代朱水林編著的一部哲學著作。

基本介紹

• 作品名稱：形式化：現代邏輯的發展
• 創作年代：現代
• 作者：朱水林
• 類別：哲學

內容簡介

本書以形式化為主線，在追溯邏輯發展史的同時，闡述了現代邏輯的孕育、形成和發展，從哲學的角度把握了整個邏輯學的內在統一性，並以通俗易懂非邏輯化的語言，對數理邏輯這門科學作了較為詳細的介紹，向讀者展示了邏輯科學從描述性的反思維淪到形式化科學發展的內在必然性，說明現代邏輯是傳統邏輯長期演化、高度發展的產物，是人類思維進化的偉大成果。

本書在介紹了數學的形式化、邏輯學的形式化、現代邏輯基礎之後，著重介紹了現代邏輯的三個劃時代的成果：哥德爾不完全性定理，塔斯基的形式語言真理論，圖錄機和判定問題的內涵、意義及其影響。作者認

出版信息

人民出版社1987年5月版，14.7萬字，責任編輯：劉麗華。