§ 10. Непрямые (косвенные) выводы

К ним относятся: рассуждение по правилу введения имплика­ции; сведение «к абсурду»; рассуждение «от противного» (проти­воречащего).

1. Рассуждение по правилу введения импликации.

Правило вывода сформулировано так:

Данное правило читается так: «Если из посылок гамма (Г) и посылки а выводится заключение b, то из одних посылок Г выводится, что а имплицирует b». Это правило вывода имеет и другое название: «Теорема о дедукции». Здесь «Г» может быть и пустым множеством посылок.

Приведем пример рассуждения студента, поясняющий приве­денное правило. Пусть Г содержит следующие посылки: 1) «Я сдал экзамен по педагогике на «отлично»; 2) «Я сдал экзамен по логике на «отлично»; 3) «Я сдал экзамен по математике на отлично». Посылка а означает: «Я успешно выполнил всю порученную мне работу на факультете». Заключение b означает: «Я получу повышенную стипендию». То, что записано над чертой, будет содержательно прочитано так: «Если я сдал экзамены по педагогике, логике и математике на «отлично» и успешно выполнил всю порученную мне работу на факультете, то из этого последует заключение: «Я получу повышенную стипендию». То, что записано под чертой, содержательно можно прочитать так: Я сдал экзамены по педагогике, логике и математике на «отлич­но». Отсюда следует заключение: «Если я успешно выполню всю порученную мне работу на факультете, то я получу повышенную стипендию».

2. Правило сведения к абсурду. Это правило иначе называется правилом введения отрицания.

Правило читается так: «Если из посылок Г и посылки а выво­дится противоречие, т. е. b и не-b, то из одних Г выводится не-а». Метод сведения к абсурду широко применяется в мышлении, как научном, так и в полемическом и в обыденном.

В классической двузначной логике метод сведения к абсурду выражается в виде формулы:— противоречие или ложь.

Эта формула говорит о том, что суждение а надо отрицать (считать ложным), если из а вытекает противоречие.

Определение отрицания посредством сведения к абсурду, про­тиворечию широко используется не только в классической, но и в неклассических логиках: в многозначных, конструктивных и интуиционистской.

3. Правило непрямого вывода — рассуждение «от противно­го» (противоречащего). Доказательство «от противного» приме­няется тогда, когда нет аргументов для прямого доказательства. Методом «от противного» нередко доказываются математичес­кие теоремы.

Суть рассуждения «от противного» подробно будет показана в теме «Доказательство», в разделе «Косвенное доказательство».

Итак, мы рассмотрели правила прямых и непрямых (косвен­ных) выводов и убедились, что они широко применяются в мыш­лении. При этом было показано, как та или иная форма прямого или косвенного вывода наполняется конкретным содержанием, взятым из областей педагогики, математики, физики, этики и других областей науки и обыденного мышления, а также из опыта преподавания в средней школе.

§ 11. Индуктивные умозаключения и их виды

Логическая природа индукции

Дедуктивные умозаключения позволяют выводить из истин­ных посылок при соблюдении соответствующих правил истинные заключения. Индуктивные умозаключения обычно дают нам не достоверные, а лишь правдоподобные заключения.

В определении индукции в логике выявляются два подхода. 1. В традиционной (не в математической) логике индукцией назы­вается умозаключение от знания меньшей степени общности к новому знанию большей степени общности (т. е. от отдельных частных случаев мы переходим к общему суждению). 2. В со­временной математической логике индукцией называют умозак­лючение, дающее вероятное суждение.

Общее в природе и обществе не существует самостоятельно, до и вне отдельного, а отдельное не существует без общего; общее существует в отдельном, через отдельное, т. е. проявляет­ся в конкретных предметах. Поэтому общее, существенное, по­вторяющееся и закономерное в предметах познается через изуче­ние отдельного, и одним из средств познания общего выступает индукция. В зависимости от избранного основания выделяют индукцию полную и неполную. По другому основанию выделяют математическую индукцию.

Полной индукцией называется такое умозаключение, в кото­ром общее заключение о всех элементах класса предметов дела­ется на основании рассмотрения каждого элемента этого класса.

Заключение может быть сделано из единичных суждений, как это видно из приведенного ниже умозаключения. Явление, о ко­тором пойдет речь, образно называют «парадом» планет. Один раз в 179 лет все планеты располагаются вместе по одну сторону от Солнца в секторе с углом примерно в 95 градусов. В послед­ний раз это явление наблюдалось в 1982 г.

Земля в 1982 г. была расположена вместе с другими планетами по одну сторону от Солнца в секторе с углом приблизительно в 95 градусов.

Марс в 1982 г. был расположен вместе с другими планетами по одну сторону от Солнца в секторе с углом приблизительно 95 градусов

………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………

Меркурий в 1982 г. был расположен вместе с другими планетами по одну сторону от Солнца в секторе с углом приблизительно 95 градусов.

Земля, Марс, Венера, Нептун, Плутон, Сатурн, Уран, Юпитер, Меркурий — планеты Солнечной системы.

________________________________________________________________________________________________________

Все планеты Солнечной системы в 1982 г. были расположены вместе по одну сторону от Солнца в секторе с углом приблизительно 95 градусов.

Заключение по полной индукции может быть сделано не только из единичных, но и из общих суждений.

К полной индукции относится доказательство по случаям. Много примеров доказательства по случаям предоставляет математика, в том числе ее школьный курс. Пример дока­зательства разбором случаев дает теорема: «Объем прямо­угольного параллелепипеда равен произведению трех его из­мерений» (v — abc). При доказательстве этой теоремы рас­сматриваются особо следующие три случая: 1) измерения вы­ражаются целыми числами; 2) измерения выражаются дроб­ными числами; 3) измерения выражаются иррациональными числами.

Полная индукция дает достоверное заключение, поэтому она часто применяется в математических и в других строгих до­казательствах. Чтобы использовать полную индукцию, надо вы­полнить следующие условия:

1. Точно знать число предметов или явлений, подлежащих рассмотрению.

2. Убедиться, что признак принадлежит каждому элементу этого класса.

Математическая индукция

Один из важнейших методов доказательства в математике основан на аксиоме (принципе) математической индукции. Пусть 1) свойство А имеет место при n — 1; 2) из предположения о том, что свойством А обладает какое-либо натуральное число л, сле­дует, что этим свойством А обладает и число n +1. Тогда делаем заключение, что свойством А обладает любое натуральное число.

Математическая индукция используется при выведении ряда формул арифметической и геометрической прогрессии, формул бинома Ньютона и др.