平时各位所说的逻辑，就是指自然语言中的逻辑，是基于语言发展逻辑的哲学，其严谨性也依赖于语言发展逻辑的严谨性。自然语言中的逻辑不是形式逻辑。

这是为什么我把形式逻辑、历史逻辑或辩证逻辑、人文逻辑、人物性格发展的内在逻辑、和语言发展逻辑统称为逻辑。这些逻辑都是关于不同演变方法的哲学。

由于逻辑排中律不是普适定律。逻辑学派还试图构造不包含排中律的各种逻辑体系来表达类人智力，但并不成功。

哥德尔定理实际上证明了各种数学体系之间没有完整性。所以，各种数学体系事实上也是一些不同的特殊哲学和学术研究工具，各有其缺陷，不能无限逼近更高规律。

由于不蕴涵皮亚诺算术公理的数学缺乏足够的抽象程度，而universal approximation theorem成立有效的条件，在智力研究中并不满足，所以需要新的数学工具。

对这些不同逻辑的研究，可以帮助分解、分析各种不同的问题，进一步理解各种哲学体系及其演绎方法。我把这些解释修改的更准确些：

* 形式逻辑：符号演绎方法，各种形式逻辑都是哲学，一阶逻辑还是数学；

* 历史逻辑或辩证逻辑：思维演变的某些方法，特别需要进一步研究；

* 人文逻辑：包含价值观的演绎和其他一些人性研究的学术方法；

* 人物性格发展的内在逻辑：主要在文学中使用，表达人物性格演变的方法；

* 语言发展逻辑：语言演变的方法，是自然语言中逻辑方法的基础。

这些研究，就是我对哲学和逻辑的结构性解析。而进一步研究，需要新的数学工具和实验资源。