《邏輯與哲學:現代邏輯導論》是2018年中國人民大學出版社出版書籍,作者是【美】保羅·蒂德曼 霍華德·卡哈尼 。
基本介紹
- 書名:邏輯與哲學:現代邏輯導論
- 作者:【美】保羅·蒂德曼 霍華德·卡哈尼
- ISBN:978-7-300-24616-1
- 定價:¥118 元
- 出版社:中國人民大學出版社
- 出版時間:2017-09-15
- 裝幀:平裝
- 開本:16
基本信息
內容簡介
作者簡介
目錄
- 論證的要素
- 2.演繹與歸納
- 3.論證形式
- 4.真與有效性
- 5.可靠性
- 6.相容性
- 7.相容性和有效性之比較
- 8.發現的語境與辯護的語境
- 9.本書的安排
- 本章引入的關鍵術語
- 第一部分語句邏輯
- 第2章語句邏輯符號化
- 1.原子語句和複合語句
- 2.真值函式
- 3.合取
- 4.非真值函式聯結詞
- 5.變項與常項
- 6.否定
- 7.括弧
- 8.析取
- 9. “並非既……又……”和“既不……也不……”
- 10.實質條件句
- 11.實質雙條件句
- 12. “僅當”和“除非”
- 13.複雜語句符號化
- 14.語句邏輯的不同符號體系
- 本章引入的關鍵術語
- 第3章真值表
- 1.真值的計算
- 2.重言句、矛盾句和偶真句
- 3.邏輯等價與條件句
- 4.用真值表檢驗有效性
- 5.用真值表檢驗相容性
- 6.有效性和相容性
- 7.用簡化真值表方法檢驗無效性
- 8.用簡化真值表方法檢驗相容性
- 9.代入特例
- 10.真值表與語句形式
- 本章引入的關鍵術語
- 第4章證明
- 1.論證形式
- 2.肯定前件式和否定後件式
- 3.析取三段論和假言三段論
- 4.簡化式和組合式
- 5.附加式和二難構成式
- 6.策略原則
- 7.雙重否定律和德·摩根律
- 8.交換律、結合律和分配律
- 9.易位律、蘊析律和移出律
- 10.重言律和等值律
- 11.更多策略原則
- 12.解題中的常見錯誤
- 本章引入的關鍵術語
- 第5章條件證明和間接證明
- 1.條件證明
- 2.間接證明
- 3.運用CP和IP的策略提示
- 4.定理
- 5.前提不相容的證明
- 6.附加的有效論證形式
- 7.語句邏輯的完全性和可靠性
- 8.引入規則和消去規則
- 9.實質蘊涵和有效的論證形式
- 本章引入的關鍵術語
- 第6章語句邏輯真值樹
- 1.語句邏輯真值樹方法
- 2.真值樹規則
- 3.真值樹構造的細節
- 4.真值樹方法的理論依據
- 5.真值樹方法的套用
- 本章引入的關鍵術語
- 第二部分謂詞邏輯
- 第7章謂詞邏輯符號化
- 1.個體和屬性
- 2.量詞和自由變項
- 3.全稱量詞
- 4.存在量詞
- 5.基本的謂詞邏輯符號化
- 6.對當方陣
- 7.量化語句符號化的常見錯誤
- 8.展開式
- 9.“只有”“只有……才”和“除非”的符號化
- 本章引入的關鍵術語
- 第8章謂詞邏輯語義學
- 1.謂詞邏輯中的解釋
- 2.無效性的證明
- 3.使用展開式證明無效性
- 4.謂詞邏輯中的相容性
- 5.謂詞邏輯中的有效性和不相容性
- 本章引入的關鍵術語
- 第9章謂詞邏輯證明
- 1.有效性的證明
- 2.四個量詞規則
- 3.五個主要限制
- 4.四個量詞規則的精確形塑
- 5.熟練掌握四個量詞規則
- 6.量詞否定規則
- 本章引入的關鍵術語
- 第10章關係謂詞邏輯
- 1.關係謂詞
- 2.含有重疊量詞的符號表達式
- 3.展開式與重疊量詞
- 4.地點與時間
- 5.“某人”“某地”“某時”等語詞的符號化
- 6.關係謂詞邏輯中的無效性與相容性
- 7.關係謂詞邏輯的證明
- 8.關係謂詞邏輯證明的策略
- 9.謂詞邏輯中的定理與不相容性
- 10.謂詞邏輯的元理論
- 11.量詞規則的簡化
- 第11章四個量詞規則精確形塑的理論說明
- 1.涉及五個主要限制的情形
- 2.一一對應問題
- 3.意外約束變項及其複雜情形
- 4.帶有標記常項的謂詞邏輯證明
- 第12章謂詞邏輯真值樹
- 1.謂詞邏輯真值樹方法
- 2.無窮真值樹
- 第13章同一性與符號邏輯的哲學問題
- 1.同一性
- 2.限定摹狀詞
- 3.關係的性質
- 4.高階邏輯
- 5.謂詞邏輯的局限性
- 6.哲學問題
- 7.邏輯悖論
- 本章引入的關鍵術語
- 第三部分其他邏輯系統
- 第14章三段論邏輯
- 1.直言命題
- 2.存在含義
- 3.對當方陣
- 4.換位、換質和換質位
- 5.三段論邏輯——不假定存在含義
- 6.文恩圖
- 7.三段論
- 8.判定三段論的有效性
- 9.有效性或無效性的文恩圖證明
- 10.判定有效性或無效性的五個規則
- 11.擴展的三段論
- 12.省略式三段論
- 13.連鎖式三段論
- 14.技術限制與局限性
- 本章引入的關鍵術語
- 第15章非形式謬誤
- 1.謬誤的性質
- 2.謬誤的分類
- 本章引入的關鍵術語
- 第16章歸納邏輯
- 1.有關歸納與演繹的一種錯誤觀點
- 2.歸納論證的種類
- 3.原因與結果
- 4.穆勒方法
- 5.歸納機率
- 6.機率演算
- 7.貝葉斯定理
- 8.歸納是不可證立的——老歸納之謎
- 9.理論的實例並不都能確證理論——新歸納之謎
- 本章引入的關鍵術語
- 第17章公理系統
- 1.公理系統的特徵
- 2.已解釋系統和未解釋系統
- 3.公理系統的性質
- 4.一個語句邏輯公理系統概要
- 5.謂詞邏輯公理系統
- 6.其他公理系統
- 7.對公理系統的異議
- 本章引入的關鍵術語
- 第18章擇代邏輯
- 1.模態邏輯
- 2.嚴格蘊涵
- 3.模態公理
- 4.模態定理
- 5.模態怪論
- 6.一個哲學問題
- 7.模態謂詞邏輯
- 8.認知邏輯:知識和信念的邏輯
- 9.認知定理
- 10.道義邏輯
- 11.道義系統的問題
- 本章引入的關鍵術語