Индуктивно-логическая концепция (Р. Карнап)

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

Степень подтверждения гипотезы Я свидетельством Е в концепции Карнапа представляет собой определенную вероятность того, что из Алогически следует Я. Эта вероятность измеряется в интервале от 0 до 1. С этой точки зрения обычное дедуктивное умозаключение выступает как предельный случай такого вероятностного вывода (так как имеет вероятность 1). Таким образом, Карнап понимал вероятность как логическое понятие, представляющее собой «частичное следование» одних утверждений из других.

Например, если степень подтверждения гипотезы Я свидетельством Е равна 0,8, то это означает, что гипотеза Я следует из свидетельства Е с логической вероятностью 0,8.

Для реализации своего замысла Карнап посвятил много усилий детальной разработке специального логического языка и правил индуктивного вывода. Однако ему удалось создать приемлемую индуктивную логику подтверждения только для очень простых языков, что не позволяло применить ее к реальной научной практике. При дальнейшем развитии программа Карнапа столкнулась с массой технических трудностей. Сама идея построения системы индуктивного вывода на основе количественного понятия логической вероятности была очень привлекательна; множество авторов далее работали в этом направлении. При этом результаты становились все более сложными, что далеко увело исследователей от первоначально простой идеи индуктивно-логического подтверждения.