《亚里士多德的三段论》求取 ⇩

本书述评1

第二版原序4

本书所引用的亚里士多德的原著与注释的版本6

第一章亚里士多德三段论系统的要素8

1.亚里士多德式三段论的正确形式8

2.前提和词项11

3.为什么单一词项被亚里士多德略去了13

4.变项16

5.三段论的必然性19

6.什么是形式逻辑21

7.什么是形式化25

第二章亚里士多德三段论系统的断定命题31

8.断定命题与推论规则31

9.三段论的格34

10.大项、中项和小项40

11.关于一个错误的历史43

12.前提的次序45

13.一些现代注释家的错误48

14.加仑的四个格51

第三章亚里士多德三段论系统58

15.完全的和不完全的三段论58

16.词项逻辑与命题逻辑63

17.换位法证明67

18.归谬法证明71

19.显示法证明77

20.排斥的形式85

21.一些未解决的问题91

第四章用符号形式表达的亚里士多德系统97

22.符号系统的说明97

23.演绎理论100

24.量词105

25.三段论系统的基本要素110

26.三段论的断定命题的推导113

27.排斥的表达式的公理和规则118

28.我们的公理和规则不充分122

29.不能判定的表达式的数目126

第五章判定问题126

30.斯卢派斯基的排斥规则129

31.演绎的等值式134

32.化归为初等表达式139

33.三段论系统的初等表达式150

34.三段论系统的一个算术的解释157

35.结束语162

第六章亚里士多德的模态命题逻辑165

36.导言165

37.模态函项和它们的相互关系166

38.基本模态逻辑168

39.扩展定律171

40.亚里士多德对扩展的M—定律的证明174

41.命题之间的必然联系177

42.“实质”蕴涵还是“严格”蕴涵181

43.分析命题184

44.一个亚里士多德的誖论186

45.亚里士多德的偶然性190

46.真值表方法194

第七章模态逻辑系统194

47.C-N-δ-p系统197

48.δ-定义201

49.模态逻辑的四值系统204

50.必然性和模态逻辑的四值系统208

51.成对的可能性212

52.偶然性和模态逻辑的四值系统214

53.其他某些问题220

54.有两个必然前提的各式223

第八章亚里士多德的模态三段论223

55.有一个必然前提和一个实然前提的各式225

56.有一个必然前提和一个实然前提的被排斥的各式229

57.争论的解决232

58.有可能前提的各式235

59.偶然命题的换位律239

60.纠正亚里士多德的错误243

61.有偶然前提的各式247

62.模态逻辑的哲学涵义251

索引256