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