С разграничением абсолютной и относительной истины связана получившая широкое распространение в позднее средневековье теория двойственной истины. Данная теория начала складываться, когда обнаружилось, что некоторые положения философии Аристотеля противоречат догматам христианства и ислама. Это затруднение попытались преодолеть с помощью учения о разделении философских и богословских истин: истинное в философии может быть ложным в теологии, и наоборот. Теории двойственной истины придерживались Аверроэс, Иоанн Дунс Скот, У. Оккам и др. Широкое распространение учение об истинности некоторых описательных высказываний в теологии и ложности их в философии или в других областях знания получило в эпоху Возрождения. Стремясь отграничить научное исследование от теологических рассуждений, этого учения придерживался позднее Галилей. Теологические утверждения представлялись абсолютными истинами; положения философии и других областей знания мыслились как относительные истины, содержащие элемент заблуждения и требующие в силу этого дальнейшего исследования и уточнения.
В средние века теория двойственной истины истолковывалась узко, как касающаяся, прежде всего, взаимных отношений истин философии и теологии. При широком истолковании эта теория относится ко всем описаниям, независимо от области знания, в которой они получены, и говорит о том, что описательное высказывание может быть истинным при одном основании (т. е. той точке зрения, исходя из которой, что-то описывается) и ложным при другом основании.
Формально принято считать, что все описания (в отличие от оценок) имеют одно и то же основание. В этом суть требования интерсубъективности – независимости употребления и понимания описательных высказываний от лиц и обстоятельств. Реально, однако, основания, опираясь на которые, даются описания различных положений дел, могут быть разными. Переход от одной относительной истины к другой может истолковываться как смена точки зрения, с использованием которой дается описание. Новая теория – это, в первую очередь, новый ракурс видения реальности, смена оснований тех описаний, которые давались старой теорией.
Научные истины, как и все иные, носят относительный характер. Они справедливы только для своего времени и для того круга эмпирических данных, на основе которого они установлены. В процессе углубления знаний об изучаемых объектах одни из этих истин уточняются, другие превращаются в аналитические истины и теряют способность сопоставления с опытом, третьи оказываются ложными утверждениями.
"В науке понятие истины совершенно относительно, – пишет французский экономист М. Алле. – Никакая теория, никакая модель не могут претендовать на обладание "абсолютной истиной", а если бы такая и существовала, то она оставалась бы для нас недоступной. Есть модели, более или менее хорошо подтвержденные данными наблюдения. А из двух моделей "лучшей" всегда будет та, которая при именно такой степени приближения представляет данные наблюдения наиболее простым образом. Каковы бы ни были ее эмпирические подтверждения, лучшее, что можно сказать о такой теории, что "все происходит так, как если бы ее гипотезы действительно соответствовали реальной природе явлений" .
Хотя понятию истины всегда уделялось большое внимание, есть один важный вопрос, касающийся истины, который почти полностью выпадал из поля зрения современных исследователей. Это вопрос о связи истины со временем.
Известно, что как раз эта тема очень живо интересовала еще античных философов, в частности Аристотеля и стоиков.
Отсутствие внимания к временному аспекту истины во многом объясняется восходящей к Новому времени абсолютизацией истины, приданием ей вневременного или надвременного характера. Если истина, подобно числу и квадрату, стоит вне потока времени, бессмысленно задаваться вопросом, как она ведет себя в этом потоке и какие изменения она претерпевает с течением времени. Связь со временем сводится в результате к вопросу о том, в какой именно момент впервые была обнаружена истина. Для нее самой это случайный и второстепенный вопрос.
Основная задача дальнейшего изложения – дать строгое определение понятия истины для высказываний о прошлых и будущих событиях и связать обсуждение проблемы истины с проблемой детерминизма .
Вводимое далее каузальное определение истины является конкретизацией классического ее истолкования. Присоединение этого определения к комплексной теории, объединяющей логику времени и логику причинности, позволяет с помощью точных методов современной логики исследовать важный фрагмент теории истины.
В соответствии с классическим определением высказывание истинно, если оно соответствует действительности, и ложно, если оно не соответствует ей. Это определение представляет собой абстрактную схему, приложение которой в частных случаях предполагает определенную ее конкретизацию, уточнение того смысла, который вкладывается в рассматриваемом случае в идею "соответствия действительности".
Необходимость такой конкретизации особенно наглядно проявляется при обсуждении вопросов о значении истинности высказываний о прошлых и будущих событиях, а также высказываний о ненаблюдаемых или несуществующих объектах, об изменяющихся ситуациях, о переходных состояниях и т. п. Истина состоит в соответствии мысли и действительности. Но несуществующих объектов в действительности нет. С чем же в таком случае сопоставляются утверждения о них? Является ли каждое утверждение о подобных объектах ложным? Эти и сходные вопросы энергично обсуждались в конце XIX и начале XX вв. Ф. Брентано, Г. Фреге, Б. Расселом и др.
Аналогичные вопросы возникают и в связи с высказываниями о прошлых и будущих событиях. Будущей действительности еще нет. С чем должна сопоставляться мысль о ней, и является ли всякая такая мысль ложной? Будут ли сейчас истинными высказывания "Завтра будет дождь" и "Через сто лет в это время будет идти дождь"? Как устанавливается истинностное значение подобных высказываний? С какими фрагментами настоящего они сопоставляются при этом? Прошлое также не существует наряду с настоящим и не может исследоваться независимо от него. Что позволяет нам, располагая наблюдениями, относящимися только к настоящему, судить об истинностном значении высказываний о прошлых событиях? С чем именно в настоящем сопоставляются эти высказывания?
На эти вопросы можно отвечать по-разному. В основе предлагаемого далее ответа лежит каузальное истолкование существования в прошлом и будущем. Опирающуюся на него конкретизацию классического определения истины можно назвать в соответствии с этим каузальным определением (временной) истинности.
Примем следующие положения касающиеся прошлого и будущего существования: существует в прошлом то, что имеет свои следствия в настоящем; существует в будущем то, что имеет в настоящем свою причину.
Будущее реально лишь в той мере, в какой оно может быть признано установленным, или детерминированным, причинами, имеющими место в настоящем. Ни о чем нельзя сказать с истиной, что оно случится, если сейчас не имеется причины для наступления рассматриваемого события в будущем. Утверждение "будет А" истинно в том и только том случае, если истинно утверждение "сейчас имеется причина для наступления позднее А". Некоторое событие происходило в прошлом, если следствия его существования дошли до настоящего. То, что прошло "бесследно", вообще не имело места. Утверждение "было А" истинно в том и только в том случае, когда истинно утверждение "сейчас имеются следствия того, что ранее было А".
Ясно, что эта каузальная теория временного существования сводит прошлое и будущее к настоящему. Вопросы о реальности тех или иных явлений в прошлом или будущем переформулируются ею как вопросы о наличии следствий или причин этих явлений в настоящем. Она позволяет дать ясную интерпретацию оборотам типа "было, что было", "будет, что всегда было" и т. п. Например, в соответствии с нею выражение "будет, что будет А" означает, что сейчас есть причина для того, чтобы в некоторый более поздний момент имелась причина для наступления А, оно означает, короче говоря, что имеется причина причины будущего события. Выражение "было, что было А" указывает на наличие следствия следствий А, "будет, что всегда было А" утверждает существование в настоящем причины для наступления в будущем такого момента, в который имеются следствия того, что во всякий предшествующий момент было А.
В XV в. последователи У. Оккама полагали, что фразы типа "было, что будет А", "всегда было, что будет А" и т. п., по форме являются утверждениями о прошлом, но по смыслу они представляют собой утверждения о будущем. С точки зрения каузального истолкования этих фраз, они говорят не о прошлом и не о будущем, а только о настоящем.
Прошлое существует лишь в форме своих следствий в настоящем, поэтому изучение прошлого осуществимо только в виде исследования настоящего. Оборот "познание прошлого" метафоричен. Им предполагается, что познаваться может не только настоящее, но и прошлое, существующее как бы наряду с настоящим и допускающее анализ, независимый от анализа настоящего. Сходным образом обстоит дело и с познанием будущего. Будущие события реальны постольку, поскольку они определяются настоящими причинами, и исследование этих событии возможно лишь в форме изучения существующих их причин.
Допустим, далее, что истинен следующий принцип детерминизма: всякое событие каузально детерминировано в определенные моменты времени и вместе с тем некоторые события таковы, что они не являются каузально детерминированными во всякое время. Этот принцип является примером симметричной позиции. Ему соответствуют два утверждения о причинах и следствиях: (а) все имеет причину, но неверно, что причины всех событий простираются неограниченно в прошлое, (б) всякое событие имеет следствия, но они могут не уходить неограниченно в будущее. Приняв первое из этих утверждений, необходимо согласиться с тем, что будущее невозможно предсказать полностью. Описание будущего есть описание причин будущих событий, а так как причины достаточно отдаленных будущих событий могут не доходить до настоящего, даже исчерпывающая его характеристика не будет являться полной характеристикой будущего. Принятие второго из указанных утверждений должно сопровождаться признанием невозможности законченного описания прошлого. Следствия отдельных прошлых событий способны "затухнуть" и не дойти до настоящего. Предельно подробное описание настоящего окажется, поэтому заведомо неполной характеристикой прошлого, так как оно не будет давать описания каких-то прошлых событий.
Это показывает, что имеются точки зрения по поводу детерминированности одних явлений другими, принятие которых ведет к отказу от мнения, что прошлое в принципе полностью познаваемо. Если, сверх того, принимаемая позиция является симметричной, то различие между прошлым и будущим с точки зрения их познаваемости оказывается иллюзорным.
Прошлое может быть исчерпывающе познано только в том случае, если следствия всех прошлых событий имеются в настоящем, т. е. если справедлив принцип каузального постедетерминизма: "истинное однажды истинно во все последующие времена". Причинным его аналогом является принцип: "истинное однажды истинно во всякое предшествующее время". Признав эти два принципа, можно утверждать, что не только прошлое, но и будущее полностью познаваемо: в настоящем имеются следствия всех прошлых событий и причины всех будущих. Вопрос полноты описания прошлого и будущего сводится в силу этого к вопросу всесторонности описания настоящего. В случае симметричной детерминистической позиции не существует никаких принципиальных различий между описанием прошлого и описанием будущего с точки зрения их полноты.
Утверждение о полной познаваемости прошлого и только частичной предвидимости будущего предполагает (в рамках каузальной теории временного существования) несимметричную формулировку принципа каузального детерминизма.
Действительно, допустим бесконечную протяженность во времени следствий всех событий и вместе с тем предположим, что причины некоторых или, может быть, всех событий существуют только конечные промежутки времени. В этом случае любое прошлое событие входит своими следствиями в настоящее и может быть описано с любой степенью полноты. Но причины отдельных или всех бесконечно удаленных будущих событий сформируются только в будущем. Отсутствие этих причин в настоящем делает невозможной какую-либо более близкую характеристику рассматриваемых будущих событий и исключает тем самым возможность полного предсказания будущего.
Существуют также такие версии несимметричных детерминистических позиций, принятие которых позволяет утверждать полную предсказуемость будущего и отрицать одновременно полноту любого описания прошлого.
Обратимся теперь к вопросу об асимметрии прошлого и будущего относительно их изменяемости. Выражение "изменение будущего", подобно выражению "познание будущего", метафорично. Изменять и познавать можно только настоящее, никакого изменения и формирования будущего, помимо познания и преобразования настоящего, нет. Невозможно, далее, воздействовать на то, что не существует. Будущие события допускают трансформацию постольку, поскольку они реальны, т. е. в той мере, в какой они присутствуют в настоящем в виде своих причин. Изменение будущего может протекать только в форме изменения имеющихся сейчас причин будущих событий. Выражение "изменение прошлого" также является всего лишь неадекватным способом передачи мысли о преобразовании представленных в настоящем следствий прошлых событий. Прошлое не существует наряду с настоящим, и оно неспособно быть объектом воздействия, минующего настоящее. Изменение прошлого, понимаемое как изменение следствий прошлых событий, не менее возможно, чем изменение будущего, истолковываемое как преобразование причин будущих событий.
Всякое изменение настоящего является одновременно изменением прошлого, поскольку настоящее есть его следствие, и изменением будущего, причиной которого является настоящее.
В случае принятия симметричной формулировки принципа детерминизма прошлое и будущее являются вполне равноправными с точки зрения их изменения.
Допустим, например, что имеются основания принять принцип строгого каузального детерминизма, объявляющий однажды истинное истинным во все времена. Согласно причинной версии этого принципа, причины всех событий могут быть обнаружены в любое время и, в частности, в настоящем. Это означает, что всякое будущее событие, имеющее сейчас свою причину, может быть преобразовано в желательном для нас направлении. В соответствии со следственной версией указанного принципа, следствия всех событий существуют во всякое время. Наличие в настоящем следствий прошлых событий дает принципиальную возможность подвергнуть все эти события изменению. Прошлое оказывается, таким образом, столь же полно преобразуемым, как и будущее.
Предположим, что является верным принцип "истинное однажды истинно только в некоторые времена". Причинный его вариант отрицает наличие в настоящем причин всех будущих событий, следственный – наличие всех следствий прошлых событий. Будущее и прошлое допускают в этом случае изменения, уступающие по своей полноте изменениям, возможным в условиях истинности строгого детерминизма. Но прошлое и будущее остаются симметричными относительно изменения.
Допустим, наконец, что истинна одна из несимметричных формулировок принципа детерминизма. Прошлое и будущее являются в этом случае неравноправными. В зависимости от характера принятого принципа, одно из них допускает возможность более полных преобразований, чем другое. Так, если не все следствия прошлых событий способны дойти до настоящего, но все частичные причины будущих событий имеются сейчас, то будущее может быть объектом более радикальных преобразований, чем прошлое. И если каждое прошлое событие представлено в настоящем своими следствиями и вместе с тем не всякое будущее событие имеет уже сейчас свою причину, то существует принципиальная возможность более полного преобразования прошлого, чем будущего.
Итак, утверждение асимметрии прошлого и будущего, с точки зрения их познания и изменения, существенным образом зависит от предпочтительности несимметричных формулировок принципа каузального детерминизма.
Нужно еще раз подчеркнуть, что все приведенные рассуждения о познании и изменении прошлого и будущего основываются на вполне определенном представлении о прошлом и будущем существовании. Убеждение в статичности прошлого и динамичности будущего, в возможности полного познания прошлого и неосуществимости исчерпывающего предсказания будущего кажется очень естественным. Но его сохранение требует или принятия несимметричной формулировки принципа каузального детерминизма, или отказа от каузальной теории реальности прошлых и будущих событий.
Изложенное выше истолкование существования во времени, быть может, не является лучшим. Оно сводит прошлое и будущее к настоящему и влечет за такие следствия, которые трудно принять. Но никакой другого ясного решения проблемы связи истины со временем пока не предложено.
Остановимся, далее, на понимании истины как согласия нового утверждения с уже принятой системой утверждений. Определение истины как полезности и того, что приводит к успеху, используется не только в науках о культуре, но и в формальных науках.
Истина как когеренция – наиболее частое, а иногда и единственно возможное понимание истины в математике и в абстрактных, далеких от опыта областях науки. Но согласие вновь вводимого положения с системой утверждений, принятых в конкретной области научного знания, обычно определяется степенью полезности этого положения для данной области и смежных с нею отраслей знания. Согласие и полезность оказываются, таким образом, тесно связанными друг с другом.
Взаимные отношения трех основных истолкований истины можно проиллюстрировать на примере двух абстрактных математических принципов, предлагаемых для расширения теории множеств.
Ни "наивная" теория множеств Г. Кантора, ни предложенная Э. Цермело и А. Френкелем формальная аксиоматизация этой теории не давали ответа на многие, казалось бы, простые вопросы о множествах, причем о множествах, широко использующихся в математических исследованиях. Требовались новые, дополнительные принципы, позволяющие лучше организовать мир множеств и наделить множества более определенными свойствами. В качестве таких принципов в прошлом веке были предложены, в частности, аксиома выбора и аксиома детерминированности.
Аксиома выбора сразу же вызвала серьезные возражения как своей формулировкой, не похожей на формулировки других теоретико-множественных аксиом, так и, прежде всего, своими следствиями, утверждающими существование множеств, лишенных какой-либо индивидуальности, но влекущих следствия, утверждающие существование множеств, свойства которых кажутся явно парадоксальными. В частности, аксиома выбора позволила доказать разбиение шара (поверхность + внутренность) на конечное число частей, из которых без наложений и пустот составляются два шара того же радиуса.