《东西方矛盾观的形式演算 第2卷 正反数理逻辑概论》PDF下载

  • 购买积分:13 如何计算积分?
  • 作  者:罗翊重著
  • 出 版 社:昆明:云南科学技术出版社
  • 出版年份:1998
  • ISBN:7541610704
  • 页数:393 页
图书介绍:

第四章 正反逻辑元对偶理论模式 2

第一节 正反逻辑的元对偶公理模式 2

37 对形式逻辑中诸条件命题的逻辑分析 2

38 “理念世界”之存在性的元语言研究 15

39 相同和相反指意式的元对偶公理模式 35

第二节 一阶逻辑诸词项的层次结构 45

40 对一阶逻辑对偶描述词项的辨证分析 45

41 对一阶逻辑对偶逻辑词项的辩证分析 61

42 一阶逻辑诸对偶词项的层次递进结构 70

第三节 正反逻辑的元对偶定律模式 81

43 相同或相反指意式内涵外延间的转换 81

44 指意式间内涵外延转换的元对偶定律 88

45 元对偶律在词项和公式中的逻辑模型 96

第五章 传统性质命题的非反演算 122

第一节 传统性质命题中的数理精华 122

46 用文恩图证明逻辑方阵中的对当关系 122

47 逻辑否定演算子在性质命题中的表现 130

48 三段论中的主谓关系格及量质关系式 141

第二节 传统性质命题中的非反演算 150

49 对传统性质命题矛盾结构的辩证分析 150

50 传统性质命题的不同矛盾及矛盾方阵 158

51 传统性质命题之形式的非反演算系统 168

第三节 传统性质命题中的矛盾理论 179

52 用八卦分析性质命题诸形式的系统性 179

53 用八卦分析矛盾性质命题的真值理论 183

54 传统性质命题诸形式之研究的完全性 195

第六章 正反数理逻辑的非反演算 200

第一节 谓词逻辑中的非反演算系统 200

55 二阶和一阶性质命题的非反演算系统 200

56 二阶和一阶关系命题的非反演算系统 213

57 实然和模态命题逻辑的非反演算系统 233

第二节 非反演算法则的本质及意义 250

58 谓词逻辑中不同矛盾命题的矛盾方阵 250

59 非演算法则与反演算法则的本质规定 253

60 非反演算的互补性及逻辑和哲学意义 261

第三节 正反数理逻辑中的非反演算 280

61 二阶谓词逻辑之非反演算的语形起点 280

62 二阶谓词逻辑之非反演算的语义说明 288

63 二阶谓词逻辑之非反演算的语用推证 300

第七章 逻辑命题的对偶矛盾规律 320

第一节 形式逻辑命题的无矛盾规律 320

64 相同命题必互蕴规律的公式及其意义 320

65 从相同命题必互蕴规律所推出的公式 330

66 相同命题必互蕴规律的逻辑哲学问题 338

第二节 辩证逻辑命题的有矛盾规律 346

67 相反命题必互蕴规律的公式及其意义 346

68 从相反命题必互蕴规律所推出的公式 362

69 相反命题必互蕴规律的逻辑哲学问题 370

第三节 逻辑命题对偶矛盾规律比较 380

70 两类矛盾规律之本体论预设的对偶性 380

71 两类矛盾规律之形式和真值的对偶性 383

72 两类矛盾规律的逻辑问题和哲学问题 387

后记 391