О принципе противоречия у Аристотеля. Критическое исследование - Ян Лукасевич (1910)

Лукасевич впервые выделяет три формулировки принципа противоречия у Аристотеля. Первая, онтологическая, является основной и формулируется как универсальный принцип бытия (см. выше: Метафизика Г 3, 1005b 20-21). Вторая формулировка является логической: «…наиболее достоверное положение – это то, что противолежащие друг другу высказывания не могут быть вместе истинными» (Метафизика Г 6 1011b 13-14). Третья формулировка называется психологической: «не может кто бы то ни было считать одно и то же существующим и не существующим» (Метафизика Г 3 1005 b 23-24)[28].

Здесь Лукасевич поднимает очень интересный вопрос: выражают ли эти три формулировки один и тот же принцип, но в разных аспектах или это одно и то же? Для ответа на этот вопрос он развивает теорию синонимичности и эквивалентности языковых выражений, впоследствии уточненную им в других работах. Два суждения являются синонимами, т. е. имеют одно и то же значение, если они выражают одну и ту же мысль, используя разные слова, например, «Аристотель был создателем логики» и «Стагирит был создателем логики». Два суждения являются эквивалентными, если первое следует из второго и второе следует из первого. Отсюда следует, что синонимичность влечет эквивалентность, но не наоборот. Например, суждения «Аристотель был учеником Платона» и «Платон был учителем Аристотеля» эквивалентны, но они не являются синонимами, поскольку первое говорит об Аристотеле, а второе о Платоне. В таком случае все три формулировки принципа противоречия не являются синонимичными, поскольку первая говорит об объектах и свойствах, вторая – о высказываниях (суждениях, предложениях), а третья – о некоторых психологических актах (убеждениях, мнениях и т. д.) Далее, Лукасевич аргументирует, что даже несинонимичные высказывания могут быть эквивалентными, и хотя у Аристотеля это проведено не совсем четко, но можно показать, что для него первая и вторая формулировка принципа противоречия эквивалентны на основе хорошо известного определения Аристотелем понятия истины: «… говорить, что сущее есть и не-сущее не есть, – значит говорить истинное» (Метафизика Г 7 101 lb 27).

4. Главная цель Лукасевича – найти слабые места в рассуждениях Аристотеля, и он замечает, что хотя Аристотель принимает эквивалентность онтологического и логического принципа и провозглашает их окончательными, не требующими доказательства, он в то же время явно пытается доказать психологическую формулировку из логической. Здесь надо отметить, что в психологической формулировке принципа противоречия мы имеем дело не с высказываниями, а с мнениями (в русском переводе соответствующие места из Метафизики), с убеждениями и верованиями (у Лукасевича). Лукасевич приходит к выводу, что Аристотель рассматривает отношения между психологическими актами, такими как убеждения, как будто имеет дело с суждениями и на этом основании придает легитимность психологической формулировке. Но убеждения (или мнения) не являются чисто логическими объектами, поскольку они непосредственно относятся к опытному знанию, и тогда мы в лучшем случае имеем дело с эмпирическим законом. Таким образом, психологический принцип противоречия в виду его явной несостоятельности не может считаться фундаментальным принципом логики. В итоге, Лукасевич обвиняет Аристотеля в психологизме, широко распространенном в начале XX века в логике, несмотря на работы Мейнонга, Гуссерля, Фреге и Рассела, и заключает: «Путь к основаниям логики не проходит через психологию» (гл. V)[29].