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