Atomem logiki Arystotelesowskiej jest pojęcie, które odpowiada istniejącej wewnątrz świecie rzeczywistym kategorii (rodzajowi). Pojęcie wprowadza definicja (ὁρισμός horismos) wskazująca decydujący maniera plus różnicę gatunkową. Np. wewnątrz definicji człowieka jak "istoty rozumnej" – "istota" jest nazwą nadrzędnej kategorii, natomiast "rozumna" określa właściwość, która wyróżnia człowieka z innych istot.