何新数理札记：三段论公理的实质

古典形式逻辑包含思维三论步，一概念论，讨论名相，语词以及概念关系，二判断论，讨论语句与判断，三推理论，讨论演绎推理与辩证论证。

推理论的核心是演绎三段论。演绎三段论建基于著名的三段论公理上。其实质涵义难说明白，其实可以一言以蔽之：

“三段式公理的实质，是与类（集合）关联的语句的真假判定。”

解释是：
从现代逻辑看，经典直言三段论：
所有M是P （M⊆P）
所有S是M （S⊆M）
∴ 所有S是P （S⊆P）
其有效性本质上依赖于集合之间的包含关系传递性。关键点在于：
1. 主词与谓词的类关系：每个命题（A/E/I/O型）都在断言主项S与谓项P之间的集合关系（全同、包含、相交或相斥）
2. 真值条件归约：一个三段论是否有效，取决于前提的集合关系是否必然保证结论的集合关系。这转化为对论域中元素归属的判断
3. 布尔代数的视角：现代逻辑将三段论形式化为集合运算，如S∩P=∅（SEP）或S∩P≠∅（SIP），其真假完全由元素对集合的隶属关系决定
所以，"与类（集合）关联的语句判断的真假判定"，解释了从传统词项逻辑到现代集合论语义学的关键转化——三段论的有效性，最终归结为对集合包含关系的真值判定。

我的泛演化逻辑系统（UEL.系统）阐释的历史形态概念演化关系：
同一关系→矛盾关系→隶属关系（小）→交叉关系→对立关系→类属关系（大）

这个概念关系演化序列，之中概念的交叉关系形成了逻辑“中项”，提供了三段论公理构成的客观本体论根据。（参看附图）

［附注：古典逻辑推理论的核心是演绎三段论。其基础公理可概括为：
若某类事物整体具有某性质，则其每个个体也必然具有该性质；反之，若整体不具有某性质，则其每个个体也不具有该性质。

演绎三段论的核心基础公理可概括为两条：
1. 整体到个体的传递性
若某类事物的全体具有某性质，则其每个个体必然具有该性质。

2. 反向传递性
若某类事物的全体不具有某性质，则其每个个体也不具有该性质。

这一公理支撑了三段论的推理结构：
1. 大前提：一般性原理（如“所有 M 都是 P”）
2. 小前提：个别情况（如“S 是 M”）
3. 结论：从一般到个别的必然推导（如“S 是 P”）

关键点：
• 三段论的中项（M）起桥梁作用，连接大项（P）和小项（S）。
• 推理有效性依赖于前提真实且形式正确。

三段论公理是亚里士多德（传疑人物）提出的。
在中古时代出现的西方逻辑著作《范畴篇》中，三段论公理的核心表述如下：
“所有被用来述说宾词（谓词）的，也可以被用来述说主词。”
这一公式体现了三段论中概念的包含关系，即若 P 包含 M，则 P 必然包含 M 中的任一对象（如 S）。该思想通过《工具论》进一步系统化，成为形式逻辑的基石。］

附录：何新逻辑著作
1. 《新逻辑主义哲学》（2013，编撰本）——新逻辑主义总纲，凝练泛演化逻辑核心思想。

2. 《泛演化逻辑引论——思维逻辑学的本体论基础》（2005，时事出版社）——纲领性专著，系统阐述理论框架。

3. 《哲学思考（上下卷）》（2001，时事出版社）——早期研究成果，聚焦历史概念类集的逻辑结构。

4. 《我的逻辑与方法》（2008，时事出版社）——方法论补充，完善学术体系。

5. 《何新集》（1988，黑龙江教育出版社）——早期奠基论文，含辩证逻辑与概念演化研究。

6. 何新与钱学森通信（收入《钱学森书信集》，2011，国防工业出版社）——“何新树”命名。