Индуктивное умозаключение


Инду́кция (лат. inductio — наведение, от лат. inducere — влечь за собой, установить) — умозаключение от фактов к некоторой гипотезе (общему утверждению). Различают полную индукцию, когда обобщение относится к конечно-обозримой области фактов, и неполную индукцию, когда оно относится к бесконечно или конечно-необозримой области фактов[1].

Индуктивное умозаключение связывает частные предпосылки с заключением не строго через законы логики, а скорее через некоторые фактические, психологические или математические представления[2].

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

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

Термин впервые встречается у Сократа[3] (др.-греч. ἐπαγωγή). Но индукция Сократа имеет мало общего с современной индукцией. Сократ под индукцией подразумевает нахождение общего определения путём сравнения частных случаев и исключения ложных, слишком узких определений.

Аристотель указал на особенности индуктивного умозаключения (Аналит. I, кн. 2 § 23, Анал. II, кн. 1 § 23; кн. 2 § 19 etc.). Он определяет его как восхождение от частного к общему. Он отличал полную индукцию от неполной, указал на роль индукции при образовании первых принципов, но не выяснил основы неполной индукции и её права. Он рассматривал её как способ умозаключения, противоположный силлогизму. Силлогизм, по мнению Аристотеля, указывает посредством среднего понятия на принадлежность высшего понятия третьему, а индукция третьим понятием показывает принадлежность высшего среднему.