СЕМАНТИЧЕСКОЕ ПОНЯТИЕ ИСТИНЫ

СЕМАНТИЧЕСКОЕ ПОНЯТИЕ ИСТИНЫ — классическое поня­тие истины, уточненное с помощью технических средств логичес­кой семантики. Это уточнение было осуществлено польским мате­матиком и логиком А. Тарским в работе "Понятие истины в фор­мализованных языках" (1935). Тарский исходит из классического представления об истине, согласно которому термин "истинно" вы­ражает свойство нашего знания, в частности свойство высказываний, а не объективной действительности. Высказывание счита­ется истинным тогда и только тогда, когда оно утверждает, что дела обстоят так-то и так-то, и дела действительно обстоят именно так. Напр., высказывание "Париж находится во Франции" истин­но тогда и только тогда, если Париж находится во Франции; выс­казывание "Сахар растворим в воде" истинно тогда и только тог­да, если сахар растворим в воде, и т. п. Подобного рода определе­ния истинности отдельных высказываний Тарский обобщает в виде следующей схемы: X истинно º Р. Для того чтобы получить определение истинности некоторого конкретного высказывания, на место Х в этой схеме нужно поста­вить кавычковое имя данного высказывания (т. е. высказывание в кавычках), а на место Р — само это высказывание, знак "=" означа­ет "тогда и только тогда, когда". Напр.: "Снег бел" истинно тогда и только тогда, когда снег бел. Общее определение истины должно быть таким, чтобы ему соответствовали все конкретные случаи при­менения понятия "истинно", представленные приведенной схемой. Тарский показал, однако, что для обычного естественного язы­ка задача построения общего определения истины не может быть решена. Одной из причин этого является то обстоятельство, что в естественном языке имеются предложения, утверждающие собствен­ную ложность (типа "Я лгу"). Попытка применить к ним термин "истинно" согласно приведенной схеме ведет к противоречию. Тарский считает, что это противоречие возникает благодаря "семанти­ческой замкнутости" естественного языка, т. е. благодаря тому, что в этот язык входят и предложения, и имена этих предложений, и семантические предикаты — "обозначать", "истинно", "выполнять" и т. п. Для устранения подобных парадоксов Тарский считает необ­ходимым разделить язык на две части: объективный язык и метаязык. Определение истины должно формулироваться в мета­языке. В этом случае парадоксов не возникает. С. п. и. не только является одним из основных понятий логичес­кой семантики, оно существенно уточняет и наше философское пред­ставление об истине.