亞里士多德給出的“Barbara”三段論：

如果所有人（M）都是必死的（P），（大前提）
並且所有希臘人（S）都是人（M），（小前提）
那麼所有希臘人（S）都是必死的（P）。（結論）

這個和語言有直接關係麼？這種集合之間的包含和推理關係，首先是大量人類經驗的總結。不是僅僅有簡單的符號就可以“產生的”。