《現代邏輯科學導引（上）》是現代王雨田編著的一部哲學著作。
基本介紹
- 作品名稱：現代邏輯科學導引（上）
- 創作年代：現代
- 作者：王雨田
- 類別：哲學
內容簡介,出版信息,
內容簡介
本書是我國第一部全面系統地介紹現代邏輯科學的著作。上冊共19章，除A真總論性地概述了現代邏輯科學的幾個問題外，自B：至C。主要介紹和討論了理論邏輯問題。其中B序列主要介紹和討論數理邏輯與數學基礎，包括B真數理邏輯的形成與發展、B：命題邏輯與一階邏輯、Bs模型論、B：集合論、B：遞歸論、B。證明論、B；證明的代數理論、B。直覺主義邏輯。C序列主要介紹和討論傳統邏輯和數理邏輯，主要是演繹邏輯，包括Cl布爾代數、C：判定問題、C。邏輯語義學、C，相干命題邏輯、Cs模態邏輯、C。反事實條件句邏輯、C，多值邏輯、Cs非標準量化邏輯、C，悖論。本書作者從學 、派林立、學科繁多的現代邏輯科學中，選取影響較大的一些分支或方面，對其歷史進展、基本內容、發展方向、理論意義和實踐意義等分別予以概述或綜述，並儘可能地在指出這些學科所提出的前沿性問題的同時，從哲學角度作某些方法論分析。該書理論全面系統、資料翔實豐富、不僅可作為學習現代邏輯科學的參考書，而且可作為查詢和保存資料的工具書。本書適合於有數理邏輯中命題演算與謂詞演算初步知識的讀者閱讀。
出版信息
中國人民大學出版社1987年7月第1版，54.1萬字。
