Индукция или наведение — способ умозаключения от частного к общему. Термин И. впервые встречается у Сократа (Έπαγωγή). Но И. Сократа имеет мало общего с современной И. Сократ под И. подразумевает нахождение общего определения понятия путем сравнения частных случаев и исключения ложных, слишком узких определений. Аристотель указал на особенности И. (Аналит. I, кн. 2 § 23, Анал. II, кн. 1 § 23; кн. 2 § 19 etc.). Он определяет И. как восхождение от частного к общему. Он отличал полную И. от неполной, указал на роль И. при образовании первых принципов, но не выяснил основы неполной И. и ее права и рассматривал ее как вид силлогизма, то как способ умозаключения, противоположный силлогизму. Силлогизм, по мнению Аристотеля, указывает посредством среднего понятия на принадлежность высшего понятия третьему, а И. третьим понятием показывает принадлежность высшего среднему. В эпоху Возрождения началась борьба против Аристотеля и силлогистического метода, и вместе с тем начали рекомендовать индуктивный метод как единственно плодотворный в естествознании и противоположный силлогистическому. В Бэконе обыкновенно видят родоначальника современной И., хотя справедливость требует упомянуть и о его предшественниках, например Леонардо да Винчи и др. Восхваляя И., Бэкон отрицает значение силлогизма («силлогизм состоит из предложений, предложения состоят из слов, слова суть знаки понятий; если поэтому понятия, которые составляют основание дела, неотчетливы и поспешно отвлечены от вещей, то и построенное на них не может иметь никакой прочности»). Это отрицание не вытекало из теории И. Бэконовская И. (см. его «Novum Organon») не только не противоречит силлогизму, но даже требует его. Сущность учения Бэкона сводится к тому, что при постепенном обобщении нужно придерживаться известных правил, т. е. нужно сделать три обзора всех известных случаев проявления известного свойства у разных предметов: обзор положительных случаев, обзор отрицательных (т. е. обзор предметов, сходных с первыми, в которых, однако, исследуемое свойство отсутствует) и обзор случаев, в которых исследуемое свойство проявляется в различных степенях, и отсюда делать уже обобщение («Nov. Org.» LI, aph. 13). По методу Бэкона нельзя сделать нового заключения, не подводя исследуемый предмет под общие суждения, т. е. не прибегая к силлогизму. Итак, Бэкону не удалось установление И. как особого метода, противоположного дедуктивному. Дальнейший шаг сделан Дж. Ст. Миллем. Всякий силлогизм, по мнению Милля, заключает в себе petitio principii; всякое силлогистическое заключение идет в действительности от частного к частному, а не от общего к частному. Эта критика Милля несправедлива, ибо от частного к частному мы не можем заключать, не введя добавочного общего положения о сходстве частных случаев между собой. Рассматривая И., Милль, во-первых, задается вопросом об основании или праве на индуктивное заключение и видит это право в идее однообразного порядка явлений, и, во-вторых, сводит все способы умозаключения в И. к четырем основным: метод согласия (если два или более случая исследуемого явления сходятся в одном только обстоятельстве, то это обстоятельство и есть причина или часть причины исследуемого явления, метод различия (если случай, в котором встречается исследуемое явление, и случай, в котором оно не встречается, совершенно сходны во всех подробностях, за исключением исследуемой, то обстоятельство, встречающееся в первом случае и отсутствующее во втором, и есть причина или часть причины исследуемого явления); метод остатков (если в исследуемом явлении часть обстоятельств может быть объяснена определенными причинами, то оставшаяся часть явления объясняется из оставшихся предшествующих фактов) и метод соответствующих изменений (если вслед за изменением одного явления замечается изменение другого, то мы можем заключить о причинной связи между ними). Характерно, что эти методы при ближайшем рассмотрении оказываются дедуктивными способами; напр. метод остатков не представляет собой ничего иного, как определение путем исключения. Аристотель, Бэкон и Милль представляют собой главные моменты развития учения об И.; только ради детальной разработки некоторых вопросов приходится обращать внимание на Клода Бернара («Введение в экспериментальную медицину»), на Эстерлена («Medicinische Logik»), Гершеля, Либиха, Вэвеля, Апельта и др.
Индуктивный метод. Различают двоякую И.: полную (inductio completa) и неполную (inductio incompleta или per enumerationem simplicem). В первой мы заключаем от полного перечисления видов известного рода ко всему роду; очевидно, что при подобном способе умозаключения мы получаем вполне достоверное заключение, которое в то же время в известном отношении расширяет наше познание; этот способ умозаключения не может вызвать никаких сомнений. Отождествив предмет логической группы с предметами частных суждений, мы получим право перенести определение на всю группу. Напротив, неполная И., идущая от частного к общему (способ умозаключения, запрещенный формальной логикой), должна вызвать вопрос о праве. Неполная И. по построению напоминает третью фигуру силлогизма, отличаясь от нее, однако, тем, что И. стремится к общим заключениям, в то время как третья фигура дозволяет лишь частные. Умозаключение по неполной И. (per enumerationem simplicem, ubi non reperitur instantia contradictoria) основывается, по-видимому, на привычке и дает право лишь на вероятное заключение во всей той части утверждения, которая идет далее числа случаев уже исследованных. Милль в разъяснении логического права на заключение по неполной И. указал на идею однообразного порядка в природе, в силу которой наша вера в индуктивное заключение должна возрастать, но идея однообразного порядка вещей сама является результатом неполной индукции и, следовательно, основой И. служить не может. В действительности основание неполной И. то же, что и полной, а также третьей фигуры силлогизма, т. е. тождество частных суждений о предмете со всей группой предметов. «В неполной И. мы заключаем на основании реального тождества не просто некоторых предметов с некоторыми членами группы, но таких предметов, появление которых перед нашим сознанием зависит от логических особенностей группы и которые являются перед нами с полномочиями представителей группы». Задача логики состоит в том, чтобы указать границы, за пределами которых индуктивный вывод перестает быть правомерным, а также вспомогательные приемы, которыми пользуется исследователь при образовании эмпирических обобщений и законов. Несомненно, что опыт (в смысле эксперимента) и наблюдение служат могущественными орудиями при исследовании фактов, доставляя материал, благодаря которому исследователь может сделать гипотетическое предположение, долженствующее объяснить факты. Таким же орудием служит и всякое сравнение и аналогия, указывающие на общие черты в явлениях, общность же явлений заставляет предположить, что мы имеем дело и с общими причинами; таким образом, сосуществование явлений, на которое указывает аналогия, само по себе еще не заключает в себе объяснения явления, но доставляет указание, где следует искать объяснения. Главное отношение явлений, которое имеет в виду И., — отношение причинной связи (см. Причина), которая, подобно самому индуктивному выводу, покоится на тождестве, ибо сумма условий, называемая причиной, если она дана в полноте, и есть не что иное, как вызванное причиной следствие. Правомерность индуктивного заключения не подлежит сомнению; однако логика должна строго установить условия, при которых индуктивное заключение может считаться правильным; отсутствие отрицательных инстанций еще не доказывает правильности заключения. Необходимо, чтобы индуктивное заключение основывалось на возможно большем количестве случаев, чтобы эти случаи были по возможности разнообразны, чтобы они служили типическими представителями всей группы явлений, которых касается заключение, и т. д. При всем том индуктивные заключения легко ведут к ошибкам, из которых самые обычные проистекают от множественности причин и от смешения временного порядка с причинным. В индуктивном исследовании мы всегда имеем дело со следствиями, к которым должно подыскать причины; находка их называется объяснением явления, но известное следствие может быть вызвано целым рядом различных причин; талантливость индуктивного исследователя в том и заключается, что он постепенно из множества логических возможностей выбирает лишь ту, которая реально возможна. Для человеческого ограниченного познания, конечно, различные причины могут произвести одно и то же явление; но полное адекватное познание в этом явлении умеет усмотреть признаки, указывающие на происхождение его лишь от одной возможной причины. Временное чередование явлений служит всегда указанием на возможную причинную связь, но не всякое чередование явлений, хотя бы и правильно повторяющееся, непременно должно быть понято как причинная связь. Весьма часто мы заключаем post hoc — ergo propter hoc, таким путем возникли все суеверия, но здесь же и правильное указание для индуктивного вывода. Ср. Милль, «Логика»; Каринский, «Классификация выводов»; Apelt, «Theorie der Induction»; Lacheller, «Théorie de l’induction».