Логика

Это — центральный пункт всех рассуждений об эмпирическом подтверждении. Непосредственное наблюдение того, о чем говорится в утверждении, дает уверенность в истинности последнего. Но область применения такого наблюдения является ограниченной. Подтверждение следствий — универсальный прием, применимый ко всем утверждениям. Однако прием индуктивный, только повышающий правдоподобие утверждения, но не делающий его достоверным.

4. Полная индукция и математическая индукция

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

Ее схема:

А₁ есть В, А₂ есть

В…, А_n есть В;

Никаких А, кроме А₁…, А_n

, нет;

Следовательно, каждое А есть В.

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

К примеру, учитель, читая список учеников какого-то класса, убеждается, что названные им ученики присутствуют. На этом основании учитель делает вывод, что присутствуют все ученики.

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

К дедукции относится и так называемая математическая индукция, широко используемая в математике.

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

Общая схема математической индукции:

A(1);

если А (k), то A (k + 1);

следовательно А (n).

Ни полная, ни математическая индукция не являются индуктивным умозаключением в собственном смысле этого слова. И та, и другая всегда дают истинные заключения из истинных посылок и только внешне напоминают индуктивные рассуждения.

5. Методы установления причинных связей

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

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

В старину между стенами здания, подлежащего сносу, помещали прочный железный стержень и разводили под ним костер. От нагревания стержень удлинялся, распирал стены, и они разваливались. Нагревание здесь причина, расширение стержня — ее следствие.

Камень попадает в окно, и оно разлетается на осколки. Молния ударяет в дерево, оно раскалывается и обугливается. Извергается вулкан, пепел засыпает многометровым слоем город, и он гибнет. Начинается дождь, и на земле через некоторое время образуются лужи. Во всех этих случаях одно явление — причина — вызывает, порождает, производит и т. п. другое явление — свое следствие.

Что характерно для причинной связи? Чем она отличается от других возможных связей явлений?

Прежде всего, причина всегда предшествует во времени следствию. Сначала железо нагревается, а затем начинает расширяться. Окно раскалывается не до удара камня, а после него и т. д.

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

Далее, причинная связь необходима: всякий раз, когда есть причина, неизбежно наступает и следствие.

Вода при нормальном атмосферном давлении нагревается до 100 °C, закипает и превращается в пар. Можно миллион раз нагревать воду до кипения, и она всегда будет переходить в пар. И если бы при миллион первом нагревании этого вдруг не произошло, мы должны были бы сказать, что между нагреванием воды и превращением ее в пар нет причинной связи.

Названных характеристик причинности недостаточно, однако, для отличения ее от связей других типов.