В чем заключаются основные принципы семантической теории истины Тарского?

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

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