В случае утверждений именно пропозициональный компонент отвечает за истинностное значение предложения-высказывания. Не случайно одним из основных типов метаязыков для представления пропозиционального содержания предложения являются метаязыки, заимствованные из логики, которые строились для формализации процессов «правильного» умозаключения, т. е. приводящего к истинному выводу на основе истинных посылок. Это языки логических исчислений, из которых первоначально использовался язык исчисления предикатов первого порядка с теми или иными расширениями, а в последнее время — язык интенсиональной логики. При этом пропозициональный компонент содержания предложения представляется в виде формулы, состоящей из единиц словаря семантического метаязыка и построенной по правилам грамматики (синтаксиса) языка некоторого логического исчисления. Основные категории этой грамматики для метаязыка, базирующегося на исчислении предикатов, мы уже охарактеризовали в разделе 2.1. Это термы
Глава 3. Семантические метаязыки
281
(константы и переменные), предикаты, операторы, кванторы и связки. В качестве примера использования такого метаязыка приведем запись пропозиционального содержания предложения (5а) в виде формулы (56)4>:
(5) (а) Аляска больше Техаса.
    (б) (4 х: ВЕЛИЧИНА (АЛЯСКА, х)) (а у: ВЕЛИЧИНА (ТЕХАС, у)) ПРЕВОСХОДИТЬ х, у