Обоснование индукции как метода связано с именем Аристотеля. Для Аристотеля была характерна так называемая интуитивная индукция. Это одно из первых представлений об индукции среди многих ее формулировок.
Интуитивная индукция – это мыслительный процесс, посредством которого из некоторого множества случаев выделяется общее свойство или отношение и отождествляется с каждым отдельным случаем. Многочисленные примеры подобного рода индукции, применяемой как в обыденной жизни, так и в научной практике, математике приведены в книге известного математика Д. Пойа (см.: «Математика и правдоподобные рассуждения». - М., Ил, 1957. –Гл. «Интуиция»). Например, наблюдая некоторые числа и их комбинации, можно натолкнуться на соотношения
3+7=10, 3+17=20, 13+17=30 и т. д.
Здесь обнаруживается сходство в получении числа кратного десятизначному.
Или другой пример. 6=3+3, 8=3+5, 10=3+7=5+5, 12=5+7 и т. д.
Очевидно, что мы сталкиваемся с фактом, что сумма нечетных простых чисел есть всегда четное число.
Эти утверждения получены в ходе наблюдения и сравнения арифметических операций. Продемонстрированные примеры индукции целесообразно назвать интуитивной, так как сам процесс вывода не является логическим выводом в точном смысле этого слова. Здесь мы не имеем дела с рассуждением, которое разлагалось бы на посылки и заключения, а просто с восприятием, «схватыванием» отношений и общих свойств непосредственно. Мы не прилагаем никаких логических правил, а догадываемся. Нас просто озаряет понимание некой сути. Такая индукция важна в научном познании, но она не является предметом формальной логики, а изучается теорией познания и психологией творчества. Более того, подобной индукцией мы пользуемся на обыденном уровне познания постоянно.
Как создатель традиционной логики Аристотель называет индукцией и другую процедуру, а именно: установления общего предложения путем перечисления в форме единичных предложений всех случаев, которые подводимы под него. Если мы смогли перечислить все случаи, а это имеет место когда число случаев ограничено, то мы имеем дело с полной индукцией. В данном случае у Аристотеля процедура выведения общего предложения фактически является случаем дедуктивного вывода.
Когда же число случаев не ограничено, т. е. практически бесконечно, мы имеем дело с неполной индукцией. Она представляет собой эмпирическую процедуру и является индукцией в собственном смысле слова. Это процедура установления общего предложения на основании нескольких отдельных случаев, в которых наблюдалось определенное свойство, характерное для всех возможных случаев, сходных с наблюдаемым, называется индукцией через простое перечисление. Это и есть популярная или традиционная индукция.
Главной проблемой полной индукции является вопрос о том, насколько основательно, правомерно такое перенесение знания с отдельных известных нам случаев, перечисляемых в отдельных предложениях, на все возможные и даже еще неизвестные нам случаи. Это есть серьезная проблема научной методологии и обсуждается она в философии и логике со времен Аристотеля. Это так называемая проблема индукции. Она камень преткновения для метафизически мыслящих методологов.
В реальной научной практике популярная индукция применяется абсолютно самостоятельно крайне редко. Чаще всего она используется, во-первых, наряду с более совершенными формами метода индукции и, во-вторых, в единстве с дедуктивными рассуждениями и другими формами теоретического мышления, которые повышают правдоподобность знания, полученного этим способом.
Когда в процессе индукции осуществляется перенос, экстраполяция вывода, справедливого для конечного числа известных членов класса, на все члены этого класса, то основанием для такого переноса является абстракция отождествления, состоящая в предположении, что в данном отношении все члены этого класса тождественны. Такая абстракция является либо допущением, гипотезой, и тогда индукция выступает как способ подтверждения этой гипотезы, либо абстракция покоится на каких-то других теоретических предпосылках. В любом случае индукция так или иначе связана с различными формами теоретических рассуждений, дедукцией.
В неизменном виде индукция через простое перечисление просуществовала вплоть до 17 века, когда Ф. Бэконом была сделана попытка усовершенствовать метод Аристотеля в известной работе «Новый Органон» (1620 г.) Ф. Бэкон писал: «Наведение, которое происходит путем простого перечисления есть детская вещь, оно дает шаткие заключения и подвергается опасности со стороны противоречащих частностей, вынося решения большей частью на основании меньшего, чем следует, количества фактов и только для тех, которые имеются налицо». Бэкон обращает внимание и на психологическую сторону ошибочности заключений. Он пишет: «Люди обычно судят о новых вещах по примеру старых, следуя своему воображению, которое предубежденно и запятнано ими. Этот род суждения обманчив, поскольку многое из того, что ищут у источников вещей, не течет по привычным ручейкам».
Индукция, которую предложил Ф. Бэкон, и правила, которые он сформулировал в своих знаменитых таблицах «представления примеров разуму», по его мнению, свободна от субъективных ошибок, а применение его способа индукции гарантирует получение истинного знания. Он утверждает: «Наш же путь открытия таков, что он немногое оставляет остроте и силе дарований. Но почти уравнивает их. Подобно тому как для проведения прямой линии или описания совершенного круга много значит твердость, умелость и испытанность руки, если действовать только рукой, мало или ничего не значит, если пользоваться циркулем и линейкой; так обстоит дело и с нашим методом».
Демонстрируя несостоятельность индукции через простое перечисление Бертран Рассел приводит такую притчу. Жил однажды чиновник по переписи, который должен был переписать фамилии всех домовладельцев в каком-то уэльском селе. Первый, которого он спросил, назвался Уильмом Уильмсом, также назвался второй, третий и т. д. Наконец, чиновник сказал себе: «Это утомительно, очевидно, все они Уильямы Уильямсы. Так я и запишу их всех и буду свободен». Но он ошибся, так как был все же один человек по имени Джон Джонс. Это показывает, что мы можем прийти к неправильным выводам, если слишком безоговорочно поверим в индукцию через простое перечисление».
Назвав неполную индукцию детской, Бэкон предложил усовершенствованный вид индукции, которая называет элиминативной (исключающей) индукцией. Общим основанием методологии Бэкона было «рассечение» вещей и сложных явлений на части или элементарные «природы», а затем обнаружение «форм» этих «природ». В данном случае под «формой» Бэкон понимает выяснение сущности, причин отдельных вещей и явлений. Процедура соединения и разъединения в теории познания Бэкона приобретает вид элиминативной индукции.
С точки зрения Бэкона, главной причиной значительного несовершенства неполной индукции Аристотеля было отсутствие внимания к отрицательным случаям. Полученные в результате эмпирических исследований отрицательные доводы должны быть вплетены в логическую схему индуктивного рассуждения.