37
   Саратов — столица России истинно тогда и только тогда, когда Саратов — столица России.
   Такой аксиоматический подход позволяет формализовать некоторые интуитивно ощущаемые связи между значениями разных предложений. Так, синонимичными следует считать предложения, у которых совпадают (соответствуют одному и тому же положению дел) условия истинности, например фразы Петя — Машин муж и Маша — Петина жена. Также формализуемы в этих рамках понятия противоречивости, аномальности и др.
   Центральным понятием формальной семантики стало понятие условий истинности. Именно поэтому сам подход часто называется семантикой условий истинности (1ги1;11-сопс1Шопа1 зетапйсз), хотя более распространен русский термин теоретико-истинностная семантика. Сам А. Тарский занимался семантикой логических языков, однако, поскольку он ставил задачу описания языков с бесконечным множеством предложений (а именно такими свойствами обладает естественный язык) с помощью конечных средств, его подход стал прообразом формальной семантики естественного языка.