Ясно, что Аристотель проповедует здесь формально-логический закон противоречия, или, лучше сказать, закон непротиворечия. Таким образом, Аристотель хочет всю свою самую принципиальную философию строить формально-логически. Тождество бытия и небытия, учит Аристотель (IV 4), возможно только в порядке путаницы понятий, тогда бытие и небытие понимаются в разных смыслах; кроме того, первый принцип потому и является первым, что его невозможно доказать. Протагор намеренно пользуется многозначностью понятий, не ради истины, но ради спора; а всеобщая изменчивость у Гераклита предполагает существование неизменных сущностей, то есть ни Протагор, ни натурфилософы не могут опровергнуть закон противоречия, а наоборот, им пользуются (IV 5).

Далее Аристотель пишет (IV 7, 1011 b 23-24):

"Равным образом не может быть ничего посредине между двумя противоречащими [друг другу] суждениями, но об одном [субъекте] всякий определенный предикат (hen cath'henos hotioyn) необходимо либо утверждать, либо отрицать".

В этих словах Аристотель формулирует другой закон формальной логики, причем вся эта глава "Метафизики" содержит целых семь аргументов в пользу данного закона исключенного третьего.

Таким образом, Аристотель намеренно и вполне сознательно хочет построить свою философию при помощи методов формальной логики. Однако из этого вытекают два чрезвычайно важных вывода.

б) Во-первых, этим самым Аристотель сам раскрыл свои карты в отношении критики Платона. Почему он все время говорит, что никаких идей не существует самих по себе, а существует только вещь? Разгадка подобного рода аргументации заключается именно в аристотелевском культе формальной логики. Разве Аристотель не признает существования идей самих в себе и нематериального ума как "места идей"? Он не только это признает, но даже идет в этом отношении гораздо дальше Платона, создавая, как мы видели, подробнейшую и трудно опровержимую аргументацию для существования такого ума. В чем же дело? Дело в культе формальной логики, которая требует, чтобы материальная вещь была сама по себе, а ее идея сама по себе.

С другой стороны, почему же Аристотель постоянно утверждает, что сущности вещей должны быть не вне вещей, а в самих вещах? Во-первых, это противоречит основному учению Аристотеля о нематериальности космического Ума, на которой, как мы видели, основаны все специфические свойства этого Ума. А кроме того, та же самая формальная логика заставила его отрицать сущность вещей вне самих вещей и признавать их только внутри самих же вещей. Ведь формальная логика не может понять, как идея вещи находится сразу и одновременно как вне самой вещи, так и внутри ее самой. Сущность вещи, по Аристотелю, невещественна и нематериальна. Но в таком случае является бессмысленным ставить вопрос о том, существует ли идея вещи сама по себе, то есть только вне вещи, или она существует только в самой же вещи и больше ни в каком другом месте. Диалектик Платон признает существование идей вещей как вне самих вещей (поскольку эти идеи невещественны; и находить в них какие-нибудь вещественные или пространственные свойства для Платона так же бессмысленно, как и в нашей самой обыкновенной таблице умножения), подобным же образом и в самих вещах (поскольку идея вещи осмысливает эту вещь и является причиной всего того, что делается с этой вещью).

Таким образом, критика идей Платона основана у Аристотеля на том, что он отрицает диалектику в смысле учения о бытии и вместо диалектики пользуется самой обыкновенной формальной логикой, с точки зрения которой, действительно, никакие противоположности несовместимы и, в частности, бытие всегда только отлично от небытия и никогда не может быть с ним тождественным.

Впрочем, имеет ли в виду Аристотель в своей критике идей всегда только Платона и не имеет ли в виду других сократиков" которые, как, например, мегарцы, вполне подпадают под критику Аристотеля? При этом свою критику изолированных идей Аристотель заимствовал из платоновского "Парменида" и иной раз меньше всего относил именно к Платону. Ближе всего к делу будет думать, что Аристотель если и имел в виду Платона, то, во всяком случае, те места из его сочинений, которые разрабатывали только теорию идей самих по себе. Вернее же всего, Аристотель в своей постоянной критике идей имеет в. виду просто те или иные увлечения изолированными идеями,, где бы они ни были. Платон здесь ни при чем потому, что он сам критикует теорию изолированных идей и решительно во всех своих диалогах рассматривает идеи либо как принцип упорядоченного космоса вместе с реально действующими в нем силами и движениями, либо в крайнем случае как порождающую модель космоса.

Однако пикантность всего этого отношения между Платоном и Аристотелем заключается в том, что Аристотель в самых существенных пунктах своей философии вовсе не является формальным логиком, но чистейшим диалектиком.

в) Мы уже видели выше, как в аристотелевском уме тождественными оказываются его субъект и его объект, его мышление и предмет этого мышления.