заблуждениям. Это явление вызвало необходимость анализа внутренних закономерностей и логики развития наук. В результате появилось второе определение истинности, данное польским математиком и логиком А. Тарским (1901–1983) в работе [80]. Сформулированное им новое так называемое семантическое понятие истины есть также классическое понятие истины, но только уточненное с помощью средств логической семантики. А. Тарский исходит из представления об истине, но с других позиций, согласно которым термин «истинно» выражает свойство нашего знания, в частности свойство высказываний, а не соответствие объективной действительности. Высказывание считается истинным тогда и только тогда, когда оно формально внутренне непротиворечиво. А. Тарский показал, однако, что для обычного естественного языка задача построения общего определения истины не может быть решена. Одной из причин этого является то обстоятельство, что в естественном языке имеются предложения, утверждающие собственную ложность (типа «Я лгу»). Попытка применить к ним термин «истинно», согласно приведенной схеме, ведет к противоречию. А. Тарский считает, что это противоречие возникает благодаря «семантической замкнутости» естественного языка, т. е. благодаря тому, что в этот язык входят и предложения, и имена этих предложений, и семантические предикаты – «обозначать», «истинно», «выполнять» и т. п. Для устранения подобных парадоксов А. Тарский считает необходимым разделить язык на две части:
1) объектный язык и
2) метаязык.
Определение истины должно формулироваться только в метаязыке. В этом случае парадоксов не возникает и по этой причине семантическое понятие истины не только является одним из основных понятий логической семантики, оно существенно уточняет и общефилософское представление об истине.
Кроме А. Тарского, данную проблему изучали и другие математики. К аналогичным выводам о необходимости системы двух языков почти одновременно пришли и К. Гедель (1906–1978) [83], и А. Черч (1903–1995) [87]. Некоторые важные результаты в данном направлении были высказаны еще Г. В. Лейбницем (1646–1716) [67]. В отличие от них, А. Тарский наиболее приблизился к идее семантики, используя ее в паре «истинность – семантика».
Следует обратить внимание на огромную временную дистанцию между появлением определений по Аристотелю (IV в. до н. э.) и по А. Тарскому (ХХ в. н. э.). Видимо, в течение 24 веков человечество вполне довольствовалось только лишь определением Аристотеля.
Для любого из этих определений истинность достигается за счет включения нормативно-ценностных факторов образования и функционирования знания в единую систему критериев, а не за счет абстрагирования от них, отказа от их учета.
Надо уточнить сначала, что такое единая теория смысла знаний. Возьмем за основу утверждение, что именно семантика с координатой, называемой «истинность», лежит в основе смысла знаний. Но вся сложность здесь в том, что истинность слишком сильно связана с интуицией. А эта категория пока слишком мало изучена,
