Читать «Объективное знание. Эволюционный подход» онлайн - страница 33

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

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

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

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

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

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

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