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

Умозаключение — это процесс получения знания, выраженного в суждении, из других знаний, тоже выраженных в суждениях.

Исходные суждения называются посылками умозаключения, а получаемое суждение — заключением.

Выделяют дедуктивные умозаключения (выведение; правильные умозаключения) и индуктивные (наведение).

Структура умозаключения:

-Посылки –исходные известные суждения;

-Заключение – новое суждение, полученное из посылок;

-Вывод – логический переход от посылок к заключению.

Пример: Все киты млекопитающие →посылка

Все млекопитающие теплокровны → посылка

----------------------------------------------- → вывод

Все киты теплокровны → заключение

Умозаключения, частные случаи которых в традиционной логике назывались

условно-категорическими. Это умозаключения, в которых одна посылка — условное суждение, а вторая посылка совпадает с основанием или следствием условного суждения или же с результатом отрицания основания или следствия условного суждения.

Пример: Если понятые не приглашены, то процессуальный порядок следственного действия не соблюден.

Понятые не приглашены.

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

Процессуальный порядок следственного действия не соблюден.

Логическая форма этого умозаключения такова: A→B,A

—--------------

B

Умозаключения такой формы относятся к утверждающему модусу (modus ponens), а умозаключения формы:

— к отрицающему модусу (modus tollens). Умозаключения этих логических форм являются правильными, а умозаключения, например, следующих форм:

— неправильными. Эти правильные и неправильные способы рассуждения следует запомнить и различать. Чтобы выяснить, является ли условно-категорическое умозаключение правильным или нет, нужно выявить его форму и установить, относится ли оно к одному из правильных модусов или нет. Если оно относится к правильному модусу, то оно правильное, в противном случае — неправильное.

21. Категорический силлогизм (определение, структура).(Николаева)

Простой категорический силлогизм — это умозаключение, в котором из двух категорических суждений выводится третье категорическое суждение — заключение. Отношение между терминами заключения устанавливается на основе их отношения к некоторому третьему термину в посылках.

Пример: В категорическом силлогизме — три нелогических термина, являющихся общими или единичными именами. Термины, входящие в заключение, называются крайними, а термин, входящий в каждую из посылок, но не входящий в заключение,— средним. В примере средним термином является общее имя «бактерия». Средний термин обычно обозначается буквой M (от латинского terminus medius — «термин средний»). Термин, соответствующий субъекту заключения, называется меньшим. Он, как правило, обозначается латинской буквой S. Термин, соответствующий предикату заключения, называется бόльшим и обычно обозначается латинской буквой P. После обозначения терминов силлогизм выглядит так:

Структура приведенного силлогизма выглядит так: