邏輯與哲學：現代邏輯導論

《邏輯與哲學：現代邏輯導論》是2018年中國人民大學出版社出版書籍，作者是【美】保羅·蒂德曼 霍華德·卡哈尼 。

基本信息

作者：【美】保羅·蒂德曼 霍華德·卡哈尼

書號：246161

定價：￥118 元

字數：771 千字

印次：1-1

開本：16

出版時間：2017-09-15

ISBN：978-7-300-24616-1

包裝：平裝

內容簡介

《邏輯與哲學：現代邏輯導論》是迄今為止國際上最暢銷的現代邏輯基礎教程（沒有“之一”）。該教程是面向那些需要關於邏輯學既嚴格而又親切的全面介紹的學生面編寫的。教程的第一部分和第二部分，通過伴以清晰闡釋的循序漸進式訓練，帶領學生從語句邏輯通達帶等詞的一階謂詞邏輯。第三部分則覆蓋邏輯畛域其他內容的比較穩固的範圍，包括亞里士多德邏輯、歸納邏輯、模態邏輯、認知邏輯和道義邏輯。全書以清晰、準確的理論闡釋見長，並輔以精心蒐集、設計的例題、習題及部分習題解答，生動體現了邏輯學在哲學及相關學科中的套用價值，同時也通俗地闡釋了當代邏輯與邏輯哲學領域的一些前沿問題。全書體現了“理論嚴整性”與“學生友好性”的完美結合，因而受到讀者歡迎與好評。

作者簡介

保羅·蒂德曼（Paul Tidman,1956— ），美國俄亥俄州尤寧山大學（University of Mount Union）哲學與宗教學系教授。主要研究方向為邏輯學、認識論、形上學及套用倫理學。

霍華德·卡哈尼（Howard Kahane,1928—2001）,美國著名邏輯教育家，曾先後任教於堪薩斯大學、馬里蘭大學等。主要代表作：《邏輯與哲學：現代邏輯導論》（1969年第一版，至第六版為獨立作者，以後各版與他人合作），《六個歸納問題》（1962年），《邏輯與當代修辭學》（1971年），《契約倫理學》（1995年）。

目錄

目錄

第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.更多策略原則

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.道義系統的問題

本章引入的關鍵術語

1.

論證的要素

2.

2.演繹與歸納

3.

3.論證形式

4.

4.真與有效性

5.

5.可靠性

6.

6.相容性

7.

7.相容性和有效性之比較

8.

8.發現的語境與辯護的語境

9.

9.本書的安排

10.

本章引入的關鍵術語

11.

第一部分語句邏輯

12.

第2章語句邏輯符號化

13.

1.原子語句和複合語句

14.

2.真值函式

15.

3.合取

16.

4.非真值函式聯結詞

17.

5.變項與常項

18.

6.否定

19.

7.括弧

20.

8.析取

21.

9. “並非既……又……”和“既不……也不……”

22.

10.實質條件句

23.

11.實質雙條件句

24.

12. “僅當”和“除非”

25.

13.複雜語句符號化

26.

14.語句邏輯的不同符號體系

27.

本章引入的關鍵術語

28.

第3章真值表

29.

1.真值的計算

30.

2.重言句、矛盾句和偶真句

31.

3.邏輯等價與條件句

32.

4.用真值表檢驗有效性

33.

5.用真值表檢驗相容性

34.

6.有效性和相容性

35.

7.用簡化真值表方法檢驗無效性

36.

8.用簡化真值表方法檢驗相容性

37.

9.代入特例

38.

10.真值表與語句形式

39.

本章引入的關鍵術語

40.

第4章證明

41.

1.論證形式

42.

2.肯定前件式和否定後件式

43.

3.析取三段論和假言三段論

44.

4.簡化式和組合式

45.

5.附加式和二難構成式

46.

6.策略原則

47.

7.雙重否定律和德·摩根律

48.

8.交換律、結合律和分配律

49.

9.易位律、蘊析律和移出律

50.

10.重言律和等值律

51.

11.更多策略原則

52.

12.解題中的常見錯誤

53.

本章引入的關鍵術語

54.

第5章條件證明和間接證明

55.

1.條件證明

56.

2.間接證明

57.

3.運用CP和IP的策略提示

58.

4.定理

59.

5.前提不相容的證明

60.

6.附加的有效論證形式

61.

7.語句邏輯的完全性和可靠性

62.

8.引入規則和消去規則

63.

9.實質蘊涵和有效的論證形式

64.

本章引入的關鍵術語

65.

第6章語句邏輯真值樹

66.

1.語句邏輯真值樹方法

67.

2.真值樹規則

68.

3.真值樹構造的細節

69.

4.真值樹方法的理論依據

70.

5.真值樹方法的套用

71.

本章引入的關鍵術語

72.

第二部分謂詞邏輯

73.

第7章謂詞邏輯符號化

74.

1.個體和屬性

75.

2.量詞和自由變項

76.

3.全稱量詞

77.

4.存在量詞

78.

5.基本的謂詞邏輯符號化

79.

6.對當方陣

80.

7.量化語句符號化的常見錯誤

81.

8.展開式

82.

9.“只有”“只有……才”和“除非”的符號化

83.

本章引入的關鍵術語

84.

第8章謂詞邏輯語義學

85.

1.謂詞邏輯中的解釋

86.

2.無效性的證明

87.

3.使用展開式證明無效性

88.

4.謂詞邏輯中的相容性

89.

5.謂詞邏輯中的有效性和不相容性

90.

本章引入的關鍵術語

91.

第9章謂詞邏輯證明

92.

1.有效性的證明

93.

2.四個量詞規則

94.

3.五個主要限制

95.

4.四個量詞規則的精確形塑

96.

5.熟練掌握四個量詞規則

97.

6.量詞否定規則

98.

本章引入的關鍵術語

99.

第10章關係謂詞邏輯

100.

1.關係謂詞

101.

2.含有重疊量詞的符號表達式

102.

3.展開式與重疊量詞

103.

4.地點與時間

104.

5.“某人”“某地”“某時”等語詞的符號化

105.

6.關係謂詞邏輯中的無效性與相容性

106.

7.關係謂詞邏輯的證明

107.

8.關係謂詞邏輯證明的策略

108.

9.謂詞邏輯中的定理與不相容性

109.

10.謂詞邏輯的元理論

110.

11.量詞規則的簡化

111.

第11章四個量詞規則精確形塑的理論說明

112.

1.涉及五個主要限制的情形

113.

2.一一對應問題

114.

3.意外約束變項及其複雜情形

115.

4.帶有標記常項的謂詞邏輯證明

116.

第12章謂詞邏輯真值樹

117.

1.謂詞邏輯真值樹方法

118.

2.無窮真值樹

119.

第13章同一性與符號邏輯的哲學問題

120.

1.同一性

121.

2.限定摹狀詞

122.

3.關係的性質

123.

4.高階邏輯

124.

5.謂詞邏輯的局限性

125.

6.哲學問題

126.

7.邏輯悖論

127.

本章引入的關鍵術語

128.

第三部分其他邏輯系統

129.

第14章三段論邏輯

130.

1.直言命題

131.

2.存在含義

132.

3.對當方陣

133.

4.換位、換質和換質位

134.

5.三段論邏輯——不假定存在含義

135.

6.文恩圖

136.

7.三段論

137.

8.判定三段論的有效性

138.

9.有效性或無效性的文恩圖證明

139.

10.判定有效性或無效性的五個規則

140.

11.擴展的三段論

141.

12.省略式三段論

142.

13.連鎖式三段論

143.

14.技術限制與局限性

144.

本章引入的關鍵術語

145.

第15章非形式謬誤

146.

1.謬誤的性質

147.

2.謬誤的分類

148.

本章引入的關鍵術語

149.

第16章歸納邏輯

150.

1.有關歸納與演繹的一種錯誤觀點

151.

2.歸納論證的種類

152.

3.原因與結果

153.

4.穆勒方法

154.

5.歸納機率

155.

6.機率演算

156.

7.貝葉斯定理

157.

8.歸納是不可證立的——老歸納之謎

158.

9.理論的實例並不都能確證理論——新歸納之謎

159.

本章引入的關鍵術語

160.

第17章公理系統

161.

1.公理系統的特徵

162.

2.已解釋系統和未解釋系統

163.

3.公理系統的性質

164.

4.一個語句邏輯公理系統概要

165.

5.謂詞邏輯公理系統

166.

6.其他公理系統

167.

7.對公理系統的異議

168.

本章引入的關鍵術語

169.

第18章擇代邏輯

170.

1.模態邏輯

171.

2.嚴格蘊涵

172.

3.模態公理

173.

4.模態定理

174.

5.模態怪論

175.

6.一個哲學問題

176.

7.模態謂詞邏輯

177.

8.認知邏輯：知識和信念的邏輯

178.

9.認知定理

179.

10.道義邏輯

180.

11.道義系統的問題

181.

本章引入的關鍵術語

部分習題解答

參考文獻

特殊符號

索引

譯者後記