Умозаключение как форма мысли

Страница 2

Каждой фигуре отвечают модусы – формы силлогизма, различающиеся количеством и качеством посылок и заключения. Модусы изучались ещё средневековыми школами, и для правильных модусов каждой фигуры были придуманы мнемонические имена:

Фигура 1

Фигура 2

Фигура 3

Фигура 4

Barbara

Cesare

Darapti

Bramantip

Celarent

Camestres

Disamis

Camenes

Darii

Festino

Datisi

Dimaris

Ferio

Baroco

Felapton

Fesapo

   

Bocardo

Fresison

   

Ferison

 

в) Условное и разделительно – категорическое умозаключение

Чисто условным называется умозаключение, обе посылки кото­рого являются условными суждениями.

Схема чисто условного умозаключения:

-» q) ^ (q

-> г) р->г

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

следствие следствия есть следствие основания.

Умозаключение, в котором заключение получается из двух услов­ных посылок, относится к простым. Однако заключение может сле­довать из большего числа посылок, которые образуют цепь услов­ных суждений. Такие умозаключения называются сложными.

Условно-категорическим называется умозаключение, в кото­ром одна из посылок –условное, а другая посылка и заключение – категорические суждения.

Это умозаключение имеет два правильных модуса: 1) утверждаю­щий и 2) отрицающий.

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

рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.

2. В отрицающем модусе посылка, выраженная категорическим суждением, отрицает истинность следствия услов­ной посылки, а заключение отрицает истинность основания. Рассуж­дение направлено от отрицания истинности следствия к отрица­нию истинности основания.

Из четырех модусов условно-категорического умозаключе­ния, исчерпывающих все возможные комбинации посылок, досто­верные заключения дают два: утверждающий (modus ponens) (1) и отрицающий (modus tollens) (2). Они выражают законы логики и называются правильными модусами условно-категорического умо­заключения. Эти модусы подчиняются правилу: утверждение осно­вания ведет к утверждению следствия и отрицание следствия – к отрицанию основания. Два других модуса (3 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходи­мостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.

г) Условно – категорическое умозаключение: правильные и

неправильные модусы

Формула ((а - Ь) л Ь) -» а (3) не является законом логики. Она означает, что нельзя достоверно умозаключить от утверждения следствия к утверждению основания. Люди иногда неправильно умозаключают так: Если бухта замерзла, то суда не могут входить в бухту. Суда не могут входить в бухту. Бухта замерзла. Заключение будет лишь вероятностным суждением, то есть вероятно, что бухта замерзла, но возможно и то, что дует сильный ветер, или бухта заминирована, или существует другая причина, по которой суда не могут входить в бухту. Вероятностное заключение получится и в таком умозаключении: Если данное тело – графит, то оно электропроводно. Данное тело электропроводно. Вероятно, данное тело – графит. Второй вероятностный модус. Это второй модус, не дающий достоверного заключения. Структура его:

Страницы: 1 2 3 4 5