Логика и теория аргументации. Скачков А.С. - 32 стр.

   Применив уже введённый символ «S» для обозначения субъекта и символ «P»
для обозначения предиката, используя кванторное слово «все» и слово «есть» для
выражения утвердительной предицирующей связки, получим следующую симво-
лическую запись логической формы данной разновидности категорического ат-
рибутивного суждения:

                               «Все S есть P»

(читается: «Любому элементу объёма имени P принадлежит свойство S»).


          3.3. Общая качественно-количественная классификация
                         категорических суждений

    В целом к числу разновидностей категорических высказываний относятся су-
ждения следующих логических форм:
    1. «Данное S есть P» — единично-утвердительное, т. е. такое, в котором со-
держащему только один элемент в своём объёме предмету мысли предицируется
наличие какого-либо признака.
    2. «Данное S не есть P» — единично-отрицательное, т. е. такое, в котором
содержащему только один элемент в своём объёме предмету мысли предицирует-
ся отсутствие какого-либо признака.
    3. «Все S есть P» — общеутвердительное, т. е. такое, в котором всем эле-
ментам предмета мысли, содержащего в своём объёме больше чем один элемент,
предицируется наличие какого-либо признака.
     4. «Ни одно S не есть P» — общеотрицательное, т. е. такое, в котором всем
элементам предмета мысли, содержащего в своём объёме больше чем один эле-
мент, предицируется отсутствие какого-либо признака.
    5. «Некоторые S есть P» — частноутвердительное, т. е. такое, в котором
части элементов предмета мысли, содержащего в своём объёме больше чем один
элемент, предицируется наличие какого-либо свойства («некоторые» в силлоги-
стике берётся в смысле — «по крайней мере, некоторые», а не в смысле «только
некоторые»).
    6. «Некоторые S не есть P» — частноотрицательное, т. е. такое, в котором
части (в означенном смысле) элементов предмета мысли, содержащего в своём объ-
ёме больше чем один элемент, предицируется отсутствие какого-либо признака.

      ™ Пример
   Первая форма означает утверждение о наличии свойства у имени с одним
элементом в объёме (единичное имя), например, «Автор «Категорий» является
представителем периода расцвета античной философии», а вторая — утвержде-
ние об отсутствии свойства у имени с одним элементом в объёме, например,
«Озеро Байкал не является высокогорным». В третьей и четвёртой формах про-
исходит, соответственно, утверждение и отрицание наличия свойства у всех эле-
ментов, входящих в объём общего имени, например, «Всякий религиозный чело-
                                     32