第一部 方法论原理 3
方法论原理 3
1 方法的内在结构及其本质特征 4
1.1 方法的内在结构 4
1.2 方法的本质特征 11
2 方法的来源与发展 16
2.1 方法系统的来源 16
2.2 方法系统的发展 18
3 方法和方法论的类型 21
3.1 方法系统的类型 21
3.2 方法论的类型 23
4 方法和方法论的评价 27
5 方法和方法论的运用 32
参考文献 34
第二部 哲学方法论 39
一 哲学方法概论 39
二 辩证唯物主义方法论 42
1 辩证唯物主义方法的产生 42
1.1 古代的辩证方法 42
1.2 近代唯心主义辩证方法 43
1.3 唯物辩证方法 44
2 唯物辩证方法的内容和核心 45
2.1 唯物辩证方法的内容 45
2.2 唯物辩证方法的核心 46
3 实事求是方法 46
3.1 实事求是方法的出发点 46
3.2 实事求是方法的内容 47
3.3 实事求是方法的技术 47
4 调查研究方法 48
4.1 调查方法 48
4.2 研究方法 49
4.3 验证方法 50
5 矛盾分析方法 50
5.1 矛盾分析方法的任务 51
5.2 矛盾分析方法的步骤 51
5.3 矛盾分析方法的技术 52
6 历史辩证方法 52
6.1 历史辩证方法的基本原则 53
6.2 历史辩证方法的基本内容 54
7 价值评价方法 55
7.1 价值评价的实质 55
7.2 绝对价值评价方法 56
7.3 相对价值评价方法 56
7.4 价值评价标准的选定 57
8 历史主义方法 58
8.1 历史因果关系方法 58
8.2 历史和逻辑相统一的方法 58
8.3 历史评价方法 59
9 阶级分析方法 59
9.1 阶级分析是社会基本矛盾分析方法的具体形态 59
9.2 阶级分析方法的目的和内容 60
9.3 社会主义社会阶级矛盾分析方法 61
10 群众路线方法 61
10.1 一切从群众出发 62
10.2 从群众中来,到群众中去 62
10.3 领导和群众相结合 63
参考文献 64
三 实用主义方法论 65
1 实用主义的发展 65
2 实用主义的方法及其应用 68
2.1 澄清观念意义的理论 70
2.2 “怀疑—信念”的探索理论 72
2.3 调和者的哲学 75
2.4 有用就是真理 78
2.5 工具主义理论 82
2.6 科学探索方法 85
参考文献 88
四 逻辑实证主义方法论 89
1 概述 89
2 一个命题的意义就是证实它的方法 90
3 物理主义 92
4 归纳的逻辑 94
5 科学假说的提出和检验 99
6 理论的构成与归化 103
7 科学说明的逻辑 108
参考文献 111
五 分析哲学方法论 112
1 概论——分析哲学作为纯粹的方法 112
1.1 分析哲学的起源和发展 112
1.2 分析哲学的理论背景 112
1.3 分析哲学的方法特征 114
1.4 对分析哲学运动的界定 116
2 分析哲学代表人物的思维趋向和发展 117
2.1 摩尔的分析哲学思想特征 117
2.2 罗素的分析哲学思想特征 120
2.3 卡尔纳普的分析哲学思想特征 122
2.4 赖尔的分析哲学思想特征 125
2.5 维特根斯坦的分析哲学思想特征 128
3 分析哲学的方法论共性 131
4 结束语 132
参考文献 133
六 科学哲学方法论 135
1 早期实证主义方法论 135
2 经验批判哲学的方法论 139
3 逻辑实证主义的方法论 142
4 批判理性主义的方法论 145
5 科学实在论的方法论 148
6 新历史主义的方法论 149
参考文献 152
七 现象学方法论 153
1 建立严格科学的哲学 154
1.1 胡塞尔所面临的任务 154
1.2 批判心理主义 156
1.3 严格科学的哲学的历史性探讨 158
2 现象学是唯一严格科学的哲学 162
2.1 现象学发展的历史回顾 162
2.2 严格科学的哲学的研究对象:现象 163
2.3 对现象的认识:直观描述 166
3 现象学还原法 167
3.1 悬置存疑 167
3.2 本质的还原 168
3.3 先验的还原 170
3.4 意识的意向性 172
4 结束语 174
参考文献 175
八 存在主义方法论 177
1 现象学一元论 177
1.1 存在:本体论的一元化 181
1.2 意向性原则:一元化的途径 186
2 生存状态:非理性主义的考察 188
2.1 “烦” 189
2.2 “畏” 191
2.3 “死亡” 192
3 认识“存在的真理”的方法:情感和直观 195
3.1 情感:与存在的沟通 195
3.2 直观:最确切意义上的认识 198
参考文献 200
九 结构主义方法论 201
1 结构主义方法论产生的时代背景 202
2 结构主义方法论的特征 204
3 结构主义语言学 211
4 列维·斯特劳斯的结构主义人类学 214
5 结构主义文学 222
参考文献 225
十 解释学方法论 226
1 古典解释学方法论 228
1.1 语法解释方法与心理学解释方法 228
1.2 “重新体验”的方法与历史的方法 229
2 现代解释学方法论 230
2.1 理解与解释:现象学方法的创造性运用 230
2.2 理解的否定性与开放性:理解的辩证法 237
2.3 文本的“言外之意”:语义分析法的成果 239
2.4 文本的无意识领域:精神分析法的启示 241
2.5 语言结构的内与外:对结构主义的批判与吸收 242
参考文献 244
第三部 逻辑学方法 247
一 逻辑学方法概论 247
二 普通逻辑学方法 251
1 普通逻辑学的对象及其本质特征 251
1.1 普通逻辑学的对象 251
1.2 普通逻辑的本质特征 254
2 普通逻辑形式 256
2.1 概念 256
2.2 判断 260
2.3 演绎推理 268
2.4 归纳推理 277
2.5 类比推理 278
2.6 论证 278
2.7 反驳 279
3 普通逻辑规律 280
3.1 同一律 281
3.2 矛盾律 282
3.3 排中律 283
3.4 充足理由律 283
参考文献 284
三 数理逻辑方法 285
(一)逻辑演算 285
1 命题演算 285
1.1 命题 命题联结词 285
1.2 命题演算 288
1.2.1 直接给出全部重言式 288
1.2.2 命题演算的公理系统 289
1.2.3 命题演算的自然推理系统 291
1.3 赋值、解释与指派 292
2 谓词演算 295
2.1 狭义谓词演算 295
2.2 狭义谓词演算的公理系统 302
2.3 狭义谓词演算的自然推理系统 304
2.4 赋值、解释与指派 305
参考文献 309
(二)集合论 309
1 引言 309
2 公理概述 310
3 公理系统的必要性 311
4 形式逻辑 312
5 模型 313
6 概括原理 314
7 关系、函数和良序 315
8 序数 318
9 序数算术 321
10 序列 322
11 基数 323
12 基数算术 325
13 数集的定义 329
14 代数数和超越数 330
15 选择公理 331
参考文献 335
(三)证明论 336
参考文献 349
(四)递归论 349
1 自然数 350
2 原始递归函数 351
3 初等函数 352
4 阿克曼函数与格才高尔契克分层 353
5 多重递归函数 355
6 可计算函数 355
6.1 一般递归函数 355
6.2 λ可定义函数 355
6.3 μ递归函数和部分递归函数 356
6.4 图林可计算函数 357
7 丘奇论题 358
8 递归论中的基本定理 358
9 递归可枚举集和递归集 360
参考文献 361
(五)模型论 362
1 引言 362
2 模型论的基本概念 362
3 紧性定理 366
4 紧性定理在计算复杂性中的应用 372
5 谱理论及其应用 375
6 插入定理及其应用 381
参考文献 390
四非标准逻辑方法 392
(一)模态逻辑 392
1 真值和可能世界 393
2 模态命题演算系统 395
2.1 符号和术语 395
2.2 S1°系统 396
2.3 S1系统 397
2.4 S2°和S2系统 398
2.5 S3系统 400
2.6 S4系统 400
2.7 S5系统 407
2.8 其他的模态系统 408
2.9 模态命题演算系统的具体解释 411
2.10 正规系统 414
2.11 可靠性、完全性、典型模型 416
2.12 可判定性和有限模型性质 418
3 狭义模态谓词演算 419
3.1 巴坎系统 419
3.2 费斯系统 420
参考文献 422
(二)相干逻辑 423
1 蕴涵、相干、衍涵与衍推 423
2 II',E系统 429
3 R和RM系统 431
3.1 R系统 431
3.2 RM系统 434
4 相干模态、语义、代数及判定问题 438
4.1 相干模态 438
4.2 相干语义 438
4.3 相干代数 439
4.4 判定问题 441
参考文献 445
(三)多值逻辑 446
1 引言 446
2 多值思想发展史 447
3 多值逻辑系统的主要来源 449
3.1 卢卡西维奇最先创立了三值逻辑系统L3 449
3.2 波斯特的多值系统 451
3.3 多值逻辑的另一个重要来源——布劳维尔的数理哲学思想 453
3.4 多值逻辑的重要思想来源——严格蕴涵系统 454
4 各种类型的多值逻辑系统 455
4.1 鲍契瓦尔三维系统 455
4.2 克利尼三值系统 458
4.3 莱辛巴赫三值系统 459
4.4 希斯塔科夫三值系统 461
4.5 雷瑟瓦四值系统 461
4.6 斯鲁佩基多值系统 462
4.7 吉诺夫耶夫多值系统 463
4.8 雅斯科夫斯基多值结构 464
4.9 罗梭和杜克特多值系统 467
5 多值命题演算的公理化 469
5.1 多值命题演算的公理化与函数结构 469
5.2 多值公理化结构与函数结构的相对性 470
5.3 罗梭和杜克特的公理结构 471
5.4 严格蕴涵和直觉主义逻辑系统 475
6 多值量词理论 477
7 多值谓词演算的公理化 481
7.1 保留5.3中A1~A7,并将每条公理中的命题理解为可以包含谓词和量词 481
7.2 特殊谓词演算的量化 483
8 多值逻辑一般问题 486
8.1 函数结构 486
8.2 真值函数 487
8.3 函数结构的一致性 488
8.4 基础函数的独立性 488
8.5 多值结构中的肯定命题和否定命题 489
8.6 多值结构中的符合选择与逻辑定律的不变性 489
8.7 多值系统的功能完全性 490
8.8 多值函数的特点 491
参考文献 492
(四)模糊逻辑 493
1 模糊集合论与模糊推理 494
2 模糊语言逻辑 499
3 确定性理论 501
4 主观贝叶斯方法 503
5 其他 506
参考文献 508
(五)直觉主义逻辑 509
1 直觉主义逻辑的起源与发展 509
2 直觉主义谓词逻辑的公理系统 516
3 耿欣的矢列演算 519
参考文献 524
(六)次协调逻辑 525
1 次协调逻辑的逻辑哲学分析 525
1.1 为什么会产生新逻辑 525
1.2 次协调逻辑的现实原型 526
1.3 悖论、形式矛盾与次协调逻辑 528
2 次协调逻辑历史的若干方面 530
2.1 卢卡西维茨对矛盾律的怀疑 530
2.2 瓦西里列夫关于非亚里士多德逻辑的构想 532
2.3 雅斯可夫斯基着手构造“矛盾演算” 533
3 达科斯塔的次协调逻辑 535
3.1 构造次协调形式系统的方法论原则 535
3.2 次协调命题演算Cn及其方法论解释 536
3.3 次协调谓词演算与摹状词演算 541
4 次协调型的道义逻辑与辩证逻辑 544
4.1 为什么需要有次协调道义逻辑 544
4.2 次协调道义演算CD1及其方法论解释 545
4.3 CD1的道义可能世界语义学(略) 548
4.4 为什么会有次协调辩证逻辑DL 548
4.5 “对立统一”的形式化:DL的公理 550
4.6 DL的元定理及其方法论解释 553
4.7 DL的语义学及其方法论解释 557
参考文献 562
(七)悖论 562
参考文献 572
五 归纳逻辑 573
1 归纳逻辑简史 573
2 归纳逻辑基本内容 579
2.1 枚举归纳推理 580
2.2 消去归纳——穆勒五法 581
3 类比推理 588
3.1 属性类比 588
3.2 关系类比 589
3.3 模拟类比 589
4 统计推理 591
5 对传统归纳法的讨论 592
参考文献 595
六 概率逻辑 596
1 概率语义学 597
1.1 经典命题演算与概率语义学 598
1.2 模态系统与概率语义学 598
1.3 一般命题系统与概率语义学 600
1.4 经典谓词演算与概率语义学 601
2 概然逻辑 601
3 有穷概率逻辑 606
3.1 一阶概率逻辑 606
3.2 认知概率逻辑 612
4 无穷概率逻辑 617
参考文献 621
七 辩证逻辑体系 623
1 辩证逻辑是研究思维的整体和全过程的逻辑形式及其规律的科学 623
1.1 思维的属性及其形式的多样性 623
1.2 思维的逻辑本质和逻辑类型 626
1.3 辩证逻辑是思维史的总结与概括 636
2 辩证逻辑的逻辑结构系统 639
2.1 辩证概念 641
2.2 辩证判断 649
2.3 推论 654
3 辩证推理系统在辩证法范畴推演中的具体运用 662
3.1 存在论范畴推演的逻辑推理结构 663
3.2 本质论范畴推演的逻辑推理结构 670
3.3 概念论范畴推演的逻辑推理结构 677
参考文献 683
八 形象逻辑 685
1 形象逻辑概论 685
1.1 研究对象 685
1.2 学科性质 685
1.3 特殊作用 686
1.4 研究方法 686
1.5 观念与概念 687
1.6 观念命题形式 689
1.7 观念命题联结词 691
1.8 观念命题的主词、谓词和量词 694
1.9 量化观念命题的真值条件 696
1.10 基于真值表方法的形象逻辑 698
2 形象谓词逻辑演算 701
2.1 INQ系统的形式语言LIQ 702
2.2 INQ系统的变形规则 703
2.3 INQ系统中形式定理 706
2.4 INQ系统的语义解释 709
2.5 INQ系统的可靠性和协调性 711
2.6 INQ系统的完全性和可判定性 714
参考文献 716
九 逻辑哲学 718
1 什么是逻辑哲学 718
1.1 逻辑与逻辑哲学 718
1.2 逻辑哲学与“哲学逻辑” 719
1.3 逻辑的划界 720
2 逻辑及其现实原型 722
2.1 形式系统内外的有效性 722
2.2 形式化的目的、启发程序及限度 724
2.3 蕴涵词及其演化 728
3 模态逻辑的哲学问题 734
3.1 关于必然真理的哲学讨论 734
3.2 模态逻辑诸形式系统:不同的形式刻划 735
3.3 奎因对模态逻辑的责难 737
3.4 可能世界的语义学及其哲学疑难 738
4 对应原理——非经典逻辑群的通用原理 740
4.1 什么是对应原理 740
4.2 量子逻辑与对应原理 742
4.3 次协调逻辑与对应原理 742
5 非经典逻辑的起源 744
5.1 改造经典逻辑的一般策略原则 744
5.2 作为一种非经典逻辑的现代归纳逻辑 749
5.3 建构多值逻辑的不同的认识论动因 751
5.4 经典逻辑矛盾律、排中律的扬弃 752
6 逻辑中的真理问题 752
6.1 逻辑真理是唯一的吗? 752
6.2 逻辑知识是可误的 754
6.3 互补又互斥的真理理论的辩证综合 755
参考文献 757
术语索引 758
人名索引 775