亚里士多德给出的“Barbara”三段论：

如果所有人（M）都是必死的（P），（大前提）
并且所有希腊人（S）都是人（M），（小前提）
那么所有希腊人（S）都是必死的（P）。（结论）

这个和语言有直接关系么？这种集合之间的包含和推理关系，首先是大量人类经验的总结。不是仅仅有简单的符号就可以“产生的”。