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

В зависимости от последовательности движения мысли и логической обоснованности выводного суждения умозаключения делятся на виды:
1) дедуктивные: от более общего знания к менее общему; заключение с логической необходимостью вытекает из посылок, оно ими обосновано полностью и однозначно;
2) индуктивные: от менее общего знания к более общему; заключение имеет чаще всего вероятностный характер;
3) умозаключения по аналогии: от частного знания к частному; заключение носит вероятностный характер.

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

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

НУ Непосредственное умозаключение — это умозаключения, содержащие одну посылку и построенные путём преобразования суждения. Различают четыре разновидности преобразований суждений: Превращение, Обращение, Противопоставление предикату, Умозаключение по логическому квадрату.

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

Определения

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

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

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

Правила

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

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

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

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