По объему или количеству суждения в классической логике подразделяются на единичные (Иван ленив), частные (Некоторые люди ленивы) и общие (Все люди ленивы). Различия в логических свойствах таких суждений отражаются в логике с помощью особых единиц логического языка — кванторов.
     В языке исчисления предикатов используется всего 2 квантора: кваи-тор общности (V) для общих суждений и квантор существования (3) ДЛЯ частных. Квантор — это своего рода двухместный предикат. Первое место квантора заполняется подкванторной переменкой, второе — пропозициональной формой, содержащей связываемую квантором переменную. ТаК1 предложение (9) представляется в логике в виде формулы (9'):
(9) Некоторые люди ленты.
(9 ) (3 х) [человек (х) & ленив (х)]
     В лингвистической семантике также необходимы метаязыковые средства, которые отражали бы разнообразные количественные аспекты ситуации, обозначаемой предложением. Так, некоторая абстрактная ситуация, например ситуация ‘сдача экзамена’, может быть представлена
Глава 2. Основные компоненты плана содержания предложения 225