Рудольф Карнап (нем. Rudolf Carnap; 18 мая 1891 года, Вупперталь, Германия — 16 сентября 1970 года, Санта-Мария, Калифорния) — немецко-американский философ и логик, ведущий представитель логического позитивизма и философии науки.
Преподавал в Венском университете (1926—1931), профессор немецкого языка в Карловом университете (1931—1935). Активно…
участвовал в Венском кружке и в разработке идей логического эмпиризма. С 1935 года в США. Профессор Чикагского (1936—1952) и Калифорнийского (с 1954 года) университетов. Член Национальной академии наук США. Членкор Британской академии (1955).
В общественной жизни США выступал как решительный противник расовой дискриминации и военных действий США во Вьетнаме.
Четверо детей от первого брака, закончившегося разводом в 1929 году.
Опираясь на Витгенштейна и Рассела, Карнап считает предметом философии науки анализ структуры естественнонаучного знания с целью уточнения основных понятий науки с помощью аппарата математической логики.
В творчестве Карнапа выделяются три этапа. В первый период он выдвигает ряд радикальных неопозитивистских концепций (физикализм и др.) и отрицает мировоззренческий характер философии. Во второй период Карнап выдвигает тезис о том, что логика науки есть анализ чисто синтаксических связей между предложениями, понятиями и теориями, отрицая возможность научного обсуждения вопросов, касающихся природы реальных объектов и их отношения к предложениям языка науки. Карнап развивает теорию логического синтаксиса, строит язык расширенного исчисления предикатов с равенством и с правилом бесконечной индукции как аппарат для логического анализа языка науки. В третий период (после 1936) Карнап, занимаясь построением «унифицированного языка науки», приходит к выводу о недостаточности чисто синтаксического подхода и о необходимости учитывать и семантику, то есть отношение между языком и описываемой им областью предметов. На основе своей семантической теории Карнап строит индуктивную логику как вероятностную логику, развивает формализованную теорию индуктивных выводов (в частности, выводов по аналогии), разрабатывает теорию семантической информации.
Автор работ по семантической интерпретации и квантификации модальной логики. Ряд результатов, полученных Карнапом, был использован в исследованиях по кибернетике (работы Мак-Каллока — Питтса). В последние годы Карнап более решительно высказывался в пользу существования «ненаблюдаемых материальных объектов» как основы для построения логических систем.
