Теория истинности А.Тарского

Таковы наиболее важные для нас здесь аргументы теории истины Тарского.Это понятие не входит в его определение истины и, строго говоря, не является частью теории истины.При каких условиях предложение снег бел истинно или ложно?(Т) Х истинно ттт р.Систематическое исследование дедуктивной функции логики известно как теория доказательства.Систематическое исследование дескриптивной функции - теория моделей, или логическая семантика.Условия истинности - свойство значения предложения, а не значения символа.В другом плане универсалист не может говорить об истине как соответствии.Языки, которые рассматривал Тарский - прежде всего эксплицитно выраженные формальные языки.Тарский, очевидно, остро сознавал данную проблему.