Карл Поппер - Объективное знание. Эволюционный подход

• Название: Объективное знание. Эволюционный подход
• Автор: Карл Поппер
• Издательство: Эдиториал УРСС
• Жанр: Философия
• Год: 2002
• ISBN: 5-8360-0327-0

Книга выдающегося философа и логика XX века Карла Раймунда Поп-пера «Объективное знание» вышла первым изданием в 1972, вторым — исправленным и дополненным, с которого сделан русский перевод, в 1979 г.

В ряду сочинений Поппера она занимает особое место: это — третья, после «Логики научного исследования» (1934, 1959) и «Предположений и опровержений» (1963), его классическая работа по философии, теории познания и логике науки. В ней подводятся итоги предшествующих исследований Поп-пером проблем индукции, фальсификационизма, критического рационализма, правдоподобности научных теорий и др., а также излагаются полученные к моменту ее написания результаты его разработок теории трех миров, роли понятия «истина» в философии науки, проблем эволюционной эпистемологии и т.д. Последние проблемы были в центре внимания Поппера до конца его жизни.

В русском переводе этой книги публикуется «Послесловие к русскому изданию Объективного знания», написанное одним из учеников, соавторов и ближайших друзей Карла Поппера Дэвидом Миллером.

---

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

Хотя у нас нет никакого критерия истинности и никакого способа даже быть уверенным в ложности некоторой теории, все же легче выяснить, что данная теория ложна, чем выяснить, что она истинна (как я подробно разъяснил в другом месте{53}). У нас есть даже серьезные основания полагать, что большинство наших теорий — в том числе и самых лучших, — строго говоря, ложны, ибо они чрезмерно упрощают или идеализируют факты. Вместе с тем ложное предположение может быть ближе к истине либо дальше от нее. И таким образом мы приходим к идее близости к истине, большего или меньшего приближения к истине — иначе говоря, к идее правдоподобности ("verisimilitude"). Я предпринял попытку показать, что эта идея может быть реабилитирована аналогично тому, как Тарский реабилитировал идею истины как соответствия фактам [291].

Для этого я использовал в основном две упомянутые ранее идеи Тарского. Одна из них — это идея истины. Другая — идея логического следствия или, точнее, множества логических следствий некоторого предположения, или содержания предположения.

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

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

Глава 9 Философские комментарии к теории истины Тарского{54}

I

Главной нашей заботой в науке и в философии является — или должен бы быть — поиск истины на пути смелых догадок и критического поиска того, что ложно в различных наших конкурирующих теориях [292].

Такого взгляда я придерживался тридцать семь лет назад, в июле 1934 года, когда познакомился с Альфредом Тарским на конференции в Праге, организованной «Венским кружком». Я должен, однако, подчеркнуть, что в те дни, до того, как я узнал от Тарского о его теории истины, моя интеллектуальная совесть была далеко не спокойна по поводу допущения, что главной нашей заботой является поиск истины. В моей книге "Logik der Forschung" (1934), гранки которой я привез в Прагу и показал Тарскому (хоть я и не уверен, что они его заинтересовали), я писал: «стремление к знанию и поиск истины остаются сильнейшими стимулами научного открытия»[293]. И все-таки я был неспокоен по поводу понятия истины, и в своей книге я посвятил целый раздел попытке защитить понятие истины как безвредное и соответствующее здравому смыслу, утверждая при этом, что мы, если захотим, можем вообще обойтись без него в методологии науки, говоря взамен о выводимости и тому подобных логических отношениях[294].

Причиной моего беспокойства в связи с понятием истины было, конечно, то, что это понятие в течение некоторого времени подвергалось нападкам ряда философов, причем на весьма серьезных основаниях. Меня пугал не столько парадокс лжеца, сколько трудность объяснения теории истины как соответствия: в чем может состоять соответствие высказывания фактам? К тому же существовал взгляд, который я определенно не разделял, но не чувствовал себя в силах убедительно опровергнуть. Согласно этому взгляду, если мы хотим говорить об истине, мы должны быть способны указать критерий истинности. Я считал, что все равно законно говорить об истине, но я не умел защитить свой взгляд, согласно которому отсутствие критерия истинности не может использоваться как аргумент против логической законности понятия истины.

Я рад, что никогда не выражал в письменном виде это свое беспокойство, которое, как все теперь понимают, было совершенно неоправданным[295]. Сегодня мы знаем, что истина — далеко не единственное понятие, важность и законность которого не отменяются тем фактом, что не существует общего критерия их применимости в отдельных конкретных случаях. Знаменитый пример такого рода — понятие выводимости: мы знаем, что для многих теорий проблема разрешения для теорем неразрешима; и если только мы не ограничим себя лишь разрешимыми теориями, то есть теориями, для которых проблема разрешения решается положительно, то у нас нет никакого критерия или общей процедуры, позволяющей в каждом конкретном случае решить, является ли некоторая предполагаемая теорема данной теории действительно теоремой (valid theorem), то есть выводима ли она с помощью логических средств, предоставляемых этой теорией. (Именно в этом смысле я употребляю термины «верная (valid) теорема», «верный вывод» и т.д.).

Таким образом, в случае неразрешимых теорий у нас нет общего критерия верности или «теоремности (theoremhood)» их формул. Тем не менее, само понятие верности или «теоремности» совершенно ясно даже для неразрешимых теорий: предполагаемая теорема действительно верна (действительно теорема), если и только если существует ее верный вывод, независимо от того, обнаружили мы этот вывод и обнаружим ли его в будущем. Отсутствие критерия ни в какой мере не делает термин «верная теорема» неясным. Всякая неясность в этом случае связана только с тем, что мы не можем обозреть бесконечное множество всех верных выводов, чтобы проверить, не заканчивается ли один из них предполагаемой теоремой. Возможно, нам повезет, и мы обнаружим доказательство или опровержение предполагаемой теоремы; но если нам не повезет, то — если только наша теория не допускает процедуры разрешения — у нас нет никакого способа обнаружить, является ли рассматриваемая формула теоремой или нет.

Сегодня все это почти слишком тривиально для упоминания. Но все еще полно философов, считающих, что любое понятие, например понятие истины, логически законно только в том случае, если существует критерий, позволяющий нам решить, подходит ли некоторый предмет под данное понятие, или нет. Например, в третьем томе «Философской энциклопедии» ("Encyclopedia of Philosophy") 1967 года есть статья[296] в которой мой взгляд, что нет общего критерия истинности научных теорий, резюмируется в виде краткого, но совершенно искажающего этот взгляд положения, в котором мне приписывается мнение, будто «истина сама есть всего лишь иллюзия». А во втором томе этой же энциклопедии нам сообщают, что в поздних работах Витгенштейна предполагается, «что понятие пусто (vacuous), если не существует критерия его применения»[297].

Термин «позитивизм» имеет много значений, но этот (витгенштейнианский) тезис, что «понятие пусто, если не существует критерия его применения», по-моему, выражает самую суть позитивистских тенденций. (Эта идея очень близка к позиции Юма). Если принять эту интерпретацию позитивизма, то позитивизм опровергается современным развитием логики и особенно теорией истины Тарского, которая содержит теорему: для достаточно богатых языков не может быть общего критерия истинности. Эта теорема, конечно, имеет величайший интерес, если вспомнить классический спор между стоиками (а позднее картезианцами) с одной и скептиками с другой стороны. Это один из редких примеров того, как классический философский спор решается, можно сказать, с помощью теоремы, принадлежащей логике или металогике. Но нельзя сказать, что этот пример широко известен среди философов или достойно оценен ими.

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