|
|
|
迄今為止國際上最暢銷的現代邏輯基礎教程（沒有「之一」）。該教程是面向那些需要關於邏輯學既嚴格而又親切的全面介紹的學生面編寫的。教程的第壹部分和第二部分，通過伴以清晰闡釋的循序漸進式訓練，帶領學生從語句邏輯通達帶等詞的一階謂詞邏輯。
第三部分則覆蓋邏輯畛域其他內容的比較穩固的范圍，包括亞里士多德邏輯、歸納邏輯、模態邏輯、認知邏輯和道義邏輯。全書以清晰、准確的理論闡釋見長，並輔以精心搜集、設計的例題、習題及部分習題解答，生動體現了邏輯學在哲學及相關學科中的應用價值，同時也通俗地闡釋了當代邏輯與邏輯哲學領域的一些前沿問題。全書體現了「理論嚴整性」與「學生友好性」的完美結合，因而受到讀者歡迎與好評。
保羅•蒂德曼（Paul Tidman）（1956—），美國俄亥俄州尤寧山大學（University of Mount Union）哲學與宗教學系教授。主要研究方向為邏輯學、認識論、形而上學及應用倫理學。
霍華德•卡哈尼（Howard Kahane）（1928—2001），美國著名邏輯教育家，曾先后任教於堪薩斯大學、馬里蘭大學等。主要代表作：《邏輯與哲學：現代邏輯導論》（1969年第壹版，至第六版為獨立作者，以后各版與他人合作），《六個歸納問題》（1962年），《邏輯與當代修辭學》（1971年），《契約倫理學》（1995年）。
第1章緒論
1.論證的要素
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.更多策略原則
2.解題中的常見錯誤
本章引入的關鍵術語
第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.邏輯悖論
本章引入的關鍵術語
……
第三部分其他邏輯系統
部分習題解答
參考文獻
特殊符號
索引
譯者后記
