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

Дедуктивное умозаключение – это умозаключение, в котором с необходимостью выводится заключение от знания большей степени общности к частным случаям.

Например:

Все планеты солнечной системы вращаются вокруг Солнца.

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

Земля вращается вокруг Солнца.

Типичная форма дедуктивного умозаключения постой категорический силлогизм. Силлогизм – получение вывода. Категорический силлогизм – вид дедуктивного умозаключения в котором из двух истинных категорических суждений связанных средним термином при соблюдении правил следует заключение.

Все жидкости упруги.

Вода – жидкость.

Вода упруга.

Структура категорического силлогизма:

Две посылки (большая и меньшая), три термина (больший меньший и средний), заключение.

Больший термин - Р заключения.

Меньший термин – S заключения.

Средний термин – понятие, которое входит в обе посылки , но не входит в заключение. (М)

Большая посылка – исходное суждение, которое содержит больший термин.

Меньшая посылка – исходное суждение, которое содержит меньший термин.

Например:

Все металлы (М)– электропроводны.(P) – больший термин

Железо (S)– металл.(М) ___________ – меньший термин

Железо (S)– электропроводно.(P) - заключение

Общие правила категорических силлогизмов:

А) правило терминов:

1. в каждом силлогизме должно быть 3 термина (не больше не меньше). Нарушение приводит к ошибке «учетверение терминов».

Пример нарушения:

Материя вечна.

Шёлк – это материя.

Шёлк вечен.

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

Нарушение:

Некоторые животные – хищники.

Кролик – животное.____________

Кролик хищник.

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

Все студенты должны хорошо учится.

Иванов не студент.________________

Иванов не должен хорошо учится.

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

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

Ни один студент не является школьником.

Петров ни студент.____________________

???

Представляется в виде :

А) Б)

2. Если одна из посылок отрицательная , то и заключение должно быть отрицательным. Если в силлогизме одно отрицание, то средний термин не связан с P или S, а .т.к.средний термин не связан … …. …. ….

Свидетель не должен давать ложных показаний.

Иванов – свидетель.________________________

Иванов не должен давать ложных показаний

3. Из двух частных посылок нельзя сделать заключение (М относится только к части объёма, термины связывает только в части объёма).

Некоторые спортсмены - шахматисты.

Некоторые студенты не играют в шахматы.

? или ?

4. Если посылка частная, то и заключение частное.

Все рыбы позвоночные животные.

Некоторые водные животные – рыбы.

Некоторые животные – позвоночные.

Фигуры категорического силлогизма и правила.

В категорическом силлогизме средний термин может занимать различные места в посылках. В зависимости от этого различают 4 фигуры.

1. В первой фигуре средний термин является субъектом в большей и предикатом в меньшей посылке.

Всякий учебник должен быть написан понятным языком.

Логика Гетмановой – учебник.___________________________

Логика Гетмановой доложна быть написана понятным языком

M P M - P

S M S - M

S - P S - P

Правила первой фигуры:

А) Большая посылка всегда общее суждение

Б) Меньшая посылка всегда утвердительное суждение

2. Вторая фигура. Средний термин занимает место предиката в обеих посылках.

PM P - M

S M S - M

S - P S - P

Правила первой фигуры:

А) Большая посылка всегда общее суждение

Б) Одна из посылок должна быть отрицательной

Все науки изучают законы действительности.

Ни одна религия не изучает законов действительности.

Ни одна религия не является наукой.

3. Третья фигура. Средний термин занимает место субъекта в двух посылках.

MP M - P

М S M - S_

S - P S - P

Ртуть - не тверда.

Ртуть металл.______________

Некоторые металлы не тверды.

Правила третьей фигуры:

А) Меньшая посылка всегда утвердительное суждение

Б) Заключение должно быть частным.

4. Четвёртая фигура. Средний термин является предикатом в большей и субъектом в меньшей посылке.

P M P - M

M S M - S

S - P S - P

Все киты являются млекопитающими.

Ни одно млекопитающее не является рыбой.

Ни одна рыба ни кит.

Правила четвёртой фигуры:

А) Когда большая посылка утвердительна, то меньшая должна быть общей.

Б) Если одна из посылок утвердительна, то большая должна быть общей.