а)

Аристотель пишет (Met. IV 3, 1005 b 15-20):

"Начало, которым должен владеть всякий, кто постигает какую-либо вещь, такое начало не гипотеза; а то, что необходимо знать человеку, если он познает хоть что-нибудь, это он должен иметь в своем распоряжении с самого начала. Таким образом, ясно, что начало, обладающее указанными свойствами, есть наиболее достоверное из всех, а теперь укажем, что это за начало. Невозможно, чтобы одно и то же вместе было и не было присуще одному и тому же и в одном и том же смысле".

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

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

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

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

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