Корреспондентная теория истины: истина как соответствие

Корреспондентная теория истины - самый старый и самый интуитивный ответ на вопрос, что значит «истинно». Суждение истинно, если оно соответствует действительности, и ложно, если не соответствует: фраза «снег бел» истинна потому, что снег действительно бел, а не потому, что так удобно думать или так принято говорить. Формулу дал ещё Аристотель, схоласты превратили её в латинское adaequatio rei et intellectus, в XX веке её уточняли через понятие факта Рассел и ранний Витгенштейн, а Альфред Тарский придал ей строгую логическую форму. Простота обманчива: стоит спросить, что такое «соответствие» и чему соответствует отрицание, как начинаются трудности. Инструмент ниже покажет, какой факт должен стоять за вашим утверждением и где у теории слабое место.

Что утверждает корреспондентная теория истины

В любой теории истины три участника. Первый - носитель истины: то, что бывает истинным или ложным (суждение, предложение, верование). Второй - делатель истины: то в мире, благодаря чему носитель истинен. Третий - отношение между ними. Корреспондентная теория высказывается о каждом определённо:

• носитель истины - мысль или высказывание, которое что-то утверждает о мире;
• делатель истины - независимая от нас действительность: вещи, их свойства, факты, положения дел;
• отношение - соответствие: мысль представляет мир таким, каков он есть.

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

Аристотель и Фома: классическое определение

Каноническая формула стоит в «Метафизике» (кн. IV, гл. 7): «говорить о сущем, что его нет, или о не-сущем, что оно есть, значит говорить ложное, а говорить, что сущее есть и не-сущее не есть, значит говорить истинное». Слова «соответствие» здесь нет, но есть его суть: истинная речь воспроизводит то, как обстоят дела. В книге IX Аристотель добавляет асимметрию: не потому ты бледен, что мы правильно считаем тебя бледным, а потому, что ты бледен, мы, утверждающие это, правы. Истина - свойство речи и мысли, а её основание лежит в бытии. Как Аристотель расчленял само сказуемое, разобрано в статье о категориях Аристотеля.

Схоластика дала теории латинское имя. Фома Аквинский в «Спорных вопросах об истине» (вопр. 1, ст. 1) приводит определение veritas est adaequatio rei et intellectus, «истина есть соответствие вещи и интеллекта», и возводит его к Исааку Израэли, хотя в сохранившихся текстах Исаака формулы нет. У Фомы соответствие двустороннее. Человеческий интеллект истинен, когда согласуется с вещью: вещь служит мерой, мысль измеряется. Но и вещи «истинны», поскольку соответствуют замыслу божественного интеллекта, который их сотворил. Новоевропейская философия вторую половину отбросила, а первую сохранила, отсюда привычное «истина есть соответствие знания действительности».

Логический атомизм: истина как соответствие факту

В начале XX века Бертран Рассел и Людвиг Витгенштейн уточнили, чему именно соответствует истинная мысль. Не вещи, а факту. Снег сам по себе не бывает истинным или ложным; истинным бывает утверждение, что снег бел, и соответствует оно факту: снег обладает белизной.

Рассел в «Проблемах философии» (1912) определяет: верование истинно, если существует соответствующий ему факт, и ложно, если такого факта нет. Его пример - Отелло, который верит, что Дездемона любит Кассио. Верование связывает Отелло, Дездемону, любовь и Кассио, и оно ложно, потому что комплекса «любовь Дездемоны к Кассио» в мире нет. В лекциях «Философия логического атомизма» (1918) Рассел строит общую картину: мир состоит из атомарных фактов, язык из атомарных предложений, и каждому истинному атомарному предложению отвечает свой факт. Как Рассел разбирал фразы вроде «нынешний король Франции», показано в статье о теории дескрипций Рассела.

Рассчитать для своей задачи

Витгенштейн в «Логико-философском трактате» (1921) идёт дальше: «Мир есть совокупность фактов, а не вещей» (1.1). Предложение - это картина действительности (4.01): его элементы замещают предметы, а способ сцепления элементов изображает, как сцеплены предметы. Элементарное предложение истинно, если изображённое им положение вещей существует. Соответствие понимается как общность логической формы, почти как сходство карты и местности. Позднее Витгенштейн от этой схемы отказался и перешёл к значению как употреблению в языковых играх.

Семантическая концепция Тарского

Альфред Тарский в работе «Понятие истины в языках дедуктивных наук» (1933) и в статье «Семантическая концепция истины» (1944) поставил задачу: дать определение истины, формально корректное и материально адекватное. Критерий адекватности - конвенция T: любое приемлемое определение должно влечь все предложения вида

$T(\ulcorner p \urcorner) \leftrightarrow p$

где слева стоит имя предложения, а справа само предложение. Хрестоматийный пример: «Снег бел» истинно тогда и только тогда, когда снег бел. Слева речь о предложении в кавычках, справа о снеге.

Рассчитать для своей задачи

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

Сам Тарский писал, что хочет отдать должное классической аристотелевской концепции, а Карл Поппер приветствовал его работу как реабилитацию теории соответствия. Но вывод оспаривают: схема T ничего не говорит о фактах и об отношении соответствия, и ею охотно пользуются противники корреспондентной теории, дефляционисты.

Трудности корреспондентной теории

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

Отрицательные и общие факты. Чему соответствует «в этой комнате нет носорога»? Отсутствующего носорога в комнате нет. Рассел признал отрицательные факты и вспоминал, что, когда отстаивал их на лекциях в Гарварде, чуть не вызвал бунт. С общими суждениями то же: «все лебеди белые» не вытекает из перечня отдельных белых лебедей, нужен ещё факт «других лебедей нет». Мир наполняется сущностями, которые трудно считать частью действительности, а впереди ещё контрфактические, математические и оценочные суждения.

Доступ к реальности. Чтобы проверить соответствие, мысль надо сравнить с миром, а мир доступен нам только через другие мысли, восприятия и протоколы наблюдений. Выйти за пределы своих суждений и посмотреть, совпадают ли они с вещами, нельзя. Этот довод стал отправной точкой когерентной теории.

Защитники теории отвечают именно этим различением: трудность проверки не опровергает определения. Мы можем не знать, соответствует ли суждение миру, но истинным его делает соответствие, а не наше знание о нём.

Конкуренты: когерентная, прагматическая и дефляционная теории

Когерентная теория (Фрэнсис Брэдли, Гарольд Иоахим, Отто Нейрат, позднее Николас Решер) считает суждение истинным, если оно согласуется с системой других принятых суждений. Нейрат сравнивал знание с кораблём, который чинят в открытом море без сухого дока: доски меняют одну за другой, но сойти на берег «голой реальности» нельзя.

Прагматическая теория связывает истину с исследованием и действием. Для Чарльза Пирса истина - мнение, к которому в пределе придёт сообщество исследователей; для Уильяма Джеймса истинное - то, что оправдывает себя в опыте. Метод Пирса подробно разобран в статье о прагматизме Пирса; здесь важно, что прагматисты не рвут связь мысли с миром, но переносят центр тяжести на проверку и последствия.

Дефляционная теория (Готлоб Фреге, Фрэнк Рамсей, позднее Уиллард Куайн и Пол Хорвич) считает, что у истины нет глубокой природы. Сказать «истинно, что снег бел» значит просто сказать, что снег бел. Предикат «истинно» нужен для обобщений вроде «всё, что он сказал, истинно», а вся его теория исчерпывается схемой эквивалентности, той самой, что у Тарского.

Рассчитать для своей задачи

Частые ошибки

• Путать определение истины и её критерий: трудность проверки соответствия бьёт по критерию, а не автоматически по определению.
• Приписывать Аристотелю термин «корреспондентная теория». Название появилось в XX веке, Аристотель дал формулу, а не ярлык.
• Считать соответствие копированием. Уже у Витгенштейна речь идёт о логической форме, а у Остина о конвенциях.
• Записывать Тарского в корреспондентисты без оговорок. Его конвенцию T принимают и дефляционисты, это спорный вопрос, а не факт.
• Сводить прагматическую теорию к «истинно то, что выгодно». Джеймс имел в виду проверку в опыте, а у Пирса истина - предел исследования.

FAQ

Кто автор корреспондентной теории истины? Единственного автора нет. Классическую формулу дал Аристотель в «Метафизике», латинскую формулу adaequatio rei et intellectus закрепил Фома Аквинский, а в XX веке теорию развивали Рассел, ранний Витгенштейн, Мур и Остин. Тарского относят к ней с оговорками.

Чем корреспондентная теория отличается от когерентной? Корреспондентная ищет основание истины вне суждений, в действительности; когерентная ищет его внутри системы суждений, в их согласованности. Для первой отдельное суждение истинно само по себе, для второй истинность всегда системна.

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

Коротко

Корреспондентная теория истины определяет истину как соответствие мысли действительности: суждение истинно, если мир таков, каким оно его представляет. Формулу дал Аристотель, Фома Аквинский закрепил её как adaequatio rei et intellectus, Рассел и ранний Витгенштейн уточнили, что соответствие связывает предложение с фактом, а Тарский дал строгую семантическую схему, которую, впрочем, делят с ним дефляционисты. Главные трудности теории: неясность самого отношения соответствия, отрицательные и общие факты, отсутствие доступа к миру в обход наших суждений. Конкуренты - когерентная, прагматическая и дефляционная теории - ставят на место действительности систему суждений, практику или сам язык.