來源：互聯網
《模態邏輯引論》是由周禮全編寫的哲學類書籍，由上海人民出版社出版發行，全書共11章，總字數達28萬字。
內容簡介
作為國內首部介紹模態邏輯的專著，《模態邏輯引論》涵蓋了模態邏輯的基礎知識和發展歷史。書中首先對形式語言與形式邏輯系統進行了概述，隨后詳細闡述了古典的一階邏輯體系，包括命題邏輯和狹謂詞邏輯。此外，作者還講解了模態命題邏輯系統T、S4和S5，以及帶有量詞的模態謂詞演算QTB、QSB、QT、QS4和QS5等。除了模態邏輯的公理系統，書中還涉及了模態邏輯的自然推導系統。最后，作者回顧了從古希臘亞里士多德時代至今模態邏輯的發展歷程，幫助讀者全面理解模態邏輯的歷史演變。
參考資料 >
模態邏輯引論.豆瓣讀書.2024-09-20
《讀書》新刊 | 王路:周禮全先生的四本書.澎湃新聞.2024-09-20
?亞里士多德的形式究竟是“個別”還是“一般”?.搜狐網.2024-09-20