模態邏輯引論

《模態邏輯引論》是現代周禮全編著的一部哲學著作。

基本介紹

• 作品名稱：模態邏輯引論
• 創作年代：現代
• 作者：周禮全
• 類別：哲學

內容簡介

本書是國內第一部講述模態邏輯的書。全書共有ll章，第一章是關於形式語言與形式邏輯系統的緒論，作者從運用形式語言建立邏輯系統的基本概念人手，介紹了古典的一階邏輯(命題邏輯、狹謂詞邏輯一-第二、三章)，模態命題邏輯系統T、S4和S5。加進量詞的模態謂詞演算QTB、QSB、QT、QS4和QS5。(第四章—-第九章)。除模態邏輯的公理系統外，還介紹了模態邏輯的自然推導系統(第十章)。最後敘述了自古希臘亞里士多德至本世紀60年代模態邏輯的發展簡史。這部分內容對於讀者了解模態邏輯的發展全貌是有所裨益的。

出版信息

上海人民出版社1988年4月版，28萬字。