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

А если нам возразят, что поставленный в такой форме вопрос слишком зависит от метафор, можно будет просто ответить, что, скорее уж, он отказывается от привилегированного положения (как будто бы твердой) метафоры по отношению к метонимии (которая частично связана с жидкими телами). (Иригарей 1977, с. 108)

Увы, но этот ответ никоим образом не выходит аналогиями за пределы речи.

Математика и логика

Как мы видели, Иригарей тяготеет к сведению проблем физических наук к играм с математической формализацией и языком. К сожалению, ее познания в математической логике столь же поверхностны, сколь и в физике. Один из примеров этой поверхностности дан в ее известном эссе «Наделен ли субъект науки половыми признаками?». После весьма специфического описания научного метода Иригарей продолжает следующим образом:

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

Необходимо добавить, что все открытия должны выражаться в правильно оформленном языке, то есть в осмысленном языке. А это означает — выражаться в символах или буквах, которые замещают собственные имена, которые отсылают к объектам, находимым только внутри теории, то есть они не отсылают ни к какому лицу или объекту в реальном мире или реальности. Ученый входит в выдуманный универсум, который непонятен для того, кто ему непричастен. (Иригарей 1985, с. 312, курсив в оригинале)

Здесь мы снова обнаруживаем непонимание Иригарей роли математического формализма в науке. Неверно, будто бы все понятия научной теории «отсылают к объектам, находимым только внутри теории». Напротив, некоторые теоретические понятия должны соответствовать чему-то в реальности — иначе это была бы уже не наука — и, следовательно, универсум ученого населен не одними лишь выдумками. И, наконец, и реальный мир, и объясняющие его научные теории не являются абсолютно непонятными для неспециалистов; во многих случаях можно найти хорошие научно-популярные книги.

Продолжение текста представляет из себя смесь педантства и непроизвольных чудачеств:

— Знаки, образующие термины и предикаты:

+: или образование нового термина¹²²;

=: обозначает свойство через эквивалентность или замену;

∈: принадлежность определенному множеству или миру;

— квантификаторы (а не квалификаторы):

≤ ≥;

квантор всеобщности;

квантор существования, подчиненный, как показывает его наименование, порядку исчисления.

Если речь идет о семантике неполных сущностей (Фреге), функциональные символы являются переменными в пределах тождественности форм синтаксиса, причем главная роль отводится символу универсальности и квантору всеобщности.

— связки:

— отрицание: Р или не Р¹²³;

— конъюнкция: Р или Q¹²⁴;

— дизъюнкция: Р или Q;

— импликация: Р влечет Q;

— эквиваленция: Р эквивалентно Q;

Итак, не существует знака:

— неколичественногоразличия;

— взаимности (если только не относительно одного и того же свойства или одного и того же множества);

— обмена;

— текучести.(Иригарей 1985, с. 312–313), курсив в оригинале)

Отметим сперва, что Иригарей смешивает логическое понятие квантификации с обыденным использованием приблизительно того же слова (когда говорится о том, что какую-нибудь вещь нужно посчитать или присвоить её номер). Квантификаторы в логике — это «для всякого» (квантор всеобщности) и «существует» (квантор существования). Например, «х любит шоколад» — это утверждение о некотором индивиде х; квантор всеобщности преобразует его в форму «для всякого х [из некоторого предполагаемого известным множества] верно, что х любит шоколад», тогда как квантор существования преобразует его в «существует по крайней мере один х [из некоторого предполагаемого известным множества] такой, что х любит шоколад». Это, очевидно, не имеет никакого отношения к числам, так что предполагаемая оппозиция между «квантификаторами» и «квалификаторами» не имеет смысла.

Кроме того, символы «≤» (меньше или равно) и «≥» (больше или равно) не являются квантификаторами. Они относятся к квантификации в ее обыденном значении, а не к квантификации в логике.

С другой стороны, никакая «главная роль» не отводится квантору всеобщности. Напротив, между кванторами всеобщности и существования наличествует полная симметрия, и любое предложение, использующее один из них, может быть преобразовано в логически эквивалентное ему предложение, использующее другой (по крайней мере, в классической логике, о которой Иригарей будто бы говорит)¹²⁵. Это самый элементарный факт, о котором рассказывают во вводных курсах по логике; странно, что Иригарей, которая столько говорит о математической логике, может о нем ничего не знать.

Наконец, ее утверждение о том, что не существует знака (или, что более важно, понятия) неколичественного различия, неверно: в математике существует много объектов, отличных от чисел — множества, функции, группы, топологические пространства и т. д. — причем, если мы говорим о каких-нибудь двух таких объектах, мы можем сказать, тождественны они или различны. Условный знак равенства (=) используется для обозначения их тождества, а условный знак неравенства (¹) — для различия.