НЕПРЯМЫЕ (КОСВЕННЫЕ) ВЫВОДЫ
К ним относятся: рассуждение по правилу введения импликации; сведение «к абсурду»; рассуждение «от противного» (противоречащего).
1. Рассуждение по правилу введения импликации.
Правило вывода сформулировано так:
Данное правило читается так: «Если из посылок гамма (Г) и посылки а выводится заключение b, то из одних посылок Г выводится, что а имплицирует b». Это правило вывода имеет и другое название: «Теорема о дедукции». Здесь «Г» может быть и пустым множеством посылок.
Приведем пример рассуждения студента, поясняющий приведенное правило. Пусть Г содержит следующие посылки: 1) «Я сдал экзамен по педагогике на «отлично»; 2) «Я сдал экзамен по логике на «отлично»; 3) «Я сдал экзамен по математике на отлично». Посылка а означает: «Я успешно выполнил всю порученную мне работу на факультете». Заключение b означает: «Я получу повышенную стипендию». То, что записано над чертой, будет содержательно прочитано так: «Если я сдал экзамены по педагогике, логике и математике на «отлично» и успешно выполнил всю порученную мне работу на факультете, то из этого последует заключение: «Я получу повышенную стипендию». То, что записано под чертой, содержательно можно прочитать так: Я сдал экзамены по педагогике, логике и математике на «отлично». Отсюда следует заключение: «Если я успешно выполню всю порученную мне работу на факультете, то я получу повышенную стипендию».
2. Правило сведения к абсурду. Это правило иначе называется правилом введения отрицания.
Правило читается так: «Если из посылок Г и посылки а выводится противоречие, т. е. b и не-b, то из одних Г выводится не-а». Метод сведения к абсурду широко применяется в мышлении, как научном, так и в полемическом и в обыденном.
В классической двузначной логике метод сведения к абсурду выражается в виде формулы:— противоречие или ложь.
Эта формула говорит о том, что суждение а надо отрицать (считать ложным), если из а вытекает противоречие.
Определение отрицания посредством сведения к абсурду, противоречию широко используется не только в классической, но ив неклассических логиках: в многозначных, конструктивных и интуиционистской.
3. Правило непрямого вывода — рассуждение «от противного» (противоречащего). Доказательство «от противного» применяется тогда, когда нет аргументов для прямого доказательства. Методом «от противного» нередко доказываются математические теоремы.
Суть рассуждения «от противного» подробно будет показана в теме «Доказательство», в разделе «Косвенное доказательство».
Итак, мы рассмотрели правила прямых и непрямых (косвенных) выводов и убедились, что они широко применяются в мышлении. При этом было показано, как та или иная форма прямого или косвенного вывода наполняется конкретным содержанием, взятым из областей педагогики, математики, физики, этики и других областей науки и обыденного мышления, а также из опыта преподавания в средней школе.
Дата добавления: 2014-12-08; просмотров: 989;