Even Aristotle who thought about this very hard and came up with a theory of how syllogisms works and syllogistic reasoning has mistakes in his attempt to build something like a formal logic and gets maybe 80% right.

即使亚里士多德非常认真地思考了这个问题，并提出了三段论如何运作和三段论推理的理论，但他在尝试建立类似形式逻辑的东西时也犯了错误，并且可能得到了 80% 的正确率。