Формальная и диалектическая логика: сравнение. Часть 1
Формальная и диалектическая логика: сравнение
(Фрагмент из книги "ЧТО ТАКОЕ ДИАЛЕКТИКА. Философский очерк/изд. переработанное и доп. - ноябрь 2011")
Автор: А.А. Ивин
[часть 1] [ часть 2]
Слово «логика» употребляется довольно часто, но в разных значениях. Нередко говорят о логике событий, логике характера и т.п. В этих случаях имеется в виду определенная последовательность и взаимозависимость событий или поступков. «Быть может, он безумец, - говорит один из героев рассказа Г.К. Честертона, - но в его безумии есть логика. Почти всегда в безумии есть логика, Именно это и сводит человека с ума». Здесь «логика» означает наличие в мыслях определенной общей линии, от которой человек не в силах отойти.
Как раз в этом смысле употреблялось слово «логика» теми, кто пытался, вслед за Гегелем, сконструировать некую «диалектическую логику», противостоящую (формальной) логике и допускающую противоречия в мышлении. Слово «логика» употребляется также в связи с процессами мышления. Так, мы говорим о логичном и нелогичном мышлении, имея в виду его определенность, последовательность, доказательность и т.п. Кроме того, логика - особая наука о мышлении. Она возникла еще в IV в. до н.э., а позднее стала называться также формальной логикой.
Задачи формальной логики как науки
Самым общим образом логику можно определить как науку о законах и операциях правильного мышления. Трудно найти более многогранное и сложное явление, чем человеческое мышление. Оно изучается многими науками, и логика - одна из них. Всякое движение нашей мысли, постигающей истину, добро и красоту, опирается на логические законы. Мы можем не осознавать их, но вынуждены всегда им следовать.
Сфера конкретных интересов логики существенно менялась со временем, но основная цель всегда оставалась неизменной: исследование того, как из одних утверждений можно выводить другие. Логика занимается также многими другими вопросами: операциями определения и деления (классификации), проблемами значения выражений языка, операциями доказательства и опровержения, правдоподобными рассуждениями, дающими из истинных посылок только вероятное заключение, и др. Но основная задача логики - определить «что из чего следует». Логическое исследование призвано выявить и систематизировать схемы правильного рассуждения. Эти схемы представляют собой логические законы. Рассуждать логично - значит рассуждать в соответствии с законами логики.
Отсюда понятна важность данных законов. Об их природе, источнике их обязательности высказывались разные точки зрения. Ясно, что логические законы не зависят от воли и сознания человека. Их принудительная сила для человеческого мышления объясняется тем, что они являются, в конечном счете, отображением в голове человека наиболее общих отношений самого реального мира, практики его познания и преобразования человеком. Именно поэтому законы логики кажутся самоочевидными и как бы изначально присущими человеческой способности рассуждать.
Два основных этапа в развитии логики
Рассуждение - это всегда принуждение. Размышляя, мы постоянно ощущаем давление и несвободу. От нашей воли зависит, на чем остановить свою мысль. В любое время мы можем прервать начатое размышление и перейти к другой теме. Но если мы решили провести его до конца, то сразу же попадем в сети необходимости, стоящей выше нашей воли и наших желаний. Согласившись с одними утверждениями, мы вынуждены принять и те, что из них вытекают, независимо от того, нравятся они нам или нет, способствуют нашим целям или, напротив, препятствуют им. Допустив одно, мы автоматически лишаем себя возможности утверждать другое, несовместимое с допущенным.
Если мы, допустим, убеждены, что все металлы проводят электрический ток, мы должны признать также, что вещества, не проводящие ток, не относятся к металлам. Уверив себя, что каждая птица летает, мы вынуждены не считать птицами курицу и страуса. Из того, что все люди смертны и Сократ является человеком, мы обязаны заключить, что он смертен. В чем источник этого постоянного принуждения? Какова его природа? Что именно следует считать несовместимым с принятыми уже утверждениями и что должно приниматься вместе с ними? Какие вообще принципы лежат в основе деятельности нашего мышления? Над этими вопросами человек задумался очень давно. Из этих раздумий выросла особая наука о мышлении - логика.
Платон настаивал на божественном происхождении человеческого разума. Бог создал зрение, говорил он, и вручил его нам, чтобы мы видели на небе движение Разума мира и использовали его для руководства движениями нашего собственного разума. Человеческий разум - это только воспроизведение той разумности, которая господствует в мире и которую мы улавливаем благодаря милости бога.
Первый развернутый и обоснованный ответ на вопрос о природе и принципах человеческого мышления дал ученик Платона Аристотель. «Принудительную силу наших речей» он объяснил существованием особых законов - логических законов мышления. Именно они заставляют принимать одни утверждения вслед за другими и отбрасывать не совместимое с принятым. Подчеркивая безоговорочность логических законов и необходимость всегда следовать им, Аристотель с грустью замечал: «Мышление - это страдание», ибо «коль вещь необходима, в тягость она нам». Сейчас мы, конечно, думаем иначе: чем больше законов природы и общества нам известно, тем шире наша свобода. С работ Аристотеля началось систематическое изучение логики и ее законов. Раньше логики возникли, пожалуй, только математика, философия и теория аргументации, называвшаяся в древности «риторикой».
Интересно отметить, что почти одновременно с древнегреческой логикой логическая теория мышления начала складываться в Древней Индии и в Древнем Китае. Однако развивалась она там медленно и неуверенно и за многие века мало чего добилась. Проблема в своеобразии культуры данных регионов, и, прежде всего, в отсутствии острой необходимости в строго рациональном мышлении. Для развития логики имеется хорошая почва в тех обществах, которые строятся на принципах демократии и в которых процедура убеждения опирается не на традицию и, тем более, не на принуждение или прямое насилие, а главным образом на доказательную речь.
Эволюция каждой науки носит характер чередования периодов «спокойного» развития научной дисциплины и ее резкого преобразования. Долгие периоды медленного и постепенного накопления знания в рамках одной и той же понятийной системы сменяются довольно кратковременными, но резкими, можно сказать скачкообразными, периодами радикально новых открытий и ломки всей понятийной структуры научной дисциплины. «Скачки» в процессе развития научной дисциплины принято называть «научными революциями».
Примерами научных революций могут служить переход от геоцентрической системы Птолемея к гелиоцентрической системе Коперника, переход от представлений об особой «огненной материи» (флогистоне) к теории окисления Лавуазье, переход от классической механики Ньютона к общей теории относительности Эйнштейна и др. Научная революция в психологии, сделавшая ее самостоятельной наукой и отделившая ее от философии, произошла во второй половине XIX в. и была связана с проникновением в психологию эмпирического метода.
Современная логика, называемая также «математической» или «символической», возникла на стыке двух очень разных наук: философии, частью которой всегда считалась логика, и математики. Революция в логике, произошедшая в конце XIX - начале XX вв. и в корне изменившая ее лицо, была связана, прежде всего, с проникновением в «философскую логику» методов, традиционно применявшихся в математике.
Научная революция в конце XIX - начале XX вв. в корне изменила стиль рассуждений и методы этой науки и придала ей как бы второе дыхание. Теперь логика - одна из наиболее динамичных наук, образец строгости и точности даже для математических теорий.
В длинной и богатой событиями истории логики отчетливо выделяются, таким образом, два основных этапа. Первый - от древнегреческой логики до возникновения в конце XIX - начале XX веков совершенно новой логики; второй - с этого времени до наших дней. Первый этап именуется традиционной логикой, второй - современной (математической, символической) логикой.
Традиционная логика является не особым направлением, а предысторией современной логики. Все собственно логическое содержание традиционной логики вошло в состав современной логики и составило ее незначительную и не особенно важную часть. На первом этапе логика развивалась очень медленно. Обсуждавшиеся в ней проблемы мало отличались от проблем, поставленных еще Аристотелем. Это дало повод И. Канту в конце XVШ в. утверждать, что логика, подобно геометрии Евклида, является завершенной наукой, не продвинувшейся со времени Аристотеля ни на один шаг и не имеющей собственной истории. Отличительная черта человека - его разумность, или, как говорит философия, рациональность. Совокупность принципов мышления, охватываемых понятием рациональности, не является вполне ясной и не имеет отчетливой границы. Но очевидно, что рациональность предполагает, прежде всего, соответствие требованиям логики. Хотя эти требования также не являются однозначно определенными, они составляют ядро рациональности. Логика - необходимый инструмент анализа законов и операций правильного мышления и, соответственно, незаменимое средство получения нового знания.
Основной задачей логики является отделение правильных способов умозаключения (вывода) от неправильных. Правильные выводы называются также обоснованными, последовательными или логичными. Правильное умозаключение - умозаключение, схема которого представляет собой закон логики, в силу чего из обоснованных (в случае описательный высказываний - истинных) посылок с необходимостью вытекает обоснованное (истинное) следствие. Если посылки являются обоснованными, можно сказать, что правильное умозаключение всегда дает из таких посылок обоснованное заключение. Правильным является, например, следующее умозаключение, использовавшееся в качестве стандартного примера еще в Древней Греции:Все люди смертны. Все греки люди. Следовательно, все греки смертны.Первые два высказывания - это посылки, третье - умозаключение.
Направления современных логических исследований
Сейчас логический анализ правильного мышления активно ведется в целом ряде как давно освоенных, так и новых областей. Самым общим образом их можно обозначить так:
1. Исследование логических особенностей дедуктивных наук. Этот раздел достаточно глубоко и всесторонне разработан математиками и логиками. Многие результаты, полученные здесь (например, теорема Гёделя о неполноте и др.) имеют принципиальное философско-методологическое значение.
2. Применение логического анализа к опытному знанию. К этой сфере относятся изучение логической структуры теорий, способов их эмпирического обоснования, исследование различного рода правдоподобных рассуждений (индуктивный вывод, аналогия, моделирование, методы установления причинной связи на основе наблюдения и эксперимента и т.п.), трудностей применения теорий на практике и т.д. Особое место занимают проблемы, связанные с изучением смыслов и значений теоретических и эмпирических терминов, с анализом семантики таких ключевых терминов, как закон, факт, теория, система, измерение, вероятность, необходимость и т.д. В последнее время существенное внимание уделяется логическому исследованию процессов формирования, роста и развития знания. Они имеют общенаучный характер, но пока изучаются преимущественно на материале естественнонаучных теорий. Были предприняты, в частности, попытки построения особой диахронической логики для описания развития знания.
3. Применение логического анализа к оценочно-нормативному знанию. Сюда относятся вопросы семантики оценочных и нормативных понятий, изучение структуры и логических связей высказываний о ценностях, способов их обоснования, анализ моральных, правовых и других кодексов и т.д. Тема ценностей стала одной из центральных в сегодняшней методологии. Знание не сводимо к истине, оно включает также ценности. Без них нет ни гуманитарной, ни естественной науки. Всякая научная теория включает ценности, и притом в самой разнообразной форме: в форме иерархии своих положений, в форме ценностных составляющих господствующей парадигмы, (номинальных) определений, конвенций и т.д. Интенсивные исследования в этой области показали несостоятельность неопозитивистского требования исключения ценностей из науки. Это требование несовместимо не только с реальной практикой этики, эстетики, политэкономии и подобных им дисциплин непосредственно занятых обоснованием и утверждением определенных ценностей, но и с практикой научного познания в целом, которое, как и всякая человеческая деятельность, немыслимо без целей и иных ценностей. В изучении внутренних и внешних ценностей научных теорий важную роль призвана играть и логика.
4. Логический анализ приемов и операций, постоянно используемых во всех сферах мыслительной деятельности. К ним относятся объяснение, понимание, предвидение, определение, обобщение, классификация, абстрагирование, идеализация, сравнение, экстраполяция, редукция и т.п.
5. Применение логического анализа для исследовании наиболее важных категорий («причинность», «детерминизм», «онтологическая, или физическая, необходимость», «научный закон», объяснение, предсказание, понимание и др.).
Этот краткий перечень областей и проблем современных логических исследований не является, конечно, исчерпывающим. Но уже он показывает как широту интересов современной логики, так и сложность стоящих перед нею задач. Пока у читателя есть только общее представление о том, чем занимается современная логика. Трудно говорить, поэтому о каких-либо деталях ее отношений с другими науками. Нет также возможности привести конкретные примеры применений логики для решения содержательно интересных проблем. К этим вопросам целесообразно вернуться позднее.
Закон противоречия
В логике, как и во всякой науке, главное - законы. Логических законов бесконечно много, и в этом ее отличие от большинства других наук. Однородные законы объединяются в логические системы, которые тоже обычно именуются «логиками». Каждая из них дает описание логической структуры определенного фрагмента, или типа, наших рассуждений. Без логического закона нельзя понять, что такое логическое следование, а тем самым - и что такое доказательство. Законы логики составляют тот невидимый железный каркас, на котором держится последовательное рассуждение и без которого оно превращается в хаотическую, бессвязную речь. Один из наиболее известных законов логики - закон противоречия. Его сформулировал еще Аристотель, назвав «самым достоверным из всех начал, свободным от всякой предположительности». Закон говорит о высказываниях, одно из которых отрицает другое, а вместе они составляют логическое противоречие. Например: «Пять - четное число» и «Пять - нечетное число».
Идея, выражаемая законом противоречия, проста: высказывание и его отрицание не могут быть одновременно истинными. Пусть А обозначает произвольное высказывание, не-А - отрицание этого высказывания. Тогда закон можно представить так: «Неверно, что А и не-А». Неверно, например, что Солнце - звезда и Солнце не является звездой, что человек - разумное существо и вместе с тем не является разумным и т.п.
Если ввести понятия истины и лжи, закон противоречия можно сформулировать так: никакое высказывание не является вместе истинным и ложным. В этой версии закон звучит особенно убедительно. Истина и ложь - это две несовместимые характеристики высказывания. Истинное высказывание соответствует действительности, ложное не соответствует ей. Тот, кто отрицает закон противоречия, должен признать, что одно и то же высказывание может соответствовать реальному положению вещей и одновременно не соответствовать ему. Трудно понять, что означают в таком случае сами понятия истины и лжи.
Иногда закон противоречия формулируют следующим образом: из двух противоречащих друг другу высказываний одно является ложным. Эта версия подчеркивает опасность, связанную с противоречием. Тот, кто допускает противоречие, вводит в свои рассуждения или в свою теорию ложное высказывание. Тем самым он стирает границу между истиной и ложью, что, конечно же, недопустимо. Один из законов логики говорит: из противоречивого высказывания логически следует любое высказывание. Появление в какой-то теории противоречия ведет в силу этого закона к ее разрушению. В ней становится доказуемым все, что угодно, былое смешивается с небылицами. Ценность такой теории равна нулю.
Конечно, в реальной жизни все обстоит не так страшно, как это рисует данный закон. Ученый, обнаруживший в какой-то научной теории противоречие, не спешит обычно воспользоваться услугами закона, чтобы дискредитировать ее. Чаще всего противоречие отграничивается от других положений теории, входящие в него утверждения проверяются и перепроверяются до тех пор, пока не будет выяснено, какое из них является ложным. В конце концов ложное утверждение отбрасывается, и теория становится непротиворечивой. Только после этого она обретает уверенность в своем будущем. Противоречие - это еще не смерть научной теории. Но оно подобно смерти. Можно ли описать движение без противоречия? Иногда отвечают, что такое описание не схватило бы самой сути движения - последовательной смены положения тела в пространстве и во времени. Движение внутренне противоречиво и требует для своего описания оборотов типа: «Движущееся тело находится в данном месте, и движущееся тело не находится в данном месте». Поскольку противоречиво не только механическое движение, но и всякое изменение вообще, любое описание явлений в динамике должно быть - при таком подходе - внутренне противоречивым.
Разумеется, этот подход представляет собой недоразумение. Можно просто сказать: «Дверь полуоткрыта». Но можно заявить: «Дверь открыта и не открыта», имея при этом в виду, что она открыта, поскольку не является плотно притворенной, и вместе с тем не открыта, потому что не распахнута настежь.Подобный способ выражения представляет собой, однако, не более чем игру в риторику и афористичность. Никакого действительного противоречия здесь нет, так как нет утверждения и отрицания одного и того же, взятого в одном и том же отношении. «Березы опали и не опали», - говорят одни, подразумевая, что некоторые березы уже сбросили листву, а другие нет. «Человек и ребенок, и старик», - говорят другие, имея в виду, что один и тот же человек в начале своей жизни - ребенок, а в конце ее - старик. Действительного противоречия в подобных утверждениях, конечно же, нет. Точно так же, как его нет в словах песни: «Речка движется и не движется... Песня слышится и не слышится...»
Те примеры, которые обычно противопоставляют закону противоречия, не являются подлинными противоречиями и не имеют к нему никакого отношения. Логические противоречия недопустимы в науке, но установить, что конкретная теория не содержит их, непросто. То, что в процессе развития и развертывания теории не встречено никаких противоречии, еще не означает, что их в самом деле нет. Научная теория - очень сложная система утверждений. Не всегда противоречие удается обнаружить относительно быстро путем последовательного выведения следствий из ее положений. Вопрос о непротиворечивости становится яснее, когда теория допускает аксиоматическую формулировку, подобно геометрии Евклида или механике Ньютона. Для большинства аксиоматизированных теорий непротиворечивость доказывается без особого труда. Есть, однако, теория, в случае которой десятилетия упорнейших усилий не дали ответа на вопрос, является она непротиворечивой или нет. Это математическая теория множеств, лежащая в основе всей математики.
Верно заметив, пишет К. Поппер, что противоречия чрезвычайно плодотворны и действительно являются движущей силой любого прогресса в мышлении, диалектики делают неверный вывод, что нет нужды избегать столь плодотворных противоречий. Они даже утверждают, что противоречий вообще нельзя избежать, поскольку они встречаются в мире всегда и повсюду. Данное утверждение равносильно покушению на так называемый закон противоречия (или, более полно, закон исключения противоречий) традиционной логики, который гласит, что два противоречащих друг другу утверждения не могут быть истинными одновременно или что утверждение, представляющее собой конъюнкцию двух противоречащих утверждений, всегда должно отвергаться как ложное исходя из чисто логических оснований. Ссылаясь на плодотворность противоречий, диалектики заявляют, что от этого закона традиционной логики следует отказаться. Они заявляют, что диалектика приводит тем самым к новой логике - диалектической логике.
Диалектика, которую я до сих пор характеризовал как принадлежащую исключительно к области истории - как теорию исторического развития мышления, - оказывается в результате совсем другим учением: она оказывается одновременно и логической теорией, и - как мы скоро увидим - общей теорией мира.
Эти огромные претензии не имеют, однако, под собой ни малейшего основания. Действительно, они опираются лишь на неопределенную и туманную манеру речи, характерную для диалектиков. Диалектики говорят, что противоречия плодотворны и способствуют прогрессу, и мы согласились, что в каком-то смысле это верно. Верно, однако, только до тех пор, пока мы полны решимости не терпеть противоречий и изменять любую теорию, которая их содержит, другими словами - никогда не мириться с противоречиями. Только благодаря этой нашей решимости критика, то есть выявление противоречий, побуждает нас к изменению теорий и тем самым - к прогрессу.
Нельзя не подчеркнуть со всей серьезностью, что стоит только изменить эту установку и примириться с противоречиями, как они утратят всякую плодотворность. Они больше не будут способствовать интеллектуальному прогрессу.
Действительно, если мы готовы мириться с противоречиями, то никакие противоречия, выявляемые в наших теориях, уже не заставят нас изменить последние. Другими словами, в этом случае всякая критика (то есть выявление противоречий) утратит силу. Критику будут встречать словами: “А почему бы и нет?”, а то и восторженным “Вот они!”, то есть все сведется к восторгу по поводу замеченных противоречий. Это значит, что если мы готовы примириться с противоречиями, то критика, а вместе с нею и всякий интеллектуальный прогресс, должны прийти к концу.
Поэтому мы должны сказать диалектику: нельзя сидеть сразу на двух стульях; либо он ценит противоречия за их плодотворность - и тогда не должен принимать их как должное; либо же он готов примириться с противоречиями - и тогда они станут бесплодными, а рациональная критика, дискуссия и интеллектуальный прогресс окажутся невозможными.
Единственной «силой», движущей диалектическое развитие, является, таким образом, наша решимость не мириться с противоречиями между тезисом и антитезисом. Вовсе не таинственная сила, заключенная в этих двух идеях, не загадочное напряжение, якобы существующее между ними, способствуют развитию, а исключительно наша решимость не признавать противоречий заставляет нас искать какую-то новую точку зрения, позволяющую избежать противоречий. И это совершенно оправданная решимость. Ибо легко показать, что если бы человек примирился с противоречием, то ему пришлось бы отказаться от всякой научной активности, что означало бы полный крах науки. Это можно сделать, доказав, что в случае признания двух противоречащих друг другу высказываний придется признать какое угодно высказывание: ведь из пары противоречащих высказываний можно с полным правом вывести все что угодно (6).
Примечания:
(6) См.: Поппер К. Что такое диалектика // Вопросы философии, 1995. № 1. С. 130-131.
[...]
(продолжение следует)
© Александр Ивин. ЧТО ТАКОЕ ДИАЛЕКТИКА. Философский очерк//Глава 7. Диалектика в коммунистической культуре/ § 5. Формальная и диалектическая логика: сравнение (переработанное и доп.) - ноябрь 2011г.
Источник: Впервые опубликовано в Community of Dialectical Logic (переработанное и доп.) http://dia-logic.livejournal.com/163978.html