根据目前粗浅的学习，亚里士多德逻辑的核心关系讨论的是蕴涵关系，三段论为典型，这也很好理解，人作为存在者在存在之中，想到的第一个逻辑关系当然是蕴涵，有一个最大的前提，我们找到它，然后不断找小前提推出命题结论。

亚里士多德的逻辑学经过麦加拉-斯多阿学派的发展逐步走向了中世纪逻辑，问题就是这个中世纪逻辑不为人所知，特别是近代哲学家知道的并不普遍。比如我们都知道奥卡姆剃刀，但是奥卡姆是英国的唯名论者，他也是一个逻辑学家，他进一步发展了逻辑的指代理论，但是好像他的影响力在近代就没有辐射到欧洲大陆去，从洛克、贝克莱甚至休谟的著作里都可以看到他的影响，具体事物的指代关系，反对过度的抽象甚至不喜欢抽象。但是康德则认为逻辑学只有亚里士多德及其麦加拉-斯多阿学派的继承者们的，故而他的逻辑学也讨论一种心灵的蕴涵关系，试图让心灵蕴涵一切直到碰壁为止，我甚至可以认为他是心理主义逻辑的祖师爷，从他开始，德国观念论开始出现心灵无限表象化世界的问题，也就是心灵是否能蕴涵一切？

费希特的逻辑更多学习自笛卡尔，希望找到一个第一原理，然后用几何化的方法来证明知识学。黑格尔和康德一样认为逻辑学也只有亚里士多德及其后继者的逻辑，中世纪没有真正的逻辑，他讨论中世纪哲学更多是说什么教义证明之类的，他改造辩证逻辑也是直接从亚里士多德逻辑学入手。这可能是因为德意志人在中世纪没有出过大的逻辑学家，不论是阿伯拉尔、大阿尔伯特、彼得还是奥卡姆、希雷斯伍德都不是德意志人。作为德意志地区第一个有影响力的逻辑学家莱布尼茨又受到笛卡尔、斯宾诺莎等法国唯理派几何方法的影响，他自己倒是通过微积分更青睐于代数运算，甚至提出了逻辑演算的思想，但是直到1879年弗雷格发明了逻辑学专用的形式语言才算有了实质的进步，即便如此弗雷格的贡献还是由更后的罗素大力宣扬出去的。并且分析哲学建立后，从英国唯名论传统下逻辑学家的指代理论也汇入分析哲学，这就是现在我们认为休谟著作讨论了一些现代逻辑问题的缘故。

逻辑学早期需要和哲学、神学进行区分，在近代早期要和数学、科学归纳法进行区分，在近代后期又要和心理学进行区分，到了现代又要和语言学进行区分。好像什么地方都用逻辑，但是单独问你逻辑学是啥，竟然还真的不是很清楚。