Экзамен зачет учебный год 2023 / 140328 Логика NAG

Как проверять умозаключение:

Если это преступление совершил Петров(p) и это доказано(q), то он подлежит привлечению к уголовной ответственности(r).

Петров совершил это преступление, но это не доказано.

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

Петров не подлежит привлечению к уголовной ответственности.

И	И	И	И	И	Л	Л
И	И	Л	И	Л	Л	И
И	Л	И	Л	И	И	Л	Из истинных посылок не может следовать ложное заключение
И	Л	Л	Л	И	И	И
Л	И	И	Л	И	Л	Л
Л	И	Л	Л	И	Л	И
Л	Л	И	Л	И	Л	Л
Л	Л	Л	Л	И	Л	И

Выводы из категорических суждений.

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

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

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

• Общеутвердительный. Каждый 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. Меньшая посылка должна быть утвердительной (неверно).