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

век верит в бога» и «Ни один атеист не верит в бога». Суждения пятой и шестой
форм несут информацию о том, что конкретное свойство присутствует или отсут-
ствует хотя бы у некоторых элементов класса.

   Следует обратить внимание на то, что перечисленные формы могут иметь ме-
сто и в том случае, если предикат суждения является не только единичным или
общим, но и пустым именем, а также универсумом (универсальным именем), что
как раз и допускается аристотелевской силлогистикой. На смену последней
пришла силлогистика традиционная, требующая, чтобы термины категориче-
ских атрибутивных высказываний при их интерпретации на некотором универсу-
ме были знаками таких имён, которые не являются пустыми и универсальными.
   Представленные выше 1-я и 2-я формы категорических атрибутивных сужде-
ний принято сводить к формам:
   1. Общеутвердительной, обозначаемой латинской заглавной или прописной
«а» (от первой гласной в латинском слове affirmo — утверждаю), поскольку еди-
нично-утвердительное высказывание трактуется как утверждение о наличии
свойства у «всех» элементов объёма P, которых ровно один.
   2. Общеотрицательной, обозначаемой латинской заглавной или прописной
«e» (от первой гласной в латинском слове nego — отрицаю), поскольку единично-
отрицательное высказывание трактуется как отрицание наличия свойства у
«всех» элементов объёма P, которых ровно один.
   В свою очередь, частноутвердительное категорическое атрибутивное суж-
дение получило обозначение «i» (от второй гласной в слове affirmo), а частно-
отрицательное — «о» (от второй гласной в слове nego).
   С применением введённой символики данные формы могут быть записаны
как силлогистические формулы:

   1. SaP — общеутвердительное.
   2. SiP — частноутвердительное.
   3. SeP — общеотрицательное.
   4. SoP — частноотрицательное.

 3.4. Позитивная и негативная разновидности традиционной силлогистики

   Поскольку термины простых категорических суждений могут рассматривать-
ся в логических рассуждениях либо в качестве элементарных, либо в качестве
сложных образований, постольку в рамках традиционной силлогистики выделя-
ют позитивную традиционную силлогистику и негативную традиционную
силлогистику.
   Первая из них не учитывает внутреннюю структуру терминов, трактует субъ-
ект и предикат как элементарные выражения, неразложимые на составные части.

      ™ Пример
   В суждении «Ни одно чётное число не является нечётным» предикатом счита-
ется имя «являющийся нечётным», т. е. имя «нечётный» берётся без учёта выра-
                                     33