方法论全书 1 哲学逻辑学方法【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

方法论全书 1 哲学逻辑学方法PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第一部 方法论原理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 卢卡西维奇最先创立了三值逻辑系统L3449

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 为什么会有次协调辩证逻辑DL548

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系统的形式语言LIQ702

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