Онтология и теория познания

Семантическое определение истины для большой группы формализованных языков было предложено:

А. Тарским