Основные принципы семантической теории истины Тарского:

1. T-схема Тарского. 2 Для любого высказывания A высказывание «A» верно тогда и только тогда, когда A. 2 Например, высказывание «снег белый» верно тогда и только тогда, когда снег белый. 2
2. Объектный язык и метаязык. 4 Определение должно быть задано в другом языке — метаязыке. 4 Метаязык должен содержать копию объектного языка и располагать средствами для того, чтобы строить высказывания о предложениях объектного языка и об их синтаксисе. 4
3. Формальная корректность. 4 Определение должно быть «формально корректным». 4 Это значит, что эквивалентность должна быть доказуема за счёт использования аксиом метаязыка, не содержащих символа «Истинно». 4
4. Материальная адекватность. 4 Определение должно быть «материально адекватным». 4 Условия материальной адекватности единственным образом детерминируют объём термина «истина». 1