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

     ™ Пример
   Всякий S+ есть P- («Всякая столица является городом»)
   ___________________________________________________________________________

   Некоторый P- есть S+ («Некоторые города — столицы»);

   Некоторый S- есть P+ («Часть юристов — прокуроры»)
   _________________________________________________________________________

   Всякий P+ есть S- («Все прокуроры — юристы).

   Применительно к формуле SoP нельзя получить логического следования.

      ™ Пример
   Из истинного частноутвердительного суждения (вторая модельная схема, S- и
P+) «Некоторые живые существа не являются людьми» путём обращения нельзя
получить истинного суждения, что означает невозможность осуществления логи-
ческого следования для данной формулы в целом.

          4.4. Общая характеристика и логическая структура простого
                         категорического силлогизма

    Помимо обращения и умозаключений по логическому квадрату в рамках по-
зитивной традиционной силлогистики рассматривается такой вид опосредован-
ного умозаключения, как простой категорический силлогизм, а также произ-
водные от него сложные (полисиллогизм), сокращённые (энтимема) и сложносо-
кращённые (сорит, эпихейрема) формы силлогизма.
    Простым категорическим силлогизмом (ПКС) называется дедуктивное умо-
заключение, в котором из двух истинных категорических суждений, где меньший
(S) и больший (P) термины связаны средним (M, от лат. mediatio — посредниче-
ство), при соблюдении правил необходимо следует заключение.

     ™ Пример
   Все металлы электропроводны.
   Цинк — металл.
   __________________________________________

   Цинк электропроводен.
   Данный ПКС может быть прочтён: «Поскольку все металлы электропровод-
ны, а цинк — металл, то он электропроводен».

   Логическое следование в ПКС осуществляется в соответствии с аксиомой, ко-
торая гласит: «Всё то, что утверждается или отрицается относительно всех
элементов некоторого класса, утверждается или отрицается относительно
каждого элемента и любой части элементов этого класса».
   Слова и словосочетания, выражающие понятия, фигурирующие в качестве
терминов входящих в ПКС суждений-посылок и суждения-заключения, называ-
ются терминами ПКС. В каждом ПКС имеется три термина:
                                                   45