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