Семантическая теория истины, или семантическая концепция истины — набор принципов, использующих понятия математической логики для формализации идеи истины. Была придумана математиком Альфредом Тарским в 1920-х — 1930-х годах и опубликована в 1933 году в статье Pojęcie prawdy w językach nauk dedukcyjnych ().
Идея Основой семантической теории истины является -схема Тарского, которая гласитTruth: 4. Tarski’s Semantic Theory в Internet Encyclopedia of Philosophy, что для любого высказывания Высказывание «» верно тогда и только тогда, когда . Например, Высказывание «снег белый» верно тогда и только тогда, когда снег белый. Заметим, что это последнее утверждение отлично от тавтологии Снег белый тогда и только тогда, когда снег белый. При этом «снег белый» слева является высказыванием в одном языке, а «снег белый» справа — в другом. Действительно, можно заменить утверждение выше на Высказывание «snow is white» верно тогда и только тогда, когда снег белый.
Формализация Для формализации понятия -схемы необходимо рассмотреть два формальных языка — язык , или и язык , или метаязык. Предполагается, что содержит копию и позволяет обсуждать высказывания из , не выходя за рамки . Также необходим унарный предикат , такой что выполняется тогда и только тогда, когда высказывание языка верно. Наконец, язык должен содержать аксиомы синтаксиса, необходимые для задания предиката без отсылок к каким-либо дополнительным понятиями вроде «означает»Tarski’s Truth Definitions в Stanford Encyclopedia of Philosophy.
В статье 1933 года Тарский предполагает, что в качестве метаязыка будут использоваться что-то вроде логик высших порядков, но сейчас эту роль чаще играет неформальная теория множеств.
Примечания
Категория:Эпистемология Категория:Логика