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

посредством терминного отрицания понятия «не-знак» (обозначим как не-А) и
понятия «слово» (обозначим как В):

                            U
                                            не-А
                                      А
                                 В




                                  Рис. 14

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

      ™ Пример
   При осуществлении операции пропозиционального отрицания над ложным
суждением «Все слова — не-знаки», получим истинное суждение «Неверно, что
все слова — не-знаки». Если же мы будем осуществлять операцию терминного
отрицания в отношении субъекта данного суждения, то получим новое ложное
суждение: «Все не-слова есть не-знаки».

   Операция терминного отрицания увеличивает список разновидностей просто-
го категорического суждения по качественно-количественной характеристике. К
общеутвердительным суждениям помимо суждения «Всякий S есть P» добавля-
ются суждения: 1) «Всякий не-S есть P» (общеутвердительное с отрицательным
субъектом), 2) «Всякий S есть не-P» (общеутвердительное с отрицательным пре-
дикатом) и 3) «Всякий не-S есть не-P» (общеутвердительное с отрицательным
субъектом и предикатом); то же имеет место и в отношении частноутвердитель-
ных, общеотрицательных и частноотрицательных суждений.

       ™ Пример
    1) «Незваный гость хуже татарина» (общеутвердительное с отрицательным
субъектом). 2) «Все мёртвые являются неживыми» (общеутвердительное с отри-
цательным предикатом). 3) «Всё непонятное необъяснимо» (общеутвердительное
с отрицательным субъектом и предикатом).

   Введение в негативной силлогистике дополнительных разновидностей про-
стого категорического суждения по качественно-количественной характеристике
увеличивает число выводов из суждений посредством их преобразования, а также
класс двухпосылочных следствий (категорических силлогизмов).

                                     58