Текст книги "История логики"
Автор книги: Александр Маковельский
сообщить о нарушении
Текущая страница: 8 (всего у книги 43 страниц)
В своем понимании чувственного мира Платон исходил из учения Кратила, последователя Гераклита, который довел до крайностей учение Гераклита о текучести и изменчивости всего. Платон принимает учение Кратила о текучести и изменчивости чувственного мира, но не соглашается с положением последнего об абсолютной текучести и абсолютной изменчивости вещей. Он говорит, что в таком случае в мире чувственных вещей царила бы полная неопределенность, между тем как вещам чувственного мира присуща и относительная определенность. Это Платон объясняет тем, что вещи чувственного мира состоят не только из неопределенной первичной материи, но и из формы, которая придает им известную определенность. Форму вещи чувственного мира получают от идей.
Чувственный мир существует не в абсолютном, а в относительном смысле: он рождается, является, течет, изменяется. Он – середина между бытием и небытием. Для объяснения чувственного мира Платон принимает два противоположных принципа: первичную материю и идею. Первый принцип есть основание изменчивости, противоречивости, множественности чувственного мира, второй является основанием имеющегося в чувственном мире постоянства, единства, определенности. Платон принимает три вида существующего: мир идей, первоматерию и чувственный мир. Первый он называет отцом, вторую – матерью, а третий – их плодом.
Неопределенная, бесформенная, бескачественная материя наряду с идеями лежит в основе всех явлений чувственного мира. Эту первоматерию Платон рисует как нечто иррациональное, она не познается ни ощущением, ни мнением, ни дискурсивным мышлением, ни интуицией разума; она познается посредством некоего «незаконно рожденного» рассуждения. Чувственный мир есть нечто «смешанное». В потоке его явлений отражается мир идей, а то, в чем (происходит его движение и отражение идей, есть первоматерия.
По учению Платона, истинно сущее есть сверхчувственный мир идей. Все, что существует, существует через них, имеет в них принцип и причину своего существования. Все определенное и могущее быть названным имеет свою идею. Это следует понимать не в том смысле, что все бесконечное многообразие изменчивых вещей чувственного мира имеет свои особые идеи, но в том, что их роды имеют свое основание в идеях. Так, идея человека относится ко всем людям прошедшего, настоящего и будущего.
Платон ставит вопрос: «Как природа и наши понятия сообразуются друг с другом?» Он говорит, что если бы между ними не было соответствия, то познание было бы невозможно. Вопрос о соответствии между мышлением и познаваемой им действительностью Платон решает метафизически. Он утверждает, ч го в природе виды так же неизменны, как и понятия человеческого мышления, которые всегда постоянны и тождественны себе. Так, в мире живых существ путем акта размножения род сохраняется неизменным, несмотря на непрерывную смену многих поколений. Метафизическую концепцию неизменности родов и видов к природе и неизменности понятий человеческого ума Платон сочетает с идеалистическим объяснением соответствия, существующего между понятиями человеческого ума и объективным миром. Он усматривает причину этого соответствия в том, что одни и те же абсолютные идеи являются и принципами бытия и принципами мышления; эти абсолютные идеи отражаются и в природе, создавая ее виды, и в человеческом мышлении, создавая его понятия.
Центральная проблема, которая ставится Платоном в его диалектических диалогах «Софист» и «Парменид», есть проблема единого и многого. Эта проблема онтологическая, гносеологическая и логическая. В истории греческой философии она первоначально ставилась в онтологическом плане. Шла борьба между философскими направлениями, принимавшими единое первовещество, и направлениями, признававшими множественность элементов мира. Уже у Зенона Элейского эта проблема переносится и в область теории познания.
Зенон доказывал, что допущение многого полно противоречий. Он превращал многообразный чувственный мир в пустую видимость, полную противоречий. Перенесение софистами, а затем и сократовскими школами проблемы единого и многого в область теории познания показало, к каким несообразностям приводит одностороннее признание как принципа единства, так и принципа множественности. С одной стороны, выступала метафизическая концепция неизменных понятий, с другой – учение, что у каждого человека в каждое мгновение, в соответствии с его изменяющимися ощущениями, имеется особая истина. Позиция исключительного признания принципа единства или принципа множественности подрывала основы логики, развивался своеобразный алогизм с отрицанием познавательного значения понятий, суждений, умозаключений.
В диалектических диалогах Платон ставит задачу доказать неразрывную диалектическую связь единого и многого и показать несостоятельность односторонних точек зрения.
Как уже отмечалось, в диалоге «Парменид» Платон применяет свой гипотетический метод. Здесь противопоставляются четыре тезиса, которые, так сказать, перекрещиваются и раскрывают проблему с разных точек зрения. Последовательно полагаются тезис (утверждение), антитезис (отрицание), затем синтез отрицательный («ни то, ни другое») и, наконец, синтез утвердительный («и то, и другое»).
В различных гипотезах, которые последовательно подвергаются анализу в диалоге «Парменид», постоянно встречаются одни и те же основные понятия: количество или число (а также целое или часть), форма, пространство, время, отношение, движение и покой, тождество и различие, подобие и неподобие, равенство и неравенство, бытие и небытие, единое и многое.
Выдвигается первая гипотеза: допустим, что существует единое в абсолютном смысле. Применим к нему приведенные выше категории. Абсолютное единое не есть многое. Следовательно, оно не имеет частей и поэтому не есть целое. Если оно не имеет частей, то в нем нет ни начала, ни конца, ни середины. А если так, то оно не имеет формы и в таком случае не находится нигде, ибо если бы оно находилось в пространстве, то имело бы форму. Далее, если абсолютное единое не находится в пространстве, то оно не может быть в движении, не может передвигаться с одного места на другое. Равным образом оно не может изменяться, так как изменение внесло бы в него множественность: оно стало бы отличным от самого себя, т. е. не было бы более абсолютно единым. Но если абсолютное единое не движется, то оно не находится и в покое, ибо быть в покое значит оставаться на одном и том же месте, а абсолютное единое, как было доказано, не находится нигде.
Подобным же образом применяются к абсолютному единому и прочие категории, и в результате получается, что абсолютное единое непознаваемо. Все способы познания бессильны перед ним и не могут иметь его своим объектом. Оно – выше форм мышления. Александрийские интерпретаторы видели в абсолютном едином, составляющем предмет первой гипотезы диалога «Парменид», идею блага, выступающую в качестве наивысшей идеи в диалоге Платона «Государство». По Проклу, в абсолютном едином первой гипотезы «Парменида» нужно понимать бога. Другие полагали, что под этим абсолютным единым нужно понимать всю полноту всего существующего. Из ученых нового времени Жане видит в первой гипотезе диалога «Парменид» лишь простое опровержение учения элеатов об абсолютном единстве всего, Тидеман и Теннеман видят здесь лишь простую диалектическую игру понятиями, Штальбаум истолковывает единое первой гипотезы как первичную материю, являющуюся, по Платону, неопределенной и непознаваемой.
Оставляя в стороне эти различные толкования, мы видим в первой гипотезе и в дедуцируемых из нее следствиях лишь доказательство того, что абсолютное единство, исключающее всякую множественность, не существует для человека, оно непознаваемо и непостижимо. Диалектика единого и многого, признающая их неразрывную связь, отвергает тезис первой гипотезы.
Вторая гипотеза (антитезис) диалога «Парменид» допускает существование единого в относительном смысле. Если первый тезис доказывал, что абсолютное единое не имеет никакого отношения к пространству, времени, количеству, качеству и т. д , то второй тезис доказывает, что относительное единое находится в связи с количеством, пространством, временем и т. д. Жане находит, что все учение самого Платона заключается в этом втором тезисе. Фуллье, который в абсолютном едином первой гипотезы видел бога, в относительном едином второй гипотезы видел платоновские идеи.
Третья гипотеза говорит уже о единстве противоположностей: единое есть многое. Здесь речь идет о реальном множественном единстве.
Четвертая гипотеза имеет своим предметом чувственный мир, который является множественным, но его множественность связана с единством.
Всего в диалоге «Парменид» девять гипотез. В последних строках диалога дается следующее резюме всего исследования: «Существует ли единое (как это принимается в первых пяти гипотезах) или оно не существует (как допускается в последних четырех гипотезах), и в том и в другом случае оно и иное (т. е то, что отлично от него), как в отношении к себе, так и в отношении их друг к другу, есть и не есть абсолютно все и является и не является всем».
Смысл этого заключения состоит в утверждении того, что каждая из девяти гипотез включает в себя особую истину и мы будем владеть полной истиной лишь тогда, когда примем все девять гипотез Каждая из этих гипотез представляет особую точку зрения. Приведенные нами заключительные слова диалога «Парменид» не следует понимать в том смысле, будто одни и те же вещи, взятые в одном и том же отношении и рассматриваемые с одной и той же точки зрения, допускают в себе противоположности. Ведь это противоречило бы тому, что Платон говорит о противоположностях в «Софисте» Взаимосвязь всех противоположностей в «Пармениде» вытекает из того, что единое и многое, бытие и небытие и другие противоположности берутся в различных аспектах (в абсолютном или относительном значении или вообще в различных значениях и отношениях, в каких только можно их брать).
В абсолютном едином все противоположности совпадают В мире идей противоположности вечно сосуществуют и находятся между собой в определенной связи. В чувственном мире имеет место смешение противоположностей вследствие участия одних и тех же вещей в противоположных идеях. В первичной материи – безразличие противоположностей. Таково учение о противоположностях, развитое Платоном в диалоге «Парменид». Это учение утверждает, что противоположности – во всем и повсюду, и сами идеи в своей сущности суть соединение противоположностей (единого и многого).
Для истории логики большое значение имеют следующие вопросы, поставленные в диалоге «Парменид»: 1) об отношениях между понятиями, их соединимости и несоединимости и 2) об отношении между понятием и единичными вещами, к которым это понятие относится. Если раньше у Платона общие понятия (идеи) мыслились как существующие отдельно от вещей чувственного мира, как обособленные от них сущности, то в диалоге «Парменид» отношение между общим понятием и частными вещами понимается как неразрывная связь единого и многого. Это новое понимание отношения между общим, частным и единичным представляет собой уже переходную ступень от прежнего учения Платона об отношении между общим и частным к учению Аристотеля об этом. Поэтому в литературе, посвященной изучению диалога «Парменид», высказывался взгляд, что этот диалог принадлежит не Платону, а Аристотелю, поскольку там дается учение о неразрывной связи общего (единого понятия) и частного (множества индивидуальных вещей чувственного мира). Но на самом деле этот диалог знаменует собой лишь определенный поворот в развитии философии Платона
Глава III
Логика Аристотеля
Один из величайших ученых древности Аристотель родился в 384 г. до н. э. в городе Стагире (отсюда прозвище «Стагирит»). В своих сочинениях Аристотель с удивительной широтой и глубиной охватил все отрасли современного ему философского и научного знания (пожалуй, за исключением математики). Он творчески разрабатывал философию, логику, физику, астрономию, биологические науки, психологию, этику, эстетику, риторику, общественные науки.
В течение 20 лет Аристотель был учеником в школе Платона. Позднее, через 12 лет после смерти Платона, Аристотель основал в Афинах свою собственную философскую школу (перипатетическую, или Ликей). Умер Аристотель в 322 г. до н. э.
В философии Аристотеля перекрещиваются материализм и идеализм, линии Демокрита и Платона, опытное эмпирическое направление научного исследования Демокрита и умозрительно-дедуктивное Платона.
По некоторым свидетельствам, общее число написанных Аристотелем сочинений приближается к тысяче. Логические сочинения Аристотеля позже были объединены под общим названием «Органон». Сюда вошли:
1. «Категории» – сочинение, которое не всеми исследователями признается подлинным ввиду близости развиваемого там учения взглядам, выраженным Платоном в диалоге «Тимей».
В этом сочинении позднейшими вставками являются главы 10–15, где излагается учение о постпредикаментах; К. Прантль сочинение «Категории» считал подложным;
2. «Об истолковании» – сочинение, вероятно, не принадлежащее самому Аристотелю или по крайней мере подвергшееся искажению и позднейшим вставкам;
3. «Аналитики первая и вторая» – основное классическое произведение Аристотеля по логике, из которых первая излагает силлогистику Аристотеля, а вторая – учение о доказательстве. Эти два сочинения, бесспорно, принадлежат самому Аристотелю;
4. «Топика», содержащая учение о вероятных («диалектических») доказательствах (в ней не принадлежит Аристотелю лишь пятая книга);
5. «О софистических опровержениях» – сочинение, которое иногда считается последней (девятой) книгой «Топики», иногда же принимается за самостоятельное сочинение.
Глубокая характеристика логики Аристотеля дана В. И. Лениным: «У Аристотеля везде объективная логика смешивается с субъективной и так притом, что везде видна объективная. Нет сомнения в объективности познания. Наивная вера в силу разума, в силу, мощь, объективную истинность познания. И наивная запутанность, беспомощно-жалкая запутанность в диалектике общего и отдельного – понятия и чувственно воспринимаемой реальности отдельного предмета, вещи, явления»[18]18.
В. И. Ленин Полное собрание сочинений, т. 29, стр. 326
[Закрыть].
Учение об истине и законах мышления
Логика Аристотеля отнюдь не является той формальной логикой, которая замыкается в рамках изучения формальной правильности мышления безотносительно к его истинности. Для Аристотеля истина есть соответствие мыслимого с действительным в отличие от того формальнологического понимания истинности, согласно которому истинность принадлежит всецело сфере самого мышления и не имеет никакого отношения к подлинной действительности. По Аристотелю, логические законы суть первоначально законы бытия и логические формы совпадают с формами самого бытия: формы истинного мышления являются отображением реальных отношений. Основным критерием истины у Аристотеля служит материальный критерий: согласие мыс: ли с самими вещами.
По учению Аристотеля, истинно то суждение, в котором понятия соединены между собой так, как связаны между собой соответствующие им вещи в природе. Ложно то суждение, которое соединяет то, что разъединено в природе, или разъединяет то, что соединено в ней. На этой концепции истины основана аристотелевская логика.
На тесную связь логики Аристотеля с его метафизикой указал Тренделенбург, который видел в логических формах Аристотеля не что иное, как выражение онтологических законов и отношений. Вследствие этого Тренделенбург оспаривал у формальной логики право называться аристотелевской и считал формальное направление, которое стало развиваться в логике со времени стоиков, решительным уклонением от Аристотеля.
Тот же взгляд на логику Аристотеля высказывается в «Истории логики» Прантля, который первые зачатки формальной логики усматривает у первых перипатетиков: Теофраста и Евдема. Взгляд Тренделенбурга разделяют Бониц, Ибервег, Целлер и др., а из русских историков логики Е. А. Бобров, который говорит, что логика Аристотеля настолько тесно связана с его метафизикой, что без последней не может быть верно понята.
По мнению Е. А. Боброва, формальная логика есть незаконное детище аристотелевской логики. «Отказавшись от метафизической основы логики Стагирита, представители формальной логики не создали, однако, своей новой, особенной логики, но воспользовались готовым строением аристотелевской логики, давая ей ложное толкование и делая неподходящие надстройки»[19]19.
Е. А. Бобров. Историческое введение в логику. Варшава, 1916 стр. 65–66
[Закрыть], – так характеризует Е. А. Бобров отношение между формальной логикой и логикой Аристотеля. Согласно его оценке формальной логики, в последней «не может быть и речи о каком-либо дополнении или расширении логики Аристотеля; есть только изменение понимания ее духа, или, вернее, есть утрата и извращение ее живого и общефилософского, метафизического основания»[20]20.
Там же, стр. 61
[Закрыть].
Не отрицая связи между логическими формами и метафизическими принципами у Аристотеля, Г. Майер[21]21.
Н. Maier. Die Sillogistik des Aristoteles, t. 1–2 Tubingen, 1896–1900
[Закрыть] не соглашается с мнением названных выше ученых, что Аристотель вывел свою логическую теорию (и специально силлогистику) из своего общефилософского учения или по меньшей мере на нем основал. По мнению Г. Майера, Аристотель уже имел идею формальной логики и заложил основы науки о формах мышления.
Считая, что идея формальной логики восходит к Аристотелю, Г. Майер признает не вполне верным данный Прантлем очерк развития логики на первой стадии ее истории; он полагает, что у Прантля дано неправильное освещение вопроса об отношении аристотелевской логической теории к учениям логиков из перипатетической и стоической школ.
Вопросы о характере логики Аристотеля, вызвавшие оживленные споры среди историков логики, по нашему мнению, решаются следующим образом. Корни формальной логики лежат в логике Аристотеля. По замыслу и по своей идее логика Аристотеля составляет прямую противоположность чисто формальной
В дальнейшем при изложении аристотелевского учения о законах мышления мы будем использовать результаты этого исследования логике: она принимает два критерия истины: материальный (согласие мыслей с вещами) и формальный (согласие мыслей между собой), причем господствующим критерием в ней является материальный. Однако в процессе развития логического учения Аристотеля – в его силлогистике – формальный критерий приобретает известную самостоятельность и заслоняет собой критерий материальный. И таким образом логика Аристотеля, исходя из неформальных предпосылок, в процессе своего развития превращается в систему формальнологических приемов.
В конечном итоге логика Аристотеля представляет собой нечто среднее между логикой чисто формальной и метафизической, а равным образом и между логикой метафизической и диалектической (ввиду отмеченного В. И. Лениным колебания Аристотеля между диалектикой и метафизикой).
Именно этой позицией Аристотеля, колеблющегося между диалектикой, метафизикой и формальной логикой, объясняется, по-видимому, отнесение Ф. Энгельсом логических учений Аристотеля одновременно и к истории формальной логики и к истории диалектики. Ф. Энгельс пишет: «Сама формальная логика остается, начиная с Аристотеля и до наших дней, ареной ожесточенных споров. Что же касается диалектики, то до сих пор она была исследована более или менее точным образом лишь двумя мыслителями: Аристотелем и Гегелем»[22]22.
К. Маркс и Ф. Энгельс. Сочинения, т. 20, стр. 367
[Закрыть]. В другом месте Ф. Энгельс отмечает: «…Исследование форм мышления, логических категорий, очень благодарная и необходимая задача, и за систематическое разрешение этой задачи взялся после Аристотеля только Гегель»[23]23.
Там же, стр. 555
[Закрыть].
Рассмотрим учение Аристотеля об истине и законах мышления. Аристотель принимает истину в широком и в узком смысле. Истина в узком значении есть истина суждения. По Аристотелю, истина и ложь, строго говоря, относятся только к соединению и разъединению представлений и понятий. Наши суждения истинны или ложны в зависимости от того, соответствует ли совершаемое в них соединение или разъединение представлений и понятий самой действительности. Что же касается отдельных изолированных предметов мысли, то сами по себе они еще не истинны и не ложны. Но в более широком смысле понятие истины у Аристотеля переносится и на предметы мысли.
Такое расширенное понятие истины основывается на предположении, что предмет мысли (представление или понятие) сравнивается с реальным объектом, отображением которого он является, и в качестве истинного признается то представление или понятие, которое адекватно отряжает то, что существует в действительности. Мыслимое ложно в том случае, если ему или вообще не соответствует ничего в действительности, или если соответствующий реальный предмет в нем отображен неверно. Это – материальная ложность, и она заключается в несоответствии мыслимого реальным объектам. Другой вид ложности – ложность суждения. Она заключается в том, что несуществующее высказывается как существующее, т. е. предикат приписывается субъекту, которому он не принадлежит. Формула ложного суждения: «Не-А есть А».
Отдавая дань метафизике своего учителя Платона, Аристотель различает два вида суждений: вечные необходимые суждения, относящиеся к области вечных неизменных объектов, и суждения, относящиеся к кругу изменяющихся вещей. Так как объекты, подверженные изменению, возникновению и уничтожению, не пребывают всегда тождественными себе, то и суждения о них не являются устойчивыми. Будучи истинными, пока их объекты остаются равными себе эти же суждения становятся ложными, когда объекты изменяются во времени. В аристотелевском учении об истине это деление суждений имеет существенное значение. Только первые суждения образуют область строгого знания, вторые же суть просто мнения и не имеют строгого научного характера.
Сообразно с этим делением суждений и понятие истины у Аристотеля делится на два вида: вечная абсолютная истина и истина, которая в потоке времени переходит в свою противоположность и становится ложной.
Основным законом мышления у Аристотеля является закон противоречия. Аристотель называет этот закон самым неоспоримым принципом.
Аристотель дает несколько формулировок этого закона. В онтологической формулировке он выступает как наивысший закон самого бытия. Он гласит: «Невозможно, чтобы одно и то же в одно и то же время и в одном и том же отношении и было и не было присуще одному и тому же» («Метафизика», IV, 1005 b 19). Наряду с этой развернутой формулировкой дается краткая онтологическая формула: «Невозможно, чтобы одно и то же в одно и то же время было и не было». При этом Аристотель упоминает учение Гераклита, что одна и та же вещь и существует, и не существует, и утверждает, что это учение никто не может серьезно признавать. Здесь Аристотель оказывается не в силах понять диалектику Гераклита и отмахивается от нее, будучи не в состоянии ее опровергнуть. Наряду с указанными двумя онтологическими формулировками закона противоречия у Аристотеля часто встречаются и чисто логические формулировки этого закона.
В качестве достовернейшего положения приводится закон: «Невозможно, чтобы одновременно были истинными противоположные суждения», или: «Невозможно, чтобы противоречащие утверждения были истинными по отношению к одному и тому же» («Метафизика», IV, 6, 10НЬ 15).
Аристотелем даются и сокращенные логические формулы: «Невозможно вместе истинно и утверждать и отрицать» или: «Невозможно вместе утверждать и отрицать».
По Аристотелю, наивысший закон бытия: «Сущее существует, не сущее не существует, невозможно одной и той же вещи существовать и не существовать», – есть вместе с тем и наивысший закон истины: одно и то же суждение не может быть вместе и истинным и ложным. Этот закон истины, по Аристотелю, является выводным, он есть необходимое следствие первоначального онтологического принципа. Таким образом, онтологическая формулировка закона противоречия является основной. Закон противоречия у Аристотеля не является исключительно принципом мышления, как в формальной логике. Принцип противоречия для Аристотеля есть прежде всего принцип самого бытия, но он является также и законом истины.
Онтологический принцип образует основу всего научного здания. Этот принцип имеет и вторую сторону – объективно-логическую, которая дана непосредственно вместе с онтологической. Объктивно-логическая формулировка принципа: «Утверждение и отрицание не могут быть вместе истинными» – служит основоположением, из которого выводится правило, что одному и тому же субъекту не могут быть присущи противоположные предикаты. И отсюда уже следует субъективная необходимость признавать закон противоречия, т. е. психологическая невозможность принимать, что нечто есть и не есть.
Принцип противоречия в его метафизической и объективно-логической формулировках, по Аристотелю, является основоположением недоказуемым, непосредственно очевидным, ибо всякий, кто приводит какое-либо доказательство, сводит его к этому положению как последнему; ибо по природе оно есть начало для всех других аксиом. Оно – достовернейшее из всех начал, оно – начало начал.
Это положение нельзя обосновать в собственном смысле слова, однако можно опровергнуть противоположный ему взгляд, показав абсурдность вытекающих из него следствий. В этом последнем смысле можно дать ему доказательства.
Первым таким косвенным доказательством у Аристотеля служит возражение противнику, который оспаривает закон противоречия, заключающееся в том, что, поскольку он нечто высказывает, постольку он на деле признает этот принцип. Ибо говорить – значит высказывать слова, имеющие определенное значение для других и для себя. Высказывая нечто, что должно иметь определенное значение, он (противник) тем самым признает закон противоречия, по крайней мере в определенной области и в определенном объеме. Предпосылкой для каких бы то ни было высказываний является однозначная определенность и безусловное постоянство значений слов.
Слово (а) означает одно понятие (а) и, следовательно, не другое (не-а). Основная формула такова: «а не есть не-а». Смысл закона противоречия в этом аспекте таков: «а не может иметь тот же самый смысл, какой имеет то, что по своей сущности не есть а», следовательно, «а есть а и поэтому не есть не-а».
Однако при таком понимании смысла закона противоречия его значимость замыкается в слишком узкие границы. Так, Антисфен учил, что правильно только то высказывание, которое о субъекте высказывает только его понятие (например, о человеке можно лишь сказать: «Человек есть человек», высказывание же о человеке какого-либо другого предиката недопустимо). Антисфен принимал исключительно возможность суждений тождества (идентичных суждений). По учению Антисфена, о каждой вещи можно лишь утверждать, что она есть именно эта вещь; нельзя никакой вещи приписывать множества признаков, ибо каждая вещь есть нечто единичное и как таковая она абсолютно отлична от всего другого. Критикуя взгляд Антисфена, Аристотель указывает, что субъекту могут быть присущи различные предикаты, как существенные, так и несущественные.
В известном смысле предикат, выражающий несущественное свойство (например, белый), относится к своему субъекту (человек) , как не-а к а. Предикат не-а высказывается о субъекте а. не в том же смысле, в каком о нем высказывается его сущность а. Если бы закон противоречия выводился из предпосылки, что со всяким словом твердо связано только одно понятие, исключающее все другие понятия, то в этом случае значение закона противоречия было бы ограничено суждениями тождества. Применение же его к суждениям с предикатами, выражающими несущественные свойства, были бы ложно. Ибо для таких суждений справедлива была бы формула «а есть не-а».
Таким образом, закон противоречия в том понимании и обосновании, какие даны в первом доказательстве, не имеет силы для суждений, высказывающих несущественные свойства. Между тем в своей первоначальной формулировке закон относился н к этим суждениям. Возникающее таким образом затруднение ослабляется, если закону противоречия придать несколько иное значение, а именно, если принять ту предпосылку, из которой исходит первое доказательство, собственным смыслом и содержанием всего этого закона.
В таком случае смысл данного закона ограничивался бы лишь устойчивостью понятий и суждений. Закон констатировал бы исключительно «однозначность акта суждения», т. е. в этой интерпретации он высказывал бы лишь то, что всякий, кто сознательно что-либо утверждает, утверждает именно то, что он утверждает.
В других доказательствах закона противоречия у Аристотеля из опровержения закона противоречия выводятся абсурдные следствия. Далее указывается, что если бы противоположные суждения об одном и том же субъекте были бы одновременно значимы, тогда «все было бы едино».
Дело в том, что если бы о всяком субъекте по желанию можно было бы утверждать или отрицать любой предикат, то один и тот же субъект одновременно мог бы, например, быть кораблем, стеной и человеком.
Аристотель указывает, что отрицание принципа противоречия встречается в различной степени. Или его совершенно оспаривают и обо всем прямо утверждают, что оно белое или одновременно не белое, существует и одновременно не существует, или же придают закону ограниченное значение, но в таком случае нужно определенно указывать границы его применения.
Переходя к субъективно-психологическому аспекту закона противоречия, Аристотель указывает, что если признавать все суждения – в том числе и противоположные – истинными, то придется вместе с тем признавать, что они все ложны. Ибо стоящий на точке зрения, что все суждения истинны должен будет объявлять свои собственные высказывания ложными. Однако психологически невозможно признавать всякое суждение одновременно и истинным и ложным. Принимающий это не будет принимать ничего определенного. Наряду с психологической невозможностью Аристотель ссылается и на практику. Все поведение людей служит доказательством значимости этого закона. В практической жизни люди считают, что одно лучше, а другое хуже. Определенность поведения людей базируется на значимости закона противоречия.
Возражая противникам, Аристотель приводит и следующий аргумент. Если бы в сущем все обстояло одновременно так и не так и поэтому и в мышлении утверждение и отрицание о чем-либо было бы одновременно истинно, то было бы непонятно, как можно приписывать субъективным положениям большую и меньшую истинность. Например, кто 4 считает за 5, тот ошибается, но не в такой степени, как тот, кто считает 4 за 1000. Очевидно, первый ошибается менее, т. е. первый стоит ближе к истине, чем второй, а если так, то должна быть абсолютная истина, исходя из которой можно измерять различия степеней приближения или удаления от нее.