Семантическая паутина
- 1 year ago
- 0
- 0
Семантическая теория истины , или семантическая концепция истины — набор принципов, использующих понятия математической логики для формализации идеи истины . Была придумана математиком Альфредом Тарским в 1920-х — 1930-х годах и опубликована в 1933 году в статье Pojęcie prawdy w językach nauk dedukcyjnych (с польск. — «Понятие истины в языках дедуктивных наук»).
Основой семантической теории истины является -схема Тарского , которая гласит , что для любого высказывания
Например,
Заметим, что это последнее утверждение отлично от тавтологии
При этом «снег белый» слева является высказыванием в одном языке, а «снег белый» справа — в другом . Действительно, можно заменить утверждение выше на
Для формализации понятия -схемы необходимо расмотреть два формальных языка — язык , или и язык , или метаязык . Предполагается, что содержит копию и позволяет обсуждать высказывания из , не выходя за рамки . Также необходим унарный предикат , такой что выполняется тогда и только тогда, когда высказывание языка верно. Наконец, язык должен содержать аксиомы синтаксиса , необходимые для задания предиката без отсылок к каким-либо дополнительным понятиями вроде «означает» .
В статье 1933 года Тарский предполагает, что в качестве метаязыка будут использоваться что-то вроде логик высших порядков , но сейчас эту роль чаще играет неформальная теория множеств .