книгой Карнапа (возможно, она вызвала и наибольшую критику), имеется несколько замечаний об онтологии и метафизике (с. 43), которые — наряду со ссылками на Витгенштейна (с. 9) — говорят о том, что Карнап все еще верит в бессмысленность метафизики. Здесь мы читаем: «...знать значение предложения, как указывал Витгенштейн, значит знать, в каких случаях оно истинно, а в каких — нет». Однако, как мне представляется, это утверждение противоречит главным выводам Карнапа, которые я считаю убедительными. Процитированный отрывок относится, очевидно, к
65
В этих двух книгах наша проблема демаркации специально не рассматривается. К ней относится лишь одно замечание в «Основаниях вероятности», с. 31 о66
Предположим, что существуют провидцы, подобные Сведенбор-гу, которые делают точные предсказания будущих событий, причем всякий раз, когда они говорят (под воздействием «наркотика правды»), вдохновляются тем67
См. «Основания вероятности», разд. ПО, с. 571. Сходный результат см. в моей «Логике», разд. 80, с. 257: «Можно приписать гипотезе [речь идет об универсальных законах]... вероятность, вычисленную, скажем, как отношение всех выдержанных ею проверок ко всем возможным проверкам. Однако этот путь также никуда не ведет, ибо вычисленная таким образом вероятность всегда будет равна нулю». (Другой отрывок с этой же страницы приведен в прим. 70 ниже.)68
В своем анализе я ограничиваюсь тем, что Карнап назвал («Основания вероятности», с. 572) «ограниченным» подтверждением примера. Это объясняется тем, что (а) Карнап полагает, будто оно «более точно» выражает наши интуиции, и (б) поскольку в достаточно сложном мире (с достаточно большим количеством предикатов) неограниченное подтверждение примера во всех интересных случаях приводят к чрезвычайно низкой степени подтверждения. С другой стороны, «ограниченное подтверждение примера» (я говорю об этом лишь484
мимоходом) сразу же попадает под удар так называемого «парадокса подтверждения» (см. «Основания вероятности», с. 469). Однако (я считаю) его всегда можно отразить: в данном случае два аргумента определяющей части в (15), с. 573, нужно сделать симметричными относительно двух логически эквивалентных импликативных формулировок
69
«Основания вероятности», с. 572. См. «Значение и необходимость», разд. 2, с. 7: «Задача уточнения неопределенных или не вполне точных понятий... относится к числу наиболее важных задач логического анализа... Мы называем это...