Теория истины Тарского

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

История возникновения

Проблема определения истины восходит к античной философии. Классическое определение, восходящее к Аристотелю, гласит: «Истина — это соответствие мысли действительности». Однако это интуитивное понимание сталкивается с трудностями при формализации, особенно в контексте языков, допускающих высказывания о самих себе (самореференция). В 1931 году Курт Гёдель опубликовал теоремы о неполноте, которые показали принципиальные ограничения формальных систем. В этой интеллектуальной атмосфере Альфред Тарский в 1933 году опубликовал работу «Понятие истины в формализованных языках» (польский оригинал, затем немецкий перевод 1935 года), в которой предложил строгое семантическое определение истины.

Тарский стремился построить определение, которое было бы материально адекватным (то есть соответствовало бы классической корреспондентной теории истины) и формально корректным (то есть не приводило бы к противоречиям, таким как парадокс лжеца).

Основные понятия и структура теории

Семантическая концепция истины

Центральной идеей Тарского является различение языка-объекта (языка, о котором говорят) и метаязыка (языка, на котором говорят о языке-объекте). Определение истины даётся на метаязыке. Ключевым элементом является так называемая схема (T) (или конвенция T):

«X» истинно тогда и только тогда, когда P.

Здесь «X» — это имя (структурно-описательное название) некоторого предложения языка-объекта, а P — это перевод этого предложения на метаязык. Например:

«Снег бел» истинно тогда и только тогда, когда снег бел.

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

Определение через выполнение

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

Например, предложение «x — белый» выполняется для тех последовательностей, где объект, приписанный переменной x, является белым. Предложение «Для всех x: x — бел» истинно, если оно выполняется для всех возможных последовательностей. Таким образом, истина оказывается частным случаем выполнения.

Иерархия языков

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

Классификация и варианты

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

• Классическая версия Тарского: Для формализованных языков с чётко заданной структурой.
• Теория для естественных языков: Сам Тарский считал, что для естественных языков (русский, английский) невозможно дать непротиворечивое определение истины из-за их универсальности (способности говорить обо всём, включая самих себя). Позднее некоторые философы (например, Дональд Дэвидсон) пытались применить идеи Тарского к естественным языкам, используя понятие интерпретации.
• Дефляционизм: Некоторые философы (например, Хартри Филд) развили идеи Тарского в направлении дефляционной теории истины, утверждая, что истина — это просто логический приём, а не содержательное свойство.

Применение и значение

В логике и математике

• Метаматематика: Теория Тарского позволила строго определить понятие истины для формальных теорий, таких как арифметика Пеано. Она показала, что истина для арифметики не может быть определена внутри самой арифметики (теорема Тарского о неопределимости истины), что является аналогом теорем Гёделя.
• Теория моделей: Определение истины через выполнение стало основой современной теории моделей — раздела математической логики, изучающего соотношение между формальными языками и их интерпретациями (моделями).
• Семантика формальных языков: Теория используется для задания истинностных условий для языков программирования, искусственного интеллекта и формальной верификации.

В философии

• Философия языка: Теория Тарского стала стандартом для обсуждения природы истины. Она показала, что корреспондентная теория истины может быть формализована без противоречий.
• Философия науки: Концепция Тарского используется при анализе научных теорий, особенно в контексте редукционизма и интертеоретических отношений.
• Метафизика: Хотя теория Тарского формальна, она оказала влияние на дискуссии о реализме и антиреализме.

В лингвистике

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

Критика

Теория Тарского подвергалась критике по нескольким направлениям:

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

Интересные факты

• Альфред Тарский был одним из самых влиятельных логиков XX века. Он эмигрировал в США в 1939 году и работал в Калифорнийском университете в Беркли.
• Теорема Тарского о неопределимости истины является одним из ключевых результатов логики: для достаточно выразительных формальных систем (например, арифметики) невозможно определить предикат истины внутри самой этой системы.
• Идеи Тарского оказали прямое влияние на разработку семантики возможных миров, которая используется в модальной логике и философии сознания.

Источники

• Тарский А. Понятие истины в формализованных языках // Семантика и истина. — М.: Канон+, 2012.
• Tarski A. The Semantic Conception of Truth and the Foundations of Semantics // Philosophy and Phenomenological Research. — 1944. — Vol. 4, No. 3.
• Кун Т. Структура научных революций. — М.: АСТ, 2009. (В контексте обсуждения истины в науке).
• Патнэм Х. Разум, истина и история. — М.: Праксис, 2002.
• Дэвидсон Д. Истина и интерпретация. — М.: Праксис, 2003.