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

• Название: Интеллектуальные уловки. Критика современной философии постмодерна
• Автор: Жан Брикмон
• Издательство: Дом интеллектуальной книги
• Жанр: Философия
• Год: 2002
• ISBN: 5-7333-0200-3

Книга родилась из популярного сейчас розыгрыша, в котором один из нас опубликовал в американском культурологическом журнале Социальный Текст пародийную статью, напичканную бессмысленными, но, к сожалению, достоверными цитатами о физике и математике известных французских и американских интеллектуалов…

…чего именно мы хотим добиться? Не так много, но и не так мало. Мы показываем, что такие известные интеллектуалы, как Лакан, Кристева, Иригарэй, Бодрийар и Делез, неоднократно злоупотребляли научными концепциями и терминологией: или используя научные идеи полностью вне контекста, никак не обосновывая — отметим, что мы не против перенесения концепций из одной области в другую, а возражаем лишь против таких необоснованных переносов — или же кичась научным жаргоном перед своими читателями, которые не являются учеными, не обращая никакого внимания на его адекватность и даже значение. Мы не считаем, что это умаляет значение остальной части их работы, судить о которой мы не беремся.

http://fb2.traumlibrary.net

---

Содержит ли оно само себя? Если ответ — да, то оно не может принадлежать множеству всех множеств, которые не содержат себя в качестве собственных элементов, следовательно, ответ должен быть нет. Но если ответ — нет, тогда оно должно принадлежать множеству всех множеств, которые не содержат себя, значит ответ должен быть да. Чтобы выйти из этого парадокса логики заменили наивное понятие множества различными аксиоматическими теориями.

(27) Это, возможно, намек на другой парадокс, разработка которого принадлежит Георгу Кантору (1845–1918), парадокс несуществования «множества всех множеств».

(28) В математической логике символ х означает «для всякого х», а символ ∃х означает «существует по крайней мере один х такой, что»; они, соответственно, называются «квантором всеобщности» и «квантором существования». Затем Лакан пишет Ах и Ех для обозначения тех же самых понятий.

(29) Лакан ссылается на хорошо известный факт того, что нельзя делить на нуль. Но серьезная проблема заключается в том, что он смешивает пропозицию с функцией. Пропозиция — это декларативная фраза, например, «Жан любит шоколад». Функция же — это некоторое правило, машина, так сказать — преобразующая входные данные (обычно числа) в выходные: например, f(x)=l/x преобразует число в обратную величину. В данном случае Лакан смешивает истинность или ложность пропозиции Ф(х) с осмысленным или бессмысленным характером функции f(x) для некоторого данного значения переменной х. (Мимоходом отметим, что функция 1/х не является экспоненциальной функцией).

(30) Это точно. Черта ` обозначает отрицание («ложно, что») и поэтому применяется лишь к полным пропозициям, а не к отдельным кванторам (Ах или `х). Можно было бы предположить, что Лакан хочет сказать Ех`· Фх` и Ах ` · Фх` — хотя эти формулы были бы логически эквиваленты начальным пропозициям Ах · Фх и Ех · Фх` — но он намекает, что он имел в виду совсем не это банальное переписывание. Каждый волен вводить новые обозначения, но при условии, что он объяснит их значение.

3. Юлия Кристева*

(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) Пространство C0 (R3) включает в себя все непрерывные функции с действительными значениям и на R3, которые «бесконечно стремятся к нулю». В точном определении этого понятия Кристева должна была бы сказать: a) |F(X) | вместо F(X); б) «превосходит 1/n» вместо «превосходит n»; и в) «включающем все непрерывные функции F(X) в R3 такие, что» вместо «в котором для всякой непрерывной функции F в R3».

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

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

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

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

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

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

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

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

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

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