[Й. девочки выздоровели.
1  ДОбе х) [девочка (х)] [выздоровела (х)]
оестпы*6 Квант°Р> х ~ подкванторная переменная, ‘девочка (х)’— топы ИКТИВНЫЙ терм’ ‘выздоровела (х)’— ядерная сфера действия. Кван-аргумр°ТРаЖаЮТ СП0С0® соотнесения термов, выступающих в качестве ПроУ_ нтов предиката, с их референтами в мире дискурса. Этот аспект ЦиапьнИЦИОНаЛЬНОГо С0Держания предложения, называемый референ-а разлным’ заслуживает отдельного рассмотрения, и будет обсуждаться эуются 2 1 ^ополнительные сведения о том, какие кванторы исполь-в разделе 3 дТаязыках для °писания значений предложений, помещены
                   свЯзиЕ^0ДН0 основание Для классификации суждений — это характер сУЖдеим°бРаЖаеМЫХ предметов и их свойств. Так, например, условные того ил ВЫделяются в особый класс, так как отображают зависимость и иного явления от каких-то условий. Соответственно, условное
226
Раздел Ш. Семантика предложения и высказывания
суждение следует представлять как сложную пропозицию, состоящую из двух или более элементарных пропозиций, объединенных связкой «если ... , то», в логике называемой импликацией. Так, суждение Если Коля заболел, то он не пошел в школу, отвлекаясь от параметра времени, можно представить в виде формулы:
     [болеть (Коля)] [идти (Коля, школа)].