Ответ на вопрос Пилата «Что есть истина?» в истории западной философии давали Платон и Аристотель, а классическую формулировку он получил у Фомы Аквинского:
Veritas est adaequatio rei et intellectus.[314]
Утверждение истины как соответствия, корреспонденции мышления и бытия под названием
Сформулированная в теории корреспондентности и когерентности проблематика постижения того, что мы обозначаем познавательной истиной, лежит в основе всех других теорий истины, в том числе и прагматической. Обе только что названные теории опираются на то понимание истины, которое интерпретирует истину не только как высказанную истину, но и полагает истину в смысле соответствия идеи и явления, понятия и сущего. Вследствие этого и возможно называть истинными нормы, поступки, словесные выражения, вещи и личности.
Убежденность, что познание есть постижение сущего в его истинности, встречается нами как фундаментальное высказывание античного мышления, причем познание сущего как того, что оно собственно есть, рассматривается разума как возможное. С разрушением онтологической метафизики и номиналистического разграничения отношения бытия и мышления теория корреспондентности понятия истины становится подозрительной. Лежащая в ее основе теория в новых условиях обосновывающего себя самодостоверностью Я мышления уже не могла сделать понятным соответствие бытия и мышления. К тому же то самое мышление, которое должно сравнивать их друг с другом и устанавливать их соответствие, всегда актуально только как предложение и как высказывание, но не как сущее или как состояние вещей. Если предпринимается проверка соответствия положения дел и высказываний, то оказывается, что положение дел может быть проверено на свое соответствие не как таковое, а напротив, только потому, что оно представлено в форме языкового выражения. Обстоятельство, которому отдает должное именно когерентное понятие истины, даже если в нем относительно высказывания о сущем может проявиться дефицит рефлексии: то, что различные высказывания совпадали друг с другом, соответствующие высказывания выводимы из других высказываний, — а это составляет, следуя теории когерентности, их истину, — еще не является достаточным доказательством того, что они истинны в смысле познавательной истины. Это произошло бы в том случае, если бы оказалось, что те высказывания, которые представляют основу совпадения, т. е. те, из которых выводятся другие высказывания, истинны. Свобода же к противоречию со стороны предложений и их выводимость хотя и известны нам как логическая предпосылка истины, тем не менее она еще ничего не говорит о принадлежности истинных предложений к универсальной связи.
Семантическая теория истины, предложенная в первую очередь Альфредом Тарским в качестве дальнейшего развития и уточнения корреспондентской теории, основывается на понятии всеобщей «конвенции истины»: «Истинное высказывание есть такое высказывание, которое гласит, что вещи соотносятся так и так, и вещи соотносятся именно так и так».[316]
Применительно к форме — а речь у Тарского идет о формализации — это можно также выразить следующим образом:«р» есть истинное высказывание тогда и только тогда, когда р.[317]
На примере, приведенном самим Тарским, отчетливо читается это определение истинного высказывания:
«Идет снег» — истинное высказывание тогда и только тогда, когда идет снег.[318]