学习逻辑学时最痛苦的地方在于学形式逻辑，不只是他跟我们的思维（头脑）有什么关系，在推理后下一步要做什么。

什么是概念，什么是判断，什么是推理，什么是悖论？

今天我们用的更多的是数理逻辑，数理逻辑处理悖论时非常优越，最常见的数理逻辑思维方是给一个系统命名，数据太多要抽象思考封装数据时，用的不再是形式逻辑（处理不过来），而是数理逻辑。

可形式逻辑怎么过渡到数理逻辑，数据逻辑又怎么跟我们生活关联的？

学亚里士多德的形式逻辑把真人学傻了，只能学到一堆规则，但不知道跟自然语言的关系，学成了死人。