О принципе противоречия у Аристотеля. Критическое исследование. Ян Лукасевич
Чтение книги онлайн.

Читать онлайн книгу О принципе противоречия у Аристотеля. Критическое исследование - Ян Лукасевич страница 6

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

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

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

      Из проведенного им анализа взаимоотношений принципа противоречия с другими логическими законами следует, что этот принцип не является исходным, не является самым простым, не является очевидным, не является обязательным для других законов и не является независимым. Более того, в обширном дополнении[30] к своей книге Лукасевич показывает, что принцип противоречия выводим из других законов[31]. Все это дает ему право не считать принцип противоречия таким, каким его представляет Аристотель. В главе XVI под названием «Неаристотелева логика», Лукасевич пытается создать контекст, в котором принцип противоречия не работает, однако само построение новой логики откладывается. На этом мы остановимся позже.

      6. Такова внешняя, видимая сторона происходящего. На самом деле СКАЧАТЬ



<p>29</p>

См. также более раннюю работу Лукасевича «Логика и психология» (1907), которая впервые публикуется на русском языке в настоящем издании. Лукасевич до конца оставался непримиримым критиком психологизма в логике: «…Неверно, что логика – наука о законах мышления. Исследовать, как мы действительно мыслим или как мы должны мыслить, – не предмет логики. Первая задача принадлежит психологии, вторая относится к области практического искусства наподобие мнемоники» [Лукасевич 1959: 48].

<p>30</p>

Дополнение называется «Принцип противоречия и символическая логика» и во многом основывается на книге Л. Кутюра «Алгебра и логика», изданной в 1905 г. (переведена на русс. яз. в 1909 г.)

<p>31</p>

Для Лукасевича оказалось весьма значимым, что принцип противоречия доказуем из других законов логики. Но здесь нет ничего необыкновенного. Приведем интересный пример, принадлежащий А.А. Маркову, который на страницах «Большой Советской Энциклопедии» в статье «Логика» (1973, т. 14, с. 599) приводит доказательство закона противоречия – .(Л & – Л) в исчислении интуиционистской логики Int. Это лишь означает, что закон уже предполагается данным, т. е. Int можно сформулировать так, чтобы одной из аксиом стал сам закон противоречия. Таким образом, если этот закон не предполагается, то его доказать нельзя.