Карнап Рудольф

(1891-1970) один из главных представителей логического позитивизма. Он родился в Роннсдорфе, в Германии. Изучал физику, математику и философию в университетах Фрейбурга и Вены. В своей философии испытал влияние Готтлоба Фреге. В первую мировую войну служил в армии. Его докторская диссертация о сравнительном анализе понятий пространства, которые используются в физике, математике и философии, направлена на подчеркивание важности логического рассмотрения понятий.

Карнап был ведущей фигурой в Венском кружке. В 1929 г. опубликовал работу «Логическая конструкция мира». В том же году вместе с Отто Нейратом и Гансом Ханом написал манифест Венского кружка: «Венский кружок: научное понятие о мире», в котором провозглашались цели и методы Венского кружка. Вместе с Гансом Рейхенбахом создал «Эркеннтнис» - журнал, посвященный философии науки. С 1931 г. он назначается заведующим кафедрой естественной философии в Германском университете в Праге. Здесь Карнап опубликовал свой «Логический синтаксис языка». В 1935 г., не выдержав нацистских порядков, переехал в США, где преподавал в разных университетах.

Логический позитивизм еще часто называют логическим эмпиризмом. Он имеет своим предшественником Давида Юма, который отвергал претензии на знание таких метафизических вопросов, как существование Бога и бессмертие души, так как идеи, на которых зет претензии основываются, не могут быть сведены к простым чувственным впечатлениям, как своему источнику. Таким же образом члены Венского кружка отвергали как бессмысленные любые утверждения, не проверяемые эмпирически. Метафизические утверждения, к которым неприложим этот критерий верифицируемости, они считали бессмысленными.

В манифесте Венского кружка было записано: «Если кто-либо утверждает: "Существует Бог", "Первоначальной причиной мира является бессознательное", "Существует энтелехия, которая является основой жизни существ", то мы не должны говорить: "То, что вы говорите, ошибочно", а должны скорее спросить: "Что вы имеете в виду под этими предложениями?" По-видимому, существует четкое разделение между двумя типами утверждений. Один из типов включает утверждения в том виде, как они высказаны в эмпирической науке, их значение может быть определено логическим анализом, или, более точно, сведением к простым предложениям об эмпирически данном. Другие утверждения, включая вышеупомянутые, оказываются полностью бессмысленными, если мы берем их в том смысле, в котором использует их метафизик».

Ранние формулировки критерия определения осмысленности приводят к трудностям, которые связаны с проверкой простых предложений посредством опыта людей, так как опыт у разных людей может быть различным. Карнап выдвинул свой способ справиться с этой трудностью, отличный от способа Шлика. Он полагал, что утверждение проверяемо, если оно находится в определенном отношении к предложениям наблюдения. Это говорит о логической возможности проверки утверждения. Он называет утверждения наблюдения «протокольными предложениями». Хотя протокольные предложения связаны с данным и описывают данный опыт или явление, они делают это, по словам Карнапа, только в виде материального способа речи, т.е. способа, посредством которого мы связаны с фактами, явлениями, объектами, в отличие от формального способа речи, при котором мы имеем дело лишь с лингвистическими формами.

Таким образом, решающая проверка какого-либо утверждения состоит в том, что существует логический эквивалент между утверждением и рядом проверяемых предложений наблюдения. Это требование вызывает критику, так как любое универсальное утверждение, например утверждение о законах, является бессмысленным с точки зрения использования критерия проверяемости, потому что никакое предложение, относящееся к неограниченному числу случаев, не может быть логически эквивалентно ограниченному числу предложений наблюдения. В силу этого Карнап отказывается от этого критерия и обращается к понятию подтверждаемости. В 1936-1937 гг. в статье «Проверяемость и значение» он писал: «Если под проверяемостью иметь в виду определенное и окончательное установление истины, тогда ни одно синтетическое предложение не является проверяемым... Мы можем только подтверждать предложение снова и снова. Поэтому мы будем говорить о проблемах подтверждаемости, а не о проблеме проверки».

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

Карнаповское понятие подтверждения было начальной точкой для его работы по теории вероятности. Он дает описание двухразличных значений термина «вероятность». Первое относится к степени подтверждения и имеет дело с логическим отношением между гипотезой и предложениями наблюдения, которые ее подтверждают. Второе значение имеет дело со статистической вероятностью, выводимой из вычисления относительной частоты.

В 1950 г. Карнап опубликовал свою главную работу «Логические основания вероятности», в которой он исследует возможность формального подобия между индуктивными и дедуктивными процедурами. В то же самое время он продолжил свои исследования в модальной логике. Важным выводом этой работы Карнапа было утверждение, что семантика - изучение значений в языке теперь приобретает важность для всех отраслей логики.