Решение проблемы объективности научного знания.

2. Теория объективной истины как соответствия фактам

VII

До сих пор я говорил о науке, ее прогрессе и о критерии ее прогресса, не упоминая понятия истины. Удивительно, но это можно делать, не впадая в прагматизм или инструментализм. Действительно, можно высказывать соображения в пользу интуитивной приемлемости критерия научного прогресса, не говоря об истинности научных теорий. До того как я познакомился с теорией истины Тарского (см. [31, разд. 84; 22, т. 1, с. 369 — 374]), мне казалось безопаснее обсуждать критерий прогресса, не вдаваясь слишком глубоко в чрезвычайно спорные проблемы, связанные с использованием слова "истинно".

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

Для того чтобы понять, почему ситуация казалась столь безнадежной, достаточно вспомнить хотя бы один пример среди многих, а именно "Логико-философский трактат" Витгенштейна с его удивительно наивной, образной или проективной теорией истины. В "Трактате" предложение понимается как образ или проекция того факта, который оно описывает; факт и предложение имеют одну и ту же структуру (или "форму"). Отношение между предложением и фактом у Витгенштейна аналогично отношению между звуком и его граммофонной' записью, которая действительно представляет собой образ или проекцию звука и обладает такими же структурными свойствами (см. [41, утверждение 4.0141, а также 2.161; 2.1/7; 2.223; 3.11]).

 

Другая бесплодная попытка объяснить это соответствие восходит к Шлику, который сначала дал удивительно ясную и поистине сокрушительную критику различных теорий соответствия, включая и образную, или проективную, теорию истины (см. его замечательную работу [37, с. 56 — 57]), но затем сам в свою очередь построил еще одну такую теорию, которая была не лучше других. Интересующее нас соответствие он интерпретировал как одно-однозначное соответствие между нашими обозначениями и обозначаемыми объектами, хотя имеется чрезвычайно много контрпримеров (обозначения применимы одновременно к нескольким объектам или к одному объекту относится несколько обозначений), показывающих несостоятельность такой интерпретации.

Ситуация изменилась после появления предложеннойт Тарским теории истины как соответствия высказываний фактам. Величайшее достижение Тарского и реальное значение его теории для философии эмпирических наук заключается, я думаю, в том, что он реабилитировал-теорию соответствия, то есть теорию абсолютной, или объективной, истины, к которой относились с подозрением. Он показал, что мы вправе использовать интуитивную идею истины как соответствия фактам. (Мнение о том, что его теория применима только к формализованным языкам, мне представляется ошибочным. Она применима к любому непротиворечивому языку, в том числе даже к "естественному" языку, при условии, что" мы, опираясь на анализ Тарского, можем освободить такой язык от противоречий, для чего следует, по-видимому, внести некоторую долю "искусственности" или осто-"рожности в использование такого языка; см. также [32,.:прил. 5].)

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

 

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

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

(1) Высказывание (или утверждение) "Снег бел" соответствует фактам, если, и только если, снег действительно бел.

(2) Высказывание (или утверждение) "Трава красная" соответствует фактам, если, и только если, трава действительно красная.

Эти формулировки (в которых слово "действительно" употреблено только для облегчения понимания и может быть опущено) выглядят, конечно, совершенно тривиальными. Однако Тарскому удалось обнаружить, что, несмотря на свою видимую тривиальность, эти формулировки содержат решение проблемы объяснения идеи соответствия фактам, то есть проблемы истины.

Решающим является открытие Тарского, что для того, чтобы говорить о соответствии фактам, как это сделано в (1) и (2), мы должны использовать метаязык, в котором можно говорить о двух вещах: о высказываниях и о фактах, к которым относятся эти высказывания. (Такой метаязык Тарский называет "семантическим"; метаязык, в котором можно говорить об объектном языке, но не о фактах, к которым он относится, Тарский называет "синтаксическим".) Как только была осознана необходимость использования семантического метаязыка, все стало ясным. (Заметим, что, в то время как высказывание (3) ""Джон закричал" истинно" принадлежит к такому метаязыку, высказывание (4) "Истинно, что Джон закричал" может принадлежать тому же языку, которому принадлежит высказывание: "Джон закричал". Поэтому выражение "Истинно, что", которое, подобно двойному отрицанию, логически избыточно, существенно отличается от металингвистического предиката "истинно". Последний необходим для утверждений, подобных таким, как "Если заключение неистинно, то посылки не могут быть все истинными" или "Однажды Джон произнес истинное высказывание".)

Несколько ранее я сказал, что теория Шлика была; ошибочной, однако мне представляется, что те комментарии, которые он высказал по поводу своей собственною теории (см. 1.37]), проливают некоторый свет и на теорию Тарского. Шлик отметил, что проблема истины разделяет судьбу некоторых других философских проблем, решение которых трудно увидеть именно потому, что исходят из ошибочного предположения, будто это-решение должно быть чрезвычайно глубоким, в то время как оно лежит на поверхности и на первый взгляд не производит большого впечатления. Решение Тарского-действительно на первый взгляд может показаться невпечатляющим. Однако на самом деле его плодотворность и мощь чрезвычайно велики.

VIII

Благодаря работе Тарского идея объективной, или; абсолютной, истины, то есть истины как соответствия фактам, в наши дни с доверием принимается всеми, кто-понял эту работу. Трудности в ее понимании имеют, по-видимому, два источника: во-первых, соединение чрезвычайно простой интуитивной идеи с достаточно сложной технической программой, которую она породила; во-вторых, широкое распространение ошибочного' мнения, согласно которому удовлетворительная теория истины должна содержать критерий истинной веры, то-есть обоснованной, или рациональной, веры. Действительно, три соперницы теории истины как соответствия-фактам — теория когеренции, принимающая непротиворечивость за истинность, теория очевидности, принимающая за "истину" понятие "известно в качестве истины", и прагматистская, или инструменталистская, теория, принимающая за истину полезность, — все они являются субъективистскими (или "эпистемическими") теориями истины в противоположность объективной (или "металогической") теории Тарского. Названные теории оказываются субъективистскими в том смысле, что все они исходят из принципиально субъективистской точки зрения, которая истолковывает знание только как "особого рода ментальное, духовное состояние, как некоторую диспозицию или как особый вид веры, характеризующийся, например, своей историей или своим отношением к другим видам веры.

Если мы исходим из нашего субъективного ощущеyия веры и рассматриваем знание как особый вид веры, то мы действительно можем считать истину, то есть истинное знание, некоторым более специальным видом веры — обоснованной, или оправданной, веры. Это означает, что должен существовать некоторый более или менее эффективный — пусть даже частный — критерий хорошей обоснованности, определенный отличительный признак, который помог бы нам отделить ощущение хорошо обоснованной веры от иных восприятий веры.

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

Объективная теория истины приводит к совершенно иной позиции. Это можно видеть, в частности, из того, что она позволяет нам высказывать утверждения, подобные следующему: некоторая теория может быть исnинной, даже если никто не верит в нее и даже если нет причин для ее признания или для веры в то, что она истинна; другая же теория может быть ложной, хотя у нас имеются сравнительно хорошие основания для ее признания.

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

Другое утверждение, которое объективная теория истины как соответствия фактам сочла бы совершенно естественным, таково: даже тогда, когда мы наталкиваемся на истинную теорию, мы, как правило, можем только догадываться об этом и для нас может оказаться невозможным узнать, что это и есть истинная теория.

Утверждение, аналогичное только что приведенному, по-видимому, впервые было высказано Ксенофаном (см. [32, с. 26 и 152]), жившим 2500 лет назад, что свиде-гельствует о том, что объективная теория истины действительно очень стара — она появилась еще до Аристотеля, который ее придерживался. Однако лишь работа Тарского устранила подозрение относительно того, что объективная теория истины как соответствия фактам является либо противоречивой (вследствие парадоксов типа "лжец"), либо пустой (как предполагал Рамсей), либо бессодержательной, либо в лучшем случае излишней в том смысле, что мы можем обойтись без нее (как когда-то считал я сам).

В своей теории научного прогресса я, возможно, до некоторой степени могу действительно обойтись без нее. Однако благодаря Тарскому я не вижу больше никаких причин избегать ее. Если же мы хотим пролить свет на различие между чистой и прикладной наукой, между поисками знания и поисками полезных или эффективных инструментов, то мы не можем обойтись без этой теории. Это различие как раз и состоит в том, что в своих поисках знания мы стремимся найти истинные теории или по крайней мере такие теории, которые ближе к ис-гине, чем другие теории, иначе говоря, которые лучше соответствуют фактам, в то время как в поисках эффек-гивных инструментов мы во многих случаях используем геории, ложность которых известна (см. анализ "второй гочки зрения" ("инструментализма") ранее, в гл. 3).

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

Статус истины в объективном смысле — как соответствия фактам — и ее роль в качестве регулятивного принципа можно сравнить с горной вершиной, которая почти постоянно закрыта облаками. Альпинист, восходящий на эту вершину, не только сталкивается с трудностями на своем пути, он может даже не знать, достиг он вершины или нет, так как в густой пелене облаков ему трудно отличить главную вершину от второстепенных. Однако это не влияет на объективное существование главной вершины, и если альпинист говорит нам: "У меня есть некоторые сомнения относительно того, поднялся ли я на главную вершину", — то тем самым он признает объективное существование этой вершины. Сама идея ошибки или сомнения (в своем обычном, прямом смысле) содержит идею объективной истины — истины, которой мы можем не получить.

Хотя для альпиниста может оказаться невозможным с уверенностью установить, достиг ли он вершины, ему часто легко понять, что он не достиг ее (или еще не достиг), например когда, натолкнувшись на отвесную стену, он вынужден повернуть назад. Аналогично этому существуют случаи, когда мы с уверенностью знаем, что не получили истины. Так, хотя когерентность, или непротиворечивость, не является критерием истины — просто потому, что даже системы, непротиворечивость которых доказана, в действительности могут быть ложными, — некогерентность, или противоречивость, системы говорит о ее ложности. Поэтому, если нам повезет, мы можем обнаружить противоречия и использовать их для обоснования ложности некоторых наших теорий.

В 1944 году, когда Тарский впервые опубликовал на английском языке краткое изложение своих исследований по теории истины (39] (в Польше эти исследования были опубликованы в 1933 году (38]), немногие из философов отважились бы высказать утверждения, подобные упомянутым выше утверждениям Ксенофана.

В связи с этим представляет интерес то обстоятельство, что в том номере журнала, в котором была опубликована упомянутая статья Тарского [39], были помеще-иы еще две статьи об истине, носящие субъективистский характер.

Хотя с тех пор положение улучшилось, субъективизм все еще распространен в философии науки, и особенно в области теории вероятностей. Субъективистская теория вероятностей, интерпретирующая степени вероятности как степени рациональной веры, вытекает непосредственно из субъективистского подхода к истине, в частности из теории когеренции. Последняя все еще принимается даже теми философами, которые признали теорию истины Тарского. Я подозреваю, что по крайней мере некоторые из них обратились к теории вероятностей в надежде на то, что именно она даст им то, чего первоначально они ожидали от субъективистской, или эпистемической, теории достижения истины через верификацию, а именно теорию рациональной, или обоснованной, веры, опирающейся на свидетельства наблюдения (см. работу Карнапа {6, с. 177], а также мою работу 1, разд. 84].

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

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

объективные, ЛОГИЧЕСКИЕ ИЛИ ОНТОЛОГИЧЕСКИЕ ТЕОРИИ

истина как соответствие фактам

объективная вероятность (присущая ситуации и проверяемая статистически)

СУБЪЕКТИВНЫЕ, ПСИХОЛОГИЧЕСКИЕ ИЛИ

ЭПИСТЕМОЛОГИЧЕСКИЕ ТЕОРИИ

истина как свойство нашего мышления — знания или веры

субъективная вероятность (степень рациональной веры, основанная на всей совокупности нашего знания)

отсутствие знания отсутствие знания

объективная случайность (статистически проверяемая)

равновероятность (физическая или ситуационная симметрия)

 

Я склонен утверждать, что не только надо всегда раз-пичать указанные два подхода, но следует также реши-гельно отвергнуть субъективистский подход как ошибку, хотя, быть может, в чем-то и соблазнительную ошибку. Можно построить, однако, аналогичную таблицу, в которой эпистемологическая (правая) сторона не основана на ошибке:

истина проверяемость объяснительная или гредсказательная сила "правдоподобность"

предположение эмпирическая проверка степень подкрепления (то есть фиксация результатов проверок)