Просмотр кода страницы Семантическая теория истины

'''Семантическая теория истины''', или '''семантическая концепция истины''' — набор принципов, использующих понятия [[Математическая логика|математической логики]] для формализации идеи [[Истина|истины]]. Была придумана математиком [[Тарский, Альфред|Альфредом Тарским]] в 1920-х — 1930-х годах и опубликована в 1933 году в статье ''Pojęcie prawdy w językach nauk dedukcyjnych'' ({{tr-pl|Понятие истины в языках дедуктивных наук}}).

== Идея ==
Основой семантической теории истины является '''<math>T</math>-схема Тарского''', которая гласит<ref name="Internet">[http://www.iep.utm.edu/truth/#H4 Truth: 4. Tarski’s Semantic Theory] {{Wayback|url=http://www.iep.utm.edu/truth/#H4 |date=20171027100643 }} в [[Internet Encyclopedia of Philosophy]]</ref>, что для любого высказывания <math>A</math>
: Высказывание «<math>A</math>» верно тогда и только тогда, когда <math>A</math>.
Например,
: Высказывание «снег белый» верно тогда и только тогда, когда снег белый.
Заметим, что это последнее утверждение отлично от [[Тавтология (логика)|тавтологии]]
: Снег белый тогда и только тогда, когда снег белый.
При этом «снег белый» слева является высказыванием в одном языке, а «снег белый» справа — в другом<ref name="Internet" />. Действительно, можно заменить утверждение выше на
: Высказывание «''snow is white''» верно тогда и только тогда, когда снег белый.

== Формализация ==
Для формализации понятия <math>T</math>-схемы необходимо расмотреть два [[Формальный язык|формальных языка]] — язык <math>L</math>, или {{нп5|Объектный язык|объектный язык|en|Object language}} и язык <math>M</math>, или [[метаязык]]. Предполагается, что <math>M</math> содержит копию <math>L</math> и позволяет обсуждать высказывания из <math>L</math>, не выходя за рамки <math>M</math>. Также необходим унарный [[предикат]] <math>True</math>, такой что <math>True(A)</math> выполняется тогда и только тогда, когда высказывание <math>A</math> языка <math>L</math> верно. Наконец, язык <math>M</math> должен содержать аксиомы [[Синтаксис (логика)|синтаксиса]], необходимые для задания предиката <math>True</math> без отсылок к каким-либо дополнительным понятиями вроде «означает»<ref name="Stanford">[https://plato.stanford.edu/entries/tarski-truth/ Tarski’s Truth Definitions] {{Wayback|url=https://plato.stanford.edu/entries/tarski-truth/ |date=20011110114821 }} в [[Stanford Encyclopedia of Philosophy]]</ref>.

В статье 1933 года Тарский предполагает, что в качестве метаязыка будут использоваться что-то вроде [[Логика высшего порядка|логик высших порядков]], но сейчас эту роль чаще играет неформальная [[теория множеств]]<ref name="Stanford" />.

== Примечания ==
{{примечания}}

[[Категория:Эпистемология]]
[[Категория:Логика]]