Семантическое Понятие Истины

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

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

Одной из причин этого является то обстоятельство, что в естественном языке имеются предложения, утверждающие собствен­ную ложность (типа «Я лгу»). Попытка применить к ним термин «истинно» согласно приведенной схеме ведет к противоречию. Тарский считает, что это противоречие возникает благодаря «семанти­ческой замкнутости» естественного языка, т. Е. Благодаря тому, что в этот язык входят и предложения, и имена этих предложений, и семантические предикаты — «обозначать», «истинно», «выполнять» и т. П. Для устранения подобных парадоксов Тарский считает необ­ходимым разделить язык на две части. Объективный язык и метаязык. Определение истины должно формулироваться в мета­языке. В этом случае парадоксов не возникает.

С. П. И. Не только является одним из основных понятий логичес­кой семантики, оно существенно уточняет и наше философское пред­ставление об истине..