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

СЕМАНТИЧЕСКОЕ ОПРЕДЕЛЕНИЕ ИСТИНЫ — было разработано в 30-е гг. XX в. в логико-семантической теории А. Тарского. Данное определение является формально-логическим уточнением классической («корреспондентной») концепции истины, экспликацией нашего интуитивного представления об истине как соответствии реальности. Непосредственным поводом к формулированию С.о.и. послужило стремление преодолеть присущие естественному языку семантические парадоксы (например, известный парадокс «Лжец»), В отличие от представителей лингвистической философии Тарский считал естественные языки несовершенными, «семантически замкнутыми», т.е. содержащими как сами выражения, так и их имена, а также семантические термины типа «истинно», применимые по отношению к выражениям определенного языка. При этом Тарский исходил из принципиальной невозможности формализации естественных языков. Строгое определение истины должно, по его мнению, удовлетворять требованию материальной адекватности и формальной непротиворечивости. Первому требованию отвечает следующая формулировка: «"Р" истинно, если и только если Р», которая не является тавтологией, ибо здесь четко различаются стоящее справа предложение, обозначающее определенную ситуацию в реальности (Р), и стоящее слева имя (знак) этого предложения («Р»). Предикат «истинно» переводит предложение Р из формализованного объектного языка в более богатый метаязык, в котором оказывается возможным построить непротиворечивое определение истины и других семантических понятий. В свою очередь семантика метаязыка определяется в метаметаязыке, и так до бесконечности. Развивая концепцию Тарского, К. Поппер и Д. Дэвидсон впоследствии показали применимость С.о.и. к неформализованным, естественным языкам.

Словарь философских терминов. Научная редакция профессора В.Г. Кузнецова. М., ИНФРА-М, 2007, с. 487.