Интеллектуальные уловки

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

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

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

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

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

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

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

? ?;

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

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

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

— связки:

— отрицание: Р или не Р123;

— конъюнкция: Р или Q124;

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

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

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

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

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

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

— обмена;

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

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