- •Введение
- •Глава I предмет и значение логики
- •§ 1. Формы познания Формы чувственного познания
- •§ 2. Понятие логической формы и логического закона
- •§ 3. Логика и язык
- •Глава II понятие
- •§ 1. Понятие как форма мышления
- •§ 2. Отношения между понятиями
- •§ 3. Определение понятий
- •§ 4. Деление понятий. Классификация
- •§ 5. Ограничение и обобщение понятий
- •Глава III суждение
- •§ 1. Общая характеристика суждения
- •§ 2. Простое суждение
- •§ 3. Сложное суждение и его виды. Исчисление высказываний
- •§ 4. Выражение логических связок (логических постоянных) в естественном языке
- •§ 5. Отношения между суждениями по значениям истинности
- •§ 6. Деление суждений по модальности
- •Глава IV
- •§ 1. Понятие логического закона
- •§ 2. Законы логики и их роль в познании
- •§ 3. Использование формально-логических законов в процессе обучения
- •Глава V умозаключение
- •§ 1. Общее понятие об умозаключении
- •§ 2. Дедуктивные умозаключения
- •§ 3. Выводы из категорических суждений посредством их преобразования
- •§ 4. Простой категорический силлогизм.
- •I. Правила терминов
- •§ 5. Сокращенный категорический силлогизм (энтимема)
- •§ 6. Сложные и сложносокращенные силлогизмы (полисиллогизмы, сориты, эпихейрема)
- •§ 7. Условные умозаключения
- •II. Отрицающий модус (modus tollens).
- •§ 8. Разделительные умозаключения
- •§ 9. Условно-разделительные (лемматические) умозаключения
- •§ 10. Сокращенные условные, разделительные и условно-разделительные умозаключения
- •1. В умозаключении пропущено заключение
- •2. В умозаключении пропущена одна из посылок
- •§ 11. Непрямые (косвенные) выводы
- •1. Рассуждение по правилу введения импликации
- •§ 12. Индуктивные умозаключения и их виды Логическая природа индукции
- •2. Индукция через анализ и отбор фактов
- •3. Научная индукция
- •§ 13. Индуктивные методы установления причинных связей
- •§ 14. Дедукция и индукция в учебном процессе
- •Глава VI логические основы теории аргументации
- •§ 1. Понятие доказательства
- •§ 2. Прямое и непрямое (косвенное) доказательства
- •§ 3. Понятие опровержения
- •I. Опровержение тезиса (прямое и косвенное)
- •II. Критика аргументов
- •III. Выявление несостоятельности демонстрации
- •§ 4. Правила доказательного рассуждения. Логические ошибки, встречающиеся в доказательствах и опровержениях
- •§ 5. Понятие о софизмах и логических парадоксах
- •§ 6. Искусство ведения дискуссии
- •III. В чем заключаются логические ошибки, допущенные в следующих софизмах?
- •Глава IX
- •Тема «Понятие» (4 часа) Основные вопросы
- •Тема «Суждение» (4 часа) Основные вопросы
- •Тема «Умозаключение» (4 часа) Основные вопросы
- •§ 2. Специфика методики преподавания логики
- •В средних педагогических учебных заведениях:
- •Педучилищах, педколледжах, педклассах (из опыта
- •Работы)
- •Тест айзенка
- •§ 3. Методика повышения логической культуры учащихся начальной и средней школы (из опыта работы)
- •1. Содержание работы
- •2. Требования к оформлению работы
- •Глава X
- •§ 2. Развитие логики в связи с проблемой обоснования математики
- •§ 3. Интуиционистская логика
- •§ 4. Конструктивные логики
- •§ 5. Многозначные логики
- •Глава X. Этапы развития логики как науки и основные направления ...
- •Глава X. Этапы развития логики как науки и основные направления ...
- •Глава X. Этапы развития логики как науки и основные направления
- •§ 6. Законы исключенного третьего
- •Глава X. Этапы развития логики как науки и основные направления
- •§ 7. Модальные логики
- •§ 8. Положительные логики
- •§ 9. Паранепротиворечивая логика
- •3. Суждение.
- •4. Умозаключение.
- •5. Логические основы теории аргументации.
§ 11. Непрямые (косвенные) выводы
К ним относятся: рассуждение по правилу введения импликации; сведение «к абсурду»; рассуждение «от противного» (противоречащего).
1. Рассуждение по правилу введения импликации
Правило вывода сформулировано так:
Г, a b
Г, ab
Данное правило читается так: «Если из посылок гамма (Г) и посылки а выводится заключение Ь, то из одних посылок Г выводится, что а имплицирует Ь». Это правило вывода имеет также название «теоремы о дедукции». Здесь «Г» может быть и пустым множеством посылок. Приведем пример рассуждения человека, поясняющий приведенное правило. Пусть Г содержит следующие посылки: 1) «Я купил автомобиль»; 2) «Я получил права водителя»; 3) «Я имею свободное время». Посылка а означает: «Я имею деньги». Заключение Ь означает: «Я поеду в туристическое путешествие с семьей на автомобиле». То, что записано над чертой, будет содержательно прочитано так: «Если я купил автомобиль, получил права водителя, имею свободное время и у меня есть деньги, то из этого последует заключение: «Я поеду в туристическое путешествие с семьей на автомобиле». То, что записано под чертой, содержательно можно прочитать так: «Я купил автомобиль, получил права водителя, имею свободное время». Отсюда следует заключение: «Если я буду иметь деньги, то я поеду в туристическое путешествие с семьей на автомобиле».
2. Правило сведения «к абсурду»
Это так называемое reduction ad absurdum — метод доказательства приведением к нелепости, иначе это называется правилом введения отрицания. Оно записывается так:
Г, ab. Г, ab
Га
Правило читается так: «Если из посылок Г и посылки а выводится противоречие, т.е. Ь и не-Ь, то из одних Г выводится не-а». Метод сведения к абсурду широко применяется в мышлении, как научном, так и в обыденном.
В классической двузначной логике метод сведения к абсурду выражается в виде формулы:
где F— противоречие или ложь. Эта формула говорит о том, что суждение а надо отрицать (считать ложным), если из а вытекает противоречие.
Определение отрицания посредством сведения к абсурду, противоречию широко используется не только в классической, но и в неклассических логиках: в многозначных, конструктивных и интуиционистской.
3. Правило непрямого вывода — рассуждение «от противного» (противоречащего)
Доказательство «от противного» применяется тогда, когда нет аргументов для прямого доказательства. В математике нередко теоремы доказываются методом «от противного» (противоречащего).
Суть рассуждения «от противного» подробно будет показана в главе VI «Логические основы теории аргументации», в разделе «Косвенное доказательство» (§ 2).
Итак, мы рассмотрели правила прямых и правила непрямых (косвенных) выводов и убедились, что как те, так и другие широко применяются в мышлении. При этом было показано, как та или иная формула (форма) прямого или непрямого (косвенного) вывода наполняется конкретным содержанием, взятым из областей педагогики, математики, физики, этики и других областей науки и обыденного мышления, а также в процессе преподавания в школьных курсах, в педучилище и педвузе.