Парадоксы в науке

2. Парадоксы в науке

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

Научное знание обладает определёнными особенностями. Основным требованием к научному знанию является требование его истинности. В современной методологии науки выявлено, что требование истинности является скорее идеалом, методологическим регулятивном познания, нежели реально достижимой целью. Поэтому традиционно при исследовании научного знания выделяют те его характеристики, которые должны быть присущи каждой научной теории. К ним относится предметность, проблемность, обоснованность, интерсубъективность, системность и непротиворечивость [14, С.239].

Требование непротиворечивости нашего знания является центральным в научном мышлении и обычно строго выполняется. При возникновении противоречия в том или ином процессе познания или составе некоторого знания ученые всегда стремятся устранить его. Вместе с тем появление противоречий в процессе познания отнюдь не редкое явление. Почти в каждой более или менее сложной науке возникают так называемые парадоксы или антиномии – противоречия определенных видов [3, С.31]. Как говорил А.В. Сухотин: «Беспарадоксальных наук в настоящее время не существует. Фактически наука и движется от парадокса к парадоксу. Это вехи, которыми обозначены ее взлеты. Но и падения тоже, поскольку выявление парадокса воспринимается вначале как наступление катастрофы, как развал искусно построенного здания» [9].

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

2.1 Парадоксы в логике

Логический парадокс – это положение, которое сначала ещё не является очевидным, однако, вопреки ожиданиям, выражает истину. В античной логике парадоксом называли утверждение, многозначность которого относится, прежде всего, к его правильности или неправильности [13, С.332-333].

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

Констатируя новую теорию, ученый обычно отправляется от фактов, от того, что можно наблюдать на опыте. Но в логике, как уже говорилось, нет экспериментов, нет фактов и нет самого наблюдения. Поэтому возникает вопрос: что в таком случае принимается во внимание при создании новых логических теорий? А.А. Ивин пишет по этому поводу: «Расхождение логической теории с практикой действительного мышления нередко обнаруживается в форме более или менее острого логического парадокса, а иногда даже в форме логической антиномии (это наиболее резкая форма парадокса – рассуждение, доказывающее эквивалентность двух утверждений, одно из которых является отрицанием другого). Парадоксы и антиномии говорят о внутренней противоречивости теории. Именно этим объясняется то значение, которое придаётся парадоксам в логике, и то большое внимание, которым они в ней пользуются» [5, С.309-310].

Рассмотрим некоторые из наиболее известных логических парадоксов.

Королем логических парадоксов по праву считается парадокс «Лжец». Автором этого парадокса считается Евбулид из Милета. В его формулировке данный парадокс звучит следующим образом:

Критянин Эпименид сказал: «Все критяне лжецы». Эпименид сам критянин. Следовательно, он лжец.

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

Было приложено немало усилий объяснить этот странный результат. Имеется, например, такое решение. Почему мы должны считать, что Эпименид говорит одну только ложь и никогда не говорит правды? Точно так же тот, кто считается правдивым, разве всегда утверждает лишь правду? В практике общения ложное обычно перемешано с истиной, и мы не найдем такого отпетого лгуна, который только бы лгал» [9]. Поэтому вполне можно считать, что в данном случае Эпименид говорит правду, все критяне действительно лгуны, а данное высказывание является исключением. Однако подобные рассуждения, конечно, нельзя считать объяснением этого парадокса, это скорее «уход от решения», а не само «решение».

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

В простейшем варианте «Лжеца» человек произносит всего одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сейчас произношу, является ложным». Или: «Это высказывание ложно».

В средние века была распространена такая формулировка данного парадокса:

- Сказанное Платоном – ложно, - говорит Сократ.

- То, что сказал Сократ, – истина, – говорит Платон.

Имеются и современные перефразировки этого парадокса. Например:

На лицевой стороне карточки написаны слова: «На другой стороне карточки записано истинное высказывание». Значит то, что написано на обороте является истинным. Перевернув карточку, мы видим слова: «На другой стороне карточки написано ложное высказывание». Допустим, что утверждение на лицевой стороне карточки истинно. Тогда утверждение на обороте должно быть истинным и, значит, утверждение на лицевой стороне должно быть ложным. Но если утверждение с лицевой стороны ложно, тогда утверждение на обороте также должно быть ложным, и, следовательно, утверждение на лицевой стороне должно быть истинным. В итоге – парадокс [5, С.310-311].

Парадокс лжец произвел громадное впечатление на греков. Ходит даже легенда, что некий Филлит Косский, отчаявшись разрешить этот парадокс, покончил с собой. А один известный древнегреческий логик Диодор Кронос, уже на склоне лет дал обет не принимать пищу до тех пор, пока не найдёт решение «Лжеца», и вскоре умер, так ничего и не добившись.

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

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

В повседневном языке нет различия между этими уровнями: и о действительности, и о языке, мы говорим на одном и том же языке. Однако, если бы у кого-то возникла мысль о необходимости говорить о мире на одном языке, а о свойствах этого языка – на другом, он мог бы воспользоваться двумя разними существующими языками, например, русским и английским. Вместо того чтобы просто сказать: «Утверждение «Стекло не прозрачно» ложно», он произнёс бы: «The assertion «Стекло не прозрачно» is false». При таком использовании двух разных языков сказанное о мире ясно отличалось бы от сказанного о языке, с помощью которого говорят о мире.

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

Если язык и метаязык разграничиваются указанным образом, утверждение «Я лгу» уже не может быть сформулировано. Оно говорит о ложности того, что сказано на русском языке, и, значит, относится к метаязыку и должно быть высказано на английском языке. Оно должно звучать так: «Everything speak in Russian is false», в этом английском утверждении ничего не говорится о нём самом, и никакого парадокса не возникает [5, С.311-312].

Несколько лет назад я бессознательно применила этот метод двух языков в одном из своих стихотворений. Стихотворение называлось «Alles Lüge» (всё ложь), его последняя строчка была такая:

Правда в том, что Alles Lüge – остальное ложь…

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

Таким образом, теперь можно смело утверждать, что «Лжец» – это е локальное изолированное препятствие, устранимое одним изобретательным движением мысли. «Лжец» затрагивает многие наиболее важные темы логики и семантики. Это и определение истины, и истолкования противоречия и доказательства, и целая серия важных различий: между употреблением выражения и его упоминанием, между смыслом имени и обозначаемым им объектом [5, С.315].

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

У знаменитого софиста Протагора, жившего в V в. до н.э., был ученик по имени Еватл, обучавшийся праву. По заключенному между ними договору Еватл должен был заплатить за обучение лишь в том случае, если выиграет свой первый судебный процесс. Если же он этот процесс проиграет, то вообще не обязан платить. Однако, закончив обучение, Еватл не стал участвовать в процессах. Это длилось довольно долго, терпение учителя иссякло, и он подал на своего ученика в суд. Таким образом, для Еватла это был первый процесс. Своё требование Протагор обосновал так:

- Каким бы ни было решение суда, Еватл должен будет заплатить мне. Он либо выиграет этот свой первый процесс, либо проиграет. Если выиграет, то заплатит в силу нашего договора. Если проиграет, то заплатит согласно этому решению.

Судя по всему, Еватл был способным учеником, поскольку он ответил Протагору:

- Действительно, я либо выиграю процесс, либо проиграю его. Если выиграю, решение суда освободит меня от обязанности платить. Если решение суда будет не в мою пользу, значит, я проиграл свой первый процесс и не заплачу в силу нашего договора.

Было предложено много решений данного парадокса.

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

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

На самом деле все эти решения являются несостоятельными. Они представляют собой не более чем уход от существа спора, являются софистическими уловками и хитростями в безвыходной и неразрешимой ситуации. Ни здравый смысл, ни какие-то общие принципы, касающиеся социальных отношений, не способны разрешить данный спор. Проблема здесь заключается в самом договоре, в его внутренней противоречивости. Он требует реализации логически невозможного положения: Еватл должен одновременно и уплатить за обучение, и вместе с тем не платить [5, С.319-321].

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