«Истинность философских утверждений невозможно доказать» — Р. Карнап
Одно из самых сильных влияний на развитие логического позитивизма оказал немецкий философ Рудольф Карнап, один из наиболее значимых представителей «Венского кружка». Очень известны такие его работы как «Логические основания вероятности» (Logical Foundations of Probability, 1950) и «Континуум индуктивных методов» (The Continuum of Inductive Methods, 1951). Анализ Карнапом философских проблем, включая обсуждение принципа проверки, содержится в его сочинениях, посвященных теории познания и философии науки. Карнап доказывает, что в различных областях естественных и социальных наук используется один общий метод проверки гипотез и теорий, а понятия, используемые в этих областях, могут быть сведены, с помощью особых «предложений сведения» (операциональных определений и постулатов значения), к одному общему базису — понятиям, которые мы употребляем для описания знакомого всем физического мира, нас окружающего (т. н. физикализм). Важным результатом Карнапа в анализе соотношения теории и опыта является строго формализованная количественная теория логической вероятности, то есть степени индуктивного, или вероятностного, подтверждения теории[4].
Научные предложения бывают либо аналитическими, либо синтетическими. Аналитические предложения логически необходимы и самодостаточны (пример: тела протяженны). Истинность синтетических предложений устанавливается эмпирическим путём (пример: на столе лежит книга).
Для доказания научности теорий используется верификация. Верификация — процедура проверки истинных знаний. Она предполагает, что сложные предложения нужно разделить на протокольные. Истинность протокольных предложений абсолютно несомненна, так как соответствует наблюдаемой действительности. Форма протокольного предложения выглядит так: «NN наблюдал такой-то и такой-то объект в такое-то время и в таком-то месте». Сведение сложных предложений к протокольным называется редукцией. Таким образом, вся деятельность учёного сводится к проверке протокольных предложений и их обобщению. Основываясь на редукции, «Венский кружок» во главе с Р. Карнапом замахивается на создание единой научной теории — «Фундамент единой науки», то есть протокольные предложения которые держат науку наверху обобщения. В 40е — 50е годы эта теория будет пересмотрена на основе физики.
Логический позитивизм, отвергающий метафизику и стремящийся познать мир только с помощью эмпирических доказательств и с использованием естественных наук, включает в себя два важных тезиса:
1. решение философской проблемы требует логического анализа языка, на котором формулируется проблема, и поэтому логика играет центральную роль в философии;
2. любая значимая теория, не являющаяся чисто логической или математической, должна быть доступна эмпирической проверке.
Ранние критики логического позитивизма говорят, что его основополагающие принципы не могут быть сами сформулированы таким образом, чтобы в них отслеживалась явная последовательность. Еще одна проблема заключается в том, что в то время как позитивные экзистенциальные утверждения («есть по крайней мере один человек») и негативные универсальные утверждения («не все вороны черные») позволяют определить четкие методы верификации (найти человека или нечерного ворона), отрицательные экзистенциальные утверждения и позитивные универсальные утверждения не поддаются проверке.
Универсальное утверждение, по всей видимости, никогда не может быть проверено: Вы не можете утверждать, что все вороны черные, пока не поймаете всех воронов, в том числе из прошлого и из будущего. Это приведёт к большому объёму работ по индукции в сочетании с верификацией и фальсификацией.
Ответ логических позитивистов первым критикам заключался в том, что логический позитивизм является философией науки, а не аксиомой системы, которая может доказать свою собственную последовательность. Во-вторых, теория языка и математической логики созданы для того, чтобы делать утверждения вроде «все вороны черные», то есть объяснять факты как они есть на самом деле.
Концом логического позитивизма можно считать публикацию в 1950-х годах серии статей одного из бывших членов Венского кружка К.Гемпеля, в которых были отмечены принципиальные трудности и даже неясности, связанные с самим ключевым понятием осмысленности. Серьезная критика неопозитивистских принципов была проведена американским логиком У. В. О. Куайном.
Критика Карла Поппера
Карл Поппер был известным критиком логического позитивизма, который опубликовал книгу «Logik der Forschung» в 1934 году (Логика научного открытия, опубликована в 1959 году). В этой книге он утверждал, что позитивистский критерий верификации является слишком строгим критерием для науки, и он должен быть заменен критерием фальсификации. Поппер считал, что фальсификация является лучшим критерием для науки, поскольку в данном случае не приходится прибегать к философским проблемам, связанным с проверкой индукцией, и это оправдывает научность теорий, которые не вписываются в рамки верификации.
Согласно Попперу, рост знаний достигается в процессе рациональной дискуссии, которая неизменно выступает критикой существующего знания. Поппер считает, что ученые делают открытия, восходя не от фактов к теории, а от гипотез к единичным высказываниям
