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

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