Логика имеет для Аристотеля чрезвычайное значение, но он не включает ее ни в какую из своих наук. Более того, логика не является наукой. Аристотель разработал классификацию наук, но не включил в нее логику. Логика — «органон» для всех наук, т. е. инструмент, орудие, которым пользуются все науки. Все знания Аристотель делит на три типа:
Теоретическое знание Аристотель делит на три вида. Разделение происходит по следующему принципу: теоретическое знание может быть о существующем самостоятельно и подвижном — это физика, о неподвижном, но существующем несамостоятельно — это математика, о существующем самостоятельно и неподвижном — это первая философия, метафизика (физика для Аристотеля — вторая философия) (Метафизика, VI, 1). Существовать самостоятельно, т. е. иметь источник бытия в самом себе, а не в чем-нибудь другом, и быть неподвижным, т. е. вечным, может, естественно, только Бог, поэтому основным предметом первой философии является Бог, и первая философия — это теология, учение о Боге. Аристотель впервые использует термин «теология» в плане одного из видов научного знания.
Эта классификация наук изящна и логична, но тем не менее она надолго уведет последующую мысль в сторону, поскольку разрывает отношения физики и математики. Они разведены Аристотелем на разные полюса, трактуют о разных предметах, поэтому такого очевидного для нас понятия, как математическая физика, для Аристотеля не может существовать. Ведь в чувственном материальном мире не могут существовать идеальные математические сущности, они существуют лишь в уме человека как некие неподвижные абстракции, удобные мысленные структуры, предметы же чувственного мира неидеальны и подвижны.
Задача философии состоит в том, чтобы исследовать, существуют ли кроме чувственных и умопостигаемые сущности. Получается вроде бы парадокс: с одной стороны, Аристотель говорит, что философия считает своим предметом неподвижное и независимое, сущность, не подвластную чувственному знанию, так как все, что существует в природе и познаваемо чувствами, подвижно, а с другой — говорит, что основной задачей философии является ответ на вопрос: «Существуют ли, кроме чувственных сущностей, некоторые другие?» (Метафизика, III, 1). Получается, что задачей философии является поиск ответа на вопрос: «Нужна ли сама философия?» Философия есть наука о самой себе — это то, что отличает философию от остальных наук. Аристотель первым подметил это свойство философии.
Аристотель отмечает, что кроме чувственных есть и умопостигаемые сущности. Ведь «если, помимо единичных вещей, ничего не существует, то, надо полагать, нет ничего, что постигалось бы умом, а все воспринимаемо чувствами, и нет знания ни о чем, если только не подразумевать под знанием чувственное восприятие» (Метафизика, III, 4). Он, по сути, повторяет логику Платона: если существует знание (а знание может быть только об общем), то должен существовать и объект этого знания — неизменный и вечный. Помимо материальных причин, следовательно, есть причины нематериальные, причины сами по себе. У Платона этими сущностями являлись эйдосы — идеи. Аристотель также ищет ответа на вопрос, что является такими сущностями, но он, в отличие от Платона, боится разделения двух миров: умопостигаемого и чувственного — и пытается увидеть умопостигаемое в чувственном.