自然语言很不严谨，诡辩很容易占上风。

形式逻辑是亚里斯多德形成的哲学方法，试图清除诡辩。

后来的学者将形式逻辑总结成符号演绎方法，并分解成一阶逻辑和高阶逻辑。一阶逻辑是数学的子集，但无法表达足够的抽象思维。而高阶逻辑会出现悖论。这种缺陷在人工智能和语言处理上会变成规律性问题。

自然语言涉及语义的演变。所以自然语言不仅仅是符号，形式逻辑也不能判断自然语言中的对错。

逻辑实证主义才是翻译错误，原文中根本就没有实证的含义，真实中也没有实证的可能。

科学方法只能证伪。实证需要找到逻辑排中律成立的关键临界点。而逻辑排中律不是普适定律。寻找逻辑排中律成立的关键临界点，则需要高度的抽象思维，不能靠一阶逻辑。

所以，形式逻辑只是符号演变、演绎的哲学方法，根本不能证明真实世界中的问题。

要严格区分逻辑和更高规律。逻辑是人的思想和理论。更高规律是真实世界中的规则。哥德尔定理实际上证明了逻辑甚至不能逼近真实世界中的更高规律。

更高规律不能用形式逻辑来表达，逻辑实证主义是错误的。

对智力和真实世界中的问题，都需要结构性、系统性的研究。严格控制条件的科学实验，可以帮助分解、分析各种不同的因素。

对中文而言，逻辑是外来语。理解逻辑的真正含义，要从研究亚里斯多德的思想和四因说开始。

各种不同的因果关系，会产生不同的逻辑。对不同逻辑的研究，可以帮助分解、分析各种不同的问题。

这里对各种逻辑稍作解释：

形式逻辑：符号演绎方法；
历史逻辑或辩证逻辑：思维演变的某些方法；
人文逻辑：价值观演绎的方法；
人物性格发展的内在逻辑：人物性格演变的方法；
语言发展逻辑：语言演变的方法

这些以逻辑为名的方法，都是人的思想和理论，都是哲学方法，也确实都是逻辑。要研究人的智力，也需要研究这些不同的逻辑。

形式逻辑和数学有一小部分交集，就是一阶逻辑。其他逻辑和数学有没有交集？