Теорема Тарского о невыразимости истины

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

История

Предпосылки

В начале XX века в основаниях математики и логики возникла проблема семантических парадоксов, наиболее известным из которых является парадокс лжеца: предложение «Это предложение ложно» не может быть непротиворечиво оценено как истинное или ложное. Давид Гильберт и другие математики стремились построить непротиворечивую формальную систему, в которой все истинные утверждения арифметики были бы доказуемы. Однако работы Курта Гёделя (теоремы о неполноте, 1931 год) показали, что в любой достаточно сильной формальной системе существуют истинные, но недоказуемые утверждения.

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

Формулировка и доказательство

Тарский определил формальный язык L, содержащий средства для выражения арифметики (например, язык арифметики Пеано). Он ввёл понятие адекватного определения истины для L — такого предиката Tr(x), который для любого предложения φ языка L эквивалентен утверждению «φ истинно». Формально это выражается схемой T: Tr(⌜φ⌝) ↔ φ, где ⌜φ⌝ — гёделев номер предложения φ.

Тарский доказал, что если язык L содержит:

• средства для формулировки арифметики (в частности, позволяет кодировать синтаксис собственных выражений);
• стандартные логические связки и кванторы;

то в нём невозможно построить предикат Tr(x), удовлетворяющий схеме T для всех предложений L без противоречия.

Доказательство опирается на конструкцию, аналогичную парадоксу лжеца. Используя гёделевскую нумерацию, можно построить предложение S, которое утверждает: «Предложение с гёделевым номером n не истинно», где n — номер самого S. Если Tr(x) — предикат истины, то S эквивалентно ¬Tr(⌜S⌝). Подстановка в схему T даёт Tr(⌜S⌝) ↔ ¬Tr(⌜S⌝), то есть противоречие. Следовательно, такого предиката не существует.

Содержание и следствия

Основные положения

Теорема Тарского имеет несколько ключевых следствий:

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

Связь с теоремами Гёделя

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

Критика и обсуждения

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

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

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

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

Теорема Тарского является фундаментальным результатом метаматематики. Она используется:

• Для доказательства неразрешимости арифметики (в сочетании с теоремами Гёделя).
• В теории моделей — для анализа выразительной силы формальных языков.
• В изучении семантических парадоксов и построении непротиворечивых теорий истины.

В компьютерных науках

Теорема имеет прямое отношение к:

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

В философии

Теорема Тарского оказала глубокое влияние на философию языка и логики:

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

Примеры и иллюстрации

Парадокс лжеца в формальной системе

Рассмотрим формальный язык арифметики. Пусть P — предложение, которое утверждает: «Предложение с гёделевым номером n ложно», где n — номер самого P. Если бы существовал предикат истины Tr(x), то P было бы эквивалентно ¬Tr(⌜P⌝). Тогда по схеме T: Tr(⌜P⌝) ↔ P, что даёт Tr(⌜P⌝) ↔ ¬Tr(⌜P⌝) — противоречие. Следовательно, предикат Tr(x) не может существовать.

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

Тарский предложил избегать парадоксов, вводя иерархию языков:

• L0 — объектный язык (например, язык арифметики).
• L1 — метаязык для L0, содержащий предикат истины для L0.
• L2 — метаязык для L1, содержащий предикат истины для L1, и так далее.

Каждый последующий язык богаче предыдущего, что позволяет определять истину для нижележащего уровня без противоречий.

Источники

1. Тарский А. «Понятие истины в формализованных языках» (1933, польское издание; 1935, немецкий перевод).
2. Гёдель К. «О формально неразрешимых предложениях Principia Mathematica и родственных систем» (1931).
3. Крипке С. «Очерк теории истины» (1975).
4. Мендельсон Э. «Введение в математическую логику» (гл. 3, 4).
5. Булл Р., Сегерберг К. «Основы логики» (раздел о семантических парадоксах).