Семантическая революция: Гедель vs Тарский

Рассматриваются два подхода к определению центрального понятия семантики, а именно, формализованному определению понятия истины. Показывается, что арифметизация синтаксиса, примененная Гёделем при доказательстве Первой теоремы о неполноте, хотя и используется Тарским, занимает у него скромное место. Анализируются причины приверженности Гёделя синтаксическим методам и избегания им понятия истины. Показывается, что теорема о неопределимости истины в формальных системах Тарского доказана им как часть более широкой программы построения теории моделей.

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