а с
мнениями (в русском переводе соответствующие места из Метафизики), с
убеждениями и
верованиями (у Лукасевича). Лукасевич приходит к выводу, что Аристотель рассматривает отношения между психологическими актами, такими как убеждения, как будто имеет дело с суждениями и на этом основании придает легитимность психологической формулировке. Но убеждения (или мнения) не являются чисто логическими объектами, поскольку они непосредственно относятся к опытному знанию, и тогда мы в лучшем случае имеем дело с эмпирическим законом. Таким образом, психологический принцип противоречия в виду его явной несостоятельности не может считаться фундаментальным принципом логики. В итоге, Лукасевич обвиняет Аристотеля в психологизме, широко распространенном в начале XX века в логике, несмотря на работы Мейнонга, Гуссерля, Фреге и Рассела, и заключает: «
Путь к основаниям логики не проходит через психологию» (гл. V)
[29].
5. Это всего лишь прелюдия, настоящая битва начинается тогда, когда Лукасевич критикует Аристотеля за яростную защиту принципа противоречия как главнейшего из всех принципов бытия. Основной аргумент Аристотеля из 4 главы книги Г «Метафизики» содержит пять страниц текста (1006 а 31 – 1007 b 18) и заканчивается следующим образом: «А если так, то доказано, что противоречащее одно другому не может сказываться вместе». Смысл доказательств сводится к тому, что отрицание (опровержение) принципа противоречия ведет к бессмысленности всего существующего. Те же, кто является его противниками, «на деле отрицают сущность и суть бытия вещи: им приходится утверждать, что все есть привходящее и что нет бытия человеком или бытия живым существом в собственном смысле» (Метафизика Г 4, 1007а 21-23). То есть, перефразируя, тот, кто отрицает принцип противоречия, отрицает суть самого бытия, и как следствие, самого себя. А это ведет к краху основной метафизической концепции Аристотеля – концепции эссенциализма (учения о сущности). Интересно дальнейшее развитие мысли Аристотеля, выходящее за рамки его главного аргумента: «Далее, если относительно одного и того же вместе было бы истинно все противоречащее одно другому, то ясно, что все было бы одним [и тем же]» (Метафизика Г 4, 1007 b 19-20).
Лукасевич обращает внимание на явную непоследовательность Аристотеля, который утверждает, что нет и не может быть никакой надобности в доказательстве онтологического или логического принципа противоречия, но, тем не менее, настойчиво пытается доказать их пятью различными способами. При этом происходит или подмена тезиса, или предвосхищение основания, или доказывается нечто другое, что вообще не относится к принципу противоречия. Но с другой стороны, как считает Лукасевич, если этот принцип признан истинным, то он должен быть доказан.