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

Рудольф Карнап (нем. Rudolf Carnap; 18 мая 1891, Ронсдорф, Германия — 14 сентября 1970, Санта-Моника, США) — немецко-американский философ и логик, ведущий представитель логического позитивизма и один из главных участников Венского кружка. Внёс значительный вклад в философию науки, логическую семантику, теорию вероятностей и индуктивную логику. Его работы оказали влияние на развитие аналитической философии, формальной логики и методологии научного познания.

¶Биография

¶Ранние годы и образование

Рудольф Карнап родился в семье фабриканта. С ранних лет проявлял интерес к математике и физике. В 1910 году поступил в Йенский университет, где изучал физику, математику и философию. Среди его преподавателей был Готлоб Фреге, чьи лекции по логике и основаниям математики оказали на Карнапа глубокое влияние. В 1914 году, с началом Первой мировой войны, Карнап был призван в армию и служил на Западном фронте. После войны он продолжил обучение и в 1921 году защитил докторскую диссертацию по физике в Йенском университете на тему «Пространство. Вклад в теорию науки» (Der Raum. Ein Beitrag zur Wissenschaftslehre), в которой рассматривал философские проблемы пространства и геометрии.

¶Венский кружок

В 1926 году Карнап по приглашению Морица Шлика переехал в Вену и стал одним из ключевых членов Венского кружка — группы философов и учёных, разрабатывавших идеи логического позитивизма. В этот период он написал свои наиболее известные работы: «Логическое строение мира» (1928) и «Логический синтаксис языка» (1934). В «Логическом строении мира» Карнап предложил программу «конституционной системы» — построения всех научных понятий на основе непосредственного чувственного опыта (протокольных предложений). В «Логическом синтаксисе языка» он развил идею о том, что философские проблемы могут быть решены путём анализа формальной структуры языка науки.

¶Эмиграция и работа в США

С приходом к власти нацистов в Германии и Австрии Карнап, как и многие другие члены Венского кружка, был вынужден эмигрировать. В 1935 году он переехал в США, где преподавал в Чикагском университете (1936—1952), Принстонском университете (1952—1954) и Калифорнийском университете в Лос-Анджелесе (1954—1961). В американский период его интересы сместились в сторону индуктивной логики, теории вероятностей и формальной семантики. Он разработал систему индуктивной логики, основанную на понятии «степени подтверждения» (confirmation) гипотез. В 1963 году вышел сборник «Философия Рудольфа Карнапа» в серии «Библиотека живых философов», включавший его автобиографию и критические статьи других философов.

¶Философские взгляды

¶Логический позитивизм

Карнап был одним из главных теоретиков логического позитивизма (логического эмпиризма). Основные принципы этого направления:

• Верификационизм: значение предложения состоит в его методе верификации (проверки). Предложения, не поддающиеся эмпирической проверке (например, метафизические утверждения), считаются лишёнными познавательного значения.
• Эмпиризм: всё знание основано на опыте. Научные теории должны быть сводимы к наблюдениям и протокольным предложениям.
• Аналитическое и синтетическое: различение истин, основанных на значении слов (аналитические, например, логические и математические истины), и истин, основанных на фактах (синтетические, эмпирические).

¶Принцип толерантности

В «Логическом синтаксисе языка» Карнап сформулировал «принцип толерантности» (Prinzip der Toleranz): в логике и математике не существует единственно правильного языка или системы правил. Любой язык, формально определённый и непротиворечивый, может быть принят для научных целей. Выбор между различными языками (например, между классической и интуиционистской логикой) является вопросом прагматической целесообразности, а не истинности. Этот принцип стал важным шагом в развитии плюрализма в логике и философии математики.

¶Индуктивная логика

В поздний период Карнап разрабатывал формальную теорию индуктивного вывода. Он ввёл понятие «степени подтверждения» (c-функция) — численной меры того, насколько свидетельство подтверждает гипотезу. Эта мера основана на теории вероятностей и логической семантике. Карнап различал:

• Логическую вероятность (степень подтверждения) — отношение между гипотезой и свидетельством, определённое чисто логически.
• Статистическую вероятность (частотную) — эмпирическое свойство последовательностей событий.

Его работа «Логические основания вероятности» (1950) стала классической в этой области, хотя и вызвала критику со стороны сторонников частотной интерпретации вероятности (например, Ганса Райхенбаха).

¶Семантика и теория истины

Карнап внёс вклад в формальную семантику. В работах «Введение в семантику» (1942) и «Логические основания вероятности» он развил теорию значения, основанную на понятиях экстенсионала (объёма понятия) и интенсионала (содержания). Он также адаптировал семантическую теорию истины Альфреда Тарского для нужд философии науки. Карнап различал:

• Экстенсиональный контекст — значение выражения определяется его денотатом (объектом, который оно обозначает).
• Интенсиональный контекст — значение выражения включает его смысл (способ указания на денотат).

¶Основные работы

¶«Логическое строение мира» (Der logische Aufbau der Welt, 1928)

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

¶«Логический синтаксис языка» (Logische Syntax der Sprache, 1934)

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

¶«Логические основания вероятности» (Logical Foundations of Probability, 1950)

Книга посвящена формальной теории индуктивного вывода. Карнап разработал систему логической вероятности, в которой степень подтверждения гипотезы вычисляется на основе логической структуры языка и свидетельства. Эта работа заложила основы современной индуктивной логики, хотя её практическая применимость остаётся предметом дискуссий.

¶Критика и влияние

Взгляды Карнапа подвергались критике с разных сторон. Философы-метафизики (например, Мартин Хайдеггер) отвергали его позитивистский тезис о бессмысленности метафизики. Уиллард Ван Орман Куайн в статье «Две догмы эмпиризма» (1951) подверг критике различие между аналитическими и синтетическими истинами, которое лежало в основе программы Карнапа. Карл Поппер оспаривал индуктивную логику Карнапа, предлагая вместо неё фальсификационизм. Несмотря на критику, идеи Карнапа оказали глубокое влияние на развитие аналитической философии, формальной логики, компьютерных наук (особенно в области искусственного интеллекта и формальных языков) и философии науки. Его работы продолжают изучаться и обсуждаться в академических кругах.

¶Источники

• Карнап Р. «Логическое строение мира» / Пер. с нем. — М.: Канон+, 2000.
• Карнап Р. «Логический синтаксис языка» / Пер. с нем. — М.: УРСС, 2002.
• Carnap R. «Logical Foundations of Probability». — Chicago: University of Chicago Press, 1950.
• Schilpp P. A. (ed.) «The Philosophy of Rudolf Carnap». — La Salle: Open Court, 1963.
• Stump D. J. «Rudolf Carnap: A Biography». — Cambridge: Cambridge University Press, 2019.