アリストテレスの作った論理学は、今は「名辞論理学」と呼ばれています。

「これはxxです」という表現を、物事の属性を表すものだと考えたときに、属性同士の関係を使って推論をするもの、と考えると、おおよそ理解できそうです。

たとえば、「ネコ」という属性(タグ)がついている「モノ」には、全て「動物」という属性もついていて、「動物」の属性がついているものにはすべて「いずれ死ぬもの」の属性がついているのなら、「ネコ」には「いずれ死ぬもの」の属性がついているだろう…。

と言った推論ができるわけです。