Семантическая Концепция Истины (для Формализованных Языков) А. Тарского

Экспликация нашего интуитивного представления об истине как соответствии реальности. Впоследствии Д.Дэвидсон доказал применимость семантического определения истины и для естественных языков.