Логика/Умозаключения

Medius terminus — «средний термин» — умозаключение, состоящее в нахождении взаимного соответствия (несоответствия) двух идей при помощи третьей.

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

ПКС простой категорический силлогизм

Определения

В силлогизме различают три термина:

Субъект заключения называется меньшим термином (S)
Предикат заключения называется бoльшим термином (Р)
Понятие, которое присутствует в обеих посылках, но отсутствует в заключении называется средним термином (М). Его функция - связать посылки.

Суждение, в которое входит бoльший термин, называется бoльшей посылкой.
Суждение, в которое входит меньший термин, называется мeньшей посылкой.

Правила

Термин должен быть не Пустым
Термин должен быть не Универсальным (т.е. объем термина не совпадает с объемом универсума)
Субъект и Предикат Термина должны быть из одного Универсума
Термины в Силлогизме должны быть из одного Универсума (это следует из общности Среднего Термина)
Средний термин должен быть Распределен хотя бы в одной из Посылок. Термин считается распределенным (обозначается"+"), если он взят в полном объеме. Например, "Все студенты нашей группы сдали зачет по логике"

УКС условно-категорический силлогизм

Термины в Условном Силлогизме НЕ обязательно должны быть из одного Универсума (это следует, например, из Модуса Поненс или Толенс)

Умозаключения