- •Глава 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. Во всех городах за полярным кругом бывают белые ночи.
- •Все летучие мыши - представители отряда рукокрылых.
§ 6. Сложные и сложносокращенные силлогизмы: (полисиллогизмы, сориты, эпихейрема)
В мышлении встречаются не только отдельные полные сокращенные силлогизмы, но и сложные силлогизмы, состоящие из двух, трех или большего числа простых силлогизмов. Цепи силлогизмов называются полисиллогизмами.
Полисиллогизмом (сложным силлогизмом) называются Д1 или несколько простых категорических силлогизмов, связанных друг с другом таким образом, что заключение одного из них становится посылкой другого. Различают прогрессивные и peгрессивные полисиллогизмы.
В прогрессивном полисиллогизме заключение предшествующего полисиллогизма (просиллогизма) становится большей посылкой последующего силлогизма (эписиллогизма). Приведем пример прогрессивного полисиллогизма, представляющего собой цепь из двух силлогизмов и имеющего такую схему:
Схема:
Спорт (А) укрепляет здоровье (В) Все А суть В.
Гимнастика (С) – спорт (А). Все С суть А.
Значит, гимнастика (С) укрепляет здоровье (В). Значит, все С суть В.
Аэробика (D) – гимнастика (С). Все D суть С.
Аэробика(D) укрепляет здоровье (В). Все D суть В.
154
В регрессивном полисиллогизме заключение просиллогизма становится меньшей посылкой эписиллогизма. Например:
Все планеты (А) - космические тела (В).
Сатурн (С) - планета (А).
Сатурн (С) - космическое тело (В).
Все космические тела (В) имеют массу (D)
Сатурн (С) - космическое тело (В).
Сатурн (С) имеет массу (D).
Соединив их вместе и не повторяя дважды суждение “Все С суть В”, мы получим схему регрессивного полисиллогизма для общеутвердительных посылок:
Все А суть В.
Все С суть А.
Все В суть D.
Все С суть В.
Все С суть D.
Сорит (с общими посылками)
Прогрессивный и регрессивный полисиллогизмы в мышлении чаще всего применяются в сокращенной форме - в виде соритов. Существует два вида соритов: прогрессивный и регрессивный.
Прогрессивный сорит (иначе называется по имени описавшего этот сорит логика гоклениевским) получается из прогрессивного полисиллогизма путем выбрасывания заключений предшествующих силлогизмов и больших посылок последующих. Прогрессивный сорит начинается с посылки, содержащей предикат заключения, и заканчивается посылкой, содержащей субъект заключения.
Пример:
Все продукты, содержащие витамины (А), полезны (В).
Фрукты (С) - продукты, содержащие витамины (А).
Бананы (D) фрукты (С).
Бананы (D) полезны (В).
155
Схема прогрессивного сорита:
Все А суть В.
Все С суть А.
Все D суть С.
Все D суть В.
Регрессивный сорит (иначе аристотелевский) получается из регрессивного полисиллогизма путем выбрасывания заключений просиллогизмов и меньших посылок эписиллогизмов. В просиллогизме меняем местами посылки. Регрессивный сорит начинается с посылки, содержащей субъект заключения, и кончается посылкой, содержащей предикат заключения.
Пример:
Все розы (А) - цветы (В).
Все цветы (В) - растения (С).
Все растения (С) дышат (D).
Все розы (А) дышат (D).
Схема регрессивного сорита:
Все А суть В.
Все В суть С.
Все С суть D.
Все А суть D.
Сориты в мышлении применяются чаще, чем полисиллогизмы, так как являются сокращенной формой полисиллогизмов. Аналогично энтимемы в мышлении применяются чаще, чем полные категорические силлогизмы, ибо энтимема - это сокращенная форма последнего.
