[敬请读者注意] 本人保留本文的全部著作权利。如果哪位读者使用本文所陈述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！

现代逻辑之未来 – 从相关逻辑到量子逻辑（纲要）

程京德

下文为本人一个学术讲座“现代逻辑之未来 – 从相关逻辑到量子逻辑”的中文纲要。

0. 一个古老的逻辑哲学问题

  是否存在一个“正确的逻辑/真正的逻辑 (The Right Logic / The One True Logic)”适用于任何学科/科学？ 

1. 何为逻辑学？ 

      1.1 逻辑学研究由什么归结出什么，其目的是确定给定前提的正确结论，即确定怎样的论断和推理是正确/有效的。逻辑学是一种规范性学科，用于评价各种论断和推理。
      1.2 形式逻辑并非研究形式思维。– 王浩, 1981年 
      1.3 任何推理唯一应该遵循的一般标准就是推理的逻辑有效性，是由逻辑学所奠定的。 
      1.4 形式逻辑系统及形式理论的形式定义。 

2. 条件句概念：逻辑学之核心 

      2.1 条件句概念在数学、自然科学、社会科学以及人类日常生活中的作用。 
      2.2 条件句概念从来都是逻辑学之核心，也同样是数学之核心。 
      2.3 纯数学就是共享变量的蕴涵句之集合。- 罗素,1903年  
      2.4 目标逻辑与元逻辑中的条件句概念。 
      2.5 条件句的真值，经验条件句，逻辑条件句，普遍有效条件句。 
      2.6 经典数理逻辑中的条件句概念表达（实质蕴含），条件句与实质蕴含之比较，实质蕴含悖论问题及其后果。 
      2.7 支撑经典数理逻辑的四个基本假定或第一原理。 
      2.8 Lewis的严格蕴涵及严格蕴涵悖论。 
      2.9 蕴涵悖论的杉原判别标准。 
      2.10 Ackermann的严密蕴涵以及von-Wright-Geach-Smiley标准。 

3. 相关逻辑是“正确的逻辑/真正的逻辑”之唯一有望候补  

       3.1 相关逻辑是为了找到一种数学上令人满意的方法来掌握条件句中前件与后件之关联这一概念的唯一逻辑家族。强相关逻辑是能够令人满意地表达普遍有效条件句概念并作为相关推理基础的唯一逻辑家族。
      3.2 传统(弱)相关逻辑 π', E, R, T及其特征：条件句概念的原始内涵联结词表达，变量共享及相关原理，实质蕴含悖论及严格蕴涵悖论的完全排斥，(弱)相关推理，扩展推理。 
      3.3 经典数理逻辑是相关逻辑的外延片段，相关逻辑是经典数理逻辑的保存扩张。 

4. 基于强相关逻辑的相关推理及其在发现与预测中的本质作用

      4.1 相关蕴涵悖论及其缘由。 
      4.2 基于传统(弱)相关逻辑的推理之非普遍有效性。 
      4.3 相关推理及其在发现与预测中的本质作用。 
      4.4 强相关逻辑Ec, Rc, Tc及其特征：变量共享及强相关原理，实质蕴含悖论、严格蕴涵悖论及相关蕴含悖论的完全排斥，相关推理的逻辑基础。 
      4.5 基于强相关逻辑的相关推理之各种应用。 
      4.6 强相关逻辑作为各种应用逻辑的核心。 
      4.7 支撑智能科学(及人工智能)的基础逻辑必为强相关逻辑。支撑智能科学(及人工智能)的统一基础理论必为强相关逻辑之扩张。 

5. 相关量子逻辑 

      5.1 Birkhoff及von Neumann关于量子逻辑之开创性论文中的一个要点：联言、选言及否定之演算。
      5.2 各种量子逻辑的现状。 
      5.3 关于量子逻辑的一些基本问题。 
      5.4 当今量子逻辑的一些基本事实。 
      5.5 建构相关量子逻辑。 

6. 研究方向及挑战性问题