Несмотря на сказанное и определенную несовместимость логической (формальной) и лингвистической семантик, первая представляет для лингвистики большой интерес, особенно если речь идет о теориях значения естественного языка.
   Фундамент современной логической семантики, как уже сказано, был заложен работами Г. Фреге. Именно он заговорил об интерпретации формальных систем, о процедуре приписывания каждому предложению его истинностной оценки, основанной на условиях истинности данного предложения. Г. Фреге также сформулировал принцип композициональности (композиционности), играющий огромную роль в истинностной оценке языков с бесконечным количеством предложений. Данный принцип позволяет построить интерпретацию сложных предложений, основываясь на интерпретации набора простых предложений и правил комбинирования (его формулировку см. в преамбуле к главе 10).
   Решающий шаг в создании формальной семантики сделал польский логик А. Тарский, представитель львовско-варшавской школы, позднее эмигрировавший в США. Он сформулировал определение истинностной оценки, связанное с понятием условий истинности, следующим образом:
                      3 истинно тогда и только тогда, когда Р.
    1 Естественно, при этом используются и стандартные правила записи — скобки и т.д.
36