- раздел логики, изучающий индуктивные умозаключения, которые отличаются от дедуктивных умозаключений тем, что вывод в них вытекает из посылок не с необходимостью, а лишь с некоторой вероятностью. Типичным примером индуктивного умозаключения является переход от единичных фактов к общему утверждению. Современная И.л. в основном занимается анализом степени подтверждения гипотезы h на основании имеющегося свидетельства е. В формальной теории степень связи между гипотезой h и свидетельством е выражается функцией c(h,e), удовлетворяющей условию 0?c(h,e) ?1. Значение функции с (h, е) равно 1, если Л логически выводится из е; оно равно О, если е противоречит Л; во всех остальных случаях оно располагается в интервале (О, 1) и характеризует большую или меньшую степень вероятности (подтверждения) гипотезы Л по отношению к свидетельству е. В некоторых теориях И. л. степень подтверждения гипотезы h оценивается не строго количественно, а лишь сравнительно - в терминах "больше - меньше" (см.: Индукция).