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

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

1. VII

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

372

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

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

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

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

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

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

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

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

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

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

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

2. VIII

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

376

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

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

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

Утверждение, аналогичное только что приведенному, по-видимому, впервые было высказано Ксенофаном¹¹, жившим 2500 лет назад, что свидетельствует о том, что объективная теория истины действительно очень стара — она появилась (377:) еще до Аристотеля, который ее придерживался. Однако лишь работа Тарского устранила подозрение относительно того, что объективная теория истины как соответствия фактам является либо противоречивой (вследствие парадоксов типа «лжец»), либо пустой (как предполагал Рамсей), либо бессодержательной, либо в лучшем случае излишней в том смысле, что мы можем обойтись без нее (как когда-то считал я сам).

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

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

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

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

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

Хотя с тех пор положение улучшилось, субъективизм все еще распространен в философии науки, и особенно в области (379:) теории вероятностей. Субъективистская теория вероятностей, интерпретирующая степени вероятности как степени рациональной веры, вытекает непосредственно из субъективистского подхода к истине, в частности, из теории когеренции. Последняя все еще принимается даже теми философами, которые признали теорию истины Тарского. Я подозреваю, что по крайней мере некоторые из них обратились к теории вероятностей в надежде на то, что именно она даст им то, чего первоначально они ожидали от субъективистской, или эпистемической, теории достижения истины через верификацию, а именно теорию рациональной, или обоснованной, веры, опирающейся на свидетельства наблюдения¹⁵.

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

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

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

3. 
   
   жүктеу/скачать 6,99 Mb.
   
   Достарыңызбен бөлісу: