Диалектическое противоречие

Аристотель сформулировал три логических закона: закон тождества, закон противоречия, закон исключения третьего.

Закон тождества требует, чтобы в процессе рассуждения понятие было тождественным самому себе, то есть иметь одно значение. Если значение поменялось (сузилось или расширилось), то такая ошибка, в логике называется «подменой тезиса». Это одна из распространённых ошибок, которую сознательно или бессознательно допускают в доказательствах. Софисты, доказывая что угодно, чаще всего искусно подменяли понятия, то есть нарушали закон тождества. Например, накрыв плащом человека, спрашивали его сына, знает ли он этого человека. Тот отвечал, что не знает. Так софисты доказывали ему, что он не знает своего отца. Этот софизм называется «Покрытый». Фактически в нём использованы разные понятия: «отец» и «человек, покрытый плащом». В символической логике закон тождества записывается так: A=A, где А – понятие (высказывание).

Закон противоречия утверждает: противоречащие высказывания не могут быть одновременно истинными. Записывается он так: Неверно, что А и не-А. Или в виде формулы: А ? A = 0. ______

Или так: А ? A. Здесь черта сверху и над буквой – знак отрицания, А – любое высказывание, знак ? означает союз «и».

Закон исключения третьего (из двух противоречащих суждений одно истинно, третьего не дано). Символами записывается так: А V A. Читается так: А или не-А, где знак «V» – союз «или».

Как видим, формальная логика запрещает противоречия в одном доказательстве. Наличие противоречия делает доказательство ложным. И любые нарушения правил вывода и логических законов приводит к неверным выводам.

Конечно, есть люди, которые нарушают логику по невнимательности, но есть и те, кто по разным причинам идут на это сознательно.

Закон исключения третьего – основа научного знания. Например стена белая или не белая, третьего не дано. В Древней Индии был не один вариант: стена могла быть белой или не белой, и той и другой, не той ни другой и ещё какой-нибудь. Такая логика древних индийцев была результатом общинного характера жизни, где очень важно согласие между всеми членами общины. Поэтому там существовали только чисто практические научные знания – математика (считать деньги, измерять земельные площади), астрономия (определять направление движения, время года) и медицина. По той же причине такая же ситуация была и в Древнем Китае, где мудрецом считался тот, кто ничего не утверждает и ничего не опровергает. Поэтому, например, изобретение пороха китайцами использовалось в фейерверках, но изобрести пушку они не догадались. А вот европейцы зарядили порохом пушки и ружья и завоевали Китай, чья культура была старше европейской на несколько тысяч лет.

Общинная жизнь в России не дала такого результата, как в Индии и Китае. Суровые климатические условия требовали соблюдать закон исключения третьего.

Позднее немецкий философ и математик Лейбниц (1646 – 1716) в книге «Монадология» сформулировал ещё один закон формальной логики – закон достаточного основания: «Ни одно явление не может оказаться истинным или действительным, ни одно утверждение справедливым, – без достаточного основания, почему именно дело обстоит так, а не иначе, хотя эти основания в большинстве случаев вовсе не могут быть нам известны». У этого закона нет формул. Он больше похож на предупреждение о том, что одних правил формальной логики не достаточно, надо руководствоваться здравым смыслом и опираться на всю сумму знаний. Как ни странно, в рассуждениях людей именно нарушения этого закона встречаются чаще всего. Первые три закона нарушают либо сознательно, либо не совсем адекватные люди. А нарушение закона достаточного основания не всегда осознаётся.

Формальная логика – это аналитический, дедуктивный метод познания, этим он схож с алгеброй с той лишь разницей, что в алгебре буквами обозначается какое-либо количество, а в логике – какое-либо высказывание. Символическое выражение высказываний и правил выводов позволяет привлечь в формальную логику математические методы. Они упрощают решение задач, когда при усложнении условий человеку бывает трудно удержать в уме все данные. Например, есть детская задачка про то, как перевезти через реку козу, капусту и волка. Если её записать в виде формул символической логики, то решение становится очевидным. Если А – коза, В – волк, С – капуста, то запись условий задачи будет такой: коза или волк – АVB, коза или капуста – АVC, волк и капуста – В?C. Ясно: вместе могут быть только волк и капуста (В?C), значит, надо перевозить так, чтобы вместе оказывались только они.

Методы математической логики можно использовать в юридической практике со многими участниками происшествий; в дипломатии, когда каждый шаг имеет разные последствия для отношений с разными странами; в логистике с множеством вариантов транспортировки товаров, – везде, где логические формулы облегчают обработку информации.

Формальная логика позволила более-менее однозначно выражать мысли и понимать друг друга. Но обнаружились и недостатки, с которыми столкнулись люди при использовании формально-логических правил, – это появление в процессе рассуждений противоречий. Они требовали создания механизма их преодоления.

1.2. Устранение формально-логических противоречий

В ХХ веке формальная логика усложнилась, появились: математическая, вероятностная и другие неклассические логики. Для определённых целей стали создаваться специальные логики со своим набором аксиом. Внутри самих таких логических систем возникающие противоречия тоже считаются ошибкой.

Наиболее последовательно характер формальной логики выражен в математике. Сложение и вычитание, умножение и деление – нигде мы не видим нарушение её законов.

Но оказалось, что и в математике есть проблемы с непротиворечивостью.

Например, имеем два неравных числа a и b. Находим их разность:

a – b = c.

Умножаем обе части уравнения на (a – b). Получаем:

a? – ab – ab + b? = ac – bc.

Переносим:

a? – ab  – ac = ab – b? – bc.

Выносим за скобки:

a (a – b  – c) = b (a – b – c).

Сокращаем на (a – b – c).

В результате получаем: a = b.

Как видим, нарушения правил нет, а вывод противоречит условию.

Мало того, как доказал математик Курт Гёдель (1906—1978), непротиворечивых логических систем невозможно создать в принципе. Поэтому все логические системы содержат в качестве аксиом те или иные запреты. В нашем случае существует запрет деления на ноль (a – b – c = 0). Это означает, что наша логика противоречива, она не может адекватно отражать окружающий нас мир. Но возможно, что и сам мир нелогичен.

В математике противоречия часто носят характер парадоксов. В теории множеств, претендующей на объединение всех математических наук (согласно этой теории, математика – это операции с множествами), был открыт так называемый парадокс Бертрана Рассела: «Является ли множество всех множеств подмножеством самого себя?» Его примерная нематематическая формулировка: «Солдату приказали брить только тех солдат, которые не бреются сами. Должен ли он брить себя сам?» Здесь получается, что если солдат бреется сам, то он не должен брить себя, но в этом случае он, как не бреющий себя сам, должен брить себя.

Парадоксы были известны ещё древним грекам. Например, парадокс «Лжец». Критянин Эпименид сказал, что все критяне лжецы. Солгал ли он? (То есть лжёт ли человек, если он утверждает: «Я лгу»? )

К парадоксам относятся и апории Зенона: «Стрела» [Летящая стрела не летит, так как чтобы лететь, надо быть в этом месте и в то же время не быть в нём.], «Ахиллес и черепаха» [Самый быстрый бегун Ахиллес не догонит черепаху, потому что он всегда будет бежать то расстояние, которое она проползла ранее.], «Дихотомия» [Ахиллес не догонит черепаху, даже если она не поползет, потому что, чтобы дойти до неё, надо сначала пройти половину пути, а для этого надо пройти половину этой половины и т. д. – он всегда будет идти первые половинки пути.], «Стадион» [Любой отрезок пути можно поделить на две половинки.].

Что же делать, если рассуждение приводит к противоречию?

Выход находят либо в ограничении правил самой логики, либо в предложении новой аксиомы, позволяющей устранить возникшее противоречие. Например, в аксиоматической логике для определённой цели используют набор аксиом с запрещением закона исключения третьего. Выход из затруднений, сформулированных в апориях Зенона, нашли в принятии за аксиому положения о том, что есть расстояние и время, меньше которых уже не бывает. То есть отказались от положения о бесконечной делимости расстояния, использованного Зеноном в апориях «Дихотомия» и «Стадион». В этом случае операции с формулами дают ответ, что летящая стрела летит, Ахиллес догонит черепаху.

Чаще всего философы, сталкиваясь с противоречием в объяснении мира, предлагали новую аксиому, с помощью которой это противоречие устранялось. Посмотрим, как это происходило в истории философии.

Родоначальник древнегреческой философии Фалес (625—547 до н. э.),живший в городе Милет, видимо, пытаясь объяснить обычные вещи (например, появление тучи, дождя, грязи и обратного превращения в сухую землю), постоянно натыкался на противоречия. Если вода из воды, а воздух из воздуха, земля из земли [заметьте – это современное объяснение], то как туча и дождь оказались в небе – там же только воздух? Если туча и дождь появились из небытия, а потом вода вернулась в небытие (это было очевидно – видно очами), то это невозможно: небытие – это ничто, а ничто не бывает, по определению.

Тогда Фалес предположил, что вода уже была в небе, но в другом виде, и она не исчезла, а приняла другой вид. Отсюда он делает вывод, что всё есть вода, но вода разная: воздух – разряжённая вода, земля – сгущённая вода. Значит, сгущение и разряжение воды образует все вещи, и они отличаются только разной степенью сгущения. Разряжение и сгущение воды для Фалеса становится аксиомой, и он логически объясняет все происходящие изменения. Он не создавал новую логику, он просто мыслил логически.

Но Фалес не сказал, что же заставляет воду разряжаться и сгущаться. На этот вопрос ответил Анаксимен (585—525 до н. э.). Логика подсказывала, что должен быть какой-то двигатель. Можно было бы объяснить волей богов, но «любителей мудрости» [слово «философ» с греческого переводится как «любитель мудрости» – так назвал себя Пифагор (570—495 до н. э.)] такое объяснение уже не устраивало. Анаксимен сгущение и разряжение объяснил дыханием мира. А дальше по правилам формальной логики следует вывод: так как дышать можно только воздухом, то он и является первоначалом, его разряжение и сгущение образует все вещи в мире.

Но если источник изменений – внешний, то как объяснить вмешательство человека? Не может же человек управлять дыханием мира! То есть учение Анаксимена противоречило фактам. Гераклит (530—470 до н. э.) решил эту проблему, предложив новую аксиому: причиной всех изменений является подвижное первоначало – огонь. Он горит сам, ему не требуется внешний двигатель. Дальше Гераклит, не нарушая правила формальной логики и не противореча фактам, отвечает на появляющиеся вопросы.

Если мир – огонь, то почему он вечный и, если вечный, то почему не сгорел? Гераклит объясняет: если бы огонь остановился, он бы вновь не начался, значит мир существует вечно. Мир не сгорел, потому что все процессы переходят в свою противоположность. То есть нагрелось – остывает, остыло – нагревается. Как видим, заявление Гераклита о переходе в противоположности – это новая аксиома в рамках формальной логики, чтобы не нарушать её правил.

Если всё постоянно изменяется, то почему мы видим, что некоторые вещи не изменяется? Ответ Гераклита: все изменения происходят мерами [порциями], у разных вещей разные меры. То, что кажется неизменным, со временем изменится и умрёт. Здесь Гераклит тоже не противоречит правилам формальной логики.

Почему в этой изменчивости нет хаоса? Гераклит отвечает: миром правит Логос, ему подчиняются даже боги. Это новая аксиома Гераклита. У него логос – это и порядок, и судьба, и мировой разум, и правитель. [Сегодня под логосом можно понимать то, что мы называем законами природы.]

А вот дальше произошло то, за что Гераклита так ценил Гегель (1770—1831) [он заявил, что нет ни одного положения Гераклита, которое он не взял бы в свою философию]. В качестве аксиомы Гераклит использует уже своё учение о переходе противоположностей друг в друга: «Одно и то же в нас – живое и мертвое, бодрствующее и спящее, молодое и старое, ибо эти [противоположности], переменившись, суть те, а вновь переменившиеся суть эти», «целое нецело, согласное несогласно, гармоничное негармонично; и все вещи едины и из единого все вещи… Бессмертные смертны, смертные бессмертны, одни живут за счет смерти других, за счет жизни других умирают». Эти выводы он делает, не нарушая правил формальной логики, но получилось объяснение мира, которое после назовут диалектическим. А люди, привыкшие мыслить без этой аксиомы, не понимали Гераклита, поэтому он получил прозвище «Тёмный».

Парменид (род. В 515 г. до н. э.) обнаружил, что видимая подвижность мира противоречит мышлению: чтобы двигаться нужна пустота, а пустота – это ничто, а ничто не бывает. Следовательно движения нет, а видимое движение – обман чувств.

Философы не могли отдать предпочтение чувствам, иначе они бы стали художниками, поэтами, но не «любителями мудрости». Чтобы примирить мышление и чувства, надо было: либо доказать, что можно двигаться и без пустоты, либо доказать, что пустота существует. Ни того ни другого прежние аксиомы не допускали: без пустоты двигаться негде, а пустота не существует, потому что это ничто, а ничто не бывает. Нужны были новые аксиомы. И они были предложены, но другими философами.

Анаксагор (500—428 до н. э.) увидел возможность двигаться без пустоты, при условии одновременного движения всех частиц мира – гомеомерий. И это не противоречило фактам: рука в мешке с зерном и рыба в воде двигаются, хотя пустоты там нет. Правда, для объяснения движения Анаксагор был вынужден обратиться к внешней силе, заставляющей частицы двигаться. Это Нус – мировой ум, который и приводит в движение все частицы, поэтому одни вещи исчезают, другие появляются. Он предположил, что гомеомерии делимы до бесконечности, и в них есть всё, как в семени человека содержатся все его части. В каждой вещи есть всё, но чего-то больше; чего больше, тем вещь и является.

Демокрит (460—370 до н. э.) выбрал другой путь доказательства существования движения. Он доказывал, что пустота существует: она есть небытие, а без небытия бытие не может существовать. [Так утверждая, что это стол, мы тем самым говорим, что рядом стола нет. Бытие стола требует его небытия рядом с ним.] Бытие мы не видим из-за малости размеров неделимых частиц – атомов, из которых состоит всё, а небытие – это пустота, в которой двигаются атомы. [Не надо считать, что Демокрит открыл атомы. Неделимая частица – это только его аксиома, с помощью которой он нашёл логически непротиворечивое доказательство возможности существования движения.] А затем Демокрит использует свою аксиому об атомах для логически непротиворечивого объяснения движения, появления и исчезновения вещей и их многообразия.

Можно убедиться в том, что и дальше история философии – это решение противоречий путём выдвижения аксиом, из которых философы делают выводы по правилам формальной логики.

В некоторых случаях поиск нужных аксиом длился десятилетиями и даже столетиями. Например, Тертулиан (160 – 220) сформулировал проблему зла. Получалось, что Бог или не всемилостивейший, – раз создал зло, или не всемогущий, – раз не уничтожил его. Это противоречие решил Августин(354 – 430). Он предложил аксиому, что Бог зла не создавал, и зла нигде и никогда не было, а то, что мы называем злом, – это отсутствие должного быть добра, которое не сделал человек, потому что он не всемогущий. То есть Августин снял с Бога обвинение в существовании зла. За эту услугу церковь причислила Августина к лику святых.

Как видим, философы, создавая новые картины мира, не нарушали законов и правил формальной логики. Они только применяли другие аксиомы, которые помогали им выйти из противоречия, в котором оказались.