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

⁵ В течение первых десяти лет после выхода в свет моей «Логики» в моих публикациях не было даже намека на эти расхождения во мнениях (хотя такие намеки содержались в некоторых лекциях). Не было их и в последующие десять лет до самого начала моей работы над этой статьей, за исключением, может быть, нескольких критических замечаний в адрес Витгенштейна и Шлика (в моей книге «Открытое общество», впервые опубликованной в 1945 г.); см. прим. 51, 46, 26 и 48 в гл. 11, а также гл. 2, 12 и 14 настоящей книги.

⁶ См. «Логика научного открытия», разд. 31—46.

⁷ См. «Критерий эмпирического характера теоретической системы», Erkenntnis, 3, 1933, с. 426, а также «Логика», с. 312—314, разд. 4 и 10.

⁸ «Логика научного открытия», разд. 85, с. 278.

⁹ «Логика научного открытия», разд. 15. Я думаю, некоторым людям трудно согласиться с моим мнением о том, что чистое, или изолированное, экзистенциальное утверждение («Существует морской змей») должно считаться «метафизическим», несмотря на то что его можно вывести из эмпирического утверждения («Существует морской змей на выставке в холле Британского музея»). Однако они упускают из виду то, что: (а) если оно выводимо, то оно не является изолированным, а принадлежит некоей проверяемой теории, и (б) если утверждение выводимо из эмпирического или научного утверждения, то это еще не делает его эмпирическим или научным. (Любая тавтология выводима таким образом.)

¹⁰ Правда, в теории Брауэра можно найти мысль о том, что универсальное утверждение может быть осмысленным, в то время как его экзистенциальное отрицание бессмысленно.

¹¹ См. «Проверяемость и значение», разд. 25, с. 26: «Попперов-ский принцип фальсифицируемости мы можем привести в качестве примера выбора этого языка» (а именно, языка, исключающего экзистенциальные предложения как бессмысленные). Карнап продолжает: «Однако Поппер весьма осторожен в формулировке своего... принципа [демаркации]; он не называет [экзистенциальные] предложения бессмысленными, а только неэмпирическими или метафизическими». Вторая часть этой цитаты совершенно верна и представляется мне вполне ясной, но Карнап продолжает: «Возможно, он [Поппер] хочет исключить экзистенциальные предложения и другие метафи-

476

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

¹² Карнап и Венский кружок приписывали ее Витгенштейну, однако она гораздо старше. Эта теория восходит по крайней мере к Гоббсу, и в форме, представленной ниже в виде «условия (а)» (слова, обозначающие ненаблюдаемые сущности, не могут иметь какого-либо значения), она активно использовалась Беркли (и другими номиналистами). См. гл. 6, а также мою ссылку на Юма в «Логике», разд. 4.

¹³ Хотя у меня были причины назвать эту теорию «натуралистической» (теперь я называю ее «абсолютистской» или «эссенциалист-ской», см. прим. 18 ниже), я не собираюсь излагать здесь этих причин. Я критикую эту теорию не за то, что она является «натуралистической», а за то, что она неприемлема. См. также отрывки, указанные в прим. 7 выше.

¹⁴ См., например, Principia Mathematica, 2^nd edn., p. 77.

¹⁵ «Sphaerenvermengung», см. «Построение мира», разд. 30; в разд. 180 «Sphaere» отождествляется с логическим типом.

¹⁶ См.: G. Ryle, The Concept of Mind, 1949. Такое употребление выражения «категория» можно связать с термином «семантическая категория» («Bedeutungskategorie» Гуссерля; см. его «Логические исследования», 2, часть 1 (2-е изд.), 1913, с. 13, 318. Гуссерль приводит такие примеры категориальной ошибки: «зеленое есть или» (с. 54); «а вокруг или»; «а человек и есть» (с. 334).) Сравни пример Витгенштейна: «Сократ является тождественным». Критику теории категориальной ошибки см. в гл. 12 ниже, а также в прекрасной статье Дж. Смарта «Замечание о категориях», B.J.P.S., 4, pp. 227f.

¹⁷ «Ordnungsformen»; см. «Построение мира», разд. 162, с. 224; см. также библиографию, с. 225.

¹⁸ Теперь я предпочитаю называть ее «эссенциалистской» теорией, как это сделано в книге «Нищета историцизма», разд. 10 и в книге «Открытое общество», гл. 11.

¹⁹ См. его статью об устранении метафизики в Erkenntnis, 2, 1932, Р. 222—223. Строго говоря, эта статья уже выходит за рамки периода первой теории бессмысленности, ибо в ней признается тот факт, что бессмысленность зависит от обсуждаемого языка, в частности, Карнап пишет (с. 220): «Бессмысленной в точном смысле является последовательность слов, которые в данном языке не образуют предложения». Однако из этого замечания не сделаны очевидные выводы и теория сохраняется в своем абсолютном смысле: наши условия (а) и (б) сформулированы в конце с. 220, а условие (в) — на с. 222—223.

²⁰ Там же, с. 224.