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

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

Умозаключении делятся на два больших класса. Дедуктивные(от общего к частному) и индуктивные (от частного к общему).

На индуктивном настаивал Бэкон.

Дедукция (deductio) – выведение

Индукция (inductio) – наведение.

В дедуктивных рассуждениях гарантированно получается истина, но нет новизны.

В индуктивных - плюсом является безусловная новизна знаний. Но страдает истинность.

Дедуктивные умозаключения

1. простой категорический силлогизм (умозаключение). Главный и основной вид дедуктивных умозаключений.

Имеет следующий вид:

M-P – бо’льшая посылка, М играет роль субъекта

S-M – меньшая посылка, М играет роль предиката

S-P – заключение, на основании отношения М с субъектом и предиватом делается заключение об отношении субъекта и предиката

M- средний термин

I II III IV

M-P P-M M-P P-M

S-M S-M M-S M-S

S-P S-P S-P S-P

Правило фигуры I - Большая посылка всегда общее суждение, меньшая посылка всегда утвердительное суждение. (сверху А,Е, снизу А,I)

Правило фигуры II - Большая посылка всегда общее суждение, меньшее – всегда отрицательное суждение (сверху А,Е, снизу E,O)

Правило фигуры III - Большая посылка всегда общее суждение, меньшее – всегда отрицательное суждение (сверху А,Е, вывод всегда частное суждение I,O)

Правило фигуры IV (эту фигуру мы никогда не используем)

Общие правила, правила терминов.

1. в силлогизме должно быть три термина (только три)

2. средний термин должен быть распределен хотя бы в одной из посылок

3. если термин не распределен в посылке, то он не может быть распределен и выводе.

Правила посылок:

1. из двух отрицательных посылок вывод невозможен.

2. если одна из посылок отрицательное суждение, то и вывод должен быть тоже отрицательным.

3. из двух частных посылок вывод невозможен.

2. Условно категорический силлогизм. Одно суждение условие, другое категорическое.

2 формы

Modus Tollence (способ отрицающий)

A Ↄ B

˥B_____

˥A

Modus Ponens (способ утверждающий)

A Ↄ B

A_____

B

3. Разделительно категорический силлогизм.

A\’/B

A____

˥B

A\’/B

˥B____

A

Должны быть перечислены все альтернативы

A\’/B\’/С

˥A____

B\’/С