智能逻辑学PDF电子书下载

前言 1

第一章 思维信息活动及其逻辑环节 1

1-1 什么是智能逻辑 2

1-2 信息科学认识基础 9

1-2-1 什么是信息 9

1-2-2 信息系统 11

1-2-3 信息的种类 12

1-2-4 信息处理 13

1-2-5 信息度量 16

1-3 信息科学原理 17

1-4 信息和人的信息特征 25

1-5 思维信息活动图解 32

1-6 智能逻辑的想法要点 42

第二章 智能逻辑的概念论和范畴论 52

2-1 概念是什么 52

2-2 概念的形成及其特征 57

2-3 概念的三要素 63

2-4 概念的信息内容及符号表征法 70

2-5 概念的外延内涵三定律 75

2-6 概念的进化和增殖 84

2-7 概念的逻辑学分类 90

2-8 智能逻辑范畴论 96

2-8-1 世界观范畴体系 98

2-8-2 方法论范畴体系 100

2-8-3 人生观范畴体系 101

2-8-4 历史观范畴体系 102

2-8-5 学术论范畴体系 103

2-8-6 智能逻辑范畴总论 106

第三章 信息逻辑标准运算法 108

3-1 信息逻辑运算的认识基础 108

3-2 逻辑运算和逻辑表述式 113

3-4 信息逻辑归纳-分析运算法则 122

3-5 信息逻辑运算的一些注意事项 125

3-6 逻辑标准运算方法论 131

3-7 逻辑算式构成分析：项和式 136

3-8 高层归纳运算法 142

3-9 逻辑形式运算和等效变换 150

4-1 逻辑运算和逻辑判断的许多问题 159

第四章 逻辑判断及其判验算式 159

4-2 智能逻辑学对判断的界说 162

4-3 逻辑运算和逻辑判断之区别 164

4-4 判断的内容和逻辑判断的种类 167

4-5 逻辑判断和它们的判验算式 171

4-6 判断和认识的选择与忽略 174

3-3 多元逻辑延拓图 177

4-7 蕴涵的外延与内涵之交织 177

4-8 从蕴涵来看判验式的合理性 181

4-9 判验的完全性和判验式唯一性 185

第五章 语言表述和逻辑泛运算 189

5-1 逻辑学、语言学和数学 189

5-2 语言层次和语言模型分析 193

5-3 逻辑单元和逻辑关系 198

5-4 统一逻辑关系表述法 204

5-5 逻辑泛运算和按其表术能力分类 210

5-6 从“兼”“且”变换到泛变换公式组 216

5-7 逻辑述词小辞典 224

5-8 逻辑表述式读法 234

第六章 论证的合理性和判验证明法 244

6-1 判验和论证在逻辑中的地位 244

6-2 对论证判验运算的三个步骤 251

6-3 对形式化论证模式的判验 258

6-4 论证的多样性和判验等效 269

6-5 三段论式的“兼”、“且”扩展 278

6-6 对主陈述“同”、“异”、“否”论证的判验 287

6-7 对“关系逻辑”之判验 293

第七章 逻辑的存疑-释疑和模态运算 302

7-1 认识过程中存疑的必要性和存疑类型 302

7-2 存疑逻辑认识功能和存疑子式运算法 309

7-3 存疑项逻辑指证和宽裕释疑法 317

7-4 语言的叙事强度和模态词存疑程度 325

7-5 各类模态词的存疑同构分析 333

7-6 各种模态词通用逻辑算法 343

7-7 智能逻辑判验证明三则 352

7-8 强调否定和“勿”、“唯”运算 359

第八章 语言的叙述、理解和事理论证 368

8-1 智能逻辑语义论 368

8-2 语言的逻辑语义理解 375

8-3 语言事理叙述句逻辑分析 382

8-4 叙事文理的逻辑证明 391

8-5 文章事理和逻辑论证 399

8-6 对逻辑论证模式的分析和判验 409

第九章 逻辑模状词和语言丰裕度 422

9-1 智能逻辑语句论 422

9-2 自然语句的逻辑分析 430

9-3 模状词的逻辑分析 437

9-4 语言逻辑处理十大要点 445

9-5 概念的具体化和抽象概括运算 453

9-6 语言理解的语义丰度 459

9-7 语言表术裕度和“歧义性”问题 467

9-8 模状概念逻辑特性 474

10-1 智能逻辑所追求的真实和效用 482

第十章 论证瑕疵分析和堆理运算法 482

10-2 狭义论证和广义瑕疵 489

10-3 逻辑论证瑕疵分析 495

10-4 逻辑悖论和非法论证格式 504

10-5 智能逻辑的“逻辑真理”论 515

10-6 逻辑变换和广义逻辑运算 522

10-7 逻辑推理运算标准五步法 529

10-8 推理运算及其应注意事项 537

附录一 547

附录二 548

附录三 550

后记 552