Семантическое Определение Истины

Формально-логическое уточнение классической (корреспондентной) концепции истины, экспликация интуитивного представления об истине как соответствии реальности, разработанная в логико-семантической теории А. Тарского. Впервые эта концепция была изложена Тарским в 1933. Непосредственным поводом к ее формулировке послужило стремление преодолеть присущие естественному языку семантические парадоксы (типа известного парадокса "Лжец"). В отличие от представителей лингвистической философии Тарский считал естественные языки несовершенными, "семантически замкнутыми", т.е. Содержащими как сами выражения, так и их имена, а также семантические термины типа "истинно", применимые по отношению к выражениям определенного языка.

При этом Тарский исходил из принципиальной возможности формализации естественных языков. Строгое определение истины должно, по его мнению, удовлетворять требованию материальной адекватности и формальной непротиворечивости. Первому требованию отвечает следующая формулировка (т.н. Конвенция-Т). "Р" истинно, если и только если P, которая не является тавтологией, поскольку здесь четко различаются стоящее справа предложение, обозначающее определенную ситуацию в реальности (Р), и стоящее слева имя этого предложения ("Р"). Второму требованию отвечает перевод предложения Р из формализованного объектного языка в более богатый метаязык, в котором оказывается возможным построить непротиворечивое определение истины и др.

Семантических понятий. В свою очередь, семантика метаязыка определяется в метаметаязыке, и так до бесконечности. Эта концепция истины сыграла важную роль в разработке методов построения семантики формализованных языков. Развивая концепцию Тарского, К. Поппвр к Д. Дэвидсон показали впоследствии ее применимость к неформализованным, естественным языкам..