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

⁴⁴ В Париже я выступал против создания «Энциклопедии». (Ней-рат называл меня «официальной оппозицией» Венского кружка, хотя я не имел счастья принадлежать к нему.) Помимо всего прочего, я указывал также на то, что она не будет похожа на ту энциклопедию, о которой мечтает Нейрат, и будет представлять собой просто другой набор статей из Erkenntnis. (Об идеале Нейрата см., например, его критическую статью по поводу «Логики научного открытия», Erkenntnis, 5, р. 353—365, особенно разд. 2.) На конгрессе в Копенгагене, на котором Карнап не присутствовал, я пытался доказывать, что учение о единой науке и одном универсальном языке несовмес-

479

тимо с теорией истины Тарского. На обсуждении моего доклада Нейрат заявил, что теория истины Тарского неприемлема, и побудил (если мне не изменяет память) Арне Несса, который здесь был, предпринять эмпирическое исследование употреблений слова «истина» с целью опровержения результатов Тарского. См. замечание о Нессе Карнапа, «Введение в семантику», с. 29.

⁴⁵ Другим является тезис 6.1251 «Трактата» (см. также 6.1261): «и поэтому в логике никогда не может быть ничего неожиданного», который либо тривиален (если «логика» сводится к двузначному пропозициональному исчислению), либо явно ошибочен, тем более если учесть 6.234: «Математика — метод логики». Мне кажется, что почти каждое математическое доказательство является неожиданным и удивительным. «О Господи, это невозможно!», воскликнул Гоббс, когда впервые познакомился с доказательством теоремы Пифагора у Евклида.

⁴⁶ «Трактат», 6.5. Здесь же мы читаем: «Для ответа, который невозможно высказать, нельзя также высказать и вопрос». Однако вопрос может звучать так: «Является ли данное утверждение (например, проблема Гольдбаха) доказуемым?», и истинный ответ может выглядеть так: «Мы не знаем; возможно, мы этого никогда не узнаем и не можем узнать»*.

⁴⁷ См. «Построение мира», разд. 183, с. 261.

⁴⁸ «Логический синтаксис», разд. 82, конец с. 82 (курсив Карнапа).

⁴⁹ «Проверяемость и значение», разд. 18 (с. 5).

⁵⁰ См. «Проверяемость», разд. 15 (с. 467) и 27 (с. 33), 18 (с. 5) и 16 (с. 469, 470).

⁵¹ Разд. 27 (с. 33).

⁵² Не требуется верить в «научность» психоанализа (который, я думаю, находится на метафизической стадии развития), чтобы в антиметафизической страсти позитивизма увидеть одну из форм отцеубийства.

⁵³ Выражение «Pos(a, b)» используется для упрощения, в действительности мы должны говорить о положении и моменте или о «состоянии» а. Однако нужные поправки тривиальны. Следует отметить, я не предполагаю, что переменные «а», «Ь» и т.д. все принадлежат к одному типу или к одной семантической категории.

⁵⁴ Или, как говорит об этом Карнап, «а способен сделать полное предложение «Pos(b, с)» истинным»; см. разъяснение Карнапом его исходной «реализуемости» (это термин метаязыка в отличие от моего «Put») в «Проверяемости», разд. И, с. 455, Разъяснение 2.

⁵⁵ Вот эти определения: (5) Opos(a) = (b)Pos(a, b). (6) Oput(a) = (b)(c)Put(a, b, с). Затем мы вводим «двустороннее редукционное предложение»: (7) Ask(a, b) d (Th(a, b) s Utt(a, b)). Остаются определения:

* Все цитаты из «Трактата» Витгенштейна даны по русскому изданию: Людвиг Витгенштейн. Философские работы. Часть 1. М., 1994. — Примеч. ред.

480