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

Условие (б) восходит к Бертрану Расселу, который полагал¹⁴, что для устранения некоторых парадоксов следует признать определенные «комбинации символов», имеющие вид предложений, «абсолютно бессмысленными, а не просто ложными». Рассел не предлагал — для того чтобы избежать парадоксов — рассматривать эти комбинации как противоречащие каким-то (отчасти конвенциональным) правилам построения предложений. Ему казалось, скорее, будто он открыл тот факт, что эти по видимости осмысленные формулы ничего не выражают и по сути своей или по природе являются бессмысленными псевдопредложениями. Например, формула типа «а есть элемент а» или «а не есть элемент а» выглядит как предложение (поскольку имеет субъект и предикат). Однако она не является подлинным суждением (или предложением), поскольку формула вида «х есть элемент у» может быть суждением только в том случае, если х принадлежит к более низкому типу, чем у. Очевидно, это условие не выполняется, когда один и тот же символ «а» подставляется на место «х» и «у».

Это показывает, что пренебрежение типом слов (или обозначаемых ими сущностей) способно сделать бессмысленным выражение, которое похоже на предложение. И, согласно «Трактату» Витгенштейна и «Построению мира» Карнапа, именно это пренебрежение является главным источником метафизической бессмыслицы, т.е. отождествление псевдопредложений с подлинными предложениями. В «Построении мира» оно было названо «смешением сфер»¹⁵, это смешение того вида, которое ныне часто называют «категориальной ошибкой»¹⁶. В «Построении мира», например, «мой собственный» опыт {«das Eigenpsychische»), физические тела и опыт других людей {«das Fremdpsychische») принадлежат к разным сферам, типам или категориям и их смешение ведет к псевдопредложениям и псевдопроблемам. (Различие между физическими и психологическими сущностями Карнап описывает как различие между «двумя типами порядка»¹¹, существующими в рамках одного вида фундаментальных сущностей, что приводит его к решению

434

проблемы телесного — психического в духе «нейтрального монизма».)

Представленный очерк «наивной» или «натуралистической» теории¹⁸ осмысленности и бессмысленности языковых выражений охватывает лишь одну сторону этой теории, Имеется еще одна сторона: так называемый «верификационный критерий», который можно сформулировать в виде условия (в):

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

Иными словами, оно осмысленно только тогда, когда связано с какими-то предложениями наблюдения таким образом, что его истинность вытекает из истинности этих предложений наблюдения. «Несомненно, — пишет Карнап¹⁹, — что некая последовательность слов обладает значением только в том случае, если задана его выводимость из протокольных предложений [предложений наблюдения]...», т.е. если «известен способ его верификации»²⁰.

Карнап утверждает, что условия (а) и (б) вместе эквивалентны условию (в)²¹.

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

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

Прежде всего следует сказать об условии (в) — о верификационном критерии значения. Этот критерий лишает значения все научные теории («законы природы»), ибо они столь же несводимы к отчетам о наблюдениях, как и так называемые метафизические псевдопредложения. Таким образом, кри-

435

терий значения приводит к ошибочной демаркации между наукой и метафизикой. Карнап согласился с этим критическим замечанием в своих работах «Логический синтаксис языка»²⁴ и «Проверяемость и значение»²⁵, но и более поздние его теории, как я попытаюсь показать в разделе 6 ниже, все еще уязвимы для этой критики.

Теперь рассмотрим условие (а) — (номиналистическое) учение о том, что значением обладают только эмпирически определимые слова или знаки.

Здесь ситуация еще хуже, хотя и весьма интересна.

Свою критику я начинаю с очень простой формы номинализма. Это учение о том, что все не-логические (или, как я предпочитаю говорить, не-образующие) слова являются именами — либо именами отдельных физических объектов, например, «Фидо», либо именами, общими для многих таких объектов, например, «собака». Таким образом, слово «собака» может быть общим именем для таких объектов, как Фидо, Кэнди и Тифин. То же самое относится ко всем другим словам.