Индуктивное умозаключение: различия между версиями

'''Индукция''' (''[[Латинский язык|лат]]. inducere'' — влечь за собой, установить, наведение) — процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не строго через [[законы логики]], а скорее через некоторые фактические, психологические или математические представления.<ref name="logic">А. А. Ивин ЛОГИКА Учебное пособие Издание 2-е Москва Издательство «Знание» 228 с.</ref>

 

 

Различают ''полную индукцию'' — метод доказательства, при котором [[Высказывание (логика)|утверждение]] доказывается для конечного числа частных случаев, исчерпывающих все возможности, и ''неполную индукцию'' — наблюдения за отдельными частными случаями наводят на гипотезу, которая, конечно, нуждается в доказательстве. Также для доказательств используется [[Математическая индукция|метод математической индукции]], который позволяет осуществить полную индукцию для бесконечного [[счётное множество|счётного множества]] объектов.