Образцом доказательства, которому в той или иной мере стремятся следовать во всех науках, является математическое доказательство. Долгое время считалось, что оно представляет собой ясный и бесспорный процесс. В нашем веке отношение к математическому доказательству изменилось. Сами математики разбились на враждебные группировки, каждая из которых придерживается своего истолкования доказательства. Причиной этого послужило прежде всего изменение представлений о лежащих в основе доказательства логических принципах. Исчезла уверенность в их единственности и непогрешимости. Логицизм был убежден, что логики достаточно для обоснования всей математики; по мнению формалистов (Д.Гильберт и др.), одной лишь логики для этого недостаточно и логические аксиомы необходимо дополнить собственно математическими; представители теоретико-множественного направления не особенно интересовались логическими принципами и не всегда указывали их в явном виде; интуиционисты из принципиальных соображений считали нужным вообще не вдаваться в логику. Полемика по поводу математического доказательства показала, что нет критериев доказательства, не зависящих ни от времени, ни от того, что требуется доказать, ни от тех, кто использует критерии. Математическое доказательство является парадигмой доказательства вообще, но даже в математике доказательство не является абсолютным и окончательным.

В индуктивном умозаключении связь посылок и заключения не опирается на логический закон, и заключение вытекает из принятых посылок не с логической необходимостью, а только с некоторой вероятностью. Индукция может давать из истинных посылок ложное заключение; ее заключение может содержать информацию, отсутствующую в посылках. Понятие индукции (индуктивного умозаключения) не является вполне ясным. Индукция определяется, в сущности, как «недедукция» и представляет собой еще менее ясное понятие, чем дедукция. Можно тем не менее указать относительно твердое «ядро» индуктивных способов рассуждения. В него входят, в частности, неполная индукция, так называемые перевернутые законы логики, подтверждение следствий, целевое обоснование и подтверждение общего положения с помощью примера. Типичным примером индуктивного рассуждения является также аналогия.

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

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

Иногда перечисление является достаточно обширным и тем не менее опирающееся на него обобщение оказывается ошибочным.

«Алюминий – твердое тело; железо, медь, цинк, серебро, платина, золото, никель, барий, калий, свинец – также твердые тела; следовательно, все металлы – твердые тела», Но этот вывод ложен, поскольку ртуть – единственный из всех металлов – жидкость.

Много интересных примеров, поспешных обобщений, встречавшихся в истории науки, приводит в своих работах русский ученый В.И.Вернадский.

До XVII в., пока в науку не вошло окончательно понятие «сила», «некоторые формы предметов и по аналогии некоторые формы путей, описываемых предметами, считались, по существу, способными производить бесконечное движение. В самом деле, представим себе форму идеально правильного шара, положим этот шар на плоскость; теоретически он не может удержаться неподвижно и все время будет в движении. Это считалось следствием идеально круглой формой шара. Ибо чем ближе форма фигуры к шаровой, тем точнее будет выражение, что такой материальный шар любых размеров будет держаться на идеальной зеркальной плоскости на одном атоме, то есть будет больше способен к движению, менее устойчив. Идеально круглая форма, полагали тогда, по своей сущности способна поддерживать раз сообщенное движение. Этим путем объяснялось чрезвычайно быстрое вращение небесных сфер, эпициклов. Эти движения были единожды сообщены им божеством и затем продолжались века как свойство идеально шаровой формы». «Как далеки эти научные воззрения от современных, а между тем, по существу, это строго индуктивные построения, основанные на научном наблюдении. И даже в настоящее время в среде ученых-исследователей видим попытки возрождения, по существу, аналогичных воззрений».

Поспешное обобщение, т.е. обобщение без достаточных на то оснований, – обычная ошибка в индуктивных рассуждениях.

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

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

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

Индукция находит приложение не только в сфере описательных утверждений, но и в области оценок, норм, советов и им подобных выражений.

Эмпирическое обоснование оценок и т.п. имеет иной смысл, чем в случае описательных высказываний. Оценки не могут поддерживаться ссылками на то, что дано в непосредственном опыте. Вместе с тем имеются такие способы обоснования оценок, которые в определенном отношении аналогичны способам обоснования описаний и которые можно поэтому назвать квазиэмпирическими. К ним относятся различные индуктивные рассуждения, среди посылок которых имеются оценки и заключение которых также является оценкой или подобным ей утверждением. В числе таких способов неполная индукция, аналогия, ссылка на образец, целевое обоснование (подтверждение) и др.

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

Самым простым и вместе с тем ненадежным способом индуктивного обоснования оценок является неполная (популярная) индукция. Ее общая схема:

S1 должно быть Р.

S2 должно быть Р.

Sn должно быть Р.

Все S1, S2, …, Sn являются Р.

Все S должны быть Р.

Здесь первые п посылок являются оценками, последняя посылка представляет собой описательное утверждение; заключение – оценка. Например:

Суворов должен быть стойким и мужественным.

Наполеон должен быть стойким и мужественным.

Эйзенхауэр должен быть стойким и мужественным.

Суворов, Наполеон, Эйзенхауэр были полководцами.

Каждый полководец должен быть стойким и мужественным.

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

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

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