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

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

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

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

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

---

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

(1) что это понятие определимо в логических терминах, которые никто еще не ставил под сомнение, и потому логически законно,

(2) что оно применимо к любому недвусмысленно сформулированному (замкнутому) высказыванию (любого не-универсалистского языка), если только оно не применимо к его отрицанию, и потому очевидным образом не пусто, невзирая на то,

(3) что оно не связано ни с каким общим критерием, хотя всякое предложение, выводимое из истинного предложения или из истинной теории, доказуемо (demonstrably) истинно,

(4) что класс истинных предложений образует дедуктивную систему, и

(5) что эта дедуктивная система неразрешима, если только рассматриваемый язык достаточно богат (в связи с этим результатом Тарский ссылается на Гёделя).

Как было упомянуто ранее, я познакомился с Тарским в июле 1934 в Праге. В начале 1935 я снова встретился с ним в Праге на коллоквиуме Карла Менгера, участниками которого были Тарский и Гёдель и на котором я познакомился также с такими великими людьми как Сколем и Абрахам Вальд. Именно тогда я попросил Тарского объяснить мне его теорию истины, что он и сделал в течение двадцатиминутной лекции на скамейке (незабываемая скамейка!) в венском Народном саду (Volksgarten). Он также позволил мне посмотреть гранки немецкого перевода своей великой работы о понятии истины, которые он только что получил от редактора "Studia Philosophica". Никакими словами нельзя описать, как много я из всего этого узнал, и никакими словами нельзя выразить мою благодарность. Хотя Тарский был лишь немногим старше меня и хотя в то время мы были с ним в довольно близком знакомстве, я относился к нему как к единственному человеку, которого по праву мог считать своим учителем в философии. Никогда и ни у кого я столькому не научился, как у него.

Тем не менее есть отдельные второстепенные пункты, по которым я, возможно, расхожусь с ним. Я всегда был философом здравого смысла и реалистом в духе здравого смысла[298]. Моя позиция состояла в том, что здравый смысл (common sense) требует признать, что здравый смысл часто ошибается — быть может, чаще, чем оказывается прав, но ясно, что в философии мы должны исходить из здравого смысла, хотя бы только для того, чтобы обнаружить, путем критики, где он ошибается. Меня интересовал реальный мир, космос, и я решительно противостоял всякого рода идеализму, позитивизму и даже нейтрализму в философии. Если не было бы реального мира, столь же богатого или даже еще более богатого, чем тот, который мы столь поверхностно знаем в нашей повседневной жизни, и если бы исследование этого мира не было главной задачей философии, то философия мне была бы не интересна. Я так и не выяснил точно, как относился Тарский к реализму. Похоже, что на него произвел впечатление «реизм» Котарбинского, но также и венский позитивизм, и он подчеркивал нейтральность своего понятия истины.

Будучи критическим реалистом в духе здравого смысла и сознавая, что тем самым я придерживаюсь «метафизической» теории[299] я не мог не интересоваться тем, что представлялось мне реалистическим аспектом теории истины Тарского — аспектом, само существование которого он, как я подозреваю, мог бы отрицать[300].

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

Язык-объект Lo, как нам известно, может содержать свой собственный синтаксис и, в частности, дескриптивные имена всех своих выражений. Но L0 не может, без риска породить антиномии, содержать специфически семантические термины, такие как обозначение (denotation), удовлетворение (satisfaction) или истина, то есть понятия, соотносящие имена выражений L0 с фактами или объектами, на которые эти выражения ссылаются.

Все это дало мне материал для размышлений, продолжавшихся много лет. Далее я изложу некоторые из этих мыслей.

II

Если, как предполагает теория Тарского, истина есть соответствие фактам, давайте на время вообще оставим слово «истина» и вместо него будем говорить только о «соответствии высказываний фактам, которые они описывают».

Я думаю, именно кажущаяся невозможность раскрыть или описать это соответствие и делала все теории истины как соответствия до Тарского столь подозрительными — подозрительными даже в глазах людей вроде меня, ценивших теорию соответствия просто за ее реалистический характер, соответствующий здравому смыслу[301].

А теперь проявим смелость и всерьез примем, что есть высказывания, которые соответствуют фактам. Любая теория, имеющая дело с подобной ситуацией, должна иметь возможность говорить: (1) о высказываниях некоторого языка, который мы назовем рассматриваемым языком, или языком-объектом[302]  и (2) о фактах или предполагаемых фактах.

(1) Для того, чтобы говорить о высказываниях, мы должны иметь в своем распоряжении имена для высказываний, например цитирующие имена (quotation names) или описательные (дескриптивные) имена высказываний. Это значит, что любая теория соответствия должна формулироваться на метаязыке, то есть на языке, на котором можно обсуждать или говорить о выражениях некоторого исследуемого языка-объекта.

(2) Чтобы говорить о каких бы то ни было отношениях между высказываниями и фактами, мы должны иметь в своем распоряжении описания фактов; иначе говоря, мы должны быть способны описать на нашем метаязыке все те факты, которые мы можем описать на языке-объекте. Таким образом, метаязык должен содержать переводы высказываний языка-объекта или же должен содержать язык-объект в качестве собственной части (в этом случае мы можем избежать неприятной проблемы существования верных переводов).

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

(1) имена высказываний, то есть некоторых языковых выражений языка-объекта; они составляют часть «морфологии» или «синтаксиса» этого языка-объекта;

(2) высказывания, описывающие факты (включая и не-факты), обсуждаемые на этом языке-объекте, то есть переводы с языка-объекта на метаязык (чтобы избежать ловушек перевода, можно сделать язык-объект частью метаязыка, как уже было предложено ранее);

(3) кроме этих двух основных типов выражений есть и третий тип: термины, обозначающие предикаты двух основных типов выражений и отношения между ними, например такие предикаты как «X соответствует фактам» и такие отношения как «X соответствует фактам, если и только если у» (этот последний тип терминов — семантический и имеет более высокий порядок, чем язык-объект, на который они ссылаются).

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

Язык, удовлетворяющий этим трем минимальным требованиям, Тарский назвал «семантическим метаязыком».

Я усматриваю величие и смелость достижений Тарского в том, что он открыл эти минимальные требования, а также в том, что он обнаружил, что предикаты и отношения, упомянутые в пункте (3), соотносящие выражения с миром фактов, существенно выходят за пределы средств, которыми мы располагаем в языке-объекте[303].

Ясно, что, коль скоро мы имеем в своем распоряжении эти три категории выражений, мы можем в семантическом метаязыке делать такие утверждения, как

P соответствует фактам, если и только если p,

принимая при этом, что заглавные курсивные [латинские] буквы, такие как "P", обозначают метаязыковые имена тех высказываний языка-объекта, описывающих факты, метаязыковые переводы которых представлены строчными курсивными буквами, такими как "p".