logo search

Семантические парадоксы, см.: Антиномия. Семантическое понятие истины

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