карнап (Саrnар) Рудольф (1891-1970) — немецко-американский философ и логик, преподавал философию в Венском и Пражском университетах, профессор Чикагского и Калифорнийского университетов (после эмиграции в США в 1936), ведущий представитель логического позитивизма и философии науки. Основные сочинения: «Мнимые проблемы в философии» (1928), «Логическая конструкция мира» (1928), «Преодоление метафизики логическим анализом языка» (1931), «Физикалистский язык как универсальный язык науки» (1931), «Логический синтаксис языка» (1934), «Философия и логический синтаксис» (1935), «Проверяемость и значение» (1936), «Исследования по семантике» (1942-1947), «Значение и необходимость» (1947), «Введение в символическую логику» (1954) и др. К. разрабатывал неопозитивистскую модель организации научного знания, утверждая, что предметом философии науки является анализ структуры естественно-научных дисциплин с целью уточнения основных понятий науки при помощи аппарата математической логики. С точки зрения К., собственно философская проблематика дистанцируется от сферы логики и иных научных дисциплин в контексте того, что все предложения содержательного характера подразделимы на три класса: «научно-осмысленных» или «научных» (истинных и ложных); «научно-неосмысленных» или «вненаучных»; «бессмысленных», которые лишь внешне подобны содержательным предложениям. Философские предложения, по К., — это: а) предложения «вне-научные», ибо они не подлежат ни актуально ни потенциально какому-либо сопоставлению с реальными фактами; б) «квазисинтаксические» предложения, могущие быть в исходном имплицитном виде интерпретированы в самом широком диапазоне версий; в) предложения, содержащие рациональный смысл лишь в аспекте реконструкции с их помощью связей и отношений между словами. (Философия трактовалась К. лишь как «суррогат искусства», а ее представители — как «музыканты, лишенные способности к музыке»). По мнению К., в основании системы научных знаний должны размещаться абсолютно достоверные, адекватно воспроизводящие чувственные переживания субъекта, «протокольные предложения». Иные составляющие массива науки должны быть подвергнуты процедуре верификации, т.е. сведены к протокольным предложениям. В противном случае предложения рассматриваются как псевдопредложения, не имеющие смысла, и элиминируются из науки, (Хотя впоследствии К. преодолел установку на тождественность «осмысленности» и проверяемости предложений, разграничив в структуре качества их верифицируемости саму «проверяемость» и перечень условий их истинности. Истинность предложений, таким образом, переставала увязываться с апробацией их неким субъектом науки). К. выдвинул также тезис о том, что логика науки есть анализ чисто синтаксических связей между предложениями, понятиями и теориями и отрицает возможность научного обсуждения вопросов, касающихся природы реальных объектов и их отношения к предложениям языка науки. К. утверждал «принцип терпимости» (один из основных в системе постулатов неопозитивистского конвенционализма), согласно которому «можно терпеть» любую избранную «учеными нашего культурного круга» описательную и объяснительную научную систему при условии ее логической непротиворечивости. По мнению К., было бы весьма желательно трансформировать предложения всех научных дисциплин, содержащих как несущую конструкцию описания предметов и явлений в понятиях наблюдения, в категориальные комплексы соответствующих физических понятий. «Язык физики — это универсальный язык науки», — постулировал К. После 1936 К. занимается построением «унифицированного языка науки». Он допускает возможность создания такого языка на основании чувственных данных, а также верит в осуществимость перевода в ипостась этих данных любого дискурса в полном его объеме, поэтапно, предложение за предложением. К. пришел к выводу о недостаточности чисто синтаксического подхода в контексте необходимости учета также и семантики, т.е. отношения между языком и описываемой им областью предметов. «… Класс наблюдаемых вещественных предикатов является достаточным редуктивным базисом для целостности языка». На основе своей семантической теории К. строил индуктивную логику как вероятностную, развивает формализованную теорию индуктивных выводов, разрабатывал теорию семантической информации. Ряд результатов, полученных К., был использован в исследованиях по кибернетике.