《現代邏輯科學導引（下）》是現代王雨田編著的一部哲學著作。
基本介紹
- 中文名：現代邏輯科學導引（下）
- 作者：王雨田
- 出版時間：1988年3月
- 出版社：中國人民大學出版社
- 類別：哲學
- 創作年代：現代
- 字數：41.6萬字
內容簡介
本書上冊已於1987年7月出版。下冊共19章，繼續介紹和討論現代邏輯的各個分支。其中D序列主要介紹和討論歸納邏輯與機率邏輯。包括D：機率邏輯，宅要介紹了機率演算的公理系統，討論了對機率演算公理系統的解釋與歸納推理；D；條件化歸納邏輯，介紹了條件化的歸納邏輯和條件化的模態邏輯；D，歸納演算，主要介紹了歸納演算系統Pa，討論了該系統的特徵以及歸納模態邏輯的語義學。E序列主要討論邏輯在現代科學技術中的套用。包括l量子邏輯，主要介紹了萊串巴哈的三值量子邏輯和馮·諾意曼的格演算；Ez模糊邏輯，主要介紹了模糊集合、模糊邏輯公式、似然推理和模糊歸納推理等模糊邏輯的基本理論；E：邏輯與智慧型計算機，主要介紹了邏輯型程式語言，並討論了其與軟體工程和人工智慧的關係。F序列主要介紹和討淪哲學邏輯。包括Fl存在邏輯、F：時態邏輯、F：拓樸邏輯、Fd認識論邏輯，F：斷定邏輯、只問句邏輯、F，道義邏輯、F9優先邏輯、自然語言邏輯。G，邏輯方法，介紹了主要的邏輯方法及其基本原則，並討論了邏輯方法在自然科學、藝術、語言學、計算機、信息淪、控制論和系統論中的套用。H1介紹國外辯證邏輯研究的狀況，主要介紹蘇聯、東歐各國辯證邏輯研究的歷史概況和最近發展，以及西方邏輯學家沿符號邏輯方向研究辯證邏輯的現狀。全書集理論性、學術性、資料性於一身，既是了解和學習現代邏輯科學的參考書，又可做為查詢該學科資料的工具書。
