Особое место в логике Аристотеля и в его теории познания занимает индукция.

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

Отличие индуктивного умозаключения от «силлогизма через средний термин» Аристотель видит в следующем: индукция показывает отношение большего термина к среднему через меньший, а силлогизм – отношение большего термина к меньшему через средний. Иными словами, в индуктивном умозаключении доказывается присущность большего термина среднему через меньший: среднему термину присущ в качестве предиката больший термин на основании того, что последний присущ всем или некоторым предметам, составляющим объем среднего термина. В том случае, если больший термин присущ всем предметам, входящим в объем среднего термина, общеутвердительное заключение будет вполне достоверным и мы будем иметь тот вид индукции, который позже получил название полной.

Только полную индукцию Аристотель признает строго научной и относит ее к аподейктике, неполную же индукцию он относит к диалектическим и главным образом к риторическим умозаключениям. Отмечая доказательную силу полной индукции, Аристотель называет ее «силлогизмом по индукции».

По своей логической структуре полная индукция представляет собой умозаключение по третьей фигуре категорического силлогизма (по модусу Darapti), но с той особенностью, что здесь тот из терминов, который служит предикатом меньшей посылки, по объему совпадает с субъектом этой посылки, которая заключает в себе все единичные вещи или виды, входящие в понятие этого предиката, вследствие чего меньшая посылка обратима без ограничения; отсюда получается силлогизм первой фигуры (по модусу Barbara) с необходимым общеутвердительным заключением. Аристотель приводит следующий пример. Мы имеем две посылки: 1) «Все люди, лошади, мулы и т. д. долговечны» и 2) «Все люди, лошади, мулы и т. д. не имеют желчи». В том случае, когда меньшая посылка обратима без ограничения, т. е. когда виды, перечисленные в субъекте этой посылки, охватывают всех живых существ, не имеющих желчи, мы посредством обращения меньшей посылки получим такое общеутвердительное суждение, которое в соединении с первой имеющейся посылкой даст первый модус первой фигуры силлогизма (Barbara). Следовательно, мы будем иметь полноценный достоверный вывод (аподейктическое умозаключение).

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

Таким образом, неполная индукция, по учению Аристотеля, не может претендовать на аподейктическую достоверность, она может претендовать только на диалектическую или риторическую вероятность.

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

Учение Аристотеля о четырех причинах – материальной, действующей, формальной и целевой – в конечном счете признает, что форма является причиной всякой определенности вещей. Форма является и причиной всякого движения, материя же только движима. Материя, по Аристотелю, служит причиной не закономерности, а случайности в природе, она противодействует той общей закономерности, которая присуща форме. Поэтому законы природы не являются необходимыми, общими, а, напротив, выражают лишь то, что бывает обычно, по большей части.

Основой же научной индукции служит детерминизм, признание строгой всеобщей закономерности всего происходящего. Именно потому, что эти положения были принципами философии Демокрита, в его логике давалась высокая оценка индукции. Свое дальнейшее развитие индуктивная логика получила в эпикурейской школе. У Аристотеля же в понимании законов природы мы видим колебание между материализмом Демокрита и идеализмом Платона. Аристотель в этом вопросе пытался примирить Демокрита и Платона, но эта попытка была неосуществимой, поскольку вообще материализм и идеализм примирить нельзя. Аристотель мог прийти только к дуализму. Противопоставляя материю и форму, он говорит, что от материи – все изменчивое, преходящее, случайное, а от формы – неизменное, пребывающее, необходимое, закономерное.

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

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

Аристотелю был известен и тот вид умозаключения, который позже получил название «умозаключения по аналогии». Этот вид умозаключения у Аристотеля называется «парадейгма» («пример»). Аристотель относит его к риторическим умозаключениям, не дающим достоверного заключения, но служащим для убеждения других. Характеризуя парадейгму, Аристотель говорит, что этот вид умозаключения представляет собой установление присущности крайнего (большего) термина среднему через термин, подобный третьему, причем должно быть известно, что средний термин присущ третьему, а первый – тому, который подобен третьему. Аристотель приводит следующий пример парадейгмы.

Война фиванцев с фокейцами есть зло. Война фиванцев с фокейцами есть война с соседями.

Война с соседями есть зло. Война афинян с фиванцами есть война с соседями.

Война афинян с фиванцами есть зло.

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

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

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

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