公孙先生和亚老师

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

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

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

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

所有跟帖： 

• 学高等数学学到极限时，它的定义令我极其惊叹。之后学了积分以及一些定理，我感到太神奇了。 -youdecide- ♂ (0 bytes) () 01/07/2023 postreply 19:34:07

• 你真厉害，我是现在才体会到。 -QualityWithoutName- ♂ (0 bytes) () 01/07/2023 postreply 20:11:53

• LOL -youdecide- ♂ (0 bytes) () 01/08/2023 postreply 10:15:18

• 说到这个话题想起来刚进大学的时候 -donau- ♀ (403 bytes) () 01/08/2023 postreply 06:37:54

• 真有意思呀，不知怎的，昨天麦克斯韦方程也在我的脑海里（模糊地）出现，哈哈 -youdecide- ♂ (0 bytes) () 01/08/2023 postreply 10:12:56

• 语言工具当然是一个问题。更重要我想是发现问题看到本质，才能解释清楚现象。这才叫文明进步 -donau- ♀ (0 bytes) () 01/08/2023 postreply 06:18:34