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

Поппер Карл Раймунд

«Я всегда опирался на следующий аргумент, который я придумал для себя много лет назад... [Вот] это великое Солнце, существование которого, похоже, не имеет никаких других оснований, кроме наших физических чувств. Но, к счастью, существует способ совершенно независимо от наших физических чувств проверить реальность Солнца... астрономы... предсказывают с помощью [математики и] чистого разума, что в определенный день по диску Солнца пройдет черное пятно. Вы... смотрите, и ваше чувство зрения немедленно (непосредственно — immediately) говорит вам, что ваши расчеты оправдались. В военной картографии это называется взять „кросс-пеленг".Мы получили независимое свидетельствореальности Солнца. Когда мои метафизические друзья говорят мне, что данные, на основе которых астрономы производили свои вычисления, с необходимостью были первоначально получены через показания их чувств, я говорю „нет". Они могли бы, по крайней мере в теории, быть получены с помощью автоматических вычислительных машин, приводимых в действие падающим на них светом без всякого участия человеческих чувств

на каком бы то ни было этапе...Я... вновь решительно утверждаю... что Солнце реально, и что оно горячее — на самом деле горячее, как ад, и что если метафизики в этом сомневаются, то пусть отправятся туда и посмотрят сами» [45]

45

См. Churchill W. S.My Early Life — A Roving Commission, впервые опубликовано в октябре 1930; процитировано по изданию Odham Press, London, 1947, chapter IX. Pp. 115 и след., с разрешения Hamlyn Publishing Group (курсива в оригинале нет). См. также издание Macmillan, London, 1944, Pp. 131 и след.

Я мог бы добавить, что считаю аргумент Черчилля, особенно те важнейшие его фрагменты, которые я выделил курсивом, не только обоснованной (valid) критикой идеалистических и субъективистских аргументов, но и самым философски здравым и самым изобретательным доводом против субъективистской эпистемологии из всех мне известных. Я не знаю ни одного философа, который не проигнорировал бы этого аргумента (кроме некоторых моих студентов, чье внимание я к нему привлек). Аргумент этот в высшей степени оригинален; опубликованный впервые в 1930 году, он представляет собой один из самых первых философских аргументов, учитывающих возможность использования автоматических обсерваторий и вычислительных машин (запрограммированных в соответствии с теорией Ньютона). ]Авсе-таки через сорок лет после его первой публикации Уинстон Черчилль все еще совершенно неизвестен как эпистемолог, его имя не появляется ни в одной из многочисленный антологий по эпистемологии и отсутствует даже в «Философской энциклопедии» ^{12} .

Конечно, аргумент Черчилля — это всего лишь превосходное опровержение обманчивых (specious) аргументов субъективистов — он не доказывает правоты реализма.Ведь идеалист всегда может сказать, что ему или нам весь этот спор просто, вместе с вычислительными машинами и всем прочим просто снится. Однако этот аргумент я считаю глупым из-за его универсальной применимости. Во всяком случае, пока какой-либо философ не придумает совершенно новый аргумент, я исхожу из того, что субъективизм можно в дальнейшем игнорировать.

6. Замечания об истинности

Нашей главной заботой в философии и в науке должен быть поиск истины. Оправдание — не наша цель, а блеск и острота ума сами по себе скучны. Мы должны стремиться находить или открывать самые насущные проблемы, и мы должны пытаться решать их, выдвигая истинные теории (или истинные высказывания (statements) или истинные пропозиции (propositions) — здесь их нет надобности различать ^{13} — или, во всяком случае, предлагая теории, которые подходят к истине немного ближе, чем теории наших предшественников.

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

Я принимаю основанную на здравом смысле теорию (защищавшуюся и уточненную Альфредом Тарским [46] ), согласно которой истинность есть соответствие фактам (или действительности) или, точнее, теория истинна, если и только если она соответствует фактам.

Уделим некоторое место техническим деталям, которые благодаря Тарскому теперь уже стали почти тривиальными: в его теории истинность и ложность рассматриваются по существу как свойства, или классы, высказываний (statements), то есть (недвусмысленно сформулированных) теорий или пропозиций (propositions) (или «осмысленных (meaningful) предложений») [47] некоторого языка L _m(например, немецкого), о котором мы можем вполне свободно говорить на другом языке L _m,называемом метаязыком.Фразы на Lm,которые тем или иным образом относятся к L ₁, можно назвать «метаязыковыми».

46

См. Tarski A.The Concept of Truth in Formalized Languages // Tarski A.Logic, Semantic, Metamathematics. Oxford: Clarendon Press, 1956. Pp. 152-278 (статья, впервые опубликованная в 1933 г. на польском, а в 1936 г. — на немецком языке); то же в журнале "Philosophy and Phenomenilogical Research". Vol.4, 1944. Pp.341-376 (см. главу 9 настоящей книги).

47

Выражение «осмысленное предложение (meaningful sentence)* (то есть предложение плюсего

«смысл» (meaning), иначе говоря, высказывание или пропозиция) принадлежит Тарскому (в переводе на английский язык Вуджера). Тарского несправедливо критиковали за то, что он якобы придерживался взгляда, согласно которому истинность есть свойство (всего лишь) предложений (sentences), то есть (бессмысленных, хотя и) грамматически правильных последовательностей слов некоторого языка или формализма. На самом деле во всей своей работе Тарский обсуждает только истинность интерпретированныхязыков. Я не буду различать здесь высказывания, пропозиции, утверждения (assertions) и теории.

Итак, пусть 'Р' сокращенно обозначает одно из русских ^{14} имен немецкой (L ₁)фразы 'Der Mondist aus grunem Kasegemachf' ^{15} . (Заметим, что будучи заключена в русском тексте в (одинарные) кавычки, эта немецкая фраза становится русским метаязыковым именем — так называемым цитирующим именем (quotation name) немецкой фразы). Тогда высказывание тождества 'Р = "Der Mond ist aus grunem Kase gemacht"' есть, очевидно, русское метаязыковое высказывание, и мы можем сказать: 'Немецкое высказывание "Der Mond ist aus grunem Kase gemachfсоответствует фактам, или фактическому положению дел, если и только если луна сделана из зеленого сыра'.

Введем теперь следующее общее правило: если Р —высказывание, то 'р'— сокращенное обозначение положения дел, описываемого высказыванием Р.Тогда мы можем в более общем виде сказать: 'Фраза Рязыка-объекта есть высказывание, соответствующее фактам, если и только если р'

По-русски нам следовало бы сказать, что 'Р истинно в L ₁или 'Р истинно в немецком языке'. Тем не менее, истинность не определяется относительно языка: ведь если Р ₁— высказывание произвольного языка L ₁, а Р ₂есть высказывание произвольного языка L ₂, то имеет место следующее: если Р ₂есть перевод P ₁с L ₁на L ₂,то P ₁и Р ₂должны быть либо оба истинны, либо оба ложны — они должны иметь одно и то же значение истинности. И далее, если язык достаточно богат, чтобы содержать операцию отрицания [48] , то мы можем сказать, что для каждого ложного высказывания он содержит истинное высказывание. (Таким образом, мы знаем, что, грубо говоря, в каждом языке, имеющем операцию отрицания, есть столько же истинных высказываний, сколько и ложных).

48

Насколько известно, все естественные языки обладают операцией отрицания, хотя известны искусственные языки, не содержащие этой операции. (Зоопсихологи даже утверждают, что нечто подобное операции отрицания можно наблюдать у крыс, которых можно научить нажимать рычаги с опознавательными знаками и понимать символы, которые меняют первоначальное значение этих знаков на логически противоположное. См. ссылки на Р.У.Брауна (R.W.Brown) и К.Л.Лэшли (К. L. Lash ley) в Hermann Hans.Psychologie der Sprache. Berlin: Springer, 1967. S.5I).

Теория Тарского, в частности, делает ясным, какому именно фактусоответствует высказывание Р, если оно вообще соответствует какому-нибудьфакту, — именно, тому факту, что р.Она также решает проблему ложных высказываний: ложное высказывание Р ложно непотому, что оно соответствует некоей странной сущности (entity) вроде не-факта, а просто потому, что оно несоответствует никакомуфакту; оно не находится ни к чему реальному в специфическом отношении «соответствия факту»,хотя оно и находится в отношении типа «описывает» к ложному, то есть не имеющему места (spurious) ^{16} положению дел, при котором р.(Нет никакого смысла избегать таких выражений как «ложное положение дел» или даже «ложный факт», коль скоро мы имеем в виду, что ложный факт попросту не реален).

Хотя потребовался гений Тарского, чтобы прояснить кратко изложенные здесь принципы построенной им теории истины, сегодня действительно стало совершенно ясным, что если мы хотим говорить о соответствии высказывания факту, нам нужен метаязык, на котором мы можем высказать (state)тот факт (или предполагаемый факт), о котором говорится в рассматриваемом высказывании (используя какое-то условное или описательное имя этого высказывания). И наоборот: ясно, что если у нас есть такой метаязык, на котором мы можем говорить (а) о фактах, описываемых некоторыми высказываниями некоторого языка (объекта), просто высказывая эти факты, а также (b) о высказываниях этого языка (объекта) (используя именаэтих высказываний), то мы можем также говорить на этом метаязыке и о соответствиивысказываний фактам.