Аристотель (384–322 до н.э.) — один из величайших мыслителей Античности, ученик Платона и воспитатель Александра Македонского, основатель школы перипатетиков, основоположник формальной логики, ученый-естествоиспытатель, оказавший значительное влияние на развитие всей западноевропейской философии и науки.
Первым трактатом в знаменитом «Органоне» Аристотеля, философском сочинении, посвященном логике, были «Категории» — одно из самых ранних произведений философа, где впервые выделены 10 категорий, пользуясь которыми мы познаем и описываем окружающую действительность. Эта работа во многом послужила фундаментом для исследований логики на протяжении всей истории западной философии. В сборник входят также «Введение» Порфирия, античного философа-неоплатоника, который разъясняет все основные понятия учения о логике в «Категориях», и логический трактат Аристотеля «Об истолковании».
Данный сборник – базис, без понимания которого невозможно постичь основы «Органона» . Именно в «Категориях» мы видим зачатки структурализма, которые во многом послужили фундаментом как для исследований логики, так и для развития социальных наук. В трактате «Об истолковании» Аристотель формулирует один из главных законов логики: “противоположные [высказывания] не могут быть вместе истинными”.
Из существующего одно говорится о каком-нибудь подлежащем, но не находится ни в каком подлежащем, например «человек»; о подлежащем – отдельном человеке – говорится как о человеке, но человек не находится ни в каком подлежащем
Таким образом, все другое [помимо первых сущностей] или говорится о первых сущностях как о подлежащих, или же находится в них как в подлежащих. Поэтому, если бы не существовало первых сущностей, не могло бы существовать и ничего другого.