(1891-1970) - австр. философ и логик, ведущий представитель неопозитивизма. Род. в Ронсдорфе, в Германии. В 1910-14 изучал физику, математику и философию в ун-тах Фрейбурга и Йены. В Йене одним из его учителей был Фреге, который наряду с Расселом оказал наибольшее влияние на формирование взглядов К. В 1921 получил докторскую степень за работу "Пространство", которая была опубликована на следующий год в Kantstudien. В 1926 по приглашению Шлика К. перешел в Венский ун-т и вскоре стал лидирующей фигурой Венского кружка. Вместе с Рейхенбахом в 1930 К. основал журнал Erkenntnis, задачей которого была разработка и распространение идей научной философии. В 1931 возглавил кафедру философии в Немецком ун-те в Праге, продолжая активное сотрудничество с Венским кружком. Не приемля идеологии нацизма, К. в 1935 эмигрировал в США, где до 1952 работал в Чикагском ун-те, затем в Принстоне, а с 1954 до 1961 возглавлял философское отделение в Калифорнийском ун-те. Отталкиваясь от идей Фреге, Рассела, от "Логико-философского трактата" Витгенштейна, К. вместе с другими членами Венского кружка разработал неопозитивистскую модель научного знания. Согласно этой модели, в основе знания лежат абсолютно достоверные протокольные предложения, выражающие чувственные переживания субъекта. Все остальные предложения науки должны быть верифицированы, т.е. сведены к протокольным предложениям. Те предложения, для которых процедура верификации оказывается невозможной, не имеют смысла и должны быть устранены из науки. Большая часть традиционной философии при таком подходе оказывается спекулятивной метафизикой, лишенной смысла. Функция же научной философии заключается в том, чтобы с помощью логического анализа очистить язык науки от бессмысленных псевдопредложений. В течение нескольких десятилетий К. пытался решать проблемы, встающие в рамках этой модели. Он сформулировал верификационную теорию значения. Согласно ей, смыслом обладают только те предложения, которые сводимы к протокольным предложениям. Он полемизировал с Нейратом о природе протокольных предложений и языковых формах их выражения. К. разработал логическую технику определения диспозиционных предикатов и других теоретических терминов; ему принадлежит ряд моделей формализованного языка, способного выразить содержание научных теорий; он во многих отношениях развил метод логического анализа языка науки и т.п. Ему принадлежат также значительные результаты в области логической семантики и вероятностной логики. В своих поздних работах К. заметно отошел от той узкой модели науки, которая первоначально была сформулирована членами Венского кружка. Предложенные им подходы к решению обширного круга методологических проблем содействовали выработке более адекватных представлений о науке и развитию философии науки. А.Л. Никифоров Значение и необходимость. М., 1959; Философские основания физики. Введение в философию науки. М., 1971; Der Logische Syntax der Sprache. W., 1934; Testability and Meaning. New Haven, 1954. The Philosophy of R. Garnap. La Salle (Illinois). L., 1963.