Словарь логики

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