Учебник по логике
Ворона насиживает яйца.
Сорока насиживает яйца.
Галка насиживает яйца.
Грач насиживает яйца.
Сойка насиживает яйца.
Все перечисленные птицы относятся к семейству вороновых.
Вывод: все вороновые насиживают яйца.
Заключение, таким образом, приписывает всем особям данного рода признак, который отмечен у его отдельных представителей. В этом месте может возникнуть вопрос: вправе ли мы делать вывод обо всех вороновых, если перечислили только какую-то часть их? Утвердительный ответ тут, разумеется, более чем сомнителен. Строго говоря, для того чтобы на него отважиться, надо было бы опираться на гораздо более широкую базу данных или же, в противном случае, ограничить наше утверждение только каким-то одним видом вороновых. Вывод в таких умозаключениях, как правило, вероятностный. Тем не менее, нам очень часто приходится делать обобщения обо всей совокупности, опираясь на знание лишь части ее. Объясняется это отчасти тем, что индуктивные выводы могут быть и достоверными. Отчасти же дело в том, что в любом случае индукция вскрывает преобладающую черту у предметов данного рода. И полученный нами вывод является как раз именно таким, ибо кукушки с их гнездовым паразитизмом тоже относятся к вороновым. Из-за этого общее правило для этих птиц иногда нарушается, хотя все равно его нельзя считать полностью неверным.
Индукцию принято подразделять на полную и неполную; последняя в свою очередь распадается еще на две разновидности. Кроме того, имеется также научная индукция.
Полная индукция. Самой простой разновидностью индуктивного процесса является полная индукция. В этом случае перечисляются все без исключения предметы данного класса. Заключение суммирует итог. Так, вывод о том, что все планеты Солнечной системы светят отраженным светом, астрономы сделали на основе наблюдений. Поскольку при этом они перебрали все планеты, обращающиеся вокруг Солнца, то сделанный ими вывод, конечно, совершенно достоверен.
С полной индукцией весьма часто приходится сталкиваться в повседневной практической деятельности. Мы можем делать обобщающие выводы о цене на разнообразные товары такого-то предприятия, о морозных днях на прошлой неделе, об этажности зданий в данном квартале. В истинности таких обобщений не приходится сомневаться, если посылки верны и ничего не упущено. Наука тоже использует такие умозаключения.
Совершенно достоверные выводы получаются также с помощью так называемой математической индукции. Она применяется к математическим выражениям или к высказываниям, записанным в виде формул, разработанных в символической логике, причем к таким, в которые входит натуральное число n. Иногда можно показать, опираясь на математические методы, что выражения, содержащие n, сохраняют свою силу при замене n на (n+1). Когда это удается, то отсюда делают вывод, что, следовательно, выражение верно при любом числе на месте n. Обычно такой прием используется для формул, которые легко установить только при небольших числах n (скажем, возможное число сочетаний по два, по три). Затем по методу математической индукции распространяют формулу на все возможные комбинации вообще. Положение о связи выражений, содержащих n и (n+1), называют аксиомой математической индукции. С учетом роли этой аксиомы такую схему рассуждения следует скорее отнести к дедуктивным. Сходство ее с индукцией лишь внешнее.
Неполная индукция. В научном познании возможность исчерпывающим образом охватить все изучаемые явления данного класса встречается сравнительно редко. Более распространены обобщения, построенные на основе знания только части всей интересующей нас совокупности вещей. Во всяком случае, многие научные законы получены с помощью неполной индукции.
Одной из разновидностей такого обобщения является индукция на основе повторения одного и того же признака у разных предметов, явлений и т.д. Структура такого умозаключения является обычной для индукции, примером могло бы послужить приведенное выше обоснование вывода о насиживании яиц вороновыми.
Достоверность выводов по индукции может повышаться, если пользоваться дополнительными средствами. Такое дополнительное средство применяется в популярной индукции. Она представляет собой ту же индукцию на основе повторения, но к ней добавляется указание на отсутствие противоречащих выводу случаев. Скажем, мысль о теплопроводности сплавов можно подтвердить не только утверждением о том, что латунь, бронза, сталь, дюраль и т.д. теплопроводны, но и указанием на то, что нетеплопроводные среди известных науке сплавов не встречаются. Такие дополнительные высказывания, когда они истинны, значительно повышают надежность обобщений.
В отличие от индуктивного вывода, полученного на основе повторения, здесь имеется еще одна, дополнительная посылка. Благодаря ней достоверность полученного вывода повышается. Если бы мы попытались в приведенной нами ранее индукции о птицах семейства вороновых сделать более широкий вывод о насиживании яиц певчими птицами, в подотряд которых входят вороновые, то он тут же был бы опровергнут тем, что некоторые виды кукушки откладывают яйца в чужие гнезда, предоставляя их высиживание другим птицам.
Имеется еще так называемая энумеративная индукция. Этим термином Декарт обозначал специально упорядоченные совокупности задач, так что степень сложности их разрешения постепенно нарастает. Теперь к этому приему прибегают в основном только при построении индуктивных умозаключений. Там, где возможно обобщаемый материал предварительно систематизировать, упускать такую возможность не следует, этим дается дополнительная гарантия полученным результатам.
§24. (2) Научная индукция
Методы научной индукции разрабатываются на основе общего учения об индуктивных умозаключениях. Она может быть полной и неполной во всех разновидностях последней. Но научная индукция направлена на изучение взаимосвязанных явлений и, прежде всего на установление причинных зависимостей. Кроме того, научная индукция, как правило, отличается методическим, целенаправленным характером осуществления. Материал, подлежащий обобщению, предварительно изучается, если необходимо, то ставятся эксперименты, чтобы проверить какие-то первоначальные предположения.
В отличие от дедуктивных умозаключений правомерность индукции в качестве одного из возможных методов развития науки в прошлом вызывала споры. В ее становлении и признании, в разработке методов научной индукции выдающаяся роль принадлежит английскому философу Ф. Бэкону (1561-1626 гг.). В своем незавершенном труде "Новый органон" (в противовес сборнику логических трактатов Аристотеля под названием "Органон") он провозглашает широкую программу обновления научного знания. Призывает отбросить всякие авторитеты, покончить с догматическим преклонением перед стариной. "Настоящие древние - это мы. Древность - это юность нашего мира!" - говорит мыслитель, подчеркивая этим, что цивилизация последующего времени старше той, что зародилась когда-то; она вбирает в себя прежние достижения и добавляет к ним новые. Она поэтому должна быть мудрее. Бездумное преклонение перед старыми авторитетами, учит мыслитель, только вредит знанию. Мы должны непрерывно пополнять свои познания на основе систематического экспериментирования и опытных обобщений. Ф. Бэконом было задумано множество остроумных экспериментов для изучения самых разных явлений. Он много и плодотворно трудился над разработкой методов повышения достоверности индуктивных умозаключений. После него крупный вклад в систематизацию и развитие методов научной индукции внес Д.Милль (1806-1873 гг.). Надо сказать, Милль вообще считал индукцию единственным надежным источником знания, его основой и первоначалом. Поэтому его называют всеиндуктивистом. Тем не менее, его фундаментальный труд "Система логики силлогистической и индуктивной" представляет собой единственный в своем роде свод знаний об индукции.