科学逻辑与科学方法论名释

第一篇 科学逻辑概观 3

1.1范畴、概念 3

1.1.1认识论 3

1.1.2逻辑学 6

1.1.3科学方法论 8

1.1.4演绎逻辑 10

1.1.5归纳逻辑 11

1.1.6形式逻辑 13

1.1.7辩证逻辑 17

1.1.8符号学 18

1.1.9句法学 19

1.1.10语义学 20

1.1.11语用学 20

1.1.12判断 21

1.1.13推理 22

1.1.14解释 24

1.1.15预见 25

1.1.16符号 26

1.1.17语言 27

1.1.18模型 28

1.1.19计算 29

1.1.20电子计算机 31

1.1.21计算技术 32

1.1.22算法语言 33

1.1.23无意识 34

1.1.24无限 39

1.2学术源流 41

1.2.1西方逻辑 41

1.2.2印度因明 44

1.2.3中国名辩 47

1.2.4俄罗斯的逻辑学 52

1.2.5柏拉图主义 56

1.2.6形式主义 57

1.2.7直觉主义 59

1.2.8直觉主义逻辑 60

1.2.9马克思 62

1.2.10恩格斯 65

1.2.11列宁 66

第二篇 古代认识论与逻辑 73

2.1古希腊认识论与逻辑 73

2.1.1毕达哥拉斯：数 73

2.1.2赫拉克利特：逻各斯 77

2.1.3巴门尼德：同一律 80

2.1.4芝诺：归谬法 81

2.1.5德谟克利特：原子论 83

2.1.6苏格拉底：辩证法 84

2.1.7柏拉图：理念论 88

2.1.8亚里士多德：《工具论》 89

2.1.9诡辩派 96

2.1.10麦加拉学派 98

2.1.11斯多亚学派 100

2.2中世纪认识论与逻辑 103

2.2.1奥古斯丁：神学认识论 103

2.2.2阿维森纳：阿拉伯逻辑 106

2.2.3托马斯·阿奎那：托马斯主义 111

2.2.4邓斯·司各脱：司各脱主义 113

2.2.5罗吉尔·培根：科学实验 115

第三篇 近代认识论与逻辑学说 119

3.1近代认识论 119

3.1.1培根：《新工具》 119

3.1.2笛卡尔：《方法论》 123

3.1.3伽利略：数学一实验方法 127

3.1.4牛顿：假说一演绎方法 130

3.1.5休谟：经验论 134

3.1.6康德：先验范畴 138

3.1.7黑格尔：辩证逻辑 141

3.1.8孔德：实证主义 144

3.1.9惠威尔：归纳协调性 148

3.1.10穆勒：科学归纳法 151

3.2形式逻辑 155

3.2.1莱布尼兹：思维演算 155

3.2.2布尔：逻辑代数 160

3.2.3波尔查诺：数理逻辑的先躯 161

3.2.4康托尔：集合论 164

3.2.5弗雷格：逻辑系统 166

第四篇 现代逻辑与科学方法论 171

4.1现代逻辑 171

4.1.1罗素：逻辑原子主义 171

4.1.2希尔伯特：形式化 175

4.1.3布劳维尔：直觉主义 179

4.1.4哥德尔：不完全性定理 184

4.1.5塔尔斯基：逻辑语义学 187

4.1.6卡尔纳普：逻辑句法学 191

4.1.7莫里斯：逻辑语用学 196

4.2科学方法论 201

4.2.1马赫：思维经济原则 201

4.2.2彭加勒：约定论 206

4.2.3爱因斯坦：相对论 209

4.2.4维特根斯坦：《逻辑哲学论》 214

4.2.5石里克：维也纳学派 218

4.2.6玻尔：互补原理 222

4.2.7海森堡：非决定论 225

4.2.8赖欣巴哈：逻辑经验主义 229

4.2.9布里奇曼：操作主义 234

4.2.10胡塞尔：现象学方法 240

4.2.11贝塔朗菲：一般系统论 244

4.2.12维纳：控制论 248

4.2.13申农：信息论 252

4.2.14西蒙：人工智能 255

4.2.15奈格尔：归并成长论 258

4.2.16亨普尔：科学理论的结构和性质 263

4.2.17奎因：经验主义的两个教条 269

4.2.18波普尔：证伪主义 273

4.2.19库恩：科学革命的结构 277

4.2.20拉卡托斯：科学研究纲领方法论 281

4.2.21费耶阿本德：反对方法 286

4.2.22夏皮尔：科学合理性 292

4.2.23劳丹：科学进步 297

俄文词条索引 301

英文词条索引 307