《符號邏輯：語法、語義和證明》是2016年科學出版社出版的圖書，作者是[美] 大衛·W.安格勒。
基本介紹
- 中文名：符號邏輯：語法、語義和證明
- 作者：[美]大衛·W.安格勒
- 出版社：科學出版社
- 出版時間：2016-04
- 頁數：333 頁
- 定價：99 元
- 開本：16 開
- 裝幀：平裝
- ISBN：9787030480392
編輯推薦,內容簡介,作者簡介,圖書目錄,
編輯推薦
適讀人群 ：本書可供邏輯學、邏輯哲學、科學哲學、心靈哲學、認知（科學）哲學，以及相關專業的讀者閱讀
本書提供了令人信服的例子。說明符號邏輯概念的有效性，本書的特徵在類似的教科書中不常見。豐富的示例及證明使本書非常適合課堂教學使用。
內容簡介
《符號邏輯：語法、語義和證明》從邏輯學的兩個核心概念“命題”和“論證”出發，論述了符號邏輯學的兩套推理（命題邏輯和謂詞邏輯）使用的兩種規範語言，以及相應的推導規則。命題邏輯系統具有可判定性，真值表方法和真值樹方法都能夠為命題、命題集和論證的所有可能賦值提供完整的且圖表化的表征表；命題邏輯語言並不能完全充分表達所有有效論證和語義關係，謂詞邏輯語言則彌補了其缺陷。謂詞邏輯系統具有不可判定性，真值樹方法只可為謂詞邏輯提供部分決策過程。命題邏輯的整套推導規則都可引入謂詞邏輯的推導中。
《符號邏輯：語法、語義和證明》可供邏輯學、邏輯哲學、科學哲學、心靈哲學、認知（科學）哲學，以及相關專業的讀者閱讀。
作者簡介
大衛·W.安格勒（David W．Agler），博士，賓夕法尼亞州立大學哲學講師，研究興趣與方向集中於美國古典哲學的哲學語言，特別關注查爾斯·皮爾士的著作。
圖書目錄
叢書序
致謝
導言
第1章命題、論證和邏輯屬性
第2章語言、句法和語義學
第3章真值表
第4章真值樹
第5章命題邏輯推導
第6章謂詞語言、句法和語義學
第7章謂詞邏輯樹
第8章謂詞邏輯推導
附錄
補充書目
