Интеллектуальные уловки. Критика современной философии постмодерна - [96]

(34) Это технический результат теории множеств Геделя-Бернайса (одного из вариантов аксиоматической теории множеств). Кристева никак не объясняет, какое значение он может иметь для поэтического языка. Отметим, что предварение этого технически довольно сложного высказывания выражением «как известно» является типичным примером интеллектуального терроризма.

(35) Весьма маловероятно, чтобы Лотреамон (1846–1870) мог «сознательно практиковать» теорему теории множеств Геделя-Бернайса (развитой между 1937 и 1940 годами) или даже просто теорему теории множеств (развиваемой начиная с 1870-х годов Кантором и другими учеными). Кроме того, нельзя «практиковать» теорему, ее можно доказывать или применять.

(36) Гедель в своей знаменитой статье (1931) доказывает две теоремы по поводу неполноты некоторых формальных систем, которые по крайней мере столь же сложны, как система арифметики. Первая теорема предъявляет предложение, которое в данной формальной системе, при условии, что она непротиворечива, оказывается ни доказуемым, ни опровергаемым. Тем не менее, можно при помощи рассуждений, неформализуемых в данной системе, понять, что рассматриваемое предложение истинно. Вторая теорема утверждает, что, если система непротиворечива, невозможно доказать эту непротиворечивость формализуемыми в самой этой системе средствами.

Зато изобрести противоречивые системы аксиом очень просто; а когда система противоречива, всегда существует доказательство этой противоречивости, которое можно провести средствами, формализуемыми в этой системе. Хотя может оказаться, что это доказательство трудно найти, его существование почти тривиально благодаря определению «противоречивости».

Прекрасное введение в теорему Геделя см. в Нагель и др. (1989).

(37) См. выше сноску 27. Необходимо подчеркнуть, что конечные множества — такие, как множество индивидов в обществе — не ставят никаких проблем.

(38) Николя Бурбаки — псевдоним коллектива, объединяющего несколько поколений французских математиков — опубликовали около тридцати томов серии «Элементы математики». Но если это и «элементы», произведения Бурбаки далеко не элементарны. Независимо от того, читала Кристева Бурбаки или нет, ее отсылка сделана лишь для того, чтобы произвести впечатление на читателя.

(39) Пространство C₀ (R³) включает в себя все непрерывные функции с действительными значениям и на R³, которые «бесконечно стремятся к нулю». В точном определении этого понятия Кристева должна была бы сказать: a) |F(X) | вместо F(X); б) «превосходит 1/n» вместо «превосходит n»; и в) «включающем все непрерывные функции F(X) в R³ такие, что» вместо «в котором для всякой непрерывной функции F в R³».

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

4. Интермеццо: когнитивный релятивизм в философии науки^*

(41) Существует, очевидно, много других источников релятивистского Zeitgeis't'a, от романтизма до Хайдеггера, но мы не будем их здесь касаться.

(42) По-английски это называется «theory-ladenness of observations».

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

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

(45) Бертран Рассел (1948, с. 196) рассказывает такую занимательную историю: «Однажды я получил письмо от одной известной женщины-логика, мадам Кристин Лэдд Франклин, в котором она говорила, что она солипсистка и очень удивлена, что нет других солипсистов».

(46) Это утверждение не предполагает, что мы претендуем на обладание удовлетворительным ответом на вопрос, как такое соответствие устанавливается.

(47) Эта гипотеза получает более глубокое объяснение вместе с постоянным развитием науки и, в частности, теории эволюции. Очевидно, что обладание органами чувств, которые более или менее верно отражают внешний мир (или, по крайней мере, некоторые его важные стороны), дает эволюционное преимущество. Подчеркнем, что этот аргумент не опровергает радикальный скептицизм, а повышает упорядоченность точки зрения, противостоящей скептицизму.

(48) К примеру, с точки наивной зрения кажется, что Солнце каждый день делает оборот вокруг Земли, но строгое изучение астрономических наблюдений показало нам, что Земля совершает суточные вращения вокруг своей оси и годичные вокруг Солнца. Вода кажется нам непрерывным жидким телом, но химические и физические опыты учат нас тому, что она состоит из атомов. И так далее.