СЕМАНТИЧЕСКОЕ ОПРЕДЕЛЕНИЕ ИСТИНЫ – см. Логическая семантика.