作 者:(美)大衛·W.安格勒(David W.Agler) 著;陳素艷,張繡蕊 譯;魏屹東 叢書主編 著作
定 價:99
出 版 社:科學出版社
出版日期:2016年04月01日
頁 數:333
裝 幀:平裝
ISBN:9787030480392
●叢書序
●致謝
●導言
●0.1 什麼是符號邏輯學?
●0.2 為什麼學習邏輯學?
●0.3 如何學習邏輯學?
●0.4 本書結構如何編排?
●第1章命題、論證和邏輯屬性
●1.1 命題
●1.2 論證
●1.3 演繹有效論證
●1.4 總結
●第2章語言、句法和語義學
●2.1 真值函數
●2.2 PL符號和真值函數算子
●2.3 PL句法
●2.4 析取、蘊涵、等值蘊涵
●2.5 高級轉換
●第3章真值表
●3.1 賦值(真值賦值)
●部分目錄
本書從邏輯學的兩個核心概念"命題"和"論證"出發,論述了符號邏輯學的兩套推理(命題邏輯和謂詞邏輯)使用的兩種規範語言,以及相應的推導規則。命題邏輯繫統具有可判定性,真值表方法和真值樹方法都能夠為命題、命題集和論證的所有可能賦值提供完整的且圖表化的表征表;命題邏輯語言並不能接近充分表達所有有效論證和語義關繫,謂詞邏輯語言則彌補了其缺陷。謂詞邏輯繫統具有不可判定性,真值樹方法隻可為謂詞邏輯提供部分決策過程。命題邏輯的整套推導規則都可引入謂詞邏輯的推導中。
(美)大衛·W.安格勒(David W.Agler) 著;陳素艷,張繡蕊 譯;魏屹東 叢書主編 著作
大衛·W.安格勒,博士,賓夕法尼亞州立大學哲學講師,研究興趣與方向集中於美國古典哲學的哲學語言,特別關注查爾斯·皮爾士的著作。