公孫先生和亞老師

公孫先生的白馬非馬和亞老師的三段論 Syllogism 討論的是同一類的形式邏輯問題，即個體，類，子類之間的關係。對形式邏輯涉獵深一點網友可能知道，model 對判斷形式邏輯命題真偽是必須的。Syllogism 的model 就是Venna diagram. 形式邏輯提供的是語言，其語意semantics 就是model.

自從亞老師之後邏輯學二千多年沒有什麽進展，直到first order logic 的提出。model theory 上世紀才提出。

清晰的定義一個問題，並不容易，需要很精確的語言。如極限的定義，誰都知道什麽是極限，但說不清，直到數學大家出現。

公孫先生能看出差別，卻無法表達清楚，因為那時的語言工具太差。