В формальной семантике (как естественных, так и искусственных языков) тезис об эквивалентности формально-логического описания и собственно семантики языка обычно рассматривается как одно из фундаментальных оснований метода. Однако существуют выражения, семантика которых может быть очень просто и однозначно описана в рамках логической парадигмы, но такое описание будет вступать в конфликт с одной стороны с прагматикой этих выражений, а с другой стороны – с принципом композициональности. Так, например, общая семантика лексемы «следующий» описывается достаточно простой формулой «следующий(x) = объект из некоторой упорядоченной последовательности, в которой x имеет номер i, имеющий в этой последовательности номер i+1», но при этом во всех случаях употребления этой лексемы будет реализовываться не общее, а некоторое частное – и притом конструктивное – значение. С другой стороны, семантика «следующий»+Pl. не может быть выведена из значения лексемы и нормального значения  множественности. В докладе предлагается путь решения подобных проблем, основанный на введении условий, достаточных для того, чтобы данная логическая форма представлялась данным выражением. Семантические пропозиции выступают в таком случае в качестве аксиом логических теорий. Помимо прочего, такой метод хорошо согласуется с идеями Куайна и Скулема о принципиальной невозможности исчерпывающей характеризации языков с помощью логических систем.