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

[Great_philosophers]

http://great_philosophers.academic.r...BB%D1%8C%D1%84

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

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

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

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

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

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

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

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

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

[Открытая реальность]

http://www.openreality.ru/school/phi...80%D0%B8%D0%BE
Идеи Витгенштейна оказались созвучными школе Венского кружка, основным представителем которой являлся Рудольф Карнап. В 1930 и 1931 гг. выходят две статьи Рудольфа Карнапа: «Старая и новая логика» и «Преодоление метафизики логическим анализом языка». В этих статьях была изложена программная линия развития философии логического позитивизма. Именно так стал называть себя позитивизм в начале своего третьего периода — неопозитивизма.

В первой статье Карнап указывает, что логика — единственно истинный метод философствования. Вся философия должна сводиться только к логике, т. е. к логическому анализу предложений и понятий эмпирической науки. Самого предмета у философии нет и быть не может. Вся философия должна сводиться к логическому анализу предложений и понятий науки, причем наука понимается только в эмпирическом ее содержании. Только те предложения имеют смысл, которые имеет своим референтом опыт.

Философствование может совершаться только в связи с эмпирической наукой. Сущность философского познания, в отличие от самой эмпирической науки, состоит в уяснении смысла предложений эмпирической науки путем логического анализа. Философии как отдельно существующей теоретической системы нет. Философия есть средство логического анализа языка науки; своего собственного языка у философии нет. Она берет свой метод и свой предмет из научного познания.

Все философские школы оказываются ложными, а поскольку они претендуют на обладание своим собственным методом, то они оказываются ложными не только по содержанию, но и бессмысленными по своему методу. Вся философия как метафизика оказывается не выдерживающей никакой критики. Нельзя, утверждает Карнап, спрашивать о сущности процессов, о сущности явлений вне или позади самих этих явлений. Можно рассуждать только о явлении, о том, как нечто происходит, а не почему происходит то или иное событие, какая сущность лежит в основе этих событий.

Для того, чтобы объяснить, каким образом философия может помочь уяснению своего логического и понятийного языка, Рудольф Карнап выдвигает принцип верификации — основной принцип неопозитивизма. В связи с этим Карнап вводит понятие протокольного предложения. Задача логического позитивизма состоит в том, чтобы попытаться свести все предложения научного знания к протокольным предложениям, т. е. к тем предложениям факта, которые дальше уже не могут разлагаться ни на какое другое более мелкое предложение.

Протокольное предложение — это предложение, соответствующее некоему факту, атомарное предложение. Это атомарное предложение должно быть проверяемо на опыте, должно иметь своим референтом опыт. В этом и состоит принцип верификации, т. е. в том, что любое предложение науки является истинным тогда и только тогда, когда оно может быть сведено к предложениям факта, к протокольным предложениям.

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

Понятие имеет смысл тогда и только тогда, когда оно встречается в протокольном предложении. Если понятие употребляется вне протокольного предложения, то это понятие окажется бессмысленным. Такими понятиями наполнена философия, к ним Карнап относит понятия «дух», «материя», «сущность», «субстанция», «принцип бытия», целые предложения («Я мыслю, следовательно, я существую»).

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

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

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

В первой части, «Я мыслю», утверждает Карнап, нарушен грамматический синтаксис, здесь отсутствует предикат. Декарт должен был сказать: «Я мыслю нечто», но не сказал, и фраза повисает в воздухе. Поэтому первая половина фразы бессмысленна. «Я существую» также неправильно построена, потому что существовать может только лишь предикат, а не субъект. Связь этих двух частей также неправомочна, поскольку делается неправильное отождествление двух «я»: в «Я мыслю» под «я» имеется в виду субъект, а в предложении «я существую» — предикат, поскольку говорится о существовании «я».

Таким образом, в фразе «Я мыслю, следовательно, я существую» нарушен и грамматический, и логический синтаксис. Это предложение, с одной стороны, неверифицируемо, а с другой - построено по логически, синтаксически и грамматически неверным правилам, следовательно, это предложение бессмысленно. Значит, на его основе не может быть построена никакая философская теория.

Карнап делает более общий вывод, что в правильном языке вообще не может быть построена никакая метафизика. Задача позитивизма, задача философии состоит в том, чтобы найти пути построения правильного научного языка. Карнап выделяет пять типов предложений; три типа из них — это научно-осмысленные предложения:

Тавтологии (A=A) и аналитические суждения Канта
Заведомо ложные предложения — контрадикции (противоречия)
Эмпирические предложения, т. е. все предложения, которые можно верифицировать. Все остальные предложения оказываются неверными. Среди них:
Бессмысленные предложения (тра-та-та, блям-блям и т. п.)
Метафизические предложения

Логический позитивизм должен ответить на вопрос: к какому типу предложений относится то или иное предложение, и должен помочь или негативно, т. е. устранить бессмыслицы, или позитивно, т. е. найти правильный метод построения логического языка. Метафизика, с точки зрения Венского кружка, лишена какого-либо научного смысла. Она содержит нечто, но что именно? Карнап не отождествляет, бессмысленные и философские предложения. Отличие между ними в том, что эмпирические предложения служат для объяснения явлений и вещей, а философские — для выражения чувства миросозерцания.

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

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

Почему протокольные предложения должны быть общезначимыми? Протокольные предложения есть не что иное, как констатация того, что некоему субъекту кажется в некотором его опыте. Но еще древние скептики совершенно справедливо утверждали, что все живые существа ощущают по-разному, приводя массу примеров — упоминая о дальтониках, больных желтухой и т. д.

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

Сторонники логического позитивизма, решая проблему общезначимости протокольных предложений, не нашли ничего лучшего, как решить ее путем конвенционализма, т. е. договора. Так, то, что трава зеленая, люди просто договорились, хотя какого она цвета на самом деле — неясно. Другого выхода, находясь на точке зрения опытного знания, найти нельзя. Действительно, мы не можем познать сущность той же самой травы. Она нам является как имеющая какой-то цвет. Мне, может быть, в силу особенностей моих зрительных рецепторов, она кажется красной, но по соглашению я называю ее зеленой, как называют ее все.

Однако проблему индуктивности и объективности истины ссылкой на конвенционализм не решишь. Эта проблема более глубокая. Не решишь так и проблему самого принципа верификации. Действительно: а сам принцип верификации — это протокольное предложение или нет? Можно ли верифицировать принцип верификации? Если оно научное, то оно должно быть верифицировано. Если же его нельзя верифицировать (а его нельзя верифицировать), то оно ненаучно.

Получается замкнутый круг. Принцип верификации оказывается догматичным, метафизичным, философским, но не научным, ибо сам он неверифицируем. Неверифицируемым оказывается и множество других предложений, причем, как правило, самых главных предложений, основных — т. е. законов. Никогда нельзя проверить закон в чистом виде. Действительность его проявлений настолько богата, что вычленить из того многообразия явлений, в котором он проявляется, совершенно невозможно.

ем более, невозможно верифицировать закон, т. е. всеобщий принцип. Если Ньютон говорит, что любое тело массой m, на которое действует сила F, будет двигаться с ускорением a=F/m», то как мы проверим этот закон, утверждающий справедливость для любого тела. Это уже выходит за рамки опыта. Но в этом и состоит смысл науки — в нахождении именно всеобщих законов.

Принцип верификации оказался сложным порождением, скорее приводящим к большому числу проблем, чем дающим решение. Сам Карнап впоследствии отказался от принципа логического позитивизма и стал выдвигать теорию логических каркасов. Теория может быть истинной в разных языковых каркасах. Необязательно существует некий один-единственный логически правильный язык. Более того, построение такого идеального логического языка приводит к неразрешимым проблемам, парадоксам. Еще Бертран Рассел указывал, что в любом формально непротиворечивом языке всегда существуют парадоксы. Для того, чтобы решать эти парадоксы, нужно выходить за пределы этого языкового конструкта.

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

Стали отказываться и от теории языковых каркасов. Витгенштейн и другие философы выдвинули концепцию о том, что философия должна исследовать реальный язык. Слово имеет значение не в некоем абстрактном языке, а в реальном, конкретном, существующем человеческом языке. Возникают сложности из-за того, что мы не можем правильно осмыслить текст, в котором встречается некое слово. Наш язык настолько многогранен, настолько неисследуем, что мы, сами того не замечая, часто не замечаем его различные нюансы, скажем, путаем местами субъект и предикат, одно слово подменяем другим.

Задача философии состоит не в построении идеального языка, а в исследовании реального конкретного языка, в прояснении этого языка. Возникает философия лингвистического анализа. Сейчас это одно из наиболее влиятельных направлений в современном позитивизме.

[Filosof.at.ua]

https://filosof.at.ua/publ/biografii...rnap/2-1-0-132

Рудольф Карнап
Рудольф Карнап (нем. Rudolf Carnap) — немецко-американский философ и логик, ведущий представитель логического позитивизма и философии науки.

Родился в Вуппертале 18 мая 1891. Получил образование в Йенском и Фрайбургском университетах. В Йене слушал лекции Фреге, там же в 1921 защитил докторскую диссертацию. Карнап преподавал вначале в Венском университете (1926–1931), а затем в Германском университете в Праге (1931–1935). В эти годы он был одним из наиболее активных членов группы философов и математиков, известной как Венский кружок, и интересовался логикой и проблемами научного метода. Совместно с Рейхенбахом основал журнал «Эркентнис» («Erkenntnis», 1930–1940). Он также один из основателей известной серии «Международная энциклопедия унифицированной науки» («International Encyclopedia of Unified Science»). В 1936 эмигрировал в США. Был профессором Чикагского университета (1936–1952) и Калифорнийского университета в Лос-Анджелесе (1954–1970). В 1952–1954 работал в Принстонском университете. Умер Карнап в Санта-Монике (шт. Калифорния) 14 сентября 1970.

Логический позитивизм (или логический эмпиризм), отвергающий метафизику и стремящийся найти истину о мире исключительно с помощью естественных наук, обязан своим названием двум главным тезисам:
1) решение философской проблемы требует логического анализа языка, на котором формулируется проблема, и поэтому логика играет центральную роль в философии;
2) любая значимая теория, не являющаяся чисто логической или математической, должна быть доступна эмпирической проверке.
Широко известна работа Карнапа Преодоление метафизики посредством логического анализа языка (Die Überwindung der Methaphysik durch logische Analyse der Sprache, 1932). Труды философа содержат тщательную разработку этих тезисов и образуют широкий теоретический базис для их применения; в них также разрабатываются инструменты логического анализа в философии. Среди работ Карнапа, посвященных логике и семантике, – Логическая конструкция мира (Der logische Aufbau der Welt, 1928); Очерк логистики (Abriss der Logistik, 1929); Логический синтаксис языка (Der logische Syntax der Sprache, 1934), Основания логики и математики (Foundations of Logic and Mathematics, 1939), Исследования по семантике (Studies in Semantics, v. 1–2, 1942–1943), Значение и необходимость (Meaning and Necessity, 1947), Введение в символическую логику и ее приложения (Introduction to Symbolic Logic and Its Applications, 1958), а также другие книги и множество статей. Анализ Карнапом философских проблем, включая обсуждение принципа проверки, содержится в его сочинениях, посвященных теории познания и философии науки.

Карнап доказывает, что в различных областях естественных и социальных наук используется один общий метод проверки гипотез и теорий, а понятия, используемые в этих областях, могут быть сведены, с помощью особых «предложений сведения» (операциональных определений и постулатов значения), к одному общему базису – понятиям, которые мы употребляем для описания знакомого всем физического мира, нас окружающего (т.н. физикализм). Важным результатом Карнапа в анализе соотношения теории и опыта является строго формализованная количественная теория логической вероятности, т.е. степени индуктивного, или вероятностного, подтверждения теории. Главные его работы в этой области: Логические основания вероятности (Logical Foundations of Probability, 1950) и Континуум индуктивных методов (The Continuum of Inductive Methods, 1951). Последние годы жизни Карнап посвятил разработке различных аспектов и приложений индуктивной логики.

[А.А. Грицанов]

https://www.gumer.info/bogoslov_Buks...l_dict/323.php
КАРНАП (Carnap) Рудольф (1891-1970)
немецко-американский философ и логик. В 1910-1914 изучал физику и математику в университетах Фрейбурга и Йены. Докторская степень за работу "Пространство" (1921). Преподавал философию в Венском университете (с 1926) и Немецком университете в Праге (с 1931). После эмиграции в США (1935) - профессор Чикагского (до 1952), Принстонского (1952-1954) и Калифорнийского университетов (возглавлял философское отделение с 1954 по 1961). Ведущий представитель Венского кружка, логического позитивизма и философии науки. Один из основателей журнала "Erkenntnis" (1930), целью которого выступало распространение идей "научной философии". Основные сочинения: "Логическое построение мира" (1928), "Мнимые проблемы в философии" (1928), "Преодоление метафизики логическим анализом языка" (1931), "Физикалистский язык как универсальный язык науки" (1932), "О протокольных предложениях" (1932), "Логический синтаксис языка" (1934), "Философия и логический синтаксис" (1935), "Проверяемость и значение" (1936-1937), "Исследования по семантике" (1942-1947), "Значение и необходимость" (1947), "Введение в символическую логику" (1954) и др. Уже в первой работе - "Логическое построение мира" - К. сформулировал идею о возможной основе единства знания: по его мнению, физика и психология, науки о природе и науки о культуре способны объединиться в том случае, если окажутся в состоянии перевести содержательный язык о "переживаниях", "вещах" и т.п. на формальный лексикон, описывающий структуры и отношения. С точки зрения К., центральным в теории познания правомерно полагать пошаговое отслеживание главных этапов трансформации содержания наших высказываний об интересующих нас объектах в процессе их обоснования посредством "гносеологически элементарной основы". По К., именно дефиниционный, интерсубъективный мир отношений и образует предметную область науки. Поскольку, по К., цепь гносеологического отношения сведе'ния к элементарным предложениям потенциально разнонаправлена, критерием того, что именно гносеологически выступает более фундаментальным, оказывается познавательный "приоритет": объект гносеологически первичен по отношению к другому, гносеологически вторичному, если второй постигается посредством первого. К. разрабатывал неопозитивистскую модель организации научного знания, утверждая, что предметом философии науки является анализ структуры естественно-научных дисциплин с целью уточнения основных понятий науки при помощи аппарата математической логики. (Согласно мысли К., "наука представляет собой единство... все эмпирические предложения выразимы в едином языке, а все положения дел относятся к одному виду и познаются с помощью одного метода".) Сами элементы непосредственного опыта при этом не могут включаться в логическую систему; отношением же, выразимым в терминах опыта и подходящим для целей логики, выступает у К. отношение сходства в памяти, заключающееся в тождестве или близком сходстве зафиксированных фрагментов опыта. На этом фундаменте и должна основываться, по версии К., вся "система знания" и "оправдывающего его анализа". Иерархия компонентов универсальной логическо-опытной цепи выглядит, по схеме К., так: области качеств, классы качеств, сходства качеств, классы ощущений, например, зрительные ощущения, различение индивидуальных и общих компонент опыта, зрительная перспектива, порядок цветов и временной порядок. Конструкции зрительной перспективы и временной последовательности конституируют, по мысли К., основу для материальных объектов, ибо последние уже могут быть образованными посредством апплицирования цвета на движущиеся точки мира. Над уровнем высказываний о физическом мире располагается уровень высказываний об опыте других людей, переводимый на язык высказываний о физическом мире (или в физических терминах о поведении). Далее - уровень высказываний о социальных и культурных отношениях, в свою очередь сводимый к высказываниям о чужих сознаниях. К. определял "протокольные предложения" как: а) сферу языка физики, - образующую, по его мысли, "основание науки"; б) предложения, "отсылающие к непосредственно данному и представляющие прямое описание опыта или феноменов"; в) "утверждения, не нуждающиеся в обосновании и служащие фундаментом для остальных научных утверждений"; г) не относящиеся к языку науки постольку, поскольку их структура не определяется в этом языке (хотя существуют специальные правила для их перевода в этот язык). По К., в конечном счете, все высказывания фундируются на высказываниях о непосредственном опыте и полностью определимы в терминах последних. Т.е. ни физические объекты, ни чужие сознания не являются реальными объектами как таковыми, они скорее "квазиобъекты", введенные с помощью определений для того, чтобы организовать наш опыт. С точки зрения К., собственно философская проблематика дистанцируется от сферы логики и иных научных дисциплин в контексте того, что все предложения содержательного характера подразделимы на три класса: "научно-осмысленных" или "научных" (истинных и ложных); "научно-неосмысленных" или "вненаучных"; "бессмысленных", которые лишь внешне подобны содержательным предложениям. Философские предложения, по К., - это: а) предложения "вненаучные", ибо они не подлежат ни актуально ни потенциально какому-либо сопоставлению с реальными фактами; б) "квазисинтаксические" предложения, могущие быть в исходном имплицитном виде интерпретированы в самом широком диапазоне версий; в) предложения, содержащие рациональный смысл лишь в аспекте реконструкции с их помощью связей и отношений между словами. (Философия трактовалась К. лишь как "суррогат искусства", а ее представители - как "музыканты, лишенные способности к музыке". Одновременно он утверждал, что "логика науки заменяет собой запутанный клубок проблем, известный под именем философии".) В своей известной статье "Преодоление метафизики путем логического анализа языка" К. утверждал, что оба - и сам метафизик, и читатель его трактатов - заблуждаются, предполагая наличие в сочинениях подобного рода чего-то реального: "В сфере метафизики, включая всякого рода философию ценностей и нормативные науки, логический анализ приводит к тому негативному результату, что все предложения этой сферы совершенно бессмысленны". По мнению К., в основании системы научных знаний должны размещаться абсолютно достоверные, адекватно воспроизводящие чувственные переживания субъекта, "протокольные предложения". Иные составляющие массива науки должны быть подвергнуты процедуре верификации, т.е. сведены к протокольным предложениям. В противном случае предложения рассматриваются как псевдопредложения, не имеющие смысла, и элиминируются из науки. В книге "Философия и логический синтаксис" К. разграничил косвенную и прямую верификацию. Первая предполагала непосредственную верификацию исходного высказывания: на основе уже известного и апробированного посредством верификации закона осуществляется предсказание, конституируются необходимые условия и предсказание верифицируется. Впоследствии К. преодолел установку на тождественность "осмысленности" и проверяемости предложений, разграничив в структуре качества их верифицируемости саму "проверяемость" и перечень условий их истинности. По К., истинность предложения сводима к формальной возможности его включения в данную систему языка (т.е. проблема истинности у К. локализуема т.обр. в сфере логической семантики). Истинность предложений, таким образом, переставала увязываться с апробацией их неким субъектом науки. Принцип верифицируемости был сведен им к совокупности рекомендаций по построению языка науки ("Проверяемость и значение"): К. пришел к выводу о необходимости обоснования - в рамках данного конструкта - перехода от "переводимости" к "проверяемости". В работе "Философия и логический синтаксис" К. проводит мысль о разграничении двух видов верификации - непосредственной и опосредованной (по его мнению, только "протокольные предложения" могут быть верифицированы непосредственно). Как полагал К., единичные же высказывания - подобно универсальным законам науки - "имеют характер гипотез". Поэтому при опосредованной верификации высказывание, подлежащее верификации, соединяется с другими, уже верифицированными высказываниями, и из них выводятся непосредственно верифицируемые высказывания. К. выдвинул тезис о том, что логика науки есть анализ чисто синтаксических связей между предложениями, понятиями и теориями и отрицает возможность научного обсуждения вопросов, касающихся природы реальных объектов и их отношения к предложениям языка науки. К. утверждал "принцип терпимости" (один из основных в системе постулатов неопозитивистского конвенционализма), согласно которому "можно терпеть" любую избранную "учеными нашего культурного круга" описательную и объяснительную научную систему при условии ее логической непротиворечивости. "В логике, - по мысли К., - не существует этических норм. Каждый волен строить свою собственную логику, свой собственный формальный язык, как ему вздумается". По мнению К., было бы весьма желательно трансформировать предложения всех научных дисциплин, содержащих как несущую конструкцию описания предметов и явлений в понятиях наблюдения, в категориальные комплексы соответствующих физических понятий. После 1936 К. занимается построением "унифицированного языка науки". Он допускает возможность создания такого языка на основании чувственных данных, а также верит в осуществимость перевода в ипостась этих данных любого дискурса в полном его объеме, поэтапно, предложение за предложением. (Так, например, разграничивая "первичные" и "вторичные" протоколы, соответствующие языкам наблюдения и измерения, К. акцентировал внимание не на содержании "переживания", а на технологии перевода: по К., термин наблюдения "красный" переводится в физикалистский термин "частота световой волны равная X".) К. пришел к выводу о недостаточности чисто синтаксического подхода в контексте необходимости учета также и семантики, т.е. отношения между языком и описываемой им областью предметов. По К., "... класс наблюдаемых вещественных предикатов является достаточным редуктивным базисом для целостности языка". На основе своей семантической теории К. строил индуктивную логику как вероятностную, развивал формализованную теорию индуктивных выводов, разрабатывал теорию семантической информации. Ряд результатов, полученных К., был использован в исследованиях по кибернетике.