Аристотель был не только основателем логики, но и онтологии, которую он описывает в «Метафизике» и «Категориях» как учение об общих свойствах всех сущностей и категориальных аспектах, в которых они могут быть анализированы. В то же время считается, что Аристотель оставил нам в наследство не одну, но две разных логики: раннюю диалектическую logoi «Топики» и формальную силлогистическую логику «Первой Аналитики», более позднюю, которая рассматривает логику таким же образом, как современная символическая логика. Согласно Ю. Бохеньскому, символическая логика является «теорией общих объектов» (по удачному выражению, «физикой предмета вообще»), так что у логики, как ее сейчас понимают, предмет тот же, что и у онтологии. Но считал ли сам Аристотель, что онтология, как это принято говорить сегодня, является разновидностью «пролегомена» к логике?