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

Сокал Алан Дэвид

(31) Похоже, это утверждение неявно ссылается на так называемый лингвистический тезис «Сепира-Уорфа», то есть, grosso modo, на идею, будто бы наш язык радикально обуславливает наше мировоззрение. Этот тезис сегодня весьма серьезно критикуется некоторыми лингвистами: см., например, Линкер (1995, с. 57–67).

(32) Что такое мощность континуума? Существует много видов бесконечных множеств. Для начала можно сказать, что существует так называемая «счетная» бесконечность, например, множество целых положительных чисел: 1, 2, 3… Все множества, элементы которых можно поставить в однозначное соответствие с целыми числами, также являются счетными. Георг Кантор, однако, доказал, что не существует

однозначного соответствия между целыми числами и действительными. Поэтому последние «более многочисленны», нежели целые. Говорят, что действительные числа обладают «кардинальным числом (или мощностью) континуума», так же, как и все множества, которые можно поставить в однозначное соответствие с ними. Отметим, что можно установить (что, быть может, с первого взгляда кажется удивительным) однозначное соответствие между всеми действительными числами и действительными числами, содержащимися в некотором интервале: например, в интервале чисел, больших нуля и меньших единицы или больших нуля и меньших двух и т. д. В более общем виде можно сказать, что каждое бесконечное множество может быть поставлено в однозначное соответствие с некоторыми из своих подмножеств.

(33) В математике слово «трансфинитный» является приблизительным синонимом «бесконечного» и используется чаще всего для характеристики «кардинального числа» или «ордианального числа».

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

(49) Измеренное в определенных единицах, которые для данной дискуссии не имеют значения.

(50) См. в Киношита (1995) теорию и в Ван Дайк и др. (1987) эксперимент. Крэйн дает технически несложное введение в эту проблему.

(51) Принимая во внимание, конечно, уточнения, касающиеся точного значения фраз «приблизительно истинное» и «объективное познание мира», которые отражаются в различных версиях реализма и реализма (или антиреализма). Этот спор см. в Леплин (1984).