Во-вторых, отличие индуктивных выводов от силлогистических касается отношения между общностью посылок и общностью заключения. В силлогистических выводах результатом вывода оказывается получение общего или частного суждения из других общих или частных суждений. Зная, например, что все предметы известного класса обладают некоторым свойством и что данный вид принадлежит этому классу, мы с достоверностью заключаем — по правилу первой фигуры силлогизма, — что и все предметы данного вида будут обладать тем же свойством, каким обладают все предметы этого класса. Здесь вывод идёт от общего к подчинённому ему общему, т. е. к частному.
В индуктивных выводах результатом вывода оказывается, напротив, установление — путём рассмотрения отдельных случаев, специально подобранных по правилам индуктивных методов, — некоторого положения, распространяющегося не только на рассмотренные случаи, но и на весь класс предметов. В этом смысле индуктивный вывод идёт от частных случаев к общему.
В-третьих, отличие индуктивных выводов от силлогистических состоит в различной достоверности индуктивных и силлогистических умозаключений. В силлогизмах при условии, если посылки истинны и если логический ход умозаключений правильный, заключение будет достоверной истиной.
В индуктивных выводах, напротив, истинность посылок и правильный логический ход умозаключений не могут обеспечить заключению полную достоверность. Здесь вывод — всего лишь вероятный. И хотя во множестве случаев вероятность эта настолько велика, что практически приближается к достоверности, принципиальное различие между вероятностью и достоверностью всё же остаётся и полностью устранено быть не может.
§ 2. Указанные здесь отличия индуктивных выводов от силлогистических и в первую очередь отличие между ходом вывода от частного к общему и от общего к частному образуют основание для объединения всей группы силлогистических выводов в группу выводов так называемой дедукции и для отличения дедуктивных выводов от индуктивных, или от индукции.
В широком смысле слово дедукция означает в логике всякий вывод одних положений из других, в том числе и вывод всего лишь вероятных суждений. В более узком смысле дедукцией логика называет всякие выводы достоверных суждений из других достоверных и притом более общих суждений.
Напротив, индукцией называются всякие выводы вероятных суждений из других менее общих достоверных или вероятных суждений.
§ 3. Различие между индукцией и дедукцией сохраняет силу там, где выводы рассматриваются: 1) с точки зрения их задачи, 2) с точки зрения общности заключения вывода сравнительно с его посылками и 3) с точки зрения достоверности вывода.
Но если выводы рассматриваются с точки зрения их логического основания, т. е. по тому логическому типу умозаключения, который обусловливает переход от посылок к заключению, то различие между дедуктивными и индуктивными выводами оказывается далеко не безусловным.
И действительно, некоторые виды силлогизмов и некоторые виды индуктивных умозаключений в отношении хода умозаключения чрезвычайно близки друг другу. Таковы, например, третья фигура простого категорического силлогизма, выводы полной индукции и выводы неполной индукции.
На первый взгляд могло бы показаться, что между третьей фигурой, с одной стороны, и индуктивными выводами полной и неполной индукции — с другой, существует всё то различие, какое имеется между дедуктивным выводом, идущим от общего к частному, и индуктивным, идущим от частного к общему.
В самом деле, по третьей фигуре заключения получаются, как известно, только частные. В особенности разительно это свойство третьей фигуры в модусах Darapti и Felapton, где частные выводы получаются из обеих общих посылок. Но и в остальных модусах третьей фигуры частные выводы получаются из посылок, одна из которых непременно общая. Напротив, в выводах полной индукции единичные или частные посылки обосновывают общий вывод. То же справедливо относительно выводов неполной индукции: устанавливаемое в них в качестве вероятного заключение есть заключение общее: оно относится не только к рассмотренным и подтверждающим заключение случаям, но и ко всем ещё не рассмотренным случаям того же рода.