Выводы из категорических суждений. Непосредственные умозаключения.

Умозаключение из одной посылки.

В общих и единичных распределены субъекты, а а отрицательный распеделены предикаты.

• Общеутвердительный. Каждый S есть P.

  • A, S⁺ a P^-.

• Частно утвердительный. Некоторый S есть P.

  • I, S^- i P^-.

• Общеотрицательный. Каждый S не есть P.

  • E, S⁺ e P⁺.

• Частно отрицательный. Некоторый S не есть P.

  • O, S^- o P⁺.

• Единично утвердительный.

  • S⁺ есть P^-.

• Единично отрицательный.

  • S⁺ не есть P⁺.

Выводы по логическому квадрату.

SaP	Контрарные	SeP
SiP	субконтрарные	SoP

Категорический силлогизм.

Все металлы (M⁺ средний термин) – электропроводные вещества (P^- большая посылка).

Все металлы (M⁺ средний термин) – теплопроводные вещества (S^- меньшая посылка).

---------------------------------

Некоторые электропроводные вещества(S^- меньший термин) являются электропроводными (P^- больший термин).

Крайние термины:

• Больший термин (P).

• Меньший термин (S).

Как проверять:

1. Формулируются общие правила силлогизма. Их можно по-разному формулировать (иногда 2 правила, иногда 5, иногда 3). Если не одно правило не нарушено, то силлогизм правильный.

   1. Число отрицательных заключений должно быть равно числу отрицательных посылок.

   2. Правила терминов – средний термин должен быть распределен, по крайней мере, в одной из посылок.

   3. Термин, не распределённый в посылках, не должен быть распределен в заключении.

2. Правила фигур.

   M		P
   S		M

   1. I.

      1. большая посылка должна быть общим суждением.

      2. Меньшая посылка должна быть утвердительной.

         P		M
         S		M

   2. II.

      1. Большая посылка должна быть общим суждением.

      2. Одна из посылок должна быть отрицательной.

         M		P
         M		S

   3. III

      1. Меньшая посылка должна быть утвердительной.

      2. Заключение должно быть частным сужением.

         P		M
         M		S

   4. IV. (В учебнике есть, но они сложные. Проще проверять общие правила.)

Все адвокаты (M) – юристы (P)

Некоторые защитники (S) – не адвокаты (M).

--------------------------------------------------

Некоторые защитники (S) не являются юристами (P).

M		P
S		M

1. большая посылка должна быть общим суждением (верно).

2. Меньшая посылка должна быть утвердительной (неверно).