Семантика условий истинности для естественного языка на основе идей А. Тарского была построена Д. Дейвидсоном. На этой же основе с использованием понятия «модель» строится и теоретико-модельная семантика. Если говорить не вполне строго, то модель языка есть предписание, сопоставляющее символам языка объекты из предметной области, например из реального мира. Таким образом, модель задает истинностную оценку предложений языка и можно говорить об истинности того или иного предложения в данной модели. Можно также говорить о естественных моделях, т. е. очевидных и разделяемых всеми без специальных оговорок, так сказать «по умолчанию».
   Так, приведенное выше предложение Петербург — столица России ложно в естественной для нас сегодня модели. Однако в естественной для девятнадцатого века модели оно было истинно. Следует отметить, что в любой модели тавтологии истинны, а противоречивые предложения ложны.