Текст книги "Современная логика"

7. Современная логика и другие науки

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

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

Тесная связь современной логики с математикой придает особую остроту вопросу о взаимных отношениях этих двух наук. Среди многих точек зрения, высказывавшихся по этому поводу, были и две крайние, ведущие, в общем-то, к тому же самому конечному результату – объединению математики и логики в единую научную дисциплину, сведению их в одну науку. Согласно Г. Фреге, Б. Расселу и их последователям математика и логика – это всего лишь две ступени в развитии той же самой науки. Математика может быть полностью сведена к логике, и такое чисто логическое обоснование математики позволит установить ее истинную и наиболее глубокую природу.

Этот подход к обоснованию математики получил название логицизма. Наиболее законченное изложение он нашел в изданном в 1910–1913 годах трехтомном труде «Principia Mathematica» написанном Б. Расселом совместно с А. Уайтхедом. Сторонники логицизма добились определенных успехов в прояснении основ математики. В частности, было показано, что математический словарь сводится к неожиданно краткому перечню основных понятий, которые принадлежат словарю чистой логики. Вся существующая математика была сведена к сравнительно простой и унифицированной системе исходных, принимаемых без доказательства положений, или аксиом, и правил вывода из них следствий, или теорем.

Однако в целом логицизм оказался утопической концепцией. «Математика не выводима из формальной логики, – подводит итог математик и логик Д. Бочвар, – ибо для построения математики необходимы аксиомы, устанавливающие факты из области объектов, и, прежде всего, – существование в последней определенных объектов. Но такие аксиомы обладают уже внелогической природой».

Другой формой объединения математики и логики в одну науку было объявление математической, или современной, логики одним из разделов современной математики. Многие математики и сейчас еще считают главной – если не единственной – задачей математической логики уточнение понятия математического доказательства и исключение парадоксальных, противоречащих интуиции утверждений из математических теорий. «Математическая логика, – пишет, например, английский логик Р. Гудстейн, – имеет своей целью выявление и систематизацию логических процессов, употребляемых в математическом рассуждении, а также разъяснение математических понятий. Сама она является ветвью математики, использующей математическую символику и технику, ветвью, развивающейся в целом в течение последних ста лет, и притом такой, которая по своей плодотворности, по силе и важности своих открытий вполне может претендовать на место в авангарде современной математики». Тенденция включать математическую логику в число математических дисциплин и видеть в ней только теорию математического доказательства является, конечно, ошибочной. На самом деле задачи логики гораздо шире. Она исследует основы всякого правильного рассуждения, а не только строгого математического доказательства, и ее интересует связь между посылками и следствиями в любых областях рассуждения и познания, а не только в одной лишь математике. Математическая логика, истолкованная исключительно как один из разделов математики, не только лишается способности прояснять и уточнять основания математики, но и сама становится непостижимой.

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

Современная логика тесно связана также с кибернетикой – наукой о закономерностях управления процессами и системами в любых областях: в технике, в живых организмах, в обществе. Основоположник кибернетики Н. Винер не без оснований подчеркивал, что само возникновение кибернетики было бы немыслимо без математической логики. Автоматика и электронно-вычислительная техника были бы невозможны без использования алгебры логики – этого исторически первого раздела современной логики. В управляющих схемах, применяемых в ЭВМ, значительное место занимают релейно-контактные схемы, моделирующие логические операции. Описание таких операций, даваемое логикой, способствует детальному анализу логического строения мысли и открывает поразительные перспективы автоматизации логических процессов, богатые возможности использовать для их осуществления автоматические машины. «Математическая логика, – заключает математик Г. Поваров, – является необходимым инструментом для машинизации умственного труда».

Современная логика находит широкие приложения не только в кибернетике, но и во многих других областях науки и техники. Очерчивая эти приложения, американский логик Э. Беркли пишет: «Математическая логика используется при исследовании правил, условий и договоров, при проектировании электрических схем для вычислительных машин, телефонных систем и регулирующих устройств, при программировании автоматических вычислительных машин и вообще при описании и проектировании многих типов схем и механизмов». Столь широкие технические приложения современной логики покажутся особенно впечатляющими, если вспомнить, что еще лет пятьдесят тому назад она казалась большинству весьма абстрактной математической дисциплиной, далекой от практического применения.

Направления современных логических исследований

Сейчас логический анализ правильного мышления активно ведется в целом ряде как давно освоенных, так и новых областей. Самым общим образом их можно обозначить так:

1. Исследование логических особенностей дедуктивных наук. Этот раздел достаточно глубоко и всесторонне разработан математиками и логиками. Многие результаты, полученные здесь (например, теорема Гёделя о неполноте и др.) имеют принципиальное философско-методологическое значение.

2. Применение логического анализа к опытному знанию. К этой сфере относятся изучение логической структуры теорий, способов их эмпирического обоснования, исследование различного рода правдоподобных рассуждений (индуктивный вывод, аналогия, моделирование, методы установления причинной связи на основе наблюдения и эксперимента и т. п.), трудностей применения теорий на практике и т. д. Особое место занимают проблемы, связанные с изучением смыслов и значений теоретических и эмпирических терминов, с анализом семантики таких ключевых терминов, как закон, факт, теория, система, измерение, вероятность, необходимость и т. д.

В последнее время существенное внимание уделяется логическому исследованию процессов формирования, роста и развития знания. Они имеют общенаучный характер, но пока изучаются преимущественно на материале естественнонаучных теорий. Были предприняты, в частности, попытки построения особой диахронической логики для описания развития знания.

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

4. Логический анализ приемов и операций, постоянно используемых во всех сферах мыслительной деятельности. К ним относятся объяснение, понимание, предвидение, определение, обобщение, классификация, абстрагирование, идеализация, сравнение, экстраполяция, редукция и т. п.

5. Применение логического анализа для исследовании наиболее важных категорий («причинность», «детерминизм», «онтологическая, или физическая, необходимость», «научный закон», объяснение, предсказание, понимание и др.).

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

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

Глава 2
Слова и вещи

1. Язык как непосредственная действительность мышления

Французский философ XVII века Р. Декарт доказывал, что способность нормально использовать язык является единственным достоверным признаком того, что некоторое существо обладает человеческим разумом. Эту способность невозможно обнаружить ни у автомата, ни у животного. Животное, впрочем, тоже представляет собой по Декарту разновидность автомата, наделенного рефлексами. Во всех отношениях, кроме языка, автомат может обнаруживать очевидные признаки интеллекта, иногда превосходящие соответствующие признаки человека. Но к языку ни организм, ни машина, лишенные разума, не будут способны, даже если наделить их физиологическими органами, необходимыми для производства речи.

Эта гипотеза о принципиальной неспособности животных говорить подобно человеку вызвала нескончаемые нападки на Р. Декарта и его последователей и заставила их изобретать все новые и новые доводы в свою защиту.

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

Л. Расин, сын великого французского драматурга, воспользовался доказательством от противного. Если бы животные обладали душой и были способны чувствовать, рассуждал он, разве они остались бы безразличными к несправедливому публичному оскорблению, нанесенному им Декартом? Разве они не восстали бы в гневе против вождя и его секты, которая так принизила их? Поскольку нет никаких свидетельств особой обиды животных на Декарта и его «секту», значит, животные просто не в состоянии обдумать его аргументацию и как-то ответить на нее.

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

Язык возникает одновременно с сознанием и мышлением. Являясь чувственно воспринимаемой оболочкой мышления, язык обеспечивает мысли человека реальное существование. Вне такой оболочки мысль не только недоступна для других, ее вообще нет. Язык – это непосредственная действительность мысли. Как и мышление, язык диалогичен: он существует для отдельного человека лишь постольку, поскольку существует для других.

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

Мышление и использование языка – две предполагающие друг друга стороны, как процесса познания, так и процесса общения. Язык участвует не только в выражении мысли, но и в самом ее формировании. Нельзя противопоставлять «чистое», внеязыковое мышление и его «вербализацию», последующее выражение в языке. Вместе с тем язык и мышление не тождественны. Каждая из сторон единства, составляемого ими, относительно самостоятельна и обладает своими специфическими законами.

Иногда предполагается, что единственным способом получения подлинной истины является мистическое «вживание» в предмет, позволяющее в одном акте постичь его. При этом мышлению с помощью языка противопоставляется непосредственное, внеязыковое познание. Задача языка, по мнению последователей этой концепции, сводится только к передаче – и притом обязательно в искаженной форме – результатов интуитивного постижения. Очевидно, что настаивание на интуитивном характере нашего познания ведет, так или иначе, к противопоставлению мышления и языка.

Для современной науки, в особенности для философии, характерно повышенное внимание к природе, механизму и функциям языка. Проблема языка стала в XX веке одной из центральных философских проблем. Сложилась и даже сделалась весьма влиятельной, особенно в Англии и США, так называемая «лингвистическая философия». Положению, что язык должен быть предметом философского исследования, она придала форму утверждения, что он представляет собой единственный или, во всяком случае, наиболее важный предмет такого исследования. Философия оказалась в итоге сведенной к «критике языка», к прояснению и отграничению друг от друга туманных и запутанных мыслей.

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

Вместе с тем, очевидно, что анализ языка не может быть единственной задачей философии. Этот анализ не сводится также к прояснению логической структуры языка. Язык не существует сам по себе. Он связан с мышлением и действительностью, и его невозможно понять вне этой связи. Важной поэтому является не только логическая проблематика языка, но и исследование его роли в социальной жизни, в процессе познания окружающего мира.

2. Запутанный мир имен

Особый интерес среди разных языковых выражений представляют имена. Они есть везде. В обычном кругу поименовано все. Попадая в совершенно незнакомое место, человек тут же снабжает его ярлыком: «Незнакомое место». Сталкиваясь с тем, что никем еще не наблюдалось, он первым делом дает имя: «То, что ранее не наблюдалось». Даже не имеющая имени вещь оказывается обладающей именем – она так и называется: «Вещь без имени».

Без имен нет, в сущности, языка как средства познания и общения. Лишенный имен язык отрывается от реального мира, теряет связи с отдельными вещами и событиями и застывает в пустом схематизме. В конечном счете, он оказывается языком, не говорящим конкретно ни о чем.

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

Первобытные люди так и рассматривали свои имена как нечто конкретное, реальное и часто священное. Французский психолог Л. Леви-Брюль, создавший в начале прошлого века концепцию первобытного мышления, считал такое отношение к именам важным фактом, подтверждающим мистический и «внелогический» характер такого мышления. Он указывал, в частности, что индеец рассматривает свое имя не как простой ярлык, но как отдельную часть своей личности, как нечто вроде своих глаз или зубов. Он верит, что от злонамеренного употребления его имени он так же верно будет страдать, как и от раны, нанесенной какой-нибудь части его тела. Это верование встречается у разных племен от Атлантического до Тихого океана. На побережье Западной Африки существуют верования в реальную и физическую связь между человеком и его именем; можно ранить человека, пользуясь его именем. Настоящее имя царя является тайным.

В библейской книге «Бытие» описывается сотворение мира: «И сказал Бог: да будет свет. И стал свет. И увидел Бог свет, что он хорош, и отделил Бог свет от тьмы. И назвал Бог свет днем, а тьму ночью… И сказал Бог: да будет твердь посреди воды, и да отделяет она воду от воды… И стало так. И назвал Бог твердь небом…» Примечательна в этой фантастической истории наивная уверенность в том, что имена изначально, «от сотворения» принадлежат вещам. Бог не только последовательно, шаг за шагом создает мир, но и параллельно именует создаваемое им. Сотворение мира оказывается одновременно и сотворением языка, во всяком случае, его «именующей» части. Без имен мир был бы как-то неполон. Процесс именования весьма ответственное дело: Бог не передоверяет его кому-то и не пускает на самотек, а занимается им лично.

В другом месте Библии рассказ ведется так, что Адам, осматривая «райские кущи», видит имена вещей как бы начертанными на самих вещах.

Эти наивные представления об именах как свойствах вещей не являются чем-то оставшимся целиком в далеком и темном прошлом. Рецидивы этих представлений встречаются даже сейчас. Астроном В. Воронцов-Вельяминов вспоминает, например, что на популярных лекциях слушатели не раз задавали ему вопрос: «Мы допускаем, что можно измерить и узнать размеры, расстояние и температуру небесных тел; но как, скажите, узнали вы названия небесных светил?»

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

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

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

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

В романе Ф. Рабле «Гаргантюа и Пантагрюэль» повествуется о том, что Гаргантюа прочел трактат «О способах обозначения» с комментариями Пустомелиуса, Оболтуса, Пруд-пруди, Галео, Жана Теленка, Громешуцена и пропасть других. И все это он так хорошо усвоил, что на экзамене сумел ответить все наизусть в обратном порядке и доказал матери как дважды два, что «О способах обозначения» не есть наука.

В этом эпизоде звучит явная насмешка над схоластической ученостью, обычно вырождающейся в бесконечное мелкое комментирование. Но очевидна также ирония над самой теорией обозначения: она настолько пуста, что ничего не теряет в своем содержании, даже если излагается «задом наперед». Уже во времена Ф. Рабле подобная ирония была, в общем-то, несправедливой. Проблема обозначений являлась одной из наиболее живых и разработанных в средневековой логике.

С тех пор прошло несколько веков. Логический анализ имен заметно продвинулся вперед. Особенно важные результаты были получены в изучении имен в формализованных языках. Многое стало гораздо яснее и в отношении имен в естественных языках. Теория обозначения сделалась полноправным разделом современной логики.

Однако и сейчас эта теория лишена единства и универсальности. Она слагается из целого ряда концепций, в чем-то близких друг другу, но во многом и конфликтующих одна с другой. Ни одна из них не охватывает и не объясняет с единой точки зрения всех многообразных имен. Отсутствие единства в представлениях об именах настолько существенно, что нет твердости и единообразия даже в самом употреблении понятия «имя». По-разному решается вопрос, какие выражения языка относятся к именам, а какие нет. От автора к автору меняются классификации имен. Но больше всего споров и несогласия по поводу содержания, или значения, имен. Что связывается с именем в языке и в самом мире? Какие имена имеют одинаковое значение, а какие разное? В каких контекстах они взаимозаменимы? И так далее, и тому подобное до бесконечности…

Отсутствие даже намека на какую-то «окончательность» логической теории имен и единообразие суждений об именах и их значениях является отражением общего уровня логического анализа языка. Имена – один из наиболее важных элементов языка. И уровень, и стиль рассуждений о них не может принципиально отличаться от общего уровня и стиля рассуждений о языке в целом. Последние же менее всего создают впечатление окончательного синтеза и завершенности.

Нужно иметь в виду также то, что само обычное употребление имен далеко от определенности и последовательности. Всякая теория стремится представить исследуемые объекты такими, какими они являются па самом деле. Естественно, что и логическая теория не должна вносить от себя в расплывчатое, непоследовательное и фрагментарное употребление обычных имен какую-то специальную систему и порядок.

Иначе обстоит дело в случае искусственных языков. Употребление в них имен или соответствующих именам выражений не обязано повторять во всех деталях и случайностях употребление имен в естественном языке. «Искусственные» имена можно ввести так, что они будут соответствовать самым высоким требованиям и стандартам, какие только можно предъявить к именам.