章节目录

• 第一节 经典逻辑的引进与发展
  1. 一 吕传汉编《逻辑代数初步》
  2. 二 林邦瑾著《数理逻辑基础》
     1. 1.关于数理逻辑的性质
     2. 2.数理逻辑发展简史
     3. 3.对中国先秦逻辑史的简略回顾
     4. 4.传统逻辑与数理逻辑
     5. 5.广义的数理逻辑——现代逻辑
     6. 6.对符号语言的语义的、语构的和语用的研究
  3. 三 赵春高编著《数理逻辑基础与应用》
  4. 四 刘宗棠等译柯丕《符号逻辑》
  5. 五 经典逻辑的发展
• 第二节 “四论”和非经典逻辑的输入与发展
  1. 一 递归论与计算复杂性
  2. 二 泛系分析理论
  3. 三 非二值逻辑研究
  4. 四 模态逻辑与道义逻辑研究
     1. 1.模态逻辑
     2. 2.道义逻辑
  5. 五 认知逻辑研究
  6. 六 粗糙集理论及格值逻辑研究
  7. 七 描述逻辑研究
• 第三节 制约逻辑及其在贵州的传播与影响
  1. 一 制约逻辑的创立
  2. 二 构造“制约逻辑”的动意
  3. 三 制约逻辑在逻辑学中的学科地位
  4. 四 制约逻辑的主要特异性
  5. 五 制约逻辑在贵州的传播与影响
  6. 六 沈有鼎与林邦瑾——“论敌”间的友谊
     1. 1.第一次见面
     2. 2.沈老的格言
     3. 3.争论的妙处
     4. 4.一朵绒花
  7. 七 胡乔木致胡绳、汝信和邢贲思的信
• 第四节 贵州籍学者对现代逻辑的贡献
  1. 一 蔡曙山运用现代逻辑方法构造的三段论系统
  2. 二 熊明辉对非形式逻辑的多维探讨
  3. 三 杨武金对弗协调逻辑理论的研究
  4. 四 袁正校对现代逻辑教学及逻辑教学改革的主张