公孙先生的白马非马和亚老师的三段论 Syllogism 讨论的是同一类的形式逻辑问题，即个体，类，子类之间的关系。对形式逻辑涉猎深一点网友可能知道，model 对判断形式逻辑命题真伪是必须的。Syllogism 的model 就是Venna diagram. 形式逻辑提供的是语言，其语意semantics 就是model.

自从亚老师之后逻辑学二千多年没有什么进展，直到first order logic 的提出。model theory 上世纪才提出。

清晰的定义一个问题，并不容易，需要很精确的语言。如极限的定义，谁都知道什么是极限，但说不清，直到数学大家出现。

公孙先生能看出差别，却无法表达清楚，因为那时的语言工具太差。