Предположения и опровержения. Рост научного знания

принята попытка более точно сформулировать принцип эмпиризма с помощью требования подтверждаемости или проверяемости как критерия значения», читаем мы в разделе 1. А в разделе 27 (с. 33) это обещание выполняется: «Как эмпирики, мы требуем определенного ограничения языка науки; мы требуем не допускать в него дескриптивные предикаты и синтетические предложения, если они не находятся в определенной связи с возможными наблюдениями...». «Не допускать», конечно, относится к метафизике: «...если L должен быть языком, адекватным для всех наук, то мы не хотим иметь в нем... предложения, встречающиеся в книгах метафизиков»⁴⁹.

Таким образом, основная идея — исключение предложений метафизики из числа правильно построенных формул языка L — остается неизменной. Сохраняется также мысль об одном языке науки: несмотря на то что теперь Карнап ясно говорит о том, что мы можем выбирать язык и что различные ученые могут выбирать разные языки, он тем не менее предлагает принять некий универсальный язык и даже защищает тезис физикализма, хотя и в измененном виде. Он часто говорит (как и в процитированных отрывках) об определенном языке науки, о возможности построения языка для всех наук или о всеобщем языке науки⁵⁰. Он все еще не осознает невозможности такого языка.

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

Можно подумать, что при такой формулировке мысль об исключении метафизики как бессмыслицы фактически устраняется: метафизик не обязан соглашаться с такого рода предложениями; он может, в свою очередь, высказать другое предложение, согласно которому метафизика будет осмысленной (в подходящем языке). Однако Карнап видит ситуацию иначе.

453

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

Опираясь на мои прежние аргументы, легко показать, что такой язык построить нельзя.

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

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

В качестве исходных мы можем принять четыре следующих физикалистских предиката:

(1) «Предмет а занимает положение Ь> или, более точно, «а занимает положение, которое является частью (точки или) области £», символически: «Pos(a, Z>>⁵³.

(2) «Предмет (машина, тело или личность) а может поместить предмет Ъ в положение с», символически: «Put(a, Ь, с)»⁵⁴.

(3) «а высказывает Ь», символически: «Utt(a, b)».

(4) «а спрашивают (т.е. адекватно побуждают посредством речи, соединенной, скажем, с подходящим снадобьем), b или не Ь», символически: «Ask(a, b)».

Мы предполагаем, что в нашем языке имеются имена всех выражений вида «Pos(a, b)», «Put(a, b, с)» и т.д., включая и те, которые вводятся ниже с их помощью. Для простоты я буду пользоваться кавычковыми именами. (Я понимаю, конечно,

454

что такая процедура не является точной, в частности, когда переменные, стоящие в кавычках, являются связанными, как, например, в (14), однако эта трудность преодолима.)

Теперь с помощью (1) и (2) мы можем легко ввести посредством явных определений⁵⁵:

(5) «а вездесущ», или «Opos(a)».

(6) «а всемогущ», или «Oput(a)».

Кроме того, посредством редукционного метода Карнапа и с помощью (3) и (4) мы можем ввести:

(7) «а мыслит А», или «Th(a, b)».

Карнап рекомендует принимать такие предикаты⁵⁶. Теперь с помощью (7) мы можем дать явные определения:

(8) «а есть мыслящая личность», или «Thp(a)».

(9) «а есть (личностный) дух», или «Sp(a)>>.

(10) «а знает, что b занимает позицию о, или «Knpos(a, b, с)». (И) «от знает, что b может поместить с в положение d», или

«Knput(a, b_yс, d)».