現代形式邏輯入門

《現代形式邏輯入門》是2023年10月重慶大學出版社出版的圖書，作者：王寅。

基本介紹

• 中文名：現代形式邏輯入門
• 作者：王寅
• 出版時間：2023年10月30日
• 出版社：重慶大學出版社
• ISBN：9787568936262
• 定價：79 元
• 開本：16 開

出版信息

ISBN：978-7-5689-3626-2

作者：王寅

編輯：牟妮

字數(千)：364 頁數：253 印次：1-1

開本：16開 平裝

出版時間： 2023-10-30

定價：¥79

圖書目錄

第一章 經典形式邏輯簡介

第二章 現代形式邏輯簡介

第三章 謂詞演算

第四章 命題演算

第五章 內涵邏輯

第六章 狹義模態邏輯

第七章 模態命題演算和模態謂詞演算

第八章 廣義模態邏輯

第九章 關係邏輯與謂詞特徵

第十章 語義公設

第十一章 蒙塔古語義學

第十二章 現代形式邏輯的利與弊

附錄

附錄1：普通邏輯學提綱

附錄2：數理統計在當代語言測試中的套用

附錄3：論證與論文寫作

附錄4：術語英漢對照表

附錄5：國外人名對照表

主要參考書目