Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
47
Добавлен:
24.02.2016
Размер:
3.27 Mб
Скачать
Истинность мысли и правильность мысли

ДЕДУКТИВНЫЕ ВЫВОДЫ

5.1. Выводы из простых суждений

5.1.1.Определение умозаключения и его виды.

5.1.2.Простой категорический силлогизм. Фигуры и модусы.

5.1.3.Разновидности простого категорического силлогизма. Контрольные вопросы.

Упражнения.

5.1.1.Выводы из простых суждений

Вданной главе речь пойдет о самой сложной форме человеческой мысли - умозаключении. Если понятие образуется из признаков, а суждение из понятий, то умозаключение строится из суждений. Таким образом, все формы мысли участвуют в едином процессе мышления и поиске истины.

5.1.1.Определение умозаключения и его виды

 

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

– форма мышления,

Что такое

посредством которой из одного и более суждений

умозаключение?

выводится новое суждение. В познавательном

 

отношении умозаключение

является логической

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

1. Являются ли и с т и н н ы м и исходные суждения? 2. П р а в и л ь н о ли они связаны между собой?

Первое условие связано с истинностью мышления, а

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

правил и законов формальной логики. Истинный вывод гарантируется соблюдением обоих требований: по содержанию наши мысли должны быть истинными, а по форме - правильными. Если одно из условий не выполняется, то истинность вывода не гарантируется. В таком случае имеют место две логические ошибки:

1.«Ложность посылок» - когда исходные суждения ложны, а правила вывода не нарушены. Например, умозаключение: «В каждую сессию входит пять экзаменов, а поскольку скоро сессия, то она будет

113

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

включать пять экзаменов», формально правильно, но вывод ложен, так как первое суждение ложно. Не каждая сессия состоит из пяти экзаменов. «Ложность посылок» – содержательная ошибка.

2.«Неправильность вывода»— когда исходные суждения истинны, но нарушается определённое логическое правило. Например: «Все гусеницы едят капусту. Я ем капусту. Следовательно, я гусеница»1. Вывод очевидно ложен, хотя исходные суждения истинны. «Неправильность вывода» - формальная ошибка.

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

Формальный анализ умозаключения начинается с выявления его структуры. Любое умозаключение состоит из посылок и заключения или вывода из посылок.

Посылки - это исходные суждения, а заключение - новое суждение. При выявлении логической формы умозаключения посылки и заключение принято записывать «столбиком». Посылки отделяются от заключения горизонтальной чертой. Над ней записываются посылки, а под ней - заключение.

Например:

 

 

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

Посылки

Земля – планета Солнечной системы.

Заключение

 

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

 

 

 

 

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

1 См. об этом примере: Формальная логика. - Л., 1977. - С. 18.

114

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

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

классифицировать по разным основаниям. Назовем наиболее важные:

1. П о ч и с л у п о с ы л о к различают непосредственные и опосредованные умозаключения.

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

S – P - посылка

S – P - заключение

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

Ни один треугольник не является окружностью

-

умозаключение

Значит, ни одна окружность не является

обращения

треугольником

общеотрицательного

 

 

 

суждения

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

-

умозаключение

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

 

 

обращения

 

 

 

общеутвердительного

 

 

 

суждения

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

-

умозаключение

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

обращения

 

 

 

частноутвердительно

 

 

 

го суждения

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

-

умозаключение

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

превращения

 

 

 

общеутвердительного

 

 

 

суждения

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

-

умозаключение

Следовательно, все они - не безопасны

 

превращения

 

 

 

общеотрицательного

 

 

 

суждения

115

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

-

умозаключение

Из чего следует, что некоторые законы не

превращения

являются не социальными

частноутвердительно

 

го суждения

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

-

умозаключение

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

превращения

неоперирующими

частноотрицательног

 

о суждения

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

-

умозаключение

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

противопоставлення

березами

субъекту

 

общеутвердительного

 

суждения

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

-

умозаключение

интеллектом

противопоставления

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

субъекту общеотри-

естественным интеллектом

цательного суждения

Некоторые водители являются экспедиторами

-

умозаключение

Значит, некоторые экспедиторы не являются не

противопоставления

водителями

субъекту

 

частноутвердительно

 

го суждения

Все фильмы Тарковского - киношедевры

-

умозаключение

Поэтому ни один фильм, который не относится

противопоставления

к киношедеврам, не является фильмом

предикату

Тарковского

общеутвердительного

 

суждения

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

-

умозаключение

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

противопоставления

христиане

предикату

 

общеотрицательного

 

суждения

Некоторые часы не являются кварцевыми

-

умозаключение

устройствами

противопоставления

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

предикату

являются часами

частноотрицательног

 

о суждения

116

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

-

умозаключение

Значит, неверно, что некоторые акции не

противоречия

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

суждений А и О по

 

логическому квадрату

Верно, что некоторые люди - мизантропы

-

умозаключение

Поэтому нельзя утверждать, что среди людей

противоречия

нет ни одного мизантропа

суждений I и Е по

 

логическому квадрату

Неверно, что все планеты - обитаемы

-

умозаключение

Также не верно, что и ни одна из планет не

противоположности

является обитаемой

(контрарности)

 

суждений А и Е по

 

логическому квадрату

Если верно, что некоторые спортсмены

-

умозаключение

являются Олимпийскими чемпионами

подпротивоположнос

То также верно, что некоторые из спортсменов

ти

(субконтрарности)

не являются Олимпийскими чемпионами

суждений I и О по

 

логическому квадрату

Поскольку верно, что все люди - смертны

-

умозаключение

Tо это же верно и по отношению некоторых из

подчинения

людей

суждений А и I по

 

логическому квадрату

Если верно, что некоторые болезни не

-

умозаключение

являются излечимыми

подчинения

То это не означает, что ни одна из болезней не

суждений Е и О по

поддается лечению

логическому квадрату

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

S – P - посылка

S – P - посылка

S – P - заключение

Например:

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

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

117

2. П о н а п р а в л е н н о с т и л о г и ч е с к о г о в ы в о д а или по «ходу мысли» умозаключения делятся на дедуктивные, индуктивные и традуктивные.

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

Все люди имеют родителей X - человек

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

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

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

В

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

заключении одинаков. Поэтому принято говорить, что в них заключают «от

частного к частному» или «от общего к общему». Традуктивными считаются

умозаключения об отношении и по аналогии. Вывода по аналогии мы

коснемся

в VII главе, а здесь приведем пример умозаключения об

отношении.

 

 

 

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

 

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

 

 

 

майора

 

Суждение сложнее понятия

 

Майор старше капитана

 

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

 

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

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

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

118

Соседние файлы в папке лог консп. лекц