
- •Глава 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. Во всех городах за полярным кругом бывают белые ночи.
2. В умозаключении пропущена одна из посылок
В умозаключениях может быть пропущена первая посылка, она может подразумеваться, если выражает какое-то истинное суждение, формулирующее известное положение, теорему, закон и т. д.
В условно-категорическом умозаключении “Сумма цифр данного числа делится на 3, следовательно, данное число делится на З” опущена первая посылка, формулирующая известную математическую закономерность: “Если сумма цифр данного числа делится на 3, то все число делится на З”.
176
В разделительно-категорическом умозаключении “Данное существительное русского языка не является существительным ни женского рода, ни среднего рода. Следовательно, данное существительное мужского рода” также пропущена первая посылка: “Существительное в русском языке может быть женского, или мужского, или среднего рода”.
В сложной конструктивной дилемме “Если я пойду через болото, то могу попасть в трясину, а если я пойду в обход, то не успею вовремя доставить донесение. Следовательно, я могу попасть в трясину или не успею вовремя доставить донесение” не формулируется, а лишь подразумевается вторая посылка: “Я могу идти через болото или в обход”.
Можно было бы привести и другие примеры сокращенных умозаключений: чисто условных, условно-категорических, чисто разделительных, разделительно-категорических, условно-разделительных (дилемм, трилемм) с пропущенной или первой, или второй посылкой, однако предоставим это сделать самому читателю.
Итак, рассмотренные нами прямые выводы - такие, как чисто условные, чисто разделительные, условно-категорические, разделительно-категорические и условно-разделительные (лемматические) умозаключения, сформулированные как полностью, так и сокращенно (т. е. в которых пропущена либо одна из посылок, либо заключение), - широко используются в процессах научного и обыденного мышления, обучения в школе или в вузе. Знание правил построения этих видов умозаключений предостерегает от логических ошибок в мышлении, помогает доказательнее, аргументированное строить рассуждения и эффективнее применять приемы обучения учащихся и студентов.
Прямые выводы (кроме рассмотренных выше форм) включают и такие виды (делаемые из одной посылки):
1. Простая контрапозиция.
Правило
простой контрапозиции имеет следующий
вид:
177
Это правило читается так: “Если а имплицирует, то отрицание b имплицирует отрицание а”. Здесь а и b – переменные, обозначающие произвольные высказывания, или пропозициональные переменные.
Примеры:
Если данный треугольник равносторонний, то он равноугольный.
Если данный треугольник не равноугольный, то он не равносторонний.
2) Если это вещество фосфор, то оно непосредственно с водородом не соединяется.
Если вещество непосредственно с водородом соединяется, то это вещество не является фосфором.
Заметим,
что в логике высказываний
а.
Формула:
(а→
b)
(
)
называется законом простой контрапозиции.
2. Сложная контрапозиция.
- правило сложной контрапозиции.
((a
^
b)
→ с)
((а^
с)
)
- это формула закона сложной контрапозиции.
Пример рассуждения по правилу сложной контрапозиции:
Если у меня будут деньги и я буду здорова, то я на каникулы поеду домой.
Если у меня были деньги и я на каникулы не поехала домой, то, следовательно,
я не была здорова.
3. Правило импортации (конъюнктивного объединения условий).
Видный
математик П. С. Новиков назвал данное
правило правилом соединения посылок.
Это правило читается так: “Если а имплицирует, что b имплицирует с, то а и b имплицируют с”.
В. А. Сухомлинский писал: “Если учитель стал другом ребенка, если эта дружба озарена благородным увлечением, порывом
178
к чему-то светлому, разумному, в сердце ребенка никогда не появится зло”. На основании правила соединения посылок (правила коньюктивного объединения условий) мы можем это высказывание В. А. Сухомлинского записать иначе, но оно будет эквивалентно прежнему его высказыванию: “Если учитель стал другом ребенка и эта дружба озарена благородным увлечением, порывом к чему-то светлому, разумному, то в сердце ребенка никогда не появится зло”.
4.
Правило экспортации
(разъединения условий).
Это правило читается так: “Если а и b имплицируют с, то а имплицирует, что b имплицирует с”. Это правило обратно предыдущему. Поэтому в качестве иллюстрации можно взять те же мысли В.А. Сухомлинского, только сначала прочитать нашу запись полученного заключения, откуда можно прийти к высказыванию самого В. А. Сухомлинского.
Приведем другой, более сложный пример, иллюстрирующий правило экспортации (разъединения условий), в котором сформулированы не два, а четыре условия: “Если вы любите детей, полны жажды познания, имеете доброе сердце, мечтаете посвятить себя интересному творческому труду, то смело выбирайте профессию учителя”. Формула этого сложного суждения такая:
(a^b^c^d)→е.
На
основании правила экспортации имеем:
Сформулируем предыдущее суждение по-другому, но эквивалентным образом: “Если вы любите детей, если полны жажды познания, если имеете доброе сердце, если мечтаете посвятить
179
себя интересному творческому труду, то смело выбирайте профессию учителя”.