Логический позитивизм Р. Карнапа

«Истинность философских утверждений невозможно доказать» — Р. Карнап

Одно из самых сильных влияний на развитие логического позитивизма оказал немецкий философ Рудольф Карнап, один из наиболее значимых представителей «Венского кружка». Очень известны такие его работы как «Логические основания вероятности» (Logical Foundations of Probability, 1950) и «Континуум индуктивных методов» (The Continuum of Inductive Methods, 1951). Анализ Карнапом философских проблем, включая обсуждение принципа проверки, содержится в его сочинениях, посвященных теории познания и философии науки. Карнап доказывает, что в различных областях естественных и социальных наук используется один общий метод проверки гипотез и теорий, а понятия, используемые в этих областях, могут быть сведены, с помощью особых «предложений сведения» (операциональных определений и постулатов значения), к одному общему базису — понятиям, которые мы употребляем для описания знакомого всем физического мира, нас окружающего (т. н. физикализм). Важным результатом Карнапа в анализе соотношения теории и опыта является строго формализованная количественная теория логической вероятности, то есть степени индуктивного, или вероятностного, подтверждения теории^[4].

Научные предложения бывают либо аналитическими, либо синтетическими. Аналитические предложения логически необходимы и самодостаточны (пример: тела протяженны). Истинность синтетических предложений устанавливается эмпирическим путём (пример: на столе лежит книга).

Для доказания научности теорий используется верификация. Верификация — процедура проверки истинности знаний. Она предполагает, что сложные предложения нужно разделить на протокольные. Истинность протокольных предложений абсолютно несомненна, так как соответствует наблюдаемой действительности. Форма протокольного предложения выглядит так: «NN наблюдал такой-то и такой-то объект в такое-то время и в таком-то месте». Сведение сложных предложений к протокольным называется редукцией. Таким образом, вся деятельность учёного сводится к проверке протокольных предложений и их обобщению. Основываясь на редукции, «Венский кружок» во главе с Р. Карнапом замахивается на создание единой научной теории — «Фундамент единой науки», то есть протокольные предложения которые держат науку наверху обобщения. В 40е — 50е годы эта теория будет пересмотрена на основе физики.

Подробнее об ученом, а также перечень трудов по логическому позитивизму см. Карнап, Рудольф