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

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

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

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

Её схема:

<РИСУНОК В ЭЛЕКТРОННОМ ВИДЕ ОТСУТСТВУЕТ>

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

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

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

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

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

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