Поэтому и здесь нельзя задаваться вопросом: «Что возникло раньше — индукция или дедукция?» Как основные типы умозаключения они оформлялись в процессе развития человеческого познания одновременно. Основа этой одновременности коренится в том, что отдельное не существует раньше общего или наоборот; что связи и отношения не существуют раньше самих предметов или наоборот.
Также, как в дедукции, виды индукции многообразны. Наиболее общими из них являются полная и неполная. Поскольку всякая индукция представляет собой обобщение, то их различие обусловлено главным: изучены ли для этого обобщения элементы того или иного класса полностью или же частично.
2. Полная индукция
Полной индукция получается в том случае, если, во-первых, исследованы все элементы класса предметов и, во-вторых, если установлено, что каждому из них принадлежит (или не принадлежит) одно и то же общее свойство (отношение).
В простейшем случае это выглядит так. Например, мы ежедневно ведем запись наблюдений за погодой и фиксируем солнечные дни в течение такого отрезка времени, как неделя. Мы можем констатировать, что каждый из дней был солнечным. Это дает возможность сделать общий вывод, что вся неделя в целом была солнечной. На этом примере можно убедиться, что индуктивное умозаключение принимает особую форму, отличную от дедуктивного. В учебных целях ее можно представить так:
Понедельник — солнечный день.
Вторник — солнечный день.
…........
День n — солнечный день.
Понедельник, вторник ... день n исчерпывают все дни недели.
Следовательно, неделя была солнечной.
Более сложный случай представляет собой пример индукции, приводившийся в самом начале раздела «Умозаключение», — о том, что «Все планеты Солнечной системы движутся с запада на восток». Этот общий вывод может быть сделан путем непосредственных астрономических наблюдений за каждой планетой в отдельности.
Нетрудно установить, что в обоих случаях умозаключение имеет одинаковую структуру. Она может быть представлена следующей формулой:
S1 — P
S2 — P
…..
Sn — P
S1, S2 ... Sn ... исчерпывают класс S.
Следовательно, все S — Р.
В символической записи это выглядит так:
Каково познавательное значение вывода в форме полной индукции? На первый взгляд кажется, что по сравнению с посылками он не дает никакого нового знания или что его значение ничтожно. К сожалению, такого рода взгляды высказывались и в истории науки. В действительности полная индукция дает новое знание. Если в посылках содержится знание лишь об отдельных элементах какого-либо класса предметов, то в выводе речь идет об этом классе в целом. Следовательно, он познается и оценивается под новым углом зрения: в нем выявляется некая сущность, а соответственно и закономерность. И это естественно: ведь понятия «общее», «сущность», «закономерность» — однопорядковые. Так, выявление того общего, что «Все планеты Солнечной системы движутся с запада на восток», открывает возможности для более глубокого познания причин и сущности планетообразования, закономерностей развития всей Солнечной системы.
Особо ценно, что полная индукция, как и дедукция, способна давать достоверные знания.
Разумеется, заключение в полной индукции может быть истинным и ложным. Оно будет истинным, если, во-первых, все посылки истинны по содержанию и, во-вторых, если между ними и заключением есть отношение логического следования: в данном случае если исчерпаны все элементы исследуемого класса и каждый обладает (или не обладает) тем или иным свойством.
Заключение может оказаться ложным, если хотя бы одно из этих условий не соблюдено. Например, вывод, что «Все бывшие союзные республики СССР объявили о своей независимости», — истинный; а вывод, что «Все бывшие союзные республики СССР вступили в СНГ» — ложный.
Посредством полной индукции могут быть получены важные научные знания более или менее общего характера: «Все планеты Солнечной системы вращаются вокруг своей оси», «На всех планетах происходит смена времен года», «Все планеты светят отраженным светом». Если же установлено, что не все элементы какого-либо класса (или виды рода) обладают данным общим свойством, то обобщение может быть облечено в форму частного суждения. Например: «Некоторые металлы легче воды», «Некоторые металлы — жидкие тела».