Индуктивная логика - это раздел логики, изучающий индукцию как познавательную процедуру. Различные варианты формализации индукции были предложены, включая вероятностную логику Р. Карнапа и бесконечнозначную вероятностную логику Г. Рейхенбаха. В индуктивной логике Р. Карнапа был получен пессимистический результат, но Я. Хинтикка показал, что в его версии индуктивной логики этот результат не имеет места.