- •Глава V умозаключение
- •§ 1. Общее понятие об умозаключении
- •Понятие логического следования
- •§ 2. Дедуктивные умозаключения
- •Понятие правила вывода
- •§ 3. Выводы из категорических суждений посредством их преобразования
- •Модусы категорического силлогизма.
- •§ 4. Простой категорический силлогизм1
- •Фигуры и модусы категорического силлогизма
- •Особые правила фигур
- •Правила категорического силлогизма
- •§ 5. Сокращенный категорический силлогизм (энтимема)
- •§ 6. Сложные и сложносокращенные силлогизмы: (полисиллогизмы, сориты, эпихейрема)
- •Сорит (с общими посылками)
- •Формализация эпихейрем с общими посылками
- •Выводы, основанные на логических связях между суждениями (выводы логики высказываний)
- •§ 7. Условные умозаключения
- •I. Утверждающий модус (modus ponens).
- •II. Отрицающий модус (modus tollens).
- •Первый вероятностный модус
- •Второй вероятностный модус
- •§ 8. Разделительные умозаключения
- •§ 9. Условно-разделительные (лемматические) умозаключения
- •Дилемма1
- •Трилемма
- •§ 10. Сокращенные условные, разделительные и условно-разделительные умозаключения
- •1. В умозаключении пропущено заключение
- •2. В умозаключении пропущена одна из посылок
- •1. Простая контрапозиция.
- •2. Сложная контрапозиция.
- •§ 11. Непрямые (косвенные) выводы
- •1. Рассуждение по правилу введения импликации
- •2. Правило сведения “к абсурду”
- •3. Правило непрямого вывода - рассуждение “от противного” (противоречащего)
- •§ 12. Индуктивные умозаключения и их виды Логическая природа индукции
- •Математическая индукция
- •Виды неполной индукции
- •2. Индукция через анализ и отбор фактов
- •Понятие вероятности
- •3. Научная индукция
- •§ 13. Индуктивные методы установления причинных связей Понятие причины и следствия
- •Методы установления причинной связи
- •§ 14. Дедукция и индукция в учебном процессе
- •Задачи к теме “Умозаключение”
- •3. Во всех городах за полярным кругом бывают белые ночи.
- •Все летучие мыши - представители отряда рукокрылых.
§ 4. Простой категорический силлогизм1
Термин “силлогизм” происходит от греческого syllogismos (сосчитывание, выведение следствия),
Категорический силлогизм - это вид дедуктивного умозаключения, построенного из двух истинных категорических суждений, в которых S и Р связаны средним термином.
В составе категорического силлогизма имеются две посылки и заключение. Пример:
Все кенгуру (M) есть сумчатые млекопитающие (Р) - бoльшая посылка.
Это животное (S) есть кенгуру (М) - меньшая посылка.________
Это животное (S) есть сумчатое млекопитающее (Р) - заключение.
рис. 21
Понятия, входящие в состав силлогизма, называются терминами силлогизма. В приведенном примере терминами являются: Р (“сумчатое млекопитающее”) - больший термин, это предикат
______________________________________________________________________
1Далее для простоты терминологии будем писать категорический силлогизм. 148
заключения; М (“кенгуру”) - средний термин; S (“это животное”) - меньший термин, это субъект заключения. М служит в посылках для связывания S и Р и отсутствует в заключении.
Посылка, содержащая предикат заключения (т. е. больший термин), называется большей посылкой. Посылка, содержащая субъект заключения, (т. е. меньший термин), называется меньшей посылкой.
Фигуры и модусы категорического силлогизма
Фигурами категорического силлогизма называются формы силлогизма, различаемые по положению среднего термина (М) в посылках. Различают четыре фигуры:
Рис. 22
Примеры:
1) Все жидкости (М) теплопроводны (Р).
Вода(S)-жидкость(М).
Вода (S) – теплопроводна (Р)
2)Все ужи (Р) –
пресмыкающиеся (М).
Это животное (S) не является пресмыкающимся (М)
____________________
Это животное (S) не является ужом (Р).
3) Все углероды (М)-
простые тела (Р).
Все углероды (М) –
электропроводны (S)
Некоторые электропроводники
(S)- простые тела (Р).
4) Все киты (Р) -
млекопитающие (М).
Ни одно млекопитающее (М)
ни есть рыба (S)
Ни одна рыба (S) не есть кит (Р)
149
Особые правила фигур
I фигура. Большая посылка должна быть общей, меньшая - утвердительной.
II фигура. Большая посылка общая и одна из посылок, а также заключение - отрицательные.
III фигура. Меньшая посылка должна быть утвердительной, а заключение - частным.
IV фигура. Общеутвердительных заключений не дает. Если большая посылка утвердительная, то меньшая посылка должна быть общей. Если одна из посылок отрицательная, то большая посылка должна быть общей.
Модусы категорического силлогизма.
Модусами фигур категорического силлогизма называются разновидности силлогизма, отличающиеся друг от друга качественной и количественной характеристикой входящих в них посылок и заключения.
Всего правильных модусов в четырех фигурах 19.
I фигура имеет следующие правильные модусы (буквы обозначают последовательно количество и качество большей посылки, меньшей и заключения): ААА, ЕАЕ, All, EIO. Приведенный выше пример 1 иллюстрирует модус ААА.
II фигура имеет такие правильные модусы : АЕЕ, АОО, ЕАЕ, ЕIO. Умозаключение 2 построено по модусу АЕЕ.
III фигура имеет правильные модусы: AAI, ЕАО, IAI, ОАО, All, ЕIO. Модус AAI представлен примером 3.
IV фигура имеет правильные модусы: AAI, АЕЕ, IAI, ЕАО, ЕIO. Модус АЕЕ представлен примером 4.
