Любое умозаключение состоит из посылок и заключения или вывода из посылок

Например:

Посылки Заключение

-С

{'Все планеты Солнечной системы являются небесными телами. Земля -планета Солнечной системы.

Земля является небесным телом.

Логическим основанием выведения нового суждения являет­ся смысловая связь посылок. Они состоят из суждений, состоя­щих из одинаковых терминов, т. е. связанных по содержанию. Если взять разные по содержанию суждения, то вывод из них невозможен. Например, из суждений «Все планеты - небесные тела» и «Ручка - канцелярский прибор» нельзя сделать заключе­ние. Ни в действительности, ни логически они не связаны.

Виды умозаключений

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

1. По числу посылокразличают непосредственные и опосредо­ванные умозаключения. Непосредственные умозаключения состоят из одной посыл­ки и заключения. Их общую структуру можно записать следую­щим образом: S - Р - посылка - заключение

S-P

К ним относятся умозаключения обращения, превращения, противопоставления, все за­ключения по логическому квадрату. Например, непосредственными будут следующие выводы: Ни один треугольник не является окружно- - умозаключение об- стью ______________________________ ращения общеотрица- Значит, ни одна окружность не является тельного суждения треугольником

Некоторые водители являются экспедиторами - умозаключение про- Значит, некоторые экспедиторы не являются тивопоставления субъ- не водителями екту частноутверди- тельного суждения

не являются кварцевыми - умозаключение про- __________ тивопоставления пре­ дикату частноотрица- тельного суждения

не является

Некоторые законы являются социальными - умозаключение пре- Из чего следует, что некоторые законы не вращения частноутвер- являются не социальными дательного суждения

Неверно, что все планеты - обитаемы _________ - умозаключение проти- Также не верно, что ни одна из планет не яв- воположности (контрар- ляется обитаемой ности) суждений А и Е по логическому квадрату

Все лебеди - птицы ________________

Но лишь некоторые птицы - лебеди

Некоторые лекарства являются мазями Некоторые мази - лекарства

Все соловьи - птицы ________

Значит, ни один соловей не-птицей

Ни один вулкан не является безопасным Следовательно, все они - не безопасны

Некоторые врачи не оперируют

Иначе говоря, некоторые врачи являются не оперирующими

- умозаключение об­ращения общеутверди­тельного суждения

- умозаключение об­
ращения частноут-
вердительного суж­
дения

- умозаключение
превращения общеут-
верднтельного сужде-

- умозаключение пре­вращения общеотрица­тельного суждения

- умозаключение пре­вращения частноотри-цательного суждения

Все березы являются деревьями

Значит, некоторые деревья не являются не березами

Ни один компьютер не является естествен­ным интеллектом

Поэтому все компьютеры являются не естест-венным интеллектом

Все фильмы Тарковского - киношедевры Поэтому ни один фильм, который не относит­ся к киношедеврам, не является фильмом Тарковского

Все христиане не являются язычниками ______

Следовательно, некоторые не язычники -христиане

Некоторые часы устройствами

Значит, некоторые не кварцевые устройства являются часами

Все акции являются ценными бумагами ______

Значит, неверно.что некоторые акции не яв­ляются ценными бумагами

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

- умозаключение про­тивопоставления субъ­екту общеутверди­тельного суждения

- умозаключение про­тивопоставления субъ­екту общеотрицатель­ного суждения

- умозаключение про­тивопоставления пре­дикату общеутверди-телъного суждения

- умозаключение про­тивопоставления пре­дикату общеотрица­тельного суждения

- умозаключение про­тиворечия суждений А и О по логическому квадрату

- умозаключение про­тиворечия суждений I и Е по логическому квадрату

Ак. 1100

Если верно, что некоторые спортсмены явля- - умозаключение пол­
ются олимпийскими чемпионами ____________ противоположности

То также верно, что некоторые из спортсме- (субконтрарности) су-нов не являются олимпийскими чемпионами ждений I и О по логи­ческому квадрату

Поскольку верно, что все люди - смертны - умозаключение под-
То это же верно и относительно некоторых чинения суждений А и
из людей I по логическому квад-

рату

Если верно, что некоторые болезни не яв- - умозаключение под-

ляются излечимыми ___________________ чинения суждений Е и

То это не означает, что ни одна из болезней О по логическому

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

Опосредованные умозаключения состоят из двух и более посылок и заключения. Их общую структуру можно записать следующим образом:

S - Р - посылка S-P -посылка S - Р - заключение

Например:

Весь городской транспорт ходит по маршрутам

Все трамваи являются городским транспортом _______________

Поэтому у всех трамваев есть маршрут, по которому они ходят

2. По направленности логического вывода умозаключения де­лятся на дедуктивные, индуктивные и традуктивные. В дедуктивных умозаключениях (от лат. deductio - выведе­ние) рассуждение идет от общего к частному, т. е. в посылках содержится знание более общее, чем в заключении, а переход от посылок к заключению напоминает ограничение:

Все люди имеют родителей

X - человек __________________.

X имеет родителей

В индуктивных умозаключениях (от лат. inductio — наведение) рассуждение идет от частного к общему, т. е. в посылках содер-

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

Иванов имеет родителей Петров имеет родителей Сидоров имеет родителей Иванов, Петров, Сидоров - люди

\

Все люди имеют родителей

В традуктивных умозаключениях объем знаний в посылках и заключении одинаков, поэтому принято говорить, что в них рассуждают от частного к частному или от общего к общему. Традуктивными считаются умозаключения об отношении и по аналогии. Вывода по аналогии мы коснемся в главе 7, а здесь приведем пример умозаключения об отношении.

Умозаключение сложнее суждения Суждение сложнее понятия

Умозаключение сложнее понятия

Полковник по званию старше майора Майор старше капитана

Полковник старше капитана

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

Направленность логического вывода можно проиллюстриро­вать следующей схемой: