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

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

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

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

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

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

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

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

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

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

Коль скоро мы можем таким образом для каждого высказывания языка L 1 сформулировать (state) условия, при которых оно соответствует фактам, мы можем дать чисто словесное, но соответствующее здравому смыслу [49]определение: высказывание истинно, если и только если оно соответствует фактам.

Это, как указывает Тарский, есть объективное (objectivist), или абсолютное (absolutist), понятие истины. Однако оно абсолютное не в том смысле, что позволяет нам высказываться с «абсолютной несомненностью или уверенностью» — ведь оно не дает нам критерия истинности. Напротив, Тарский сумел доказать, что, если L 1 достаточно богат, (например, если он содержит арифметику), то не может существовать общего критерия истинности. Таким образом, критерий истинности может существовать только в крайне бедных искусственных языках. (Этим Тарский обязан Гёделю).

Итак, идея истины абсолютная, но мы не можем притязать на абсолютную несомненность: мы — искатели истины, но не обладатели ею [50].

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