1 Естественно, при этом используются и стандартные правила записи — скобки и т.д.
36
   В формуле Тарского 8 — предложение интерпретируемого языка, а Р — условия истинности, записанные на метаязыке1. Так, фраза Петербург — столица России истинна тогда и только тогда, когда выполняются следующие условия истинности: Петербург является столицей России. Эти условия истинности выполнялись определенный период времени, а именно с 1712 по 1914 г. — до переименования города в Петроград. В настоящий момент они также не выполняются, так что суждение ложно. Некоторые проблемы возникают для всегда истинных и всегда ложных предложений. Так, можно сказать, что
   Саратов — столица России истинно тогда и только тогда, когда Ливерпуль — столица Великобритании.
   Поскольку сформулированные таким образом условия истинности никогда не соблюдаются, то и анализируемое предложение всегда ложно, что, собственно, и требуется. Напротив, всегда соблюдаются условия истинности в следующей формуле:
   Пушкин — автор «Евгения Онегина» истинно тогда и только тогда, когда Достоевский — автор «Преступления и наказания».
   Таким образом, анализируемое высказывание всегда истинно.